形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

DEA方法在电子对抗装备软件综合评价中的应用研究

针对电子对抗装备软件综合评价中四种不同的群体,建立装备软件综合评价的指标体系,并根据其特点,将模糊综合评价方法和DEA方法结合起来,建立了电子对抗装备软件综合评价和装备软件组织与设计开发方案选择模型,最后给出一个实例验证了模型的正确性。     

一种新型船舶排油监控系统的研究

为解决当今世界船舶排油污水造成海洋环境污染并大量消耗石油能源的问题,根据相关法规探讨了船舶排油污染的现状,分析现有主流排油监控系统的不足之处,在此基础上改进和设计出一种新型的船舶排油监控系统．介绍新型船舶排油监控系统运行前的准备工作,并利用组态软件MCGS对该系统运行的工作流程进行实时模拟和数据的分析．新型船舶排油监控系统具有安全可靠、集成度高、人机界面丰富等优点．模拟运行结果表明,新型排油监控系统能满足操作人员实时监控船舶排油过程,随时查询历史数据和报警数据等功能,分析结果满足预期设想．     

空气净化器风道的计算机仿真

在进行空气净化器风道结构的设计中,风道的结构形式对风量起着重要的影响。本文利用ICEPAK计算机仿真软件在设计阶段对空气净化器的风道进行模拟仿真,建立了风道的仿真模型及建模过程,仿真出风道进口处与出口处的空气流速的变化值,进一步研究离心风机的风量与滤层阻力、流量、流速的影响关系。通过实验比较,在不同滤器种类的情况下,验证了风阻对风量的影响大小,证明了空气净化器风道计算机仿真的正确性。     

基于模糊理论的软件质量评价方法应用研究

虚拟样机环境下软件设计质量的评价,可以看成是一个多级模糊综合评价的问题,文章认为评价时应根据评价项目的不同属性划分成不同的评价层次,再采用多级模糊综合评价方法来进行评价.为此,以软件工程相关的知识,建立了协同设计软件质量的评价指标和评价体系,探索了软件质量的综合评价理论和方法,建立了协同设计软件质量多级模糊评价的数学模型.最后用一个协同设计软件质量的模糊评价实例来说明了建立的数学模型.     

浅谈计算机图形图像软件在平面广告设计中的应用

摘要随着经济的发展，生活节奏的加快，运用计算机软件对图形图像进行设计，已经广泛应用于平面广告设计。熟练使用计算机图形图像软件进行平面广告设计是每一位设计师必须具备的技能，计算机图形图像软件在设计中的应用给相关从业人员提供了更广阔的设计空间，更丰富的设计语言，更强大的设计表现。     

计算机联锁软件仿真试验表格的运用

计算机联锁在现场模拟试验之前及软件修改后,电务段应进行全面的联锁仿真试验,并认真做好记录,仿真试验的内容按要求表格化,为此需要设计全面的试验表并应掌握试验方法。     

榆佳高速公路工程综合管理系统在过程管理中的实践与应用

对榆佳高速公路综合管理系统的功能以及在实践中的应用做了详细阐述,信息化管理有助于提高项目管理效率、提升形象、增进沟通、降低成本,从而提高企业核心竞争力.信息化管理推进了项目建设的规范化运作,有助于精品工程的实现.     

用组态软件开发沥青搅拌设备的监控系统

结合旧监控系统的缺点和组态软件,介绍了新沥青搅拌设备监控系统的功能特点,阐述了用组态软件开发监控系统的方法。实践表明用组态软件开发监控系统是一种简易实用的方法。     

不停输原油管道大修时压降的计算

针对原油长输管线在不停输时,由于挖开段的传热系数增大影响到站阃的压强,采用分段法在稳定的热力条件下计算不停输原油管道大修时压降,用C语言编制了计算程序;并举例加以说明,对开挖与不开挖时出站压力相同时的压降进行对比分析;确定不出现凝油事故时的最低出站压力.