Shorts in self-checking circuits

It has been noted by several authors that the classical stuck-at logical fault model might not be an appropriate representation of certain real failures occurring in integrated circuits. Shorts are an important class of such faults. This article gives a detailed analysis of the effects of shorts in self-checking circuits and proposes techniques for dealing with them. More precisely, we show that, unlike other faults such as stuck-at, stuck-on, and stuck-open—which produce only single errors in the place they occur—shorts can produce double errors on the two shorted lines. In particular, feedback shorts can produce double errors on the two shorted lines. The double error is unidirectional for some feedback shorts and non-unidirectional for some others. Furthermore, in some technologies (e.g., CMOS), non-feedback shorts can also produce double non-unidirectional errors. We also show that unlike stuck-at, stuck-on, and stuck-open faults, redundant shorts can destroy the SFS property. Then we propose several techniques for coping with these problems and we illustrate the results by circuit implementation examples.The present study is given for NMOS and CMOS circuits but we show that it is valid for any other technology.     

Integrated distributed intelligent system for process-control system design

In process-control system design, the Computer Aided Design (CAD) techniques have evolved a new generation of design techniques. This also paves the way for implementing Computer Integrated Manufacturing Systems (CIMS). However, the key issue to accomplishing the objectives in CAD is the automation of conceptual design. This paper first introduces the fundamentals of conceptual design for process-control system design. Then, a strategy to solve the problems in conceptual design is proposed. The associated system configuration and software implementation platform for developing intelligent systems for process control system design are presented. Finally, an application case is studied.     

Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

Development and implementation of a NURBS curve motion interpolator

This paper deals with the issues of development and implementation of a real-time NURBS interpolator for a six-axis robot. Using an open-architecture controller system as a testbed, a real-time NURBS curve interpolator was developed, implemented and tested. Sample runs were conducted with the resulting trajectories measured in real-time during robot motion. The resulting trajectories are analyzed, discussed and compared with those from a commonly used point-to-point approximation technique. The real-time NURBS curve interpolator's feasibility, advantages and related issues are also discussed.     

建设资源节约型企业的实践

介绍了中国铝业贵州分公司在能源统计和管理、节能技术改造、资源综合利用和清洁生产方面所采取的措施和取得的效果。     

ψ(3770)精细扫描数据积分亮度的测量

工作在北京正负电子对撞机(BEPC)上的北京谱议(BES),于2003年12月在质心系能量从3.660到3.897 GeV区间内67个能量点上收集了数据,我们测量了此67个能量点数据样本的积分亮度.数据样本对应的总的积分亮度为(5550.96±13.56±108.24)nb-1.     

适用于LED显示屏或照明工程的异步控制卡DS2000-M1

DS2000-M1是高性能、开放式的LED控制系统,本文从软硬件两方面简述其设计原理。     

双接触器型三相异步电动机Y-△降压启动电路

提出并试验了一种使用2个接触器的三相异步电动机Y-△降压启动电路,该Y-△降压启动电路比传统电路节省1个接触器。试验结果表明其可以应用于老设备维修改造和新设备设计中。     

综合网络管理技术

阐明综合网络管理概念，综述国际标准化组织作的努力及国外发展情况，一个示例说明ＩＮＭＳ技术，最后介绍几项关键技术。