Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.     

HVS：一个半现实全景图时空模型

利用实景图象组成具有空间感和时间感的虚拟空间，我们称之为半现实。这种具有空间“上下文”和时间“上下文”能力的半现实全景图可以应用于许多方面。文中描述了这种半现实ＨＶＳ的建模思想，给出了组成时空座标系的方法，并且讨论了实现中的若干问题。     

Knowledge extraction for production management

A procedure and underlying algorithm for extracting knowledge from production and inventory databases to support engineering management activities is described. The process searches for, detects and isolates behaviour patterns inherent in the data. It relates these patterns to production irregularities, suggests connections with specific causes and helps propose possible corrective or preventive actions. The approach is based on a four-phase procedure: (1) the decision-maker focuses on the subject or difficulty at issue, represented by a target concept; (2) the KEDB algorithm, based on a machine learning approach, processes the relevant database and provides knowledge characterizing and classifying the target concept; (3) the output is interpreted in Pareto fashion as a series of possible circumstances explaining the target concept behaviour; and (4) based on these causes, the decision-maker decides on possible corrective actions to improve the situation, or preventive actions to forestall unfavourable conditions. A case study based on an actual quality control database is detailed.     

Knowledge-based diagnosis of drill conditions

One major bottleneck in the automation of the drilling process by robots in the aerospace industry is drill condition monitoring. This paper describes a system approach to solve this problem through the advancement of new machine design, sensor instrumentation, metal-cutting research, and intelligent software development. All drill failures can be detected and distinguished: chisel edge wear, flank wear, crater wear, margin wear, corner wear, breakage, asymmetry, lip height difference, and chipping at lips. However, in the real manufacturing environment, different workpiece materials, drill size, drill geometry, drill material, cutting speed, feed rate, etc. will change the criteria for judging the drill condition. The knowledge base used for diagnosing the drill failures requires a huge data bank and prior exhaustive testing. A self-learning scheme is therefore introduced to the machine in order to acquire the threshold history needed for automatic diagnosis by using the same new tool under the same drilling conditions.     

锁相技术在电子束曝光机工件台稳速控制中的应用

采用锁相技术，对电子束曝光机工件台运动实现速度环的全数字控制。设计了数字差频积分回路和数字差频比例控制器，能有效消除速度的静态误差和改善系统的动态特性。     

微机控制托辊管筒加工机床的设计

介绍了一种生产效率高、加工质量稳定、利用单片机控制液压传动系列带式输送机托辊管筒自动加工机床的设计过程。     

家庭网络中JINI体系结构的实现

JINI规范的发布使得SOHO环境中设备的网络化及其网络互联变得快捷方便，分析了JINI技术的结构特点、提出了家庭网络中不同的JINI系统实现方案并对相关的规范进行了对比分析，为JINI技术在家庭网络中的应用提供了理论依据和工程实例。     

缝纫机和导向机在BOPP二次套装上的应用

用户工艺要求树脂BOPP无杂质，一次包装在运输和使用中都会不同程度带进一些污物。人工二次套装费用高，极易形成二次污染。应用缝纫机、导向机、一次性完成二次套装，解决了人工二次套装解决不了的问题，具有很高经济效益和社会效益。     

数控机床脉冲插补法与数字增量插补法之比较

介绍了数控机床脉冲插补法与数字增量插补法的基本原理,分析了各自的特点并指出了其各自的应用范围。     

采用激光光刀的叶片三维面形测量方法

提出一种采用激光光刀的叶片三维面形测量方法。介绍了方法原理、系统结构、信息获取与处理方案,并给出了对实际飞机发动机叶片的面形测量结果。