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.
特性验证使用定理求证系统来实现。
应用推荐