A meaningful problem of the fixed stream is considered in the model and a new verification theorem has been proved.
而针对有固定流的情况，证明了相应的检验定理，也导出了模型的最优控制解。
A verification theorem for general stochastic optimal control with the state following a jump_diffusion process is showed.
证明了一个状态为跳跃扩散过程的一般最优控制问题的验证性定理。
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.
包括不变式产生规则，不变式在计算机中的表示和转换，以及定理证明的部分实现方法。
The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.
包括不变式产生规则，不变式在计算机中的表示和转换，以及定理证明的部分实现方法。
应用推荐