UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.     

浅谈基于UML的实时系统开发

我们看一下挑战VoIP及其向开发商提供的应用服务.我们开发用例工具用来建模和VoIP应用的设计验证.除非它能够提供一个强于传统电话的音频质量voIP应用将不会被市场接受,然而目前对语音模块的应用分析并没有符合上述要求,我们将探讨如何改变设计和实施以满足这些要求.虽然UML其目前的规格不适合实时应用的设计,但CASE工具存在提出了用于这一目的一种UML扩展.我们将介绍Rational R0se RT和Telelogic Tau重新设计应用程序的用处以用于支持我们的需求,介绍最新UML的概念,将有助于解决我们的任务,进一步证明了重要新概念的UML2.0.     

基于工作流的集成平台中组织的UML建模

在分析了当前制造企业组织结构和应用系统软件产品的组织模型的基础上,并结合工作流管理联盟(WfMC)定义的参考模型中对流程参与者的定义,应用统一建模语言(UML),从集成的角度和高度建立起了有效的UML企业多应用集成平台系统的组织模型.该模型体现了很多家企业对原有应用系统集成中组织人员管理上的需求.其最大的优点就是不受企业原有应用的内部逻辑和组织人员分配的影响,能有效地把企业各个部门相关人员统一起来管理,使他们能协同地工作.     

基于UML的学生信息管理系统建模

本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。     

基于UML和RUP软件建模方法的探讨

在系统开发过程中,建模是最核心的工作。建模的过程可以对系统进行可视化的控制,其目的是为了更好的理解、分析、设计和实现所构造的系统。本文介绍了UML的内容,阐述了RUP的主要内容并探讨了一种面向对象建模方法     

可信分布式实时系统的面向方面的形式化方法

形式化方法具有精确数学含义的科学研究和验证方法,是建立在数学基础上的,可信分布式实时系统开发过程中的时间分析是非常复杂的,涉及到不同的方面,需要考虑很多东西,不同的可信分布式实时系统具有不同的时间性需求,不能用一种开发方法进行分析、设计和实现,由于形式化方法具有严谨、可数学分析、证明、完整性、一敌性、无二义性和精确性等特性,可以根据系统开发的不同方面采用不同的形式化语言进行分析、设计和实现,然后再把这些方面编织应用到系统中去,来完成它在系统中特定的作用,因此形式化方法已经成为人们深入研究的一个领域。     

ERP项目开发中的用户需求建模

阐述了在开发ERP系统中运用UML统一建模语言，采用Rational Rose建模工具，对用户的需求进行建模的过程。重点介绍了用户需求建模的意义、思想、方法，并通过我们所开发的实例说明建模的方法和过程。     

基于UML对高职高专院校实训管理系统的分析

分析了目前高职高专院校实训管理存在的问题,构建了高职高专院校实训管理系统系统功能结构,建立了系统的用例图与活动图,为高职高专院校实训管理系统的设计提供了保证。     

基于UML的教务管理系统构件抽取技术的探索

通过统一建模语言(UML),提出了基于UML的构件抽取的方法,在此基础上。运用UML的构件抽取方法对教务管理系统进行了构件抽取,为在开发基于构件的教务管理系统中进行构件的抽取提供一种可行的解决方案。     

基于UML对高校学生党员管理信息系统的分析

如何利用现代化的计算机技术和网络技术,为高校党务工作者提供一种高效率、手续简便的服务,以及更好地管理大量的高校学生党员,是高校党务管理部门面临的新课题.针对昆明冶金高等专科学校学生党员发展的业务流程和管理需求,应用统一建模语言UML进行分析.     

基于可靠性框图的可靠性建模研究

针对传统可靠性仿真模型建模繁琐、编程困难的问题,以可靠性框图为基础,设计了基于ExtendSim的可靠性建模流程,以两单元并联可修系统为例,建立了基于“致命修复”和“即坏即修”策略的仿真模型,并与解析模型进行了对比验证.仿真结果表明建立的可靠性模型是可信的,且此建模方法易于工程技术人员掌握,具有一定的推广价值．     

电机传动机构动力学建模、仿真与实验验证

摘要：建立正确的电机动力学模型是分析系统稳定性和动态特性的基础。考虑到用电设备工作时的脉冲电流是发电机传动机构扭转振动的主要激励源,利用集中参数法建立了某型交流发电机的动力学模型,并在MATLAB环境下对其进行动态仿真分析,得到脉冲电流作用下弹性轴冲击扭转振动的力矩曲线与扭转角曲线。通过对仿真结果的对比分析,发现适当增大弹性轴的轴径,可以有效缓解弹性轴扭转力矩的振动峰值,并提高系统的频率裕度。最后,通过动态测试实验,验证了电机动力学模型与仿真结果的有效性。     

基于二次参数化技术的风电机组序列化建模

针对常规建模方法在庞大复杂风电机组应用上的不足,在建立单台风电机组全参数化模型的基础上,以风电机组序列整体为研究对象,根据同序列不同功率机组之间各零部件设计参数变化规律,研究应用二次参数化技术和参数序列化方法实现了高效的风电机组模型建立与管理;并结合三维模型参数驱动技术,研发了风电机组序列建模系统,可有效减少建模和造型工作量、降低设计失误率、提高设计效率,验证了该建模方法的正确性与合理性。     

基于修正Backlash滞环的磁流变减振器建模

针对磁流变减振器在半主动控制应用中的非线性建模问题,借鉴电磁学中描述磁滞现象的方法,引入动态Backlash like模型描述阻尼力-速度特性中的滞回现象,兼顾磁流变减振器在不同电流及不同频率时的动特性,利用Sigmoid函数修正Backlash滞环,并考虑磁流变液屈服后黏性及充气压力作用,并联一个弹簧-阻尼系统,从而提出一种修正Backlash滞环的参数化模型.在试验台架上对自制的磁流变减振器进行不同电流和频率下的动特性试验,用试验数据对模型参数进行辨识,并验证了该模型的预测性能,预测误差小于10%～15%.该模型结构简单,能较精确地描述和预测磁流变减振器动特性,具有良好的实用价值.     

基于全局背景模型和竞争者模型的说话人确认系统

大多数说话人确认系统都设置一个背景模型用于描述假冒者的特性。文章提出一种新的说话人确认的背景模型,对所有说话人采用同一全局背景模型(简称UBM),并为每个说话人建立一个竞争者模型(cohort model)。在全局背景模型不能做出准确判断的情况下,启用竞争者模型再次进行判决。该模型充分利用了传统全局背景模型和竞争者模型的互补性。实验表明新的背景模型使系统性能有较明显的提高。     

基于休斯敦方法的机械手误差建模与分析

基于多体系统理论中的休斯敦方法,介绍了建立四自由度机械手误差模型的方法.首先阐述了机械手拓扑结构及误差条件下相邻体及其变换矩阵,然后建立了误差模型,最后全面分析了机械手的各项误差源,用MATLAB软件计算了总误差和系统误差,且对比了各单项误差源对总误差的影响,为误差分配和补偿提供了理论依据.所提出的误差模型和误差分析方法,对于多自由系统的误差分析和建模具有参考价值.     

多信号流图的测试性建模与分析

随着测试性设计技术的广泛应用，测试性建模与分析技术日益受判产品设计人员的关注。本文介绍了多信号流图建模方法，并以某飞行器配电器为例，运用多信号流图进行建模分析。在模型分析的基础上，对某飞行器配电器的可测试性进行评价。结果表明，多信号流图测试性建模方法在产品的可测试性设计应用中可行、有效。     

基于磁致伸缩传感器的本质安全燃油加油机自动检定系统的设计与实现

根据JJG 443-2006《燃油加油机》检定规程中的相关规定,设计了新型本质安全燃油加油机自动检定系统,可对燃油加油机检定中的各个环节进行自动监测记录,并实现加油机油枪出口温度、标准器内温度、体积和流量等参数的自动测量、智能采集和分析处理等功能。现场应用表明:相较于传统的检定模式,该系统不仅解决了温度计量中操作难度高和准确度低的问题及液位计量的自动化问题,而且提高了加油机自动检定的准确性和可靠性,有效提高了检定效率。     

基于有限元和神经网络的杂交建模

针对复杂非线性结构动力学系统提出了一种基于有限元与神经网络相结合的杂交建模方法。依据该方法,首先将系统中的线性结构部分采用有限元建模,非线性或难以机理建模的结构部件采用神经网络描述。其次,再通过力和位移边界联接条件将有限元模型部分和神经网络模型部分结合从而得到整个系统的杂交模型,且杂交模型的物理结构明确,精度较高,网络规模较小。在一非线性隔振系统的杂交建模算例仿真中,用所建杂交模型对正弦及宽带随机激励进行了预测检验分析,结果良好,该杂交建模方法为主体结构为线弹性结构而又包含有强非线性器件的非线性动力学系统提供了一种有效的建模途径。