微波感应式电力线防盗在线监测系统

研制了一种微波感应式配电线路防盗在线监测系统，简述了其系统构成、技术特点和应用效果。整个系统由监测分机、监控中心、巡检人员组成，借助该系统进行了一系列实验。结果表明，当有大型移动物体靠近或攀登杆塔时，安装在杆塔上10 m左右的微波感应监测分机感应到移动物体信号，一方面进行语音警示，另一方面通过短信服务及时向监控中心发送短信，监控中心及时通知巡检人员，赶到事故现场，以最大限度地保证输电线路的安全。     

武钢4号高炉大修改造出铁场系统设计

武钢４号高炉出铁场系统设计属老系统改造设计，新增了带除尘风道的弧形钢风口平台，Ｄ．Ｄ．Ｓ型全液压泥炮、立柱旋转式电动开铁口机、半贮铁双砂口式快干浇注料等设计项目，高炉投产后的生产实践证明，新设计的出铁场系统达到了改善炉前环境，满足生产需要的目的。     

Modelling of induced aeration in turbine aerators by use of radial basis function neural networks

Gas induction in agitated vessels with turbine impellers can be modelled accurately by means of radial basis function neural nets. The results obtained with the radial basis neural net were significantly better than those obtained by multivariate regression models or standard back propagation neural nets. Moreover, by using the radial basis function neural net model, it was possible to conduct a sensitivity analysis of the variables affecting aeration. Increased medium density showed a strong adverse effect, while variation of the viscosity can cause an increase or a decrease in the rate of aeration, depending on the prevailing process conditions.     

高喷煤比操作对焦炭劣化的影响

为考查提高喷煤量对焦炭在炉内劣化的影响,在宝钢高炉上进行了风口取样研究.结果表明,喷煤量达到200 kg/t以上时焦炭劣化严重.高炉生产实绩回归显示,焦炭的热性能对高炉透气性的影响比冷强度显著.分析认为焦炭热性能指标CRI、CSR对高炉高煤比操作更重要.借此还提出了提高喷煤量和改善焦炭质量需加强研究的课题.     

Rapid Prototyping and Tooling of Custom-Made Tracheobronchial Stents

Rapid prototyping (RP) and rapid tooling (RT) techniques can be applied to the field of medicine primarily because of their ability to produce customised profiles and geometries in relatively short lead times. In this paper, the process by which these techniques can be applied for the production of customised tracheobronchial stents for the purpose of maintaining patency in an occluded respiratory tract is described. A comparison of RP systems was carried out to establish the preferred RP method to produce the master model. The vacuum casting RT process was then used to produce the stent.     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

武钢6#高炉煤气洗涤水处理新思路

武钢6#高炉煤气洗涤水在已有的经验基础上,引进了项目总承包方式的运作。总结了药剂选择、使用量的确定、工业性试验的效果、半年多来的实际运行成果,为外协技术项目今后采用总承包方式的运作提供了初步的经验。     

2×750 m3高炉冷风保安系统

介绍了2×750m3高炉冷风保安系统工艺流程、设计选型计算、可行性分析及实施效果。     

直流电弧炉长弧泡沫渣技术

本文指出了直流电弧炉采用长弧泡沫渣技术的必要性及该技术的发展现状，总结了炉渣物理性质，化学成分，温度和气源等对炉渣泡沫化的影响，并介绍了电炉泡沫渣的操作工艺及实际应用效果，对宝钢三期１５０ｔＤＣ－ＵＨＰ电弧炉的泡沫渣工艺提出了看法。     

Simulating the Child's Acquisition of the Lexicon and Syntax—Experiences With Babel

This paper describes the theory and implementation ofBabel, a system which explores the hypothesis that much of the differences in the world's languages may be characterized by the inventory and properties of the lexical items and functional categories of those languages. The structure ofBabel assumes that functional categories are originally lacking in a child's syntax, and are acquired through a statistical induction process of lexical acquisition.Babel then uses information induced from the structure of the lexicon to create a model of syntax via a deductive, rule-based process. This model makes a number of predictions about the time course of language acquisition. These predictions are tested by runningBabel as a simulation of child language acquisition, using large samples of adult speech to children as input. The simulation results are shown to highly correlate to longitudinal studies of child language acquisition in English and Polish. Finally, the approach to handling noisy data withBabel is detailed.