Replay-based debugging of occam programs

Parallel programs are intrinsically non-deterministic, and therefore the techniques of cyclical debugging that are commonly used for sequential programs are not suitable for parallel ones. This paper proposes a method to reproduce Occam program behaviour. Saving information on the timer values input by the program and the guards selected at run-time on alternative commands allows program replay, i.e. it makes it possible to re-execute the program deterministically with the same inputs following the same instruction path. This enables the software developer to use tools such as debuggers and intrusive monitors to help identify program faults. After discussing possible implementations of the proposed technique, IRD (an interactive replay debugger for Occam programs) is described. Finally, the use of the IRD in a sample debug session is presented as an example.     

基于并联机构的液压支架立柱的工作过程分析

对基于并联机构的液压支架立柱的控制和工作过程进行了分析,表明该支架能充分适应顶板、保证初撑力、适应矿压规律的变化。     

一种混合型三维移动并联机构静力学计算

对一种混合三维移动并联机器人进行静力学计算,并给出雅克比矩阵及其逆,为该三自由度并联平动机器人的进一步研究和实用化提供借鉴。     

单长网纸机网部成形与脱水

分析了单长网造纸机各种脱水元件的优势、劣势及特点,阐述了如何进行脱水元件的优化设计和最佳参数的选择问题。     

工程机械产品技术发展现状研究及对策

通过分析了解国际工程机械产品技术发展特征及国内工程机械产品技术发展的差距，提出了我国工程机械产品技术发展的一些对策。     

能自起动的抽水蓄能电站用双速同步发电─电动机，第二部分──模拟样机试验研究

本文针对新型自起动双速凸极同步发电─电动机的模拟电机的各种运行特性进行了实验研究和分析，结果显示了该种电机励磁绕组具有很强的阻尼作用，当该种电机作为电动机起动时，具有良好的起动性能。同时符合发电机运行性能的要求。从而证实了这种新型电机及其自起动方法的现实性。     

应用P对极N相变换分析定子绕组故障的同步发电机

本文将派克变换推广到Ｐ对极Ｎ相对称系统的一般情形，推导了在Ｐ对极Ｎ相对称系统的一般情形下的派克变换矩阵。作为Ｐ对极Ｎ相变换的应用之一，本文介绍了一种分析定子绕组内部故障的同步发电机的方法。     

菱形金属网编织机的功率计算

本文依据弹塑性力学的基本原理建立了钢丝拉弯状态横截面上的弯矩及拉弯成形为扁螺旋钢丝的功率耗散函数,从而探明了菱形金属网编织机功率耗散的机理。     

6m焦炉四大车供电系统的改进

重钢新区焦炉投产以来,四大车供电系统多次出现故障,经改造可实现分段停电检修;1套集电器可连续稳定使用半年以上,且更换1套集电器仅用20min左右;各滑触线增加自动伸缩器后,只要对滑触线定期检查松动,保证其自由伸展,滑触线基本不变形,焦炉运行能力大大提高.     

MPI环境下二维流动的并行计算

在MPI并行环境下,使用Fortran语言自行开发的程序,采用区域分解法对二维流动问题进行了数值模拟计算。最后分析了计算机集群在数值求解复杂流动问题方面的实用性以及实际所能达到的计算效率。