行标《中国公路县道名称与代码》的说明

一、任务来源 近年来,为了满足公路管理科学化、现代化的需要,交通部组织制定了国道和省道的编号和编码规则标准,并下达了编制<中国公路县道名称与代码>的任务和要求.目前,该标准已由交通部科学研究院(原交通部标准计量研究所)与各省、自治区、直辖市交通厅和公路主管部门共同编制完成,并于2002年12月通过了交通部的审查,下面就标准的有关问题作一说明.     

高速铁路双线箱梁数控张拉技术应用研究

以大西客专介休制梁场箱梁张拉采用数控张拉技术应用为例,主要阐述了箱梁后张法预应力施工中的数控张拉系统、数控张拉工序施工、数控张拉的控制要点、数控张拉注意事项等,从而为箱梁数控张拉技术积累经验,为提高梁体质量打下基础。     

手把手汽修（十六） 柴油客车加油不提速的故障检查

《驾驶园》杂志携手专业汽车修理厂开设＂手把手汽修专栏＂,介绍常见的客车故障及维修办法。本栏目少去了专业性很强的说教,更多的是便于司机亲手实践的操作说明,意为读者搭建一个自己动手排除故障的DIY平台。本栏目信箱xywang@jiacheren.com     

“摩托车和轻便摩托车辐条、条母”标准浅析

为规范我国摩托车编条式车轮用辐条、条母零件的技术规格,以作为确立技术指标的参照和设计摩托车辐条、条母的技术指南,编制了《摩托车和轻便摩托车辐条》、《摩托车和轻便摩托车条母》行业标准。     

面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。