过程蓝图支撑环境构建方法的研究

根据过程蓝图所具有的三层描述二级映射的形式特点,提出了一种基于Java的过程蓝图支撑环境构建方法.过程蓝图支撑环境由过程蓝图模型模块、良构规则模块和代码生成模块等3个部分构成,过程蓝图模型数据与良构规则相互独立,使过程蓝图支撑环境具有更好的灵活性和适应性.实验证明,该方法能够正确支持过程蓝图建模并生成程序代码,能够实现过程蓝图建模工具的主要功能.     

面向对象的高校教材管理系统建模

面向对象建模是一种运用对象、类、继承、封装、聚合、消息传送、多态等概念来构造系统的软件开发方法.UML是一种面向对象的统一建模语言.文章介绍基于UML的三种面向对象模型,运用UML建模机制为教材管理系统建模,并给出相应的域类图、活动图、交互图和用例模型.     

基于UML建模的电子病历系统设计与实现

以电子病历系统的开发为背景,介绍了UML在实际项目开发中的应用.在对电子病历系统进行需求分析的基础上,利用PowerDesigner对系统进行需求模型、静态模型和动态模型的建模,设计了基于UML用例图、类图和时序图的系统模型     

基于RUP的UML在课程登记系统中的应用分析研究

文章探讨了基于RUP的UML进行面向对象的系统分析及设计方法,提出了一种实用的基于UML的需求分析及其建模方法,在获取系统的实际需求的基础上以应用例图表达系统需求并构建了需求模型;在此基础上,根据需求模型进行系统分析和设计,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,由此完成了包括系统的分析建模、设计建模以及实施建模过程;讨论了需求分析及其建模的过程概念,并以课程登记系统模型作为案例示范。     

SysML对C4ISR系统建模的支持研究

为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法.通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势.以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行.     

液压系统的快速混合建模与鲁棒控制

为了减少液压系统建模时的推导过程,利用键图法和电路网络法2种建模方法的优点为液压系统建模.先将液压系统绘制成键图,再将该键图转换成等效的电路图,然后由电路网络法直接写出该系统的传递函数的数学模型.最后给出了所建的液压系统模型的鲁棒控制,仿真结果良好,控制的鲁棒性较强.     

一个典型随动系统的键合图模型及仿真

健合图模型是描述动态物理系统的一种新的图示模型.通过该模型很容易得到系统的状态空间描述。特别适宜于系统的数字仿真.本文以一个典型的随动系统的实例说明了该方法的建模过程及其仿真.其结果表明该建模过程及仿真简单、可靠.     

干摩擦力的键合图建模方法及应用

干摩擦力具有间断的不连续的非线性特性,为了建立全面反映干摩擦力的键合图模型,将干摩擦力分为5个基本的开关状态,引入开关类量的键合图建模方法,运用功率结型结构(简称SPJ)概念,提出一种新的干摩擦力键合图建模方法和键合图模型.新模型不仅可以完整表达干摩擦力在各个状态的运动特性,而且其因果关系在系统处于任何运动状态时均保持不变,以弹簧-质量-阻尼系统为例,运用干摩擦力的新模型建立了该系统的键合图模型,并提取出其状态方程,通过与传统方法建立的状态方程相比较,验证本文提出的建模方法正确可行.     

一种基于UML的信息系统需求分析方法

针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性.     

基于密度聚类的模糊神经网络和CHP分解过程建模

针对基于样本数据的复杂系统建模问题,提出了基于密度聚类的模糊神经网络(DFNN)的建模方法,研究了利用密度聚类原理提取数据样本的内在规则的理论和方法,提取的规则能较好地反映样本数据输入输出的对应联系,根据提取的规则给出了模糊神经网络的模型结构.本文以化工生产过程过氧化氢异丙苯(CHP)分解反应过程为对象进行仿真建模,结果显示在模型精度和可靠性上均优于基于c均值聚类提取规则的模糊神经网络模型(CFNN).     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

基于UML的网上电子电路实验系统设计

提出了一种用UML实现的网上电子电路实验系统参考模型及其建立方法。网上电子电路实验系统,是一种通过信息网络实现电子仪器和电路的远程操作的系统,为保证实验电路和电子仪器正常工作,对系统设计提出了较高的安全控制要求。在对UML进行简要介绍之后,提出了网上电子电路实验系统设计的UML建模方法,其中重点讨论了系统的用例图、类图和序列图,最后通过实际应用证明了此方法的正确性。     

CAD／CAM集成系统面向对象信息建模方法

提出面向对象的信息建模方法－对象－关系图，详细介绍了Ｏ－Ｒ图的基本要求和建立方法，着重研究了Ｏ－Ｒ图中两个重要的抽象关系：归纳关系和聚集关系，最后探讨了利用Ｏ－Ｒ图建立面向对象产品定义模型的方法。     

Role modeling: A modeling method for software pattern at knowledge level

Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examples for modeling design pattern and analysis pattern at knowledge level using role model, it presents a process for refining design pattern from role model to class model and event trace diagram of UML. In this paper, we advocate the opinion, that role modeling before object modeling of UML.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

UML建模分析在机房管理信息系统中的应用研究

统一建模语言(UML)融入了软件工程领域的新思想、新方法和新技术,以UML的图形符号为基础,采用图形符号来描述系统的模型视图。以机房管理信息系统为例,阐述UML建模分析技术在机房管理系统中的应用,描述如何使用UML进行建模分析和开发的具体过程,分析在开发过程中经常出现的问题以及解决方案,并对统一建模语言UML中的用例图、时序图、协作图及建模技术的应用效果进行了深入研究。     

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.     

基于语义和结构的UML类图的检索

以软件重用为背景提出基于语义和结构的UML类图检索.构建了UML类图的重用模型,定义了存储UML类图的重用库结构.提出将本体的概念语义距离应用到UML类图的语义相似性度量和使用图表示UML类图的结构进行结构相似性度量.基于检索流程形式化检索需求,提出了UML类图的检索算法.基于提出的衡量标准,从语义、结构和混合三种检索类型对提出的算法进行了验证.实验结果表明,所提出的检索算法在检索质量和检索效率上要优于其他方法.     

大跨度拱桥静动力试验与结构识别的实践

由于有限元建模中存在不确定性因素的影响,大跨度拱桥初始设计模型的理论分析结果与现场测试数据之间存在一定差异.为了消除模型校验技术中的认知不确定性和随机不确定性,从而更好地进行结构识别,本文以来华大桥和巴溪洲大桥为例,对其中若干关键问题进行了讨论.通过合理地现场勘察与精确的有限元模拟相结合,基于灵敏度分析方法进行不确定性参数筛选,并最终采用最小二乘法进行参数优化,实现了可靠的结构工作状况评估与响应预测.研究包括现场静动力试验、有限元模拟、模型校验、响应预测和校验合理性评估等.基于精确建模和模态参数的校验技术可以有效地减小有限元模型与现场静动力试验结果之间的误差,使用未经试验结果校验的设计模型,进行两座桥梁校验系数的评估,分别存在着21%和23%的误差.     

基于UML的智能答疑系统模型分析与设计

以答疑系统项目开发为背景,在对系统进行需求分析的基础上,运用RationalRose2002建模工具构建用例图、类图、交互图等面向对象的系统模型,有助于用户和开发人员的沟通,更好地实现软件的重组和复用.