论文部分内容阅读
UML模型从不同侧面对系统加以描述,不同间互相印证,但又存在着信息冗余,造成模型的不一致。本文对用有限状态机进行一致性验证的理论和方法加以综述,讨论了两种以有限状态机理论为指导的UML一致性检查的方法、工具,对以该理论为基础的UML模型一致性检测提出了几个有意义的研究方向。
基于有限状态机理论的UML模型一致性检测方法研究
【摘 要】
：
UML模型从不同侧面对系统加以描述,不同间互相印证,但又存在着信息冗余,造成模型的不一致。本文对用有限状态机进行一致性验证的理论和方法加以综述,讨论了两种以有限状态机理论为指导的UML一致性检查的方法、工具,对以该理论为基础的UML模型一致性检测提出了几个有意义的研究方向。
【机 构】
：
长春建筑学院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2015年21期
【基金项目】
：
项目编号：吉林省教育科学“十二五”规划课题,批准号GH150390.课题名称：基于软件工程思维的计算机程序设计课程教学方法与评价体系改革实践.
其他文献
本文通过向家坝水电站马延坡边坡现场试验研究,详细分析了含软弱夹层的边坡外部变形、深部变形和地下水位特性及其边坡稳定性计算等问题。主要研究结果表明:(1)边坡位移变形随时间增加而增大,位移变形随深度增加而减小。位移变化速率随时间增加而减小,基本与位移变化阶段相一致;(2)在考虑桩土、岩土体界面罚函数接触的基础上,建立了渗流～应力耦合的三维数值模型,采用有限元强度折减法分析了马延坡边坡的稳定性。
随着科学技术的不断发展,音频信号的传输手段如微波传输、公用电话网、网络传输、电话专线等被逐渐引用,并不断更新,在广播转播中,使用最广泛的节目信号传输设备为ComrexVector。本文主要先简单介绍ComrexVector的相关知识,重点从安装、调试以及性能分析等方面讲述ComrexVector在电台转播中的应用。
办公自动化管理系统简称OA系统,该系统的开发目的是为了知识化管理企业内部。实现网络办公自动化,这将为企业,政府部门节省大量的人力资源,节省大量的办公费用,实现文件管理自动化,规范工作流程,大幅度提高办公效率。随着网络的高速发展,网络OA系统逐渐受到关注。一些大型企业集团(例如联想、海尔)正致力实现高层次的网络办公自动化,中型企业也存在网络OA系统的需求。OA系统实现了公共信息、组织管理、公文流转、
青岩岭滑坡距离涪江铁笼堡水电站下坝址8km，目前还存在变形迹象，水库蓄水后存在大规模失稳的--T~k。因此对滑坡进行稳定性分析及其塌岸范围预测十分重要。根据青岩岭滑坡的特征
在电气、电子设备随着时代飞速发展的今天,作为提供给电气电子设备能源部件的电源,标准要求越来越高。本文应用串联反馈方式来设计稳压源。此可控稳压电源设计实现在市电压220V输入下经过变压、整流滤波及调整电路控制电压稳定输出且可调,输出的模拟电压由TLC2543 A/D转换器采集,转换成二进制,通过单片机系统读取,由数码管显示转换后的结果。电源发生过流或者短路时保护电路动作,蜂鸣器发出报警,当无负载时通
随着技术的不断进步,整流器获得了极为广泛的应用,本文主要对PWM整流器的工作原理以及数学模型等方面展开了研究,文章对PWM整流器的原理进行的分析并完成了相应的仿真设计工作。
目的 提高县级基层医院手术室护士对职业危害因素的认识,提出防护措施,保证手术室护士的安全.方法 通过临床观察、分析和总结,认识到手术室内存在多种理化因素的危害,也存在
活塞是钻机泥浆泵生产中的重要部件，其使用寿命直接影响到钻井生产的效率。本文通过对传统活塞的工作原理及受力情况的分析，并结合其在使用中存在的问题，设计了一种新型单作用活