Inference of message sequence charts

Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.     

Schwingfestigkeit von Schraube‐Mutter‐Verbindungen

High cycle fatigue of bolted connections Extensive tests regarding the influences on the fatigue of bolt‐nut‐connections of preloading with torsion, of preloading with yielding, of loading with superimposed bending and of the tested lot are processed. These influences are not yet known according to VDI 2230. New testing devices were designed for these tests, which allow a far less expensive operation and may easily be used for bolts of diameters up to M100 and testing frequencies up to 1000 Hz. The validity of fatigue resistance according to VDI 2230 is specified with respect to the test results. The determined influence of the tested lots is unexpectedly high. The manufacturing process of bolts should be improved to minimize this influence.     

Quality-Assurance Technology in Japan

A survey of the state of SQA in Japan finds that the situation is much like, but slightly different than, that in the US.     

Measurement of PLL phase error caused by power supply noise

The measurement of the accumulated phase error of phase-locked loops (PLLs) in microprocessor systems is discussed. A system which creates controlled power supply noise and measures the PLL response is described. Examples of the use of this technique are shown for a PLL used in a 400 MHz microprocessor     

Knowledge, data, and models

The object-oriented approach to integrating knowledge data, and models is examined. Under the object-oriented paradigm, everything is an object, which is itself an encapsulation of data and methods to manipulate and access the data within the object. Thus knowledge, data, and models can be defined as special kinds of objects. Active knowledge/data language (KDL), a functional object-oriented database system is considered, covering the active-KDL-type system and functions, and query-driven simulation