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.     

交通需求管理措施及实施效果的调查研究

交通需求管理提供了解决交通问题的方法,可为经济、社会以及环境带来一定的收益,但不同城市和地区的交通问题有所不同．必须根据各自城市的实际特点制定出切实可行具体方法,交通需求管理才能成为解决城市交通问题的有效手段。     

管道外表缺陷红外无损检测和缺陷识别特征方向法

通过对表面存在缺陷的被检测管道内部通以热空气,达稳态后使用红外热像仪记录表面热特征和温度分布,据此实施红外无损检测.检测结论表明这种方法切实有效.文章首次提出了缺陷形状和尺寸识别的特征方向方法,得到一些有益结论.该方法也为实现红外故障智能诊断提供了一条技术路线.     

沥青混合料高温稳定性能评价方法

介绍和对比了三种沥青混合料高温稳定性能的评价方法.车辙试验应用广泛,其不足也比较明显;旋转压实剪切试验机（GTM）试验和单轴贯入试验能够简便快速地检测沥青混合料剪切性能,两者具有较高的相关性,可以作为评价高温稳定性能的有效手段.     

汽车发电机噪声测试分析

噪声问题已经成为汽车交流发电机生产企业发展的瓶颈,借助国内某知名企业的先进噪声实验室,进行发电机噪声测试分析。对噪声测试影响因素、测试要求、测试设备进行分析,测出发电机A声级主要阶次成分噪声。对噪声测试结果分析表明,发电机整体噪声在低转速区间问题较大,找出噪声主要阶次成分随转速变化的规律,确定引起噪声的主要阶次成分。为发动机降噪方案设计提供依据。     

驾驶室气密性在载货汽车上的探讨研究

密封性直接影响NVH性能,通过气密性检测对开发车型进行结构优化来改善NVH性能。本文将着重对这方面作一定的探讨与研究。     

基于虚拟仪器的汽车电子测试系统设计

电子技术的推广增加了汽车电子测试的复杂性,基于虚拟仪器的测试系统具有高定制性和高扩展性,提供了一种可行的汽车电子测试方案。本测试系统硬件采用PXI模块化板卡、信号调理板卡、负载模拟板卡及第三方测试工具;软件系统基于LabVIEW模块化软件开发,可完成汽车电子模块功能、网络与诊断的自动化测试。     

电厂用柴油发电机组的电气控制

针对电厂用柴油发电机组应急、快速启动、可靠性高的特点,结合实际调试应用中遇到的问题,依据技术协议要求,提出一种功能要求全面的典型设计思路,为今后电厂用柴油发电机组的电气控制设计提供一定的依据。     

基于粗糙集和 SVM 理论的柴油机故障分类预测诊断

文中利用粗糙集和 SVM 理论相结合的方法对柴油机故障进行快速准确分类预测诊断。首先对收集的故障特征数据进行预处理,再运用粗糙集理论进行属性约简得到最优决策属性表,然后使用 SVM 理论中的分类预测规则对最优决策属性表进行诊断分类,得出诊断结果。通过实例分析验证了该诊断方法优于单一的粗糙集诊断和 SVM 诊断。     

基于蚁群聚类的路面识别分析方法

道路是城市的重要基础设施．路面状况的鉴定与评价直接关系到公路的养护决策,是一项至关重要的工作．本研究将蚁群聚类算法应用于路面识别领域,提出一种基于蚁群聚类优化的路面识别分析方法,将此方法运用于路面识别系统．该系统由数据采集、数据预处理和蚁群聚类优化3个模块组成,其中蚁群聚类主要提取了纵轴方向的3个特征属性,通过不断更新聚类中心产生的信息素矩阵,并通过分类器进行路面分类．实验结果表明：蚁群聚类优化具有全局收敛以及启发式学习等优点,运算效率高,路面识别准确率达到95.3％,验证了此方法的有效性．