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

来源 :系统仿真学报 | 被引量 : 4次 | 上传用户：kandyyu

【摘要】

：

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

【作者】

：

徐刚吴智铭

【机构】

：

上海交通大学浩然高科技大厦1416信箱

【出处】

：

系统仿真学报

【发表日期】

：

2004年05期

【关键词】

：

柔性制造系统统一建模语言模型检查 SPIN Flexible Manufacturing System (FMS) Unified Modeling Lan

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

普通高校公共音乐教育现状调查与研究——以天津市四所高校为例

本文通过对天津市四所普通高校的调查研究,发现高校音乐教学普遍存在教学设施配置不足、师资不达标、课程设置不太合理、重视程度不够等现实问题。通过完善硬件软件基础设施

期刊

高校公共音乐教育问题措施

声乐教学方法及其歌唱处理艺术

新时期,随着科学技术的不断发展,声乐教学方式也得到极大地改善。但是,就目前来讲,现有的声乐教学方法依然不能够满足学生素质发展的需要。因此,在声乐实践教学中,为有效提高

期刊

声乐教学处理艺术歌唱

微型化学实验的研究与应用

在实施化学创新教育中进行微型化学实验的研究与应用。可使学生在课堂上左右脑协调工作，促进智力发展，提高实践动手能力，同时也能培养学生的环保意识和减少对环境的污染．

期刊

创新教育微型化学实验环保意识innovational educationsubminiature experiment sense of enviro

基于听觉图像的音乐流派自动分类

听觉图像构建的模拟模型依循了耳蜗本体特性,时域模型接纳了传递过来的声音而后变为可参照的二维图像。依照图像细化的类别以便于自动区分现有的音乐流派,解析了不同情形下的

期刊

听觉图像音乐流派自动分类

事业单位经济管理问题初探

摘要：事业单位经济管理关系到我国经济的发展。因此，从这个角度出发，新时期深入研究事业单位经济管理相关问题有着非常重要的现实意义。该文从探讨新时期我国事业单位深入研究经济管理的重要意义出发，详细阐述了这项系统性研究的重要性和重要地位。而后又深入分析了我国事业单位经济管理的基本目标并就当前事业单位经济管理中的问题所在做了系统的论述分析。最后，结合自身多年工作研究经验，笔者进一步提出相应的完善性策略。

期刊

事业单位经济管理管理目标现状完善性策略

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题，论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持。

期刊

实时系统实时软件PEARL语言<Keyword>real - time system real - time software PEIAR

数据库连接技术在Visual C＋＋中应用

本文介绍了ODBC的运行机制,着重讨论了Visual C++下应用MFC进行ODBC编程的方法.ODBC(Open DataBase Con-nectivity,开放数据库连接)提供了一组应用程序调用接口和一套运行支

期刊

开放数据库共享连接程序接口调用函数Open DataBase Connectivity Share Connectivity routine i

简析民族音乐理论的现代意识

随着我国经济的不断发展,国际地位的不断提高,国际化交流的的趋势也越来越频繁,这些变化都在一定程度上改变了我国社会的发展环境,文化环境也随之发生变化,各种不同的形式,各