| 基于分层式有限状态机和Petri网的航天器仿真器控制系统设计 |
| |
| 引用本文： | 解晨光.基于分层式有限状态机和Petri网的航天器仿真器控制系统设计[J].内蒙古民族大学学报(自然科学版),2010,25(4). |
| |
| 作者姓名： | 解晨光 |
| |
| 作者单位： | 天津工业大学,计算机科学与软件学院,天津,300000;山东省德州经济开发区管委会,山东,德州,253000 |
| |
| 摘 要： | 本文针对一种航天器地面仿真器控制系统采用的主程序和硬件定时中断服务程序结合实现实时性的机制.利用分层式有限状态机理论对主程序和中断程序各自内部的任务状态转换关系进行分析.利用Petri网理论对主程序和中断程序的并发性任务和资源共享状况进行分析.结合两种理论各自擅长的建模分析技术,高效、清晰、完整的表示出了控制流程,为软件工程化设计中详细设计和代码实现提供了准确的模型.系统的实际应用结果证明了上述方法的有效性.
|
| 关 键 词： | 有限状态机 Petri网 |
Control System Design of a Space Aircraft Simulation Based on Hierarchical Finite State Machine and Petri Net |
| |
| XIE Chen-guang.Control System Design of a Space Aircraft Simulation Based on Hierarchical Finite State Machine and Petri Net[J].Journal of Inner Mongolia University for the Nationalities(Natural Sciences),2010,25(4). |
| |
| Authors: | XIE Chen-guang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
