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

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

离子鱼专题：马岛战争启示录2——直升机在两栖登陆战中的价值

直升机在朝鲜战场上首次体现了其技术特点在战术使用上的优势,对起降场地要求低和使用灵活的优点弥补了其速度不足的缺陷,因此在后来的越南战争中被大规模应用于人员和装备运输,而且还开始进行直接火力支援。越南战争后,世界各主要军事强国都非常重视直升机的作用,使直升机获得了快速发展。发生于上世纪80年代初期的马岛战争虽然规模不大,但却是从水下到空中、从海上到陆地的立体化战争,     

在-48V电源系统中的阀控式密封铅酸蓄电池使用及注意事项

为确保通信供电的稳定、可靠、不问断,蓄电池的作用越来越突出,而蓄电池的正确使用与科学维护直接决定着蓄电池的寿命,现以目前应用最广泛的阀控式密封铅酸蓄电池（以下简称阀控式蓄电池）为例,加以说明。     

中华人民共和国交通行业标准牵引杆挂车转盘JT/T××××-××××

1 范围 本标准规定了牵引杆挂车转盘的型号、基本参数系列、技术条件、检验规则、标志、使用说明书、运输和贮存。     

在役预应力混凝土桥梁缺损状况的检测及评价技术研究

基于近年来大量的相关括性的介绍,给出对不足之处的研究思路和研究方法的框图模型,可为在这方面的进一步应用、发展和研究提供参考.     

Stena Bulk公司披露其零碳型船舶设计理念

Stena Bulk公司透露了InfinityMAX混合散货船设计理念,针对零碳、多式联运船舶设计.该InfinityMAX 概念设计用于在模块化舱室中载运干货和湿货,以几个新的核心原则建造.     

出租汽车行业的整改之道

出租汽车经营权、承包合同、非法营运、油价等问题一有风吹草动,总能刺激出租汽车行业的敏感神经。究竟如何应对,且看——     

公路桥梁钻孔灌注桩施工技术

改革开放以来,我国经济飞速发展,在科技方面同样取得了飞速跨越,大型的建设也要求的越来越高。在公路桥梁钻孔灌注桩施工技术方面要求的也更加严格,公路桥梁钻孔灌注桩可以增加施工的质量,增加使用年限,使公路桥梁的运输方面更加安全。     

售后市场繁荣的背后 从第74届全国汽车配件交易会看售后市场发展

由中国机械工业联合会、中国汽车工业配件销售公司、中国国际贸易促进委员会广州市委员会共同主办的第74届全国汽车配件交易会于2013年11月2—4日在广州保利世贸博览馆隆重举行。值得一提的是，全国汽车配件交易会第一次来到广州这个一线城市举办，受到展商的热烈追捧，为了满足参展商的需求，组委会多次与场馆协商，挖掘布展面积，在保证安全、展示效果的基础上，连廊、夹层都安排了展位。尽管这样，组委会所有的展位仍然供不应求，不得不提前两个月结束招展。本届汽配交易会使用面积达到8万m2，参展企业逾2000家，展位超过3500个，预计有8万多名专业观众参观。本届交易会也是广州市历年来举办的汽车配件行业的最大展会。     

高速公路桥梁病害常见类型及养护技术研究

随着经济的发展，我国的高速公路桥梁建设呈现快速发展的趋势。交通运输业的繁荣也为桥梁的建设提出了更好的要求，同时高速公路桥梁的病害问题也随之增加，因此加强对桥梁的病害的防治和养护成为了当前高速公路桥梁建设的重要课题。同时加强对高速公路桥梁病害的防护，提高桥梁的使用年限，对于提高交通运输的安全和国民经济的发展具有重要的意义。