UML模型从不同侧面对系统加以描述,不同间互相印证,但又存在着信息冗余,造成模型的不一致。本文对用有限状态机进行一致性验证的理论和方法加以综述,讨论了两种以有限状态机理论为指导的UML一致性检查的方法、工具,对以该理论为基础的UML模型一致性检测提出了几个有意义的研究方向。
乌鞘岭隧道是兰新线重点控制工程，是国内最长的单线铁路隧道。该隧道穿越4条区域性大断层，地质及地应力条件十分复杂，围岩软弱破碎，变形大。针对复杂应力条件下的软岩大变形隧道
视频会议技术已经经历了几十年的发展历程,随着计算机软硬件技术的发展,视频会议对图像的高清度、语音延迟等提出了更高的要求,高清视频会议技术渐渐成为视频会议的新标准。实现视频会议的几个关键环节是对视频进行编码、视频清晰度的标准和视频数据在网络中的传送,对这几个环节进行分析也就得到了高清视频会议技术的关键技术——视频编码技术、图像标准和网络通信协议。本文将抛砖引玉,对这三项关键技术进行简要分析,希望读者
随着软交换技术的日益成熟,营口港逐渐开始部署软交换网络,以实现VOIP本地及长途语音通信。本文阐述软交换技术特点,分析营口港改造后的通信专网。
手机现在已经成为人们生活重要设备,为满足用户对手机功能、性能等多方面的要求,需要做好对手机软件的测试,确保其具有较高的稳定性与应用性,避免在使用过程中出现问题。高效
随着太阳能电池对大直径硅片的需求不断增加，大尺寸超薄硅片多线切割技术的发展趋势将日益明显。传统的外圆和内圆切割已经不能满足现有硅片大尺寸、小切缝、高质量和高效率的
目的探讨全麻患儿复苏期气管拔管后窒息的护理。方法对86例全麻手术患儿基础资料收集整合并纳入研究对象,进行回顾性分析,统计整合与护理的相关数据指标情况并进行比较。结果
目的加强作业场所的职业卫生监督管理，促进尘毒危害治理。方法本文通过对容易引起粉尘危害事件工厂的高危地带进行粉尘检测并对作业工人进行健康检查，分析粉尘对人体造成的危害
结合真空预压时的实际边界条件,引入负压沿砂井的线性衰减分布模式,将Hansbo砂井地基径向固结理论推广到真空预压（负压）情况,并与现有的董志良解及Indraratna解进行比较,以验证
系统利用ZIGBEE无线传感器网络上传车辆信息,实现车辆自动识别（AVI）,计时计费,语音提示信息及时间计费信息,自动记录车辆进出信息等功能。