通过李亚普诺夫稳定理论证明跟踪误差是指数收敛的，仿真结果验证了这种方法的有效性。
It is showed by the Lyapunov stability theorem that the tracking errors converge exponentially. The simulation results illustrate the efficiency of this method.
提出一种基于参考误差的投影算法来训练网络权值，训练后网络输出能逼近期望的前馈力矩，并从理论上证明跟踪误差的收敛性。
The neural network trained by projection algorithm with the reference error is used to approximate the desired feedforward compensation. Convergence of the tracking error is proved.
在一个软件开发测试环境中，跟踪机器被证明是非常困难的，尤其是当机器的数量达到两位数的时候。
In a software development test environment, keeping track of your machines can prove very difficult, particularly when the number of machines reaches the double figures.
当然，由于DB 2具有经过证明的可伸缩性和性能跟踪记录，它更适合于基于企业的任务关键型应用程序。
Of course, DB2 is more suited for enterprise-based, mission critical applications, with its proven track record of scalability and performance.
它必须对其执行的更改提供审核跟踪，而且必须能够证明符合定义的目标。
It must provide an audit trail of the changes it has made, and it must be able to prove that it is meeting the goals that are defined.
ClearQuest测试管理在跟踪测试进展中被证明是非常有用的。
ClearQuest test management proved to be very useful in tracking testing progress.
像SSIS这样的ETL工具就可以实现这些功能，如，在不同的系统间进行数据的移动、数据的再格式化、完整性校验、关键值查询、衍生跟踪等，SSIS也证明了它是一个有能力和有着多方面用途的ETL工具。
ETL tools like SSIS can perform these functions such as moving data between systems, reformatting data, integrity checking, key lookups, tracking lineage, and more.
用例对证明被测试和交付方案需求跟踪性能力有很大的贡献。
Use cases contribute significantly to the ability to prove traceability of requirements to the solution being tested and delivered.
该系统结合电子商务和电子商务进程成一个程序，该程序通过通过需求批准，产品选择，资金证明，购买和资产跟踪等来引导用户。
The system combines e-business and e-commerce processes into one process that guides users through requirements approval, product selection, funding certification, purchase, and asset tracking.
本系列中的两篇文章向IT架构师和解决方案开发负责人介绍一种已经证明有效的可跟踪性解决方案的体系结构蓝图。
The two articles in this series describe a proven architecture solution blueprint for traceability solutions for IT architects and lead solution developers.
尽管如此，google流感趋势在有些方面被证明还是有益处的，比如在跟踪一个已经开始传播的流行病方面。
Where Google Flu Trends may prove more useful, however, is in the tracking of an epidemic once it is under way.
实验结果证明，这一控制器跟踪精度高，并且对系统的非线性和不确定性表现出很强的鲁棒性。
The experimental results demonstrate that this nonlinear controller is of fine robustness and a high degree of tracking accuracy.
经试验证明该装置用于带坡口焊缝的自动跟踪是可行的。
The tests show that automatic tracking of weld with groove is feasible.
人类比我们认为的更能屈能伸、更能卧薪尝胆，就像2005年的一项跟踪透析病人的情绪变化的研究中证明的那样。
Humans are more resilient than we think and can endure trying times, as demonstrated in a 2005 study that tracked mood changes in dialysis patients.
理论分析证明，这种控制算法对于跟踪重复运动的轨迹具有良好的效果。
It is proved by theoretic analysis that the algorithm has good performance on tracking periodical trajectory.
印迹-便于跟踪文件正本，并增加了签注证明扫描。
Imprinting - facilitates tracking of paper originals and adds endorsements as proof of scanning.
通过理论分析，证明了模糊变结构控制系统是全局稳定的，跟踪误差可收敛到零的一个邻域内。
By theoretical analysis, the fuzzy variable structure control system is proved to be globally stable, with tracking errors converging to a neighborhood of zero.
微装配机械手运动实验证明了该模型及跟踪算法的有效性。
Experimental results of tracking micromanipulator motion demonstrate the effectiveness of the proposed model.
通过理论分析，证明了闭环系统是半全局一致终结有界的，跟踪误差收敛到一个小的残差集内。
By theoretical(analysis, ) the closed-loop control system is proven to be semiglobally uniformly ultimately bounded, (with) tracking error converging to a residual set.
从而证明了这种焊枪高度跟踪检测传感器明显地受地磁地影响。
Therefore it proved that the sensors of height tracing of the welding torch is influenced evidently.
通过引入积分型变结构切换函数及高增益误差观测器，基于李雅普·诺夫稳定性理论，证明了闭环系统是全局稳定的，输出跟踪误差都收敛到零。
By introducing integral variable structure and high gain observer, the closed-loop control systems is shown to be globally stable in terms of Lyapunov theory, with tracking error converging to zero.
可以证明，鲁棒稳定性、鲁棒静态特性、鲁棒瞬态特性以及鲁棒跟踪特性可以同时得到。
It can be shown that robust stability, robust static property, robust transient property and robust output tracking property can be achieved simultaneously.
在不要求最优逼近误差平方可积和上界已知的条件下，证明闭环系统全局渐近稳定，所有信号有界且跟踪误差收敛到零。
We proved the closed systems global asymptotical stable, not needing the error upper bound and the error square integral, all the signals are bounded and the tracing error convergence.
文中证明了此方法可使跟踪误差收敛到原点的一个小邻域内。
It is proved that the proposed method can make the tracking error converges to a small neighborhood of the origin.
理论分析证明了闭环系统是半全局一致终结有界，且跟踪误差收敛到零。
By theoretical analysis, the closed-loop control system is proved to be semi-globally uniformly ultimately bounded with tracking error converging to zero.
通过理论分析，证明了跟踪误差收敛到零。
By Lyapunov method, the tracking error asymptotically converges to zero.
通过理论分析，证明了跟踪误差收敛到零。
By Lyapunov method, the tracking error asymptotically converges to zero.
应用推荐