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.     

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     

Influence of aminophylline and 8-(p-sulfophenyl)theophylline on the anticonvulsive action of diphenylhydantoin, phenobarbital, and valproate against maximal electroshock-induced convulsions in mice

Time variation of drinking is substantial and has an effect on aggregate estimates of consumption. In this article it is shown that because of a considerable seasonal variation in consumption (+/- 20%) a serious bias in annual consumption estimates can be expected in surveys with a limited time frame. The present study analyzes drinking data collected in the general population of the Netherlands from March 1985 through December 1985 (including Christmas and New Year's Eve). Since it was expected that sensitivity to temporal fluctuations might not be equal for different methods of measurement, several indices of consumption were compared. Although the assessed seasonal effect varies indeed across types of measurement, across male and female subsample and across types of alcoholic beverage, the general tendency is for consumption to be highest in the spring season and lowest in the autumn. Sales figures fluctuate accordingly. It is evident that the risk of biased estimates is larger the shorter the time frame of the survey. Seasonal variation was highest in the frequency domain. Furthermore, exclusion from the time frame of collective holidays, during which people drink more often and more per occasion (viz., Christmas), increases the risk of biased estimates. Even estimates of abstention, but also regular heavy drinking among women, appear to vary considerably over the three seasons in this study. The main conclusion is that results of comparisons of survey data on drinking, particularly those over time, are more or less invalid if the respective time frames of the surveys do not correspond.