Optimized synthesis of self-testable finite state machines

A synthesis procedure for self-testable finite state machines is presented. Testability comes under consideration when the behavioral description of the circuit is being transformed into a structural description. To this end, a novel state encoding algorithm, as well as a modified self-test architecture, is developed. Experimental results show that this approach leads to a significant reduction of hardware overhead. Self-testing circuits generally employ linear feedback shift registers for pattern generation. The impact of choosing a particular feedback polynomial on the state encoding is discussed

Discrete Event Systems: Models and Applications; Proceedings of an IIASA Conference, Sopron, Hungary, August 3-7, 1987

Work in discrete event systems has just begun. There is a great deal of activity now, and much enthusiasm. There is considerable diversity reflecting differences in the intellectual formation of workers in the field and in the applications that guide their effort. This diversity is manifested in a proliferation of DEM formalisms. Some of the formalisms are essentially different. Some of the "new" formalisms are reinventions of existing formalisms presented in new terms. These "duplications" reveal both the new domains of intended application as well as the difficulty in keeping up with work that is published in journals on computer science, communications, signal processing, automatic control, and mathematical systems theory - to name the main disciplines with active research programs in discrete event systems. The first eight papers deal with models at the logical level, the next four are at the temporal level and the last six are at the stochastic level. Of these eighteen papers, three focus on manufacturing, four on communication networks, one on digital signal processing, the remaining ten papers address methodological issues ranging from simulation to computational complexity of some synthesis problems. The authors have made good efforts to make their contributions self-contained and to provide a representative bibliography. The volume should therefore be both accessible and useful to those who are just getting interested in discrete event systems

Stability Analysis of Plates and Shells

This special publication contains the papers presented at the special sessions honoring Dr. Manuel Stein during the 38th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference held in Kissimmee, Florida, Apdl 7-10, 1997. This volume, and the SDM special sessions, are dedicated to the memory of Dr. Manuel Stein, a major pioneer in structural mechanics, plate and shell buckling, and composite structures. Many of the papers presented are the work of Manny's colleagues and co-workers and are a result, directly or indirectly, of his influence. Dr. Stein earned his Ph.D. in Engineering Mechanics from Virginia Polytechnic Institute and State University in 1958. He worked in the Structural Mechanics Branch at the NASA Langley Research Center from 1943 until 1989. Following his retirement, Dr. Stein continued his involvement with NASA as a Distinguished Research Associate

Vers la construction automatique d'un module inconnu dans un système composé

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal