机械制造技术实践教学的探索

为提高高职学生的技术应用能力，机械制造技术作为机械制造专业的主干课，应配合不同阶段，形式多样的实践教学。本对机械制造技术实践课程的实施作了一定程度的探索，提出了一些可行性建议。     

大比例配用进口粉矿的烧结试验及生产

安钢烧结厂为应对原料条件的变化，就烧结配加进口粉矿进行了试验。以试验结果指导生产，顺利地实现了原料结构的改变，以及工艺参数的优化和生产指标的改善。     

ANOM在质量控制中的应用

ANOM（均值分析）是一种有效的质量工具，可以用来分析实验因素对输出的影响是否显著。可以应用于单因子，双因子的实验设计，无论是计量值数据，还是计数值数据，ANOM检验异常值的能力都很强，介绍了ANOM的基本分析过程，对ANOM和ANOVA进行了检验异常值灵敏度大小的比较，同时给出了实例。     

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk     

重金属污染物动态吸附试验及数学模拟

本文采用泥沙动力学中Ｒｏｕｓｅ等人用来研究泥沙浓度沿垂线分布的装置。对泥沙吸附重金属污染物进行了动态模拟。试验分有底泥和无底泥两种情况。研究中发现在Ｒｏｕｓｅ装置的水力、泥沙条件下泥沙吸附重金属污染物达到平衡状态需要６小时以上，由极坐标下的重金属迁移转化数学模型方程，在本文具体试验条件下进行数值求解，计算结果和试验结果合良好，说明数学模型是正确合理的试验是可靠的。计算时依据室内静态试验结果，对动态     

掺杂WRe3、WRe25合金的高温电阻－温度特性

本文报导了采用一种新型高温陶瓷发热体高温管状炉，通以氩气保护，测量ＷＲｅ合金丝的电阻－温度（１６００℃）特性试验方法，该方法较真空炉简便、实用且试验费用低而准确，测量数据与美国研究报导一致。     

低渗透挥发性油藏注烃类气驱室内实验研究

通过注烃类气驱实验研究，了解文留油田低渗透挥发性油藏注气开发的一般机理和开发特点。采用PVT分析方法分析地层流体的物理性质、注入溶剂的组份；通过细管实验研究地层流体同注入溶剂在130℃时的最小混相压力；长岩心驱替实验分析气驱、水驱、水气交替注气的采收率、压力的变化规律。细管实验研究表明，最小混相压力为47．1MPa，长岩心注天然气驱替实验表现出近混相的特征。天然气驱注气压力低，采收率高，适合于文南油田低渗透挥发性油藏。     

Introductory Paper

In today’s competitive market designing of digital systems (hardware as well as software) faces tremendous challenges. In fact, notwithstanding an ever decreasing project budget, time to market and product lifetime, designers are faced with an ever increasing system complexity and customer expected quality. The above situation calls for better and better formal verification techniques at all steps of the design flow. This special issue is devoted to publishing revised versions of contributions first presented at the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) held 21–24 October 2003 in L’Aquila, Italy. Authors of well regarded papers from CHARME’03 were invited to submit to this special issue. All papers included here have been suitably extended and have undergone an independent round of reviewing.