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.     

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

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

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

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

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