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.     

Critical Infrastructure in the Face of a Predatory Future: Preparing for Untoward Surprise

The editors of this special issue asked Todd LaPorte to reflect on the issues that emerge from the discussions in this special issue and, more in general, from the discussions that have proliferated in the wake of recent crises and disasters. In his contribution, Professor LaPorte contemplates what political leaders can do to prepare for catastrophic surprises. A crucial initiative, he argues, would be the initiation of a public discussion about the level of distress that a society is willing to accept in the pursuit of efficient, reliable critical infrastructures.     

Improving the Public Health Information Network through Semantic Modeling

The US Centers for Disease Control and Prevention (CDC) created the Public Health Information Network to advance fully capable, interoperable information systems in public health organizations. PHIN prioritizes public health information systems' functional requirements, capabilities, performance measures, and operational characteristics while letting the architects of those systems choose enabling approaches, methods, and concepts to meet the requirements. PHIN also provides a certification process for public health administrators to evaluate their information infrastructure's quality. The certification process is important because affected organizations often depend on certification for continued funding.     

Emission of trace toxic metals during pulverized fuel combustion of Czech coals

A study of the trace elements emission (As, Se, Cd, Co, Cr, Cu, Zn, Hg, Tl, Pb, Ni, Sn, Sb, V, Mn and Fe) from pulverized coal combustion has been made at six heating and power stations situated in the Czech Republic. The amount of chlorine in coal has considerable influence on volatilization of some elements such as Zn, Cu, Pb, Hg and Tl, which is explained by the formation of thermodynamically stable compounds of these elements with chlorine. Generally, the affinities for Cl follows the order Tl > Cu > Zn > Pb > Co > Mn > Sn > Hg. The experimental data indicates enrichment of some of the trace toxic elements in the emissions (Cu, Zn, As, Se, Cd, Sn, Sb, Hg and Pb) and good agreement was obtained by thermodynamic equilibrium calculations with a few exceptions. In the case of Fe, Mn, Co, Cr and Sn calculated values are overestimated in the bottom ash and there are zero predicted amounts of these elements in the fly ash. In comparison, the results from experiments show up to 80% of these elements retained in fly ash. This implies that there exist additional steps leading to the enrichment by Fe, Mn, Co, Cr and Sn of small particles. Such mechanisms could include the ejection during devolatilization of small inorganic particles from the coal of bottom ash particles, or disintegration of the char containing these metals to small particles of fly ash. On the other hand, there are slightly overestimated or similar values of relative enrichment factors for As, V, Cu, Cd, Sb, Tl and Pb in the fly ashes and zero predicted values for bottom ashes. Our experimental results show about 5% or less of these elements are retained in bottom ashes, so they probably remain in the bottom ash inside unburned parts of coal. Copyright © 2003 John Wiley & Sons, Ltd.     

An intrinsic observer for a class of Lagrangian systems

We propose a new design method of asymptotic observers for a class of nonlinear mechanical systems: Lagrangian systems with configuration (position) measurements. Our main contribution is to introduce a state (position and velocity) observer that is invariant under any changes of the configuration coordinates. The observer dynamics equations, as the Euler-Lagrange equations, are intrinsic. The design method uses the Riemannian structure defined by the kinetic energy on the configuration manifold. The local convergence is proved by showing that the Jacobian of the observer dynamics is negative definite (contraction) for a particular metric defined on the state-space, a metric derived from the kinetic energy and the observer gains. From a practical point of view, such intrinsic observers can be approximated, when the estimated configuration is close to the true one, by an explicit set of differential equations involving the Riemannian curvature tensor. These equations can be automatically generated via symbolic differentiations of the metric and potential up to order two. Numerical simulations for the ball and beam system, an example where the scalar curvature is always negative, show the effectiveness of such approximation when the measured positions are noisy or include high frequency neglected dynamics.     

An exploratory study of adolescent's perceptions of the Web

Abstract The purpose of this exploratory study was to investigate the influence of two individual characteristics (Web experience and academic focus) of adolescents on the Web perception, using off-line questionnaires (a Lickert response scale) constituted on the basis of a series of interviews. Questions concerned: perceptions about the nature of information found in the Web; 'strategies' of access to the interesting Internet sites and the reliability of different information resources (libraries, television, Web, etc.). Results lead to the assumption that adolescents with high Web experience became more critical, less confident and less enthusiastic than adolescents with low Web experience and that, in some dimensions, perceptions of literature students are different to those of science students. Even if some interesting results were obtained, further research is needed to explore users' perceptions related to individuals' characteristics and to determine the generalisability of the influences identified in this exploratory study.     

Getting a handle on MATLAB graphics

Among engineers and scientists, MATLAB is one of the most popular computational packages. Part of MATLAB's popularity stems from its simple, yet sophisticated, graphics capabilities. While basic plots are relatively easy to obtain, specialized plots require a little more effort to produce. This article introduces MATLAB's Handle Graphics, which provides a mechanism to fully control and customize graphics objects in MATLAB. With a basic understanding of Handle Graphics, users can produce plots that meet the unique needs and quality standards commonly required by the profession, several examples are presented to illustrate the concepts.