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.     

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

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

Rank order filters and priority queues

Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency. Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming. Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming.     

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

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

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

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

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

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

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

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