论文部分内容阅读
实时系统应用要求其必须有严格的正确性，UML及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型，阐述了UML状态图到Petri网模型的转换规则，通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用。
基于UML状态图和Petri网的冷却水实时控制系统建模与分析
【摘 要】
：
实时系统应用要求其必须有严格的正确性，UML及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型，阐述了UML状态图到Petri网模型的转换规则，通过生产线冷
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报：工科版
【发表日期】
：
2009年6期
【基金项目】
：
中国科学院计算机科学国家重点实验室开放课题（编号SYSKF0908）,江苏省高校自然科学基金（编号08KJB520010）.
其他文献
日常教学中常听到有些老师感叹：课堂导入、教学设计并不是最难的，困难的是如何优化作业设计，学生对作业往往是机械被动地应付差事，很难达到应有的效果。究其原因，主要是作业缺乏针
目的：本文通过59例患者治疗前后比较,观察并研究VitalstimTM治疗仪对中风患者吞咽障碍的影响。方法：对入选59例患者分为两组：VitalstimTM＋针刺组（治疗组）、针刺组（对照组）。采用Vital
在英语和汉语中都大量存在着一类由成对意义相反的词构成的反义词组。由于英语和汉语毕竟是在相对独立的特殊地理、历史、宗教和文化等社会环境下形成并发展而来的,社会生活
LED点阵显示板是由很多个通常是红色的发光二极管组成的，靠控制一个个发光二极管的亮灭来显示字符。采用有线方式传输显示数据的LED点阵屏安装和更换位置不便，并且用户如果希望
“讲授法”是中学生物课堂教学中的传统教学法,其优点是能够比较系统地讲授知识,对不同知识、智力和能力层次的学生都比较适用。但在课堂上教师活动得多,而学生多限于被动地
一用口诀或歌诀来记忆知识是我国人民的一种传统学习方法,由于诀的字句整齐,顺口押韵,因而易诵易记,且经久难忘,与死记硬背比起来,往往能收到事关功倍的效果,因此历来深受人
绿色植物的新陈代谢是高中生物教学中的一个重要内容,它包括水分代谢、矿质代谢,有机物和能量代谢,这些内容都是在植物体内进行的微观生理活动,看不见摸不着,学起来抽象难懂,
近年来,我国各地中小学语文教改异常活跃,成果不少,然目下语文教学质量从总体上说仍不尽人意,甚至尚存在许多急待解决的问题,它一方面反映了当前部分师生对学习语文的不满心
一、构思是改变教学现状、推进教学改革的前奏 1、构思就是心思。作文章、制造艺术品之前需要构思才能出好作品。教学就是在制造作品。每个教师在备课前都要构思,只是多数人