浙江大学学报（工学版）
浙江大學學報（工學版）
절강대학학보（공학판）
JOURNAL OF ZHEJIANG UNIVERSITY(ENGINEERING SCIENCE)
2005年
12期
1965-1968,1997
,共5页
姚鑫骅%潘雪增%傅建中%陈子辰
姚鑫驊%潘雪增%傅建中%陳子辰
요흠화%반설증%부건중%진자신
实时有限状态机%微制造%控制流程表达%时间约束网络
實時有限狀態機%微製造%控製流程錶達%時間約束網絡
실시유한상태궤%미제조%공제류정표체%시간약속망락
为提高传统有限状态机(FSM)分析微制造数控系统(NCS)实时性特征的能力,提出了一种实时有限状态机(RTFSM)模型.该模型对传统FSM概念进行扩展,通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大,引入图论中的时间约束网络理论,采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算,从而实现控制流程的可调度性判定.实例研究表明,实时有限状态机可有效地建立微制造NCS控制流程模型,并降低对控制流程进行可调度性分析的复杂度,适用于NCS实时性研究.
為提高傳統有限狀態機(FSM)分析微製造數控繫統(NCS)實時性特徵的能力,提齣瞭一種實時有限狀態機(RTFSM)模型.該模型對傳統FSM概唸進行擴展,通過增加時間屬性來描述狀態行為的執行時間以及狀態間切換所需的時間耗費.攷慮到對複雜NCS控製流程進行設計、分析計算量較大,引入圖論中的時間約束網絡理論,採用經過脩正的Floyd算法對模型中各箇狀態行為開始和結束時間的取值範圍進行分析計算,從而實現控製流程的可調度性判定.實例研究錶明,實時有限狀態機可有效地建立微製造NCS控製流程模型,併降低對控製流程進行可調度性分析的複雜度,適用于NCS實時性研究.
위제고전통유한상태궤(FSM)분석미제조수공계통(NCS)실시성특정적능력,제출료일충실시유한상태궤(RTFSM)모형.해모형대전통FSM개념진행확전,통과증가시간속성래묘술상태행위적집행시간이급상태간절환소수적시간모비.고필도대복잡NCS공제류정진행설계、분석계산량교대,인입도론중적시간약속망락이론,채용경과수정적Floyd산법대모형중각개상태행위개시화결속시간적취치범위진행분석계산,종이실현공제류정적가조도성판정.실례연구표명,실시유한상태궤가유효지건립미제조NCS공제류정모형,병강저대공제류정진행가조도성분석적복잡도,괄용우NCS실시성연구.
