基于符号定向图的计算机辅助自动建模研究

分析了符号定向图(Signed Directed Graph,SDG)技术在危险与可操作性分析(HAZard and OPembility,HAZOP)、过程危险性分析(Process Hazard Analysis,PHA)等领域中的应用现状和前景,提出了研究基于SDG的HAZOP计算机辅助自动建模方法,构建了基于SDG的HAZOP计算机辅助自动建模软件平台,阐述了研究路线,展示了应用策略。软件平台构建的研究填补了国内在SDG自动建模领域的研究空白,拓展了计算机辅助设计(CAD)技术和符号定向图(SDG)技术在复杂系统重大事故及智能诊断领域的应用。     

基于UML的全程办税系统的建模与实现

UML（U1ified Modeling Language）是一种易于表达、功能强大的面向对象标准建模语言,广泛应用在系统建模过程中。基于UML建模的迭代式开发方法具有传统开发方法无可比拟的优点。文中结合全程办税系统的需求分析,采用RUP（Rational Unified Process）建模过程,建立了系统的用例图、类图和顺序图,从静态和动态不同建模机制,给出了基于UML的系统需求模型、静态模型和动态模型的建模过程。在可视化建模工具EA（Enterprise Architect）环境下,实现了从模型到C#代码的自动生成,完成了系统的实现。     

基于UML的CORBA/Java分布式应用系统的领域模型设计

探讨了一种借助UML构建的基于CORBA/Java的分布式应用系统建模方法以及相关技术.研究设计了分布式应用系统的软件模型,使用UML建模方法完成了系统分析、设计和建立领域模型的全过程.通过一个具体实例给予详细说明,实例表明,利用UML对复杂的软件系统建模,有助于实现软件的重组和复用,为快速、高效地构建系统提供了一种可行的解决方案.     

基于UML的医院信息系统领域模型设计

UML（标准建模语言）是面向对象技术一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具.本文首先介绍了UML的基本内容,然后详细描述了在医院管理信息（HIS）系统开发中,使用UML建模方法完成系统的分析与设计,建立领域模型的全过程.     

基于UML和平台的嵌入式系统设计方法研究

针对嵌入式系统设计和开发的特点和需求的不断提高导致设计开发的复杂性,研究了将UML和平台结合进行嵌入式系统设计的一种方法,使用UML描述平台细节和所提供的功能;利用UML的扩展特性建立了一种UML平台profile,包含建立新的构造类、构造关系、标签值和约束;并将这种UML和平台相结合的设计方法应用在嵌入式系统实例上,选择了组成嵌入式系统实例的硬件和软件平台,针对实例平台不同的服务层次建立了面向应用建模服务的相应实例平台模型,使用了静态图和动态图表示了这种平台模型,并且描述了实例平台模型的一种应用.     

SDG故障诊断中的分层建模递阶推理方法

针对采用符号有向图(signed directed graph,SDG)对石化工业系统进行故障诊断时,经常存在SDG建模和推理过程十分繁琐、困难的问题,提出了一种基于控制回路分解系统的SDG分层建模及递阶推理方法.在建立SDG模型时将整个系统分解为含有系统层、子系统层和回路层的多层次模型架构,进而利用递阶推理在分层SDG模型中搜索相容通路来实现故障诊断.该方法能清晰表述工业系统的SDG模型,减少了建模和推理的复杂度.以Tennessee Eastman仿真系统为例进行了验证,证明了方法的有效性.     

基于趋势分析和SDG模型的故障诊断

基于趋势分析的故障诊断受数据影响较大,基于定向符号图(signed d irected graph)模型的故障诊断难于建模和推理,而两者结合以提高故障诊断效果的方法还未被考虑.本文将趋势分析的趋势信息和SDG模型的节点信息进行了比较,阐明了两者信息互补的特点,然后利用趋势分析建立SDG模型,并利用SDG模型改进基于趋势分析的故障诊断,建立了数据驱动方法和基于模型方法相结合的故障诊断方法.CSTR(continuous stirred-tankreactor)实例分析表明,基于趋势分析和SDG模型的故障诊断方法提高了诊断的准确性和精确性.     

土石方开挖数学模型和仿真系统的设计与研究

建立了土石方开挖数学模型,将开挖过程简化为相应的数学问题,利用数学理论进行分析和研究,为土石方分区分层分块开挖原则提供了科学的方法和理论的指导。讨论了土石方开挖仿真系统的组成、统一建模语言（Unified Modeling Language,UML）的建模机制,提出了一种基于UML土石方开挖仿真系统的建模方法,并利用Rational Rose工具对其进行面向对象的可视化建模,详细阐述了系统用例模型、静态模型和动态模型的建模过程。实例分析说明了土石方开挖数学模型、UML建模机制是有效的、可行的。     

运用UML对基于J2EE的Web应用系统建模研究

构建基于J2EE的Web应用系统是当前的热点,UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对Web应用系统建模是一个新的研究方向.阐述了结合使用J2EE和UML的原因以及如何运用UML实现对J2EE的建模表示,探讨了运用UML对基于J2EE的Web应用系统建模的一般过程和方法,并结合一个网上拍卖系统的建模实例,详细说明了其建模过程和建模方法.通过对Web应用系统建模,可以有效地保证Web应用系统开发的质量.     

基于SDG模型和模糊融合的故障诊断方法

将符号定向图SDG（Signed Directed Graph）节点偏差模糊化为定性模糊偏差,并从子节点向父节点对其进行数据融合,得到父节点故障源可能性,分析了该模糊融合传递信息的特性和处理各种发生故障的情形的优点。建立了基于SDG模型和模糊融合的故障诊断方法,包括SDG建模、故障源数检验和故障诊断等步骤,并以铝电解槽故障诊断为实例,说明了这种方法的有效性。     

联锁软件的统一建模语言和Petri网建模

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model．PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。     

用UML模拟对象模型

从分析传统开发方法的不适应性，提出克服传统方法缺点的新途径。UML是一种通用的标准的统一建模语言，支持从需求分析开始的软件开发全过程，UML中的图形标记，尤其适用于描述面向对象的软件设计。用面向对象方法开发软件，在任何情况下，对象模型始终都是最重要、最基本、最核心的。文中给出了一种用UML来模拟对象模型的有效方法，通过可视化建模，使软件设计工具发挥更大的效用，更好地提高模型的重用性。     

UML／OOPN集成建模技术研究

文章探讨了可视化面向对象方法与对象Petri网（00PN）方法的集成建模问题。首先根据两种方法的互补性，阐述了UML／OOPN模型的语义定义、图符定义和形式定义；进而以电子支付领域应用为例，提出了UML／OOPN模型的转换与集成优化方法；最后给出了基于体系结构描述语言的软件构架模板。所提出的集成建模方法和研究模型在电子商务软件开发中取得了良好的效果。     

UML建模机制研究及在系统需求分析中的应用

对UML语言的组成结构和需求分析的基本原则做了简要的介绍,从两者之间的关系出发,提出了分析中的3类模型图,并导出了利用统一建模语言UML获得系统功能需求的方法和建模流程;从理论出发,在一个综合网管系统的设计中,从所得到的方法及建模流程图,结合图例详细阐述了需求分析建模所经过的5个阶段,从建立的3类模型图中得到一个较为完整的系统需求分析结论。     

PKUMoDEL:模型驱动的开发和语言家族支持环境

OMG发布的UML语言家族和MDA架构促进了模型驱动软件开发的思想成为现实.建模语言版本升级或者面向不同领域的语言家族新增成员的不断出现,要求模型驱动开发环境除了使得模型成为软件开发生命周期中的主体之外,还应该具有元模型的定义和操纵能力.模型驱动的开发和语言家族支持环境PKUMoDEL是基于MOF的元建模环境和基于UML2.0的建模环境的集成体,很好地解决了诸如元模型的定义、扩展和评估、建模工具的自适应和演化、不同类型工具之间的集成、模型复用、从模型到运行环境的直接映射和部署等问题.     

UML顺序图的自动验证

UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从OMG的XMI标准,从而使验证过程适用于不同的UML建模环境。     

一种基于UML的软件产品线可变性建模方法

将UML引入到软件产品线开发中,在产品线可变性分析的基础上,提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述,还支持软件产品线可变性的约束建模。在此基础上,还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。     

SDG建模及其应用的进展

符号有向图SDG(signed directed graph)是描述大规模复杂系统的一种有效方式,通过节点和有向支路表示了系统变量或局部之间的因果影响关系.近年来,关于SDG的研究已经成为热点并已取得许多成果,特别是在安全分析领域得到了重要的应用.本文在概述了SDG方法的产生背景与发展近况的基础上,主要综述了SDG研究中的若干重要问题,包括SDG模型的数学描述和基于数学模型、流程图和经验知识的三种建模方法,以及SDG在安全评价和故障诊断领域研究和应用的相关成果,总结了相关方法的优缺点,其中的核心问题是推理方法及其效率.最后对SDG技术的发展方向做出了展望,定量信息引入、推理方法、计算机建模等方面都有待于进一步研究.     

基于并行对象的可视化模型

提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象的静态信息进行描述。通过静态描述和动态描述自动为用户生成并行程序的代码框架。