教学课程资源库 更多>>

关键词： UML   煤矿安全分析系统   实体模型   数据流图  

摘要： 煤矿安全分析系统需在原有煤矿安全事故基础上进行数据统计分析并作基本预测,因此需要与原有系统进行兼容,并满足新的业务需求。在开发过程中采用UML面向对象分析和结构化系统分析相结合的方法,从各个角度分析系统功能,并达到系统的设计目标。

关键词： 统一建模语言   面向对象Petri网   维修保障系统   建模  

摘要： 为了对维修保障系统正确建模,提出基于UML和Petri网相结合的UML-OPN建模方法。根据建模系统的特点,按照一定的映射算法,通过UML模型和OPN模型分别分析描述了装甲装备维修保障系统的静态和动态特性,不断完善系统的建模模型,并以基层级修理机构为例,验证了该方法在装甲装备维修保障系统建模中的实效性。分析结果表明:该方法极大地降低了系统模型的复杂度,使其更清晰、易懂,且具有良好的可重用性和扩展性。

关键词： 动力传动系统   语言   软件建模  

摘要： 为解决动力传动系统嵌入式软件复杂、开发困难的问题,针对其功能和特点,运用面向对象方法对动力传动系统进行了建模。将动力传动系统划分为发动机控制系统、变速器控制系统和转矩协调系统,针对每一系统进行了静态和动态建模。通过软件建模,将软件开发的层次提升到系统级,对领域针对性更强。所建立的模型具有较好的通用性。

关键词： 形式化方法   形式化系统   形式化语言   迁移系统   计算模型  

摘要： 从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.

关键词： Design   Reliability   Management   Model-driven engineering   UML/MARTE   discrete controller synthesis   synchronous language   reactive systems   feedback loop   BZR   formal method  

摘要： This article presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a model-driven engineering methodology based on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights (control part)-ensured statically and fulfilled by the system at runtime-and soft constraints (decision part) that, given a set of correct and accessible configurations, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations.

关键词： Electron Beam Direct Writing   Character Projection   muting   interconnect. VIA  

摘要： To improve throughput of Electron Beam Direct Writing (EBDW) with Character Projection (CP) method, a structured routing architecture (SRA) has been proposed to restrict VIA placement and wiretrack transition. It reduces possible layout patterns in the interconnect layers, and increases VIA and metal figure numbers in the EB shots while suppressing the CP character number explosion. In this paper, we discuss details of the SRA design methodology, and demonstrate the CF performance by SRA in comparison with other EBDW techniques. Our experimental results show viable CF performance for practical use, and prove SRA's feasibility in 14 nm mass fabrication.

关键词： 分段函数   教学设计   反思   举例说明   对应法则   抽象函数   换元法   学生  

摘要： 本节课以问题解决形式引入课题，提炼出函数的表示方法有哪些？让学生充分讨论这些表示方法的优缺点是什么，并举例说明。再根据引入的问题进行修改，让学生充分体会函数的三种表示方法；预设问题，引出分段函数，并充分认识分段函数是一个函数；再以函数的对应法则为载体，让学生感受抽象函数的解析式求法，体会配凑法、换元法，让学生感受换元过程中关注新元的范围，但这部分内容不易挖掘太深。本节重点内容是函数的三种表示方法，难点是根据不同的需要选择恰当的方法来表示函数，分段函数的表示及其图象的做法。

关键词： 面向对象   CASE   UML   系统建模  

摘要： 随着面向对象技术的快速发展和应用,很多公司相继开发了支持面向对象技术的计算机辅助软件工程(Computer Aided Software Engineering,简称CASE)工具[1]。在大浪淘沙的技术进步大潮中,有些工具渐渐退出了历史舞台,并逐渐被人们所遗忘;但有些不断发展,并为人们所接受,从而被广泛使用。Visual Paradigm for UML(简称VPUML)是一款功能强大、跨平台、使用便捷、直观的UML系统建模和CASE工具,它可以整合在其他CASE工具或者其他IDE工具中,这种"一站购物式"的软件解决方案要远远优于常规的Model-Code-Deploy的开发进程。本文讨论了VPUML的基本功能和主要特点,为广大用户提供参考。

关键词： 统一建模语言活动图   时间约束   工作流过程模型   语义描述   路由结构   模型验证  

摘要： 为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。