UML在图书馆管理系统建模中的应用

以图书馆管理系统项目的开发为背景，探讨了UML在图书馆管理系统中的应用问题，在对系统进行需求分析的基础上，采用CASE建模工具构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。     

计算机辅助功能危险评估方法研究

功能和安全一直是高风险复杂系统的关键问题。传统的功能危险评估由安全工程师手工进行分析,面对高度复杂系统时,就会变得难以完成且容易出错。解决这种问题的一个途径就是利用计算机进行辅助。为此提出一种计算机辅助的功能危险评估方法,采用状态图语言搭建系统状态模型,将功能失效影响直观地从系统状态转移图上表达出来。并且在系统状态模型的基础上,采用计算机编程快速计算出导致系统故障的失效组合以及最小割集。最后以飞机为对象证明了方法的可行性。     

独立电源系统有源滤波器测控系统自动定制技术

采用自动定制技术设计了独立电源系统有源滤波器测控系统。对独立电源系统有源滤波器测控系统进行了需求及特点分析。以需求为出发点并参考特点建立测控系统的体系结构,进行功能性的划分,实现了测控系统的功能构件化。采用面向对象的设计思想,将组成系统的构件抽象化为类,利用UML建模语言对测控系统进行建模,利用代码生成工具以及成熟的硬件构件实现测控系统。将自动定制得到的测控系统实际应用于独立电源系统有源滤波器中,对该系统进行了检验。     

以数据为中心的AIM基础——AIXM5

航空信息交换模型AIXM是一种基于国际标准的全球适用的航空信息数据交换标准,是实现AIS向AIM战略转变的关键技术之一。AIXM5概念模型和数据标准采用UML描述。本文以跑道为例介绍了AIXM5建模技术。     

基于状态图的周期BIT故障检测与虚警抑制仿真

针对BIT(Built-In Test)技术在装备测试性设计与PHM(Prognostic and Health Management)的应用需求,提出了基于状态图(Stateflow)的周期BIT(PBIT, Periodic BIT)故障检测与虚警抑制仿真方法.分析了周期BIT的特性与虚警问题,给出了周期BIT的仿真原理.在加电BIT的基础上分析了周期BIT的仿真要素及其Stateflow对象的仿真模式,并实现了故障注入、干扰注入和虚警抑制措施的建模,最后给出了周期BIT建模仿真以及仿真输入数据设计流程.以某典型航电模块周期BIT为例,建立了电源板、干扰、周期BIT以及虚警抑制措施的Stateflow仿真模型,仿真结果显示该方法能有效地实现周期BIT故障检测与虚警抑制的动态逻辑过程仿真.     

基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

统一建模语言UML及其应用

UML是面向对象的统一建模语言,是面向对象领域的重要成果.它的内容包括UML语义和UML表示法两个部分.本文简要介绍了UML语义,表示法的内容,并总结了它在某些重要领域的应用.