%0 Journal Article %T 网络化控制系统的协同设计与形式化建模 %A 彭可 %A 罗安 %A 张伟 %A 涂春鸣 %J 计算机集成制造系统 %P 0-0 %D 2011 %X 为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网络服务质量和控制性能质量的协同设计框架,并利用统一建模语言进行网络化控制系统的结构实体子模型设计,分析了网络化控制系统建模中类的概念和构造,针对类的属性和方法进行了扩展,归纳了建模过程的一般性步骤。最后以一台网络化三轴数控钻床的设计过程为例,实现并验证了所提出协同设计框架与形式化建模过程的可行性。 %K 网络化控制系统 %K 协同设计 %K 形式化建模 %K 统一建模语言 %K 网络服务质量 %K 控制性能质量 %U http://www.cims-journal.cn/CN/abstract/abstract2945.shtml