提高强力输送带横向断裂预报装置灵敏度的方法

在分析前置放大器噪声的基础上，提出了抑制噪声和提高检测灵敏度的方法。实验表明该方法是有效的。     

关于变系数线性微分方程的稳定性*

本文用矩阵测度和比较定量给出了变系数线性微分方程稳定性的一个简单判据，对周期系数的线性微分方程给出了较为精确的渐近稳定判据，推广和改进了文［１］的工作。     

Modeling rolling batch planning as vehicle routing problem with time windows

This paper considers the rolling batch planning problem of grouping and sequencing a given set of slabs into several rolling units in iron and steel industry. The existing mathematical methods often used for the problem are traveling salesman problem (TSP) and vehicle routing problem (VRP), but these methods are not precise, because the position limitation of some slabs in a rolling unit scheduling is not considered. Therefore we suggest a new model, vehicle routing problem with time window (VRPTW) to describe the rolling batch planning problem, in which the position limitation of slabs are quantified as the time constraints. Several solution methods including the genetic algorithm are presented for solving the problem and the computational results show that the genetic algorithm is superior to other methods.In this paper, the vehicle routing problem with time window (VRPTW) of combinational optimization is used to analyze and model the rolling batch planning problem. Genetic algorithm and heuristic are used to solve the problem. Simulation results based on the actual production data show that this model is precise and the genetic algorithm based method is very promising.     

冷床升降横梁的定位及链条调整机构改进

针对冷床频繁出现的故障情况，分析链条脱落、卡死及拉断的原因、增设升降横梁定位装置，改进链条调整装置，消除故障。     

Semantic email: theory and applications

This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message consists of a structured query or update coupled with corresponding explanatory text. Semantic email opens the door to a wide range of automated, email-mediated applications with formally guaranteed properties. In particular, this paper introduces a broad class of semantic email processes. For example, consider the process of sending an email to a program committee, asking who will attend the PC dinner, automatically collecting the responses, and tallying them up. We define both logical and decision-theoretic models where an email process is modeled as a set of updates to a data set on which we specify goals via certain constraints or utilities. We then describe a set of inference problems that arise while trying to satisfy these goals and analyze their computational tractability. In particular, we show that for the logical model it is possible to automatically infer which email responses are acceptable w.r.t. a set of constraints in polynomial time, and for the decision-theoretic model it is possible to compute the optimal message-handling policy in polynomial time. In addition, we show how to automatically generate explanations for a process's actions, and identify cases where such explanations can be generated in polynomial time. Finally, we discuss our publicly available implementation of semantic email and outline research challenges in this realm.¹     

Language recognition by two-way deterministic pushdown automata

It is proved that any bounded context-free language can be recognized by a two-way deterministic automaton with a finite-rotary counter.Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 177–181, November–December 2004.This revised version was published online in April 2005 with a corrected cover date.     

连铸小方坯表面横裂的控制

根据安钢第一炼轧厂近几年的连铸生产实践，系统分析了连铸小方坯发生横裂的原因，其影响因素主要有振动参数，二次冷却、拉速、保护渣的性能及操作因素。通过采取相应的措施，使方坯横裂废品率降到较低水平。     

钢中稀土加入工艺技术研究与应用

为解决钢中稀土加入难题，济钢开发了结晶器喂稀土金属丝工艺，即采用SLW2-4(A)多齿辊无级调速结晶器稀土喂丝机，通过严格控制原始钢水的脱氧程度，合理选择喂丝工艺参数，提高了钢中稀土成分的合格率．稀土回收率达80％以上，稀土在钢中的分布基本均匀。在09CuPTiRE和JCL355等部分钢种应用表明，稀土在钢中有净化、变质和微合金化的作用，钢中夹杂物总量评级平均只有5级，比正常生产钢降低2．2个级别以上。     

浅析铝电解槽下料器的发展趋势

介绍了铝电解槽用下料器的发展过程，对现阶段使用的有刷和无刷定容下料器的结构，特点及优缺点进行了对比，着重介绍了无刷下料器的工作原理及其实用性。     

多级工程模糊优选在土石坝溢洪道选型中的应用

针对溢洪道设计中经常遇到的方案优选问题，提出将多因素、多层次模糊优选理论引入溢洪道的设计选型工作中。对影响因素复杂、确定隶属函数主观因素较强的情况，引入因素的优先关系法来确定优选矩阵的隶属度，这样减少了确定隶属函数的人为影响，通过此优选模型利用影响溢洪道选型的主要因素对多种溢洪道设计型式进行了多级模糊综合优选决策，得到了比较理想的决策结果，为溢洪道设计选型提供了新的思路。