公路收费系统的检验技术应用

系统功能是收费系统评价的关键性指标,抽样检验是系统功能评价的有效方法,科学规范的抽检程序体现了系统整体质量的代表性.     

浅谈监理抽检对承包人自检结果的有效认定

当监理工程师的抽检与承包人自检结果不一致时,有可能对工程质量产生误判.通过实例对比及理论分析,指出监理工程师发生误判的原因,并提出了解决办法.     

道路交通事故的时间分布

近年来我国交通基础设施的建设发展迅速,然而道路交通事故也在不断上升。根据2000年和2001年全国100多万起交通事故资料,采用χ2检验和系统聚类法对事故次数、死亡人数、受伤人数和直接经济损失的时间分布进行详细地分析,结果表明,事故的分布与时间有密切的关系。     

计算机辅助汽车后视野检验的研究及实现

介绍了汽车后视野的基本概念，分析了后视野的形成原理及检验标准，探讨了计算机辅助汽车后视野检验的方法，并在汽车设计中得到应用。     

溪门口大桥水中墩施工技术

本文介绍了溪门口大桥8号墩的施工过程，在此墩基础的施工中，根据墩位处的地质、地形情况，选用了有底钢套箱围堰，实践证明，所采取的措施是行之有效和切合实际的。     

重型货车驾驶室强度安全的检验要求

我国的高速公路、高等级公路逐年迅速增加,我国重型货车长距离高速直达运输日益普及,而交通事故也随之相应增加。我国重型货车如何保证驾驶人员的安全,保证在撞车、翻车的严重事故中减轻人员损伤、避免生命危险应引起我国重型货车制     

秋意浓浓话无锡 朋客相聚谈质量——记2005年电动自行车国家监督抽查质量分析会议

2005年电动自行车国家监督抽查质量分析会议于2005年11月3日至11月5日在无锡召开。国家质检总局、自行车行业协会、自行车检验机构领导、各有关生产企业老总，以及来自各地代表，应邀出席了此次会议。会议的目的是为了通过科学、客观地分析此次国抽中电动自行车所存在的倾向性的质量问题，     

靠泊浮箱检验项目1号船顺利下水

8月25日，由CCSC负责检验并在渤海造船厂建造的“靠泊浮箱”1号船顺利下水．此举标志着本项目第一阶段检验任务圆满完成。     

常压储罐检验检测标准现状分析

为掌握常压储罐检验检测标准现状,在广泛调研及文献查阅的基础上,分别从人员和机构、检验类型和周期、检验项目、检测方法及检验结论等几个方面,对我国常压储罐运营期内检验检测标准进行了分析。分析结果显示,目前与常压储罐检验检测相关的现行标准有很多,但分布较为分散,检验人员和机构的指向不明确,检验类型、检验周期、检验项目和检测方法等内容的规定不够统一,且缺乏有效的储罐安全评估方法,这些都给标准的执行带来一定困难。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。