欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.
英文摘要：
To analyze and verify hybrid systems,a simulation logic verifies method of hybrid systems by applying the classical first-order logic is proposed. Hybrid programs,simulation logic formulas of hybrid systems,simulation logic notation form and meaning,hybrid simulation,simulation semantics of hybrid programs,valuation of simulation logic formulas are firstly proposed. And then,formal deduction rules for simulation logic based on classical first-order logic,simulation semantics of hybrid programs,valuation of simulation logic formulas were put forward. Finally,the liveness of hybrid systems is verified through an example of boiling eggs.
同期刊论文项目
同项目期刊论文
期刊信息
位置：