炼钢中间包塞棒液压伺服比例控制系统的应用

济钢第三炼钢厂中间包塞棒液压伺服比例控制系统采用伺服比例阀和伺服缸等,系统设计完善,功能齐全,可实现塞棒位置的闭环控制,保证了结晶器中钢水液面的稳定。     

变压器有载合闸过程中故障分闸后铁心剩磁分析

通过有载合闸变压器模型,分析了变压器有载合闸过程中由于副边突然短路导致主保护动作时电流和磁通的暂态过程,并对变压器铁心内的剩磁作了定性的分析。     

线性分组码的神经网络译码

介绍了神经网络与线性分组码之间的关系，并在文献[1]的基础上证明了软判决译码与求解能量函数最大值之间的等价性，然后以(7，4，3)汉明码为例介绍了神经网络在循环码硬判决、软判决译码中的应用。     

Prediction of spectral reflectance factor distribution of automotive paint finishes

It is necessary to determine the accurate reflectance of painted surfaces for the review of paint finishes by computer graphics (CG) before actual painting of the exterior color of automobiles, and for quality control during production and inspection processes. We have optimized a method for measuring reflectance by using a statistical technique. We have found that the reflectance of a painted surface is best measured at an incident angle of 60° and at five aspecular angles of 10°, 18°, 28°, 40°, and 90°. Our method makes it possible to accurately reproduce reflection characteristics of paint finishes containing special flake pigments, such as pearl mica. Also it was proved that our method can apply not only to solid and metallic coatings but to all painted surfaces. © 2005 Wiley Periodicals, Inc. Col Res Appl, 30, 275–282, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20125     

应当规范排(进)气阀的生产

输、配水管网因排气不畅而引发气爆型水锤，从而导致爆管的事故时有发生，经补救后再次发生爆管事故的也并不鲜见。近年来，我国的长距离、大口径管道输水工程快速发展，管道输水的排（进）气设计和排（进）气阀的规范生产问题应当引起重视。文中列举了有压管道输水系统中气体产生的原因、赋存形态和危害，对规范排（进）气阀的生产提出了建议。     

基于CCD的激光微位移测量系统研究

介绍了一种基于多普勒效应的可进行动态微位移测量的激光微位移测量系统。该系统以He-Ne激光器为光源,配以干涉系统移动方向判别及分频系统、CCD视频信号的高速动态采集系统、微机处理系统及干涉图处理软件包等。与传统测量方法相比,其精度、灵敏度及稳定性都有较大提高,并实现了微位移的全自动测量。     

一个改进的单抓钩周期性排序模型及其在自动化学处理线中的应用

计算机控制的抓钩广泛用于自动化学处理线的工件的运送。抓钩的排序直接影响系统的生产率，抓钩排序的目标是对运送进行排序以极大化生产率。当某工序处理时间非常长时，该工序成为瓶颈。为了去除该瓶颈，系统可以为该工序设计多个处理槽，这称为“多重处理槽”问题。本文提出一个改进的混合整数规划模型以求解有“多重处理槽”的单抓钩周期性排序问题的最优解。实例表明所提出的方法是有效的。     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

鱼雷罐喷粉预处理过程水模研究

在鱼罐喷粉预处理水模实验数据的基础上，进一步利用线性回归确定各工艺操作参数对喷吹基本参数（均混时间、粉剂穿透比和粉剂停留时间）的影响，得出各传输动力学基本参数的函数关系式。