Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

BYJ型防喷脱接器的设计与应用

本文介绍了BYJ型防喷脱接器的结构和工作原理。它既有抽油杆与大泵活塞脱接功能,又能实现不压井作业施工,是大型抽油泵理想的配套工具。现场应用表明,该防喷脱接器对接成功率较高,并实现了大泵井不压井施工。     

Microscopic fatigue processes in a plain-weave glass-fibre composite

This paper focuses on the microscopic damage and progressive failure of a composite reinforced by plain-weave glass cloth under tensile fatigue loading. The fatigue process was divided into three stages like that of multi-directional laminates. It was found that the internal damage at each stage (matrix cracks, debonds in the weft, successive debonds in the warp and ‘metadelaminations’ between warps and wefts) occurred near the cross-over point of the fabric. The modulus decay mechanism was explained by considering the progression of this internal damage. From the end of the first stage to the beginning of the middle stage, a characteristic damage state (CDS) (called a ‘meta-CDS’) was observed. It was found that woven composites have a unit area of damage accumulation (called a ‘unit cell’) and the damage of each unit cell and its distribution control the total fatigue damage of the material.     

火电机组运行优化系统的现状与展望

简单回顾了国内外在火电机组运行优化领域的研究历程，列举了目前国内外市场上针对火电机组的各种主流运行优化产品的功能特点和应用情况，分析了国外引进产品和国内自主研发产品在中国当前市场环境下各自的优势和劣势。介绍了当前运行优化系统在国内电站机组的应用现状，阐述了国内外运行优化系统在实际应用中存在的问题，并提出了相应的改进意见。对机组运行优化系统的未来发展进行了展望，指出机组运行优化系统将利用先进技术设备和信息平台，与电站管理紧密结合，在日益规范的市场中不断发展完善，为提高电站经济性发挥更大的作用。     

数据采集与处理系统芯片-ADuC845及应用

随着嵌入式系统的发展，模拟信号处理单元与MCU正逐步融为一体，数据采集与处理系统芯片-ADuC845是这一融合的具体体现和产物。现对ADI公司的ADuC845芯片及其特性、应用作详细介绍。     

2#板坯连铸机振动台故障分析及改造

论述了银山型钢有限公司炼钢厂2#板坯连铸机自投产以来其振动台存在的问题，根据实际情况分析论证并进行改造实施，实施后效果明显。     

标准型直燃机在严寒地区应用探讨

介绍了标准型直燃机的分类、原理及长庆至呼和浩特输气管道工程冷冻供热站的设计实例 ,重点论述了标准型直燃机在严寒地区使用的利弊     

游梁式抽油机曲柄销所受扭矩分析

在分析游梁式抽油机连杆大头轴承座因装配不当而产生变形的基础上，用有限元法分析了轴承所受的径向力，得出了曲柄销上所受的扭矩。最后，以ＣＹＪ１０－３－５３ＨＢ游梁式抽油机曲柄销为例进行计算，得出当轴承座径向变形量为０．１ｍｍ时，曲柄销中相应产生的扭矩可达１．０８ｋＮ·ｍ。为消除这种不良影响，应考虑采用其他的联接方式，以避免装配时产生过大的装配应力。     

SDQ941地化-气测综合录井仪

地化-气测录井仪将地化、气测二种成熟的技术,有机地结合在一起.地化、气测数据在同一软件下运行,可达到技术互补的优势,克服了单一录井方法录取资料单一片面的缺陷,有利于提高油气层的发现率和解释成功率,为实现录井仪器和录井服务向综合型发展的战略创造了条件。该文主要介绍了仪器的构成、功能及计算机软件的特色,并阐述了该仪器的技术装备优势及应用前景。