verification theorem的意思|示意

Property verification is carried out using theorem proving systems.

特性验证使用定理求证系统来实现。

A verification theorem for general stochastic optimal control with the state following a jump_diffusion process is showed.

证明了一个状态为跳跃扩散过程的一般最优控制问题的验证性定理。

A meaningful problem of the fixed stream is considered in the model and a new verification theorem has been proved.

而针对有固定流的情况，证明了相应的检验定理，也导出了模型的最优控制解。