它演示了自动化技术、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.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
根据有限时间稳定性定理证明此时闭环系统是全局有限时间稳定的。
By using a finite time stability theorem, it is proved that the closed loop system is globally finite time stable.
在证明中采用了一种把网微分法与条件矩母函数相结合应用于随机选择系统强极限定理研究的一种途径。
In the proof, the tools of the conditional moment generating function and the differentiation on a net for the study on strong limit theorems in the random selection system are applied.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
详细研究了一种一元非线性系统的BP算法，提出并证明了该算法的收敛性定理，给出了该算法的应用实例。
This paper traverses the BP arithmetic to solve non-linear system in one variable, presents and proves the convergence theorem of the arithmetic, shows the application example.
给出系统振动的比较定理，利用比较定理讨论了一类非线性偏差分方程的振动性，给出简单的判别条件及证明。
By means of the comparison theorem, and the oscillation of some non-linear partial difference equations is discussed and some concise conditions and authenticity are given.
本文证明了感应电动机的解耦控制定理，分析了转子电阻变化对解耦控制系统的影响。
Decoupling theorems of induction motor are proved in this paper, effects of rotor resistance variation to decoupling control are analyzed.
以此为基础，对泛逻辑基本形式系统UL中的H -赋值进行了拓广，引入了广义h -赋值概念，证明了UL在广义h -赋值之下可靠性定理成立。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
根据预备知识，利用紧性定理和先验估计，证明了系统最优控制的存在性。
The existence of the optimal control for the system is demonstrated via compactness theorem and prior estimates.
利用主要定理2很容易证明一个系统是否具有文中所给哈密顿函数的哈密顿系统。
Using the main theorem 2 we can easy to validate that whether the systems are Hamiltonian with one of the Hamiltonian functions which are given by this work.
在此基础上，证明了由一般事物系统向辩证矛盾系统转化的软阴阳化定理和硬阴阳化定理。
On these bases, the soft Yin-Yangalization theorem and the hard Yin-Yangalization theorem that describe the transformation from ordinary thing's system to dialectical contradiction are proved.
在实数系统中，为了周密性，在实数系统中，为了周密性，此时有必要证明一些整数的定理。
In a thorough treatment of the real-number system, it would be necessary at this stage to prove certain theorems about integers.
就如何进行大系统空间模块的分解以满足建模的需要，作了理论上的探讨，给出了最优空间分解判定及性质定理证明。
In this paper, how to optimally divide a complicated system for serving the need of system modelling well is studied theoretically. We present the optimal dividing theory and its theorem proving.
对二维晶体的矩阵表示、对称性及其对X射线衍射的系统消光规律进行了研究，得到并证明了二维晶体的矩阵表示的二个定理和二维晶体对X射线衍射的系统消光定理。
The crystallographic problems of two-dimensional crystal, such as the matrix expression, the symmetry and the systematic absence law of the crystal's X-ray diffraction, are studied.
对二维晶体的矩阵表示、对称性及其对X射线衍射的系统消光规律进行了研究，得到并证明了二维晶体的矩阵表示的二个定理和二维晶体对X射线衍射的系统消光定理。
The crystallographic problems of two-dimensional crystal, such as the matrix expression, the symmetry and the systematic absence law of the crystal's X-ray diffraction, are studied.
应用推荐