共查询到19条相似文献,搜索用时 62 毫秒
1.
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具. 相似文献
2.
我们看一下挑战VoIP及其向开发商提供的应用服务.我们开发用例工具用来建模和VoIP应用的设计验证.除非它能够提供一个强于传统电话的音频质量voIP应用将不会被市场接受,然而目前对语音模块的应用分析并没有符合上述要求,我们将探讨如何改变设计和实施以满足这些要求.虽然UML其目前的规格不适合实时应用的设计,但CASE工具存在提出了用于这一目的一种UML扩展.我们将介绍Rational R0se RT和Telelogic Tau重新设计应用程序的用处以用于支持我们的需求,介绍最新UML的概念,将有助于解决我们的任务,进一步证明了重要新概念的UML2.0. 相似文献
3.
4.
《中国新技术新产品》2015,(20)
本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。 相似文献
5.
在系统开发过程中,建模是最核心的工作。建模的过程可以对系统进行可视化的控制,其目的是为了更好的理解、分析、设计和实现所构造的系统。本文介绍了UML的内容,阐述了RUP的主要内容并探讨了一种面向对象建模方法 相似文献
6.
形式化方法具有精确数学含义的科学研究和验证方法,是建立在数学基础上的,可信分布式实时系统开发过程中的时间分析是非常复杂的,涉及到不同的方面,需要考虑很多东西,不同的可信分布式实时系统具有不同的时间性需求,不能用一种开发方法进行分析、设计和实现,由于形式化方法具有严谨、可数学分析、证明、完整性、一敌性、无二义性和精确性等特性,可以根据系统开发的不同方面采用不同的形式化语言进行分析、设计和实现,然后再把这些方面编织应用到系统中去,来完成它在系统中特定的作用,因此形式化方法已经成为人们深入研究的一个领域。 相似文献
7.
ERP项目开发中的用户需求建模 总被引:3,自引:0,他引:3
阐述了在开发ERP系统中运用UML统一建模语言,采用Rational Rose建模工具,对用户的需求进行建模的过程。重点介绍了用户需求建模的意义、思想、方法,并通过我们所开发的实例说明建模的方法和过程。 相似文献
8.
9.
基于UML的教务管理系统构件抽取技术的探索 总被引:1,自引:0,他引:1
通过统一建模语言(UML),提出了基于UML的构件抽取的方法,在此基础上。运用UML的构件抽取方法对教务管理系统进行了构件抽取,为在开发基于构件的教务管理系统中进行构件的抽取提供一种可行的解决方案。 相似文献
10.
如何利用现代化的计算机技术和网络技术,为高校党务工作者提供一种高效率、手续简便的服务,以及更好地管理大量的高校学生党员,是高校党务管理部门面临的新课题.针对昆明冶金高等专科学校学生党员发展的业务流程和管理需求,应用统一建模语言UML进行分析. 相似文献
11.
12.
摘要:建立正确的电机动力学模型是分析系统稳定性和动态特性的基础。考虑到用电设备工作时的脉冲电流是发电机传动机构扭转振动的主要激励源,利用集中参数法建立了某型交流发电机的动力学模型,并在MATLAB环境下对其进行动态仿真分析,得到脉冲电流作用下弹性轴冲击扭转振动的力矩曲线与扭转角曲线。通过对仿真结果的对比分析,发现适当增大弹性轴的轴径,可以有效缓解弹性轴扭转力矩的振动峰值,并提高系统的频率裕度。最后,通过动态测试实验,验证了电机动力学模型与仿真结果的有效性。 相似文献
13.
14.
针对磁流变减振器在半主动控制应用中的非线性建模问题,借鉴电磁学中描述磁滞现象的方法,引入动态Backlash like模型描述阻尼力-速度特性中的滞回现象,兼顾磁流变减振器在不同电流及不同频率时的动特性,利用Sigmoid函数修正Backlash滞环,并考虑磁流变液屈服后黏性及充气压力作用,并联一个弹簧-阻尼系统,从而提出一种修正Backlash滞环的参数化模型.在试验台架上对自制的磁流变减振器进行不同电流和频率下的动特性试验,用试验数据对模型参数进行辨识,并验证了该模型的预测性能,预测误差小于10%~15%.该模型结构简单,能较精确地描述和预测磁流变减振器动特性,具有良好的实用价值. 相似文献
15.
16.
17.
多信号流图的测试性建模与分析 总被引:3,自引:1,他引:3
随着测试性设计技术的广泛应用,测试性建模与分析技术日益受判产品设计人员的关注。本文介绍了多信号流图建模方法,并以某飞行器配电器为例,运用多信号流图进行建模分析。在模型分析的基础上,对某飞行器配电器的可测试性进行评价。结果表明,多信号流图测试性建模方法在产品的可测试性设计应用中可行、有效。 相似文献
18.
根据JJG 443-2006《燃油加油机》检定规程中的相关规定,设计了新型本质安全燃油加油机自动检定系统,可对燃油加油机检定中的各个环节进行自动监测记录,并实现加油机油枪出口温度、标准器内温度、体积和流量等参数的自动测量、智能采集和分析处理等功能。现场应用表明:相较于传统的检定模式,该系统不仅解决了温度计量中操作难度高和准确度低的问题及液位计量的自动化问题,而且提高了加油机自动检定的准确性和可靠性,有效提高了检定效率。 相似文献
19.
针对复杂非线性结构动力学系统提出了一种基于有限元与神经网络相结合的杂交建模方法。依据该方法,首先将系统中的线性结构部分采用有限元建模,非线性或难以机理建模的结构部件采用神经网络描述。其次,再通过力和位移边界联接条件将有限元模型部分和神经网络模型部分结合从而得到整个系统的杂交模型,且杂交模型的物理结构明确,精度较高,网络规模较小。在一非线性隔振系统的杂交建模算例仿真中,用所建杂交模型对正弦及宽带随机激励进行了预测检验分析,结果良好,该杂交建模方法为主体结构为线弹性结构而又包含有强非线性器件的非线性动力学系统提供了一种有效的建模途径。 相似文献