它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
我知道这个科学定理已有些年头了，但在我亲自验证它的时候，我得承认，我用了我可能会怀念得少一些的左手。
I'd known about it for years, but when it came time to test it in real life, I have to admit that I used my left hand, the one I'd miss less.
证明了一个状态为跳跃扩散过程的一般最优控制问题的验证性定理。
A verification theorem for general stochastic optimal control with the state following a jump_diffusion process is showed.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
在介绍著名的孙子定理和欧拉函数的基础上，提出了一种新的口令验证方案。
A new password authentication scheme is proposed after introducing the famous Sunzi theorem and Euler function.
变换群是一类重要的群，按照创设问题情境、猜测、验证、反驳、再猜测、再验证的探究思路，给出了变换群基本定理的一个具体探究教学设计。
Along the way of creating problem situation, guessing, testifying, refuting, re-guessing and re-testifying, a case of explorative teaching on a basic theorem of transformation group is given.
利用复摆验证了刚体的平行轴定理。
The Parallel axis theorem of rigid body is verified with physical pendulum.
数学模型是在实地分析岩爆破坏机制基础上，经过岩爆强度理论及稳定理论分析，并经过物理模型试验验证后建立的。
Through analyzing rock failure due to rock burst in-situ, applying the rock burst strength theory and the stability theory, and using physical modelling experiment, the mathematical model is built.
最后提出一种基于公钥密码和中国剩余定理的动态口令验证方案，进行方案安全性及性能的分析。
A dynamic password authentication which is based on the Chinese remainder theorem and RSA public-key cryptography are represented. Finally analysis is made on the scheme security and feasibility.
同时，探讨下一步研究的大致方向和所需条件，为下一步的调查验证工作奠定理论基础。
Moreover, the paper discusses the general direction and the necessary conditions of the next step.
通过李亚普诺夫稳定理论证明跟踪误差是指数收敛的，仿真结果验证了这种方法的有效性。
It is showed by the Lyapunov stability theorem that the tracking errors converge exponentially. The simulation results illustrate the efficiency of this method.
因为电子技术的许多理论、定理和公式都是前辈们或经数学分析推导，或通过实验验证、概括和总结出来的。
Be that predecessors or the experiment infering, or passing after mathematical analysis verifies, summarizes and sums up out because of many theory, theorem and formula of electron technology.
平图例子验证了构造定理和计数定理的实用性和有效性，是构造一个完全图的生成树的简单易行的方法。
Level diagram example shows the practicality and effectiveness of the construction theorem and counting theorem, which is a simple and easy method to construct a complete graph of the spanning tree.
通过使用辅助系统方法，我们给出了基于李雅普·诺夫稳定性理论的广义同步定理。最后，用数值例子来验证定理的有效性。
By using the auxiliary system method, a sufficient condition for GS is derived based on the Lyapunov stability theory. At last, numerical examples are presented which fit the theoretical analysis.
通过使用辅助系统方法，我们给出了基于李雅普·诺夫稳定性理论的广义同步定理。最后，用数值例子来验证定理的有效性。
By using the auxiliary system method, a sufficient condition for GS is derived based on the Lyapunov stability theory. At last, numerical examples are presented which fit the theoretical analysis.
应用推荐