THE STATISTICAL DISTRIBUTION OF EXTREME VALUES OF WAVE-CURRENT FORCES ACTING ON SLENDER CIRCULAR CYLINDER IN IRREGULAR WAVES

Based on model test,the statistical distribution of extreme values of wave-current in-line forces acting on vertical circular cylinder is analyzed in this paper.It is shownthat the results calculated by the simplified method,proposed by authors,agree well with the testdata;Weibull distribution is also adoptable in the region of high KC number, and the shapeparameter a and scale parameter β are related well with KC number respectively.     

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.     

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

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

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

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

点阴极电场辅助阳极连接中的紧密接触面积和电流

用等效电路的方法研究了点阴极情况下的电场辅助阳极连接效应，计算了连接电流，连接孕育期和紧密接触面积，本文结果表明，连接初期电流迅速衰减，随后缓慢变小，直至某一稳定值，孕育期随温度上升指数下降，连接温度高时，孕育期将难以观察到；待连接表面之间紧密接触面积随时间延长而非线性扩展，紧密接触区域增大时，其边界向外推进速度渐小，而接触面积增加渐快。     

新型交流脉冲MIG焊接法的研究

采用自行研制的具有方框形外特性的交流脉冲MIG焊接电源 ,又设计了双凹形焊接电流波形 ,即过零前后的电流波形均为脉冲大电流 ,有利于交流脉冲MIG焊接电弧的连续稳定。按照这个新型交流脉冲MIG焊接方法 ,不必加任何稳弧措施 ,可实现电弧的稳定燃烧 ,解决了电弧磁偏吹的问题 ,具有较好的焊接工艺性能 ,用于压力容器的全位置焊接和铝焊接均有很好的焊缝成型     

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

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

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热连轧生产线步进式加热炉钢坯跑偏测试的应用技术.