| 采用经典一阶逻辑的混合系统仿真逻辑验证法 |
| |
| 引用本文： | 卢中宁,付金华,张志锋.采用经典一阶逻辑的混合系统仿真逻辑验证法[J].湖南师范大学自然科学学报,2015(2):84-89. |
| |
| 作者姓名： | 卢中宁 付金华 张志锋 |
| |
| 作者单位： | 1. 郑州轻工业学院 软件学院,中国 郑州,450002
2. 郑州轻工业学院计算机与通信工程学院,中国 郑州,450002 |
| |
| 基金项目： | 国家自然科学基金资助项目(61201447)；河南省教育厅科学技术研究重点项目 |
| |
| 摘 要： | 针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.
|
| 关 键 词： | 混合程序 仿真逻辑公式 仿真语义 形式推演规则 |
Simulation Logic Validation Method of Hybrid Systems Applying Classical First-Order Logic |
| |
| LU Zhong-ning,FU Jin-hua,ZHANG Zhi-feng.Simulation Logic Validation Method of Hybrid Systems Applying Classical First-Order Logic[J].Journal of Natural Science of Hunan Normal University,2015(2):84-89. |
| |
| Authors: | LU Zhong-ning FU Jin-hua ZHANG Zhi-feng |
| |
| Institution: | LU Zhong-ning;FU Jin-hua;ZHANG Zhi-feng;School of Software,Zhengzhou University of Light Industry;School of Computer and Communication Engineering,Zhengzhou University of Light Industry; |
| |
| Abstract: | |
| |
| Keywords: | hybrid progrzms simulztion logic formulzs simulztion semzntics formzl deduction rules |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
