Hot corrosion Type II of FeCr‐based model alloys for boiler and heat exchanger applications

The hot corrosion Type II of the alloys FeCr20, FeCr20Ni10, FeCr20Ni20, and FeCr20Co10 is investigated at 700°C in air + 0.5% SO₂ with deposits consisting of Na₂SO₄ and a eutectic mixture of Na₂SO₄ and MgSO₄ for 24, 100, and 300 h. The alloying elements nickel and cobalt have a positive influence when tests are conducted using a MgSO₄‐Na₂SO₄ deposit. In this case, they reduce the metal loss and increase the time to the propagation stage. In contrast, when the alloys are exposed with a Na₂SO₄ deposit, these alloying elements increase the metal loss and allow for the transition to the propagation stage because they can form molten phases with the Na₂SO₄. During the incubation stage an oxide scale forms on the FeCr20 alloy, which is thicker than the one formed during exposure without a deposit, and iron oxides are observed, which precipitate in the deposit. The propagation stage occurs by a dissolution and precipitation mechanism forming localized pitting attack. Iron is the main species that dissolves and precipitates, while chromium remains mainly as an oxide beneath the initial surface. The additional elements are found in the pit and in the salt deposit.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

电缆气压保气率计算机统计系统

介绍了电缆气压保气率计算机统计系统开发的目的和意义，系统程序的流程和结构，以及系统程序的编制和应用。     

小波变换用于影象分割的研究

将近年来兴起的小波理论应用于影象分割技术，提出了一种基于影象直方图小波变换的影象分割方法，并从理论上给出了使用该法所得分割门限的物理意义。实例表明，这种由粗到细引导的多分辨率分析方法，对于复杂影象的分割具有较强的鲁棒性和有效性，克服了传统分割方法中的参数需要人工确定的缺点。     

广播发射集散控制系统

本文介绍了广播发射台利用计算机技术、网络技术、遥控遥测技术、现代测试手段，对设备进行自动化控制与管理；实现设备技术指标自动测试，发射台无人值班、有人留守，建立机器的计算机档案制度，确保安全优质播出的方法和经验。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

一种双光束自动测试光栅绝对与相对光谱衍射效率的原理性方案

提出了一种快速自动测试光栅光谱衍射效率的新方法。重点推导了测试平面光栅绝对光谱衍射效率与相对光谱衍射效率公式，介绍了双光束高精度自动测试光栅光谱衍射效率曲线的基本原理、方案与方法，并分析了测试精度。研究表明，本方案的测试速度和精度均比一般测试方法提高一倍，并能有效地消除光源波动对测量结果的影响，测量误差小于５×１０－３。     

Enhanced Image Detection on an ARM based Embedded System

This paper presents a new technique for thedetection of Integrated Circuits within images of Printed Circuit Boards autonomouslyand without the need to be assisted by CAD data. The technique is a key partof a suite of algorithms targeted for an embedded System On Chip architecturebased on the ARM7 platform for real time detection of PCB images for diagnosticpurposes. The technique has a significant reduction in complexity when comparedto conventional approaches such as the Hough Transform. The reduction in complexitymakes the approach ideal for an embedded vision application suchas the one described in this paper. This paper presents the technique, thetarget embedded architecture and results showing the reduction in complexitywhen compared to a Hough Transform.     

计算机自动绘制光学零件图的软件系统的研制

介绍了计算机光学零件图自动绘制软件系统的功能，给出了用该软件完成的光学零件图图样，对程序设计过程中的难点及处理方法也进行了详细阐述。