教学课程资源库 更多>>

关键词： 统一建模语言(UML   )   状态机   形式化方法   有穷自动机   RAISE规约语言(RSL)  

摘要： UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。

关键词： RAILROADS   COMPUTERS -- Industrial applications   SECURITY management   RAILROAD signal manufacturing   RAILROADS -- Signaling   RAILROADS -- Safety measures   SOFTWARE  

摘要： The article offers information related to the model-based methods for the development of safety critical softwares used by the railway industry. It discusses the general-purpose, model-based tools aided by formal methods adopted by railway signaling manufacturer General Electric Transportation Systems (GETS) to develop its products. It further discusses the challenges and lessons learned by the company throughout its 10 years experience of developing railway signaling softwares as of May 2013.

关键词： 面向对象   UML   教材管理  

摘要： 应用面向对象思想,使用UML建模技术,采用Rational Rose2003建模工具,通过用例图、类图、序列图的建模过程,完成教材管理系统中的教材申报管理、教材出入库管理、文件管理等相关功能模块的需求分析和设计,为后续系统实现打基础。

关键词： 在线考试   Web   ASP   NET   SQL   UML建模  

摘要： 传统印卷的考试方式已经越来越不能适应高职IT信息类专业的考试需求,高职院校在连续多年国家层面高职技能大赛的引领下,同时也为了提高学院办学质量与效率,开发和利用网络版在线考试管理软件成为越来越迫切的任务。本软件的开发与应用立足于已有的校园网网络或局域网等环境,采用B/S架构,结合***和SQL SERVER数据库进行应用软件开发,在需求分析、功能设计、系统实现等多个方面吸取同类型网络在线考试软件开发的经验和特点,软件系统基本实现了基于网络的IT技术类在线考试和考试成绩管理等功能。

关键词： Web   Services   PDM   体系结构设计  

摘要： 主要阐述了在企业合作方异地协同设计的趋势下,对企业原有的PDM系统进行升级改造。分析了PDM系统升级的主要需求,构建了基于Web Services的系统架构,并叙述了该系统的高层体系结构设计。

关键词： 虚拟电路   虚拟阻抗   电力电子   逆变器   数学模型  

摘要： 对于用作交流工频电源的逆变电源,输出电压无偏差地跟踪其给定电压信号是其最高控制目标。采用传统的闭环调节控制模式的逆变电源,存在渐近式的动态调节过程,在负载网络随机变化时,输出电压难以快速跟踪给定电压信号。为此,提出了逆变电源虚拟结构设计方法。该方法以开环逆变电源为被控对象,在辨识被控对象参数的基础上,通过控制器设计,使逆变电源的给定电压、输出电压及输出电流之间的关系等同于这些变量作用于某种电路结构。该方法以电路结构为直接设计目标,有机地将逆变电源自身实体参数变化因素融入到结构设计中,间接实现逆变电源的控制目标。据此设计的逆变电源具有极高的响应速度,可实现输出电压与给定电压信号无偏差。通过仿真与实验对其主要性能进行了验证。

关键词： 列车数据接口   CBTC   UML建模   软件工程  

摘要： 列车数据接口单元是一个多线程、多接口和多功能的非安全通信设备,在车载信号系统中起着传输、记录和配置车载信号设备的作用。本文采用面向对象的UML实时系统建模方法,分析了列车接口单元的设计组成,利用Rhapsody工具建立系统中各实体之间的静态和动态关系,从用例图、类结构图、序列图和状态转移图分别对系统进行了较为深入的研究和说明,为建立系统的动态模型和软件编程提供了可靠依据。系统原型模型已应用于列车数据接口单元的软件开发中,并获得较为满意的效果。

关键词： UML建模   整体分析   整体设计  

摘要： 采用先进的UML建模语言进行系统整体的分析与设计对于面向对象的管理系统十分有效。文章以高校教务管理系统为例,从系统整体分析和系统整体设计两个层次详细阐述了建模的综述、视图与图及模型的建立,为系统的实施与建立工作奠定坚实的基础。

关键词： 电子病历   压疮   护理科研   数据采集  

摘要： 目的:利用电子病历信息工程,进行压疮数据采集方法设计,达到压疮(风险)病历信息数据采集完整。方法:设计基于结构化电子病历平台的压疮(风险)信息采集、上报、监控、多角色权限管理系统,使用共同的计算机语言,定制专项的压疮(风险)上报卡,设计压疮风险评估表、压疮评估和护理监控表模板。结果:压疮(风险)信息管理系统实现了压疮(风险)及时上报和压疮病历信息完整,与纸质上报比较,差异有统计学意义(P<0.05)。结论:基于结构化电子病历平台的压疮(风险)信息管理系统可以方便、迅速、准确地采集压疮病历数据和统计分析工作,有利于护理科研开展,同时提高压疮护理质量管理效能,促进压疮护理管理信息化。

关键词： 无线传感器网络   安全通信   缺陷检测   安全目标   形式化方法  

摘要： 为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标。文中以基于传感器网络加密协议的安全通信过程为例,证实了该方法的可行性。