论文部分内容阅读
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。
基于Petri网的电梯系统规格说明
【摘 要】
：
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计
【机 构】
：
菏泽学院计算机与信息工程系
【出 处】
：
长春大学学报
【发表日期】
：
2011年6期
其他文献
小组合作学习和自主学习能力的培养是相当必要的,而且对于促进学生全面发展,促进全体学生共同发展有着不可替代的作用。下面本人就简单谈一谈自己在教学中关于小组合作和自主
科学的教务管理是高校教学管理工作的一个重要内容，方便、快捷、高效率地完成高校教务管理有助于提高高校的教学质量和水平。如何促进高校教务管理信息化，提升教务管理质量，更好
社会冷漠现象的频频出现反映出人们社会责任感的缺失。此类现象是否已经成为普遍问题，当代大学生的社会责任感现状如何值得关注。本文以长春大学在校生为对象，通过问卷调查的形
讨论了一类时分差分方程零解的渐近稳定性，得到了该系统零解渐近稳定的一个充分条件。
目的 系统探析急性脊柱创伤的诊断和治疗方法.方法 回顾分析2015年4月~2016年4月我院骨外科诊治的35例急性脊柱创伤患者的临床资料,均采取CT、X线等检查,行椎弓根螺钉内固定
艺术与哲学的关系是巴迪欧电影美学的基础。在此基础上，巴迪欧从柏拉图出发，认为电影的本质是理念（主题）对形式的一种拜访，而电影的运动（分为整体运动、局部运动和艺术语言之间的运
产后抑郁症是一种严重、突发、常见的产后引发的影响身体健康和心理的疾患。它的发病因素很多,其中包括三个方面的因素,即社会因素、生理心理因素和自身体质因素。此病严重时
目的 探讨中医心理护理在胃镜检查中的应用效果.方法 将2017年6月至2018年6月期间在我院接受胃镜检查的患者60例进行分组研究,对照组30例行常规护理,观察组30例行中医心理护
目的 探讨基于本科生科研项目支持下指导本科生进行临床科研工作的教学效果及经验。方法 以单一临床研究问题为研究中心内容,采用临床试验设计培训结合临床实践的培训方式,以
病理学是基础医学与临床医学之间的重要桥梁学科,病理学教学不仅要给学生建立起病理学的基本概念、基本原理,还应培养学生的临床思维能力。在病理学教学中,针对不同专业、不