Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

埋地管道涂层检测技术现状

文章对各种埋地管道涂层检测技术进行了综述,并指出了各种技术的优缺点及应用前景.     

超声波车辆车轴探头的研制与应用

提出了一种用于检测在役车辆车轴产生疲劳裂纹的超声波方法,设计了中心孔探头与斜角探头一起,完成了对车辆车轴的关键区域探伤。     

地地战术导弹飞行可靠性指标评定方法

在小子样情况下 ,利用系统和分系统试验数据对导弹的飞行可靠性指标进行评定 ,从数学上说是系统可靠性综合问题 .运用MML SR方法对新型号地地战术导弹的飞行可靠性指标进行评定 ,避免了MML方法在遇到无失败单元时不适用的缺陷 ,在利用地面试验信息方面有其明显优势 ;运用Bayes方法对改进型导弹的飞行可靠性指标进行评定 ,将不同试验阶段的多源试验信息作为验前信息 ,扩大了信息量 .最后 ,对两种方法在工程应用上遇到的问题进行了讨论 ,并给出了解决方法 .     

80kt/a硫磺回收装置国产化设计

介绍了无在线炉硫回收工艺的基本原理、技术特点和催化剂使用情况。已投用的工业装置运行结果证明 ,用该工艺设计的硫磺回收装置 ,硫回收率和尾气净化度高 ,投资少 ,能耗低 ,流程简单 ,操作控制方便 ,社会效益和经济效益显著 ,适用于同类装置的新建和改扩建项目 ,市场前景广阔。     

A Built-in Self-Test Scheme with Diagnostics Support for Embedded SRAM

In this paper we propose a novel built-in self-test (BIST) design for embedded SRAM cores. Our contribution includes a compact and efficient BIST circuit with diagnosis support and an automatic diagnostic system. The diagnosis module of our BIST circuit can capture the error syndromes as well as fault locations for the purposes of repair and fault/failure analysis. In addition, our design provides programmability for custom March algorithms with lower hardware cost. The combination of the on-line programming mode and diagnostic system dramatically reduces the effort in design debugging and yield enhancement. We have designed and implemented test chips with our BIST design. Experimental results show that the area overhead of the proposed BIST design is only 2.4% for a 128 KB SRAM, and 0.65% for a 2 MB one.     

可靠性试验样本量和截尾时间的计算

可靠性寿命试验中，一般都因受到费用和时间的限制，因此要用截尾试验获得信息，再据此对其可靠性进行统计推断，用非参数估计的方法探讨了进行可靠性试验的样本量或截尾时间的估计方法。     

步进式加热炉钢坯跑偏测试

钢坯在炉内的横向跑偏和纵向跑偏位移量,是步进式加热炉设备的重要性能之一.重点介绍了鞍钢1780热连轧生产线步进式加热炉钢坯跑偏测试的应用技术.     

钻井液用BDY-1便携式堵漏仪

在堵漏过程中，对堵漏材料和堵漏浆配方的优选是决定堵漏成功的关键。为了能在现场对堵漏进行评价，研制出BDY－1便携式堵漏仪，该堵漏仪主要由不锈钢钢柱圈钢，压力表等加工而成，该堵漏仪体积小，重量轻，价格低，仅为国产堵漏仪的1／20。试验结果表明BDY－1便携式堵漏仪操作简便，可快速对堵漏材料进行评价并筛选出堵漏配方；数据重复性好，准确可靠，能达到进口或国产堵漏仪的水平；在模拟漏层选定后，可采用多套压力梯度，对堵漏浆封堵效果进行评价，在压力梯度选定后，可评价堵漏浆对不同类型漏层的封堵效果；如果扩大压力范围，可对封堵后的漏层进行破裂试验，从而确定合理的钻井施工参数；适用现场操作和应用。     

提高集聚纺纱效率的可行性研究

本文主要讨论了精梳工序和普梳工序对集聚纺纱线质量和加工效率影响的测试结果。