微制造数控系统的实时有限状态机建模研究

作     者：姚鑫骅 潘雪增 傅建中 陈子辰 YAO Xin-hua;PAN Xue-zeng;FU Jian-zhong;CHEN Zi-chen

作者机构：浙江大学计算机科学与技术学院浙江杭州310027 浙江大学现代制造工程研究所浙江杭州310027 

出 版 物：《浙江大学学报（工学版）》 (Journal of Zhejiang University：Engineering Science)

年 卷 期：2005年第39卷第12期

页      面：1965-1968,1997页

核心收录：

学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"863"高技术研究发展计划资助项目(2002AA421150) 

主　　题：实时有限状态机 微制造 控制流程表达 时间约束网络 

摘      要：为提高传统有限状态机(FSM)分析微制造数控系统(NCS)实时性特征的能力,提出了一种实时有限状态机(RTFSM)模型.该模型对传统FSM概念进行扩展,通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大,引入图论中的时间约束网络理论,采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算,从而实现控制流程的可调度性判定.实例研究表明,实时有限状态机可有效地建立微制造NCS控制流程模型,并降低对控制流程进行可调度性分析的复杂度,适用于NCS实时性研究.