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

浙 江 大 学 学 报!工学版 第 卷第 期 ! ! ! ! ! =(-!?(#$ ! #$ 年 月 ! ’()*+,-(./013,+ 5+361*738 :+ 3+11*3+ ;31+1 $%% #$ 2 4 9 4 4 @1$%% 微制造数控系统的实时有限状态机建模研究 # # $ $ 姚鑫骅 !潘雪增 !傅建中 !陈子辰 $ 浙江大学 计算机科学与技术学院浙江 杭州 ( 浙江大学 现代制造工程研究所浙江 杭州 % # !#%%$H$ !#%%$H 摘 要#为提高传统有限状态机$ %分析微制造数控系统$ %实时性特征的能力提出了一种实时有限状态 ];\ ?[; ! 机$ %模型 该模型对传统 概念进行扩展通过增加时间属性来描述状态行为的执行时间以及状态间 fP];\ ];\ 切换所需的时间耗费 考虑到对复杂 控制流程进行设计)分析计算量较大引入图论中的时间约束网络理论 ?[; 采用经过修正的 算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算从而实现控制流程 ]-(D 9 的可调度性判定 实例研究表明实时有限状态机可有效地建立微制造 控制流程模型并降低对控制流程进 ?[; 行可调度性分析的复杂度适用于 ?[;实时性研究 关键词#实时有限状态机(微制造(控制流程表达(时间约束网络 中图分类号# 文献标识码# 文章编号# $ % PN!# G #%%E H!R $%% #$ #I %A ! ! ! ! ! ! ! ! ! ! !#$%’()%$,T-+*\SV *(/,+) 2(% G *+%(2$3%+$-+()WI##-* . # # $ $ UGT R3+K0), NG? R)1KC1+ ]5 ’3,+KC0(+ [Q:? /3K01+ 4 4 $ ( ##X’,%8’6%+ 9+8 0%’,$C1’6C’62E6 16’’,16 :;’16 61?’,71% @6 A;+0!#%%$H 9;16 F - F =