FMS可视化建模、仿真和验证的集成设计方法

徐刚; 吴智铭

首页> 中文期刊> 《系统仿真学报》 >FMS可视化建模、仿真和验证的集成设计方法

FMS可视化建模、仿真和验证的集成设计方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。

著录项

来源
《系统仿真学报》 |2004年第5期|902-906|共5页
作者
徐刚; 吴智铭;
展开▼
作者单位

上海交通大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动生产作业线;柔性制造系统及柔性制造单元;
关键词
柔性制造系统; 统一建模语言; 模型检查; SPIN;

相似文献

中文文献
外文文献
专利

1. 安全协议可视化建模和验证方法的分析与设计 [J] . 付杰 ,闫振林 ,张玉民 . 佳木斯大学学报（自然科学版） . 2013,第005期
2. 数字专用集成电路设计中的SystemC建模验证方法 [J] . 罗琨 ,尹建华 ,黄天锡 . 武汉大学学报：理学版 . 2002,第3期
3. 多领域系统可视化建模仿真平台集成开发 [J] . 田永利 ,颜云辉 . 计算机辅助设计与图形学学报 . 2008,第004期
4. 航电仿真系统集成验证平台设计方法的研究 [J] . 周德新 ,彭妮娜 ,马腾达 . 自动化与仪表 . 2015,第003期
5. 阀用波纹管仿真设计建模方法及其试验验证 [J] . 张全厚 ,宋林红 ,张文良 . 压力容器 . 2020,第007期
6. 航空齿轮设计的参数化建模方法与集成仿真平台 [C] . 刘更 ,吴立言 . 中国航空学会第十二届机械动力传输学术研讨会暨湖南省航空学会机械动力传输学术年会 . 2005
7. 安全协议可视化建模和验证方法的分析与设计 [A] . 付杰 . 2009

FMS可视化建模、仿真和验证的集成设计方法

摘要

著录项

相似文献

相关主题

期刊订阅