Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

ATPB沥青混合料组成设计及应用探讨

本文通过系统试验研究了大、小马歇尔试验方法对ATPB混合料级配的退化情况,探讨了不同级配对混合料力学指标的影响,提出了检验混合料高温稳定性的改进方法,有关成果并在浙江龙丽高速公路试验路上得到了应用,对ATPB混合料组成设计及应用有参考价值。     

探索基于现代化船员管理的广东模式

中国要打造21世纪海上丝绸之路,建设海洋强国,需要建设一支强大的船员队伍。文中结合广东的实践,提出创新社会组织管理,探索现代化的船员管理模式,以推动海事在船员管理领域的转型发展。     

流花4-1油田开发项目中的技术集成创新及应用

对超期服役老平台进行安全解脱和回接作业,开发锚系解脱与回接成套技术,立管快速解脱、海底存放与回接成套技术及老旧跨接管深水拆除技术,在流花4-1油田水下生产系统的开发中,应用双泵采油系统和远距离电潜泵变频驱动技术,采用简化联顶管柱系统取代传统联顶管柱系统成套技术,实现管线终端PLET的国内首次研发,自主管理300 m以上深水铺管,应用遥控水下高压电切换开关技术。     

高等级公路沥青路面养护工程多目标体系的建立

以贵州省高等级公路沥青路面养护工程的多目标性为依托,在充分调研其高等级公路沥青路面技术状况及养护管理模式的基础上,建立起以公路资产全寿命周期的保值增值为宗旨,以延长路面使用寿命为中心,以保证路面安全水平为底线,以提高路面服务能力为出发点,以成本效益比为主要控制因素的五大目标体系,并对其初步应用进行分析.     

城镇道路交通拥堵问题及改善措施

机动车数量的快速增长,城镇人口密度的不断增加,导致城镇交通发展问题日益凸显,如果不能得到有效解决和根本治理,必将对我国经济的持续、快速、健康发展构成严重威胁。道路交通的基本要素是人、车、路。通过交通三要素特性分析,找出交通拥堵问题的具体原因,并从政策方面、驾驶员行为方面和道路规划建设方面提出了相应的措施建议,为交通拥堵现象的缓解提供参考。     

碳排放控制的国际比较及经验借鉴

碳排放的增长是影响人类生存环境的重要问题,控制碳排放已成为全球共识。本文基于国际比较的视角,选取已实现碳达峰的部分国家为研究对象,从不同发展阶段剖析碳排放的演变规律,从经济发展、能源结构及产业结构维度对比各国实现碳达峰前后的社会经济变化规律,分析各国碳达峰后的减排效果及路径。研究表明,通常情况下,碳排放强度达峰早于碳排放总量达峰,碳排放与经济发展的关系普遍存在由相互依赖到弱脱钩再到强脱钩的阶段性变化规律;碳达峰后,出现经济增长趋缓,化石能源占比下降及第三产业比重上升的趋势,年均减排速度在1.6%左右。目前,我国社会经济发展水平与碳达峰国家还有一定差距,碳达峰与碳中和时间间隔短,减排任务与难度更大,应借鉴已达峰国家经验,优化产业结构,促进燃料及能源结构变革,培育社会低碳意识,坚持走绿色可持续发展道路。     

某15000DWT散货船货舱结构骨架设计形式比较

文章对15000DWT散货船货舱区域进行全纵骨和全横骨两种骨架形式的结构规范设计,并针对两种骨架形式分别计算货舱结构的总纵强度,最后对两种骨架形式进行了比较,为船舶设计中骨架形式的选取具有一定指导和借鉴意义。