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

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

S6200ZLC型船用柴油机全制式机械调速器的研制

本文阐述了S6200ZLC型船用柴油机机械式调速器的设计研制情况，提出了提高调速器性能的途径和措施。     

READY TO RACE——KTM 1290 SUPER DUKE R图赏

近几年，KTM在车坛异突起，无论是在场地越野赛还是长途拉力赛上都有很好的成绩。而最近KTM又收获一个俗人的头衔，那就是“最暴力的街车王者”，该头衔的由来源自于其旗下的1290 SUPER DUKE R。     

我国高速公路沥青路面厚度现状调查分析

本文通过对我国几条高速公路路面结构及其使用情况的调查，进行了分析，并提出了建议。     

国外汽车节油面面观

石油危机使世界各国在近年来都十分重视能源的节约。国外汽车工业发达国家为满足节油要求,对节油已有20多年的历史了。我国从70年代起开始这一工作,但距发达国家水平还有一定差距。本文简要总结国外汽车节油的一些成功经验,借以为我国节油工作提供有益的指导意义。 一、法规约束 主要由政府颁布一系列能源消耗法规。自从1973年世界石油能源危机以来,世界各国都先后制订了有关的能源政策以及限制汽车耗油的相应法规。例如美国在1978年颁布     

密闭污水提升装置在地铁中应用的研究

研究目的:地下建筑的厕所、公共卫生间等产生的生活污水,一般需要设置污水泵房来提升并排放至市政排水系统,在此过程中,往往会有异味破坏了地下建筑内的环境.通过工程实例介绍密闭污水提升装置在地铁中应用情况,提出其计算方法、难点以及解决问题的措施,可为今后同类工程的设计和选用提供参考.研究结论:密闭污水提升装置应用在地铁中是可行的,对改善地铁和其它地下建筑的实际运行环境有很大作用,具有较好的社会效益和经济效益.     

后张预应力混凝土连续梁孔道摩阻试验研究与实例分析

鉴于对后张梁孔道摩阻测试的必要性,文章介绍了后张梁孔道摩阻系数的试验原理和试验方法,通过采用线性回归原理,由规范中给出的公式推导预应力孔道摩组系数的计算公式,结合向莆铁路沙溪特大桥现场测试数据进行分析处理,计算出实际预应力孔道摩阻系数的值,并与设计值进行对比分析,对其影响因素作出总结。     

谈谈海事处理的艺术性

艺术,被很多人认为属于高不可攀。其实,文艺、工艺、农艺、手艺,三十六行行行都有它的艺术。一块木料粗加工只能成普通用具,经过匠心雕刻则能成为给人以美的享受的艺术品。海损事故的调查处理,也同样有此哲理。纠纷经常出现,公说公有理婆说婆有理,粗心者或象糊涂官判案各打五十,或则轻率结案,叫不服者去上诉。但要做到真正的“查明原因,判明责任”(《海上交通安全法》第四十三条),让双方都口服心服,却也是一门艺术,当然事物的繁简也标示     

基于BP神经网络的铁路客运设备故障监测模型设计与研究

由于铁路客运设备种类众多并且分布区域分散，致使人工巡检工作效率低。为了提高巡检工作的效率，实现铁路客运设备巡检工作智能化，本文提出并设计了基于BP神经网络的铁路客运设备故障监测模型。通过无线传感器获取影响客运设备状态优劣的因素，运用所建模型进行决策，判断铁路客运设备是否运行正常并能准确地诊断出故障部位，实现了铁路客运设备巡检工作智能化的目标。最后通过对机房空调设备的仿真研究，验证了所建模型的有效性。