Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

The use of natural essential oils as antimicrobial solutions in paper packaging. Part II

We have assessed the antimicrobial, vapor-phase activity of the following natural essential oils (EOs) when used in paraffin-based “active coatings” for paper packaging materials intended to come into contact with foods: clove (Sygzium aromaticum), cinnamon (Cinnamomum zeylanicum), and oregano (Origanum vulgare) EOs, and cinnamaldehyde-enriched cinnamon EO. To our knowledge, this is the first time that such an approach has been presented for consideration by the scientific community.     

Immobilized α-amylase from Bacillus licheniformis: a potential enzymic time—temperature integrator for thermal processing

Biphasic and nth-order models were tested as to their usefulness to fit experimental inactivation data of Bacillus licheniformis α-amylase, immobilized on glass beads, and were discussed with respect to their suitability to characterize the considered enzymic system as a time—temperature integrator (TTI) to evaluate heat processes. Both isothermal and non-isothermal inactivation experiments were carried out. Model (kinetic) parameters (rate constant k, activation energy E_A and reaction order n) were estimated using a non-linear regression procedure. The results obtained, especially the activation energy of about 293 kJ mole^–1, indicated a potential use of this system as a TTI for heating processes in the temperature range of 96–108°C.     

Modified CIELAB formula tested using a textile pass/fail data set

The proposed new color-difference formula of CIE TC 129, which is a modified version of CIELAB, was tested with a recently published data set of textile pass/fail judgments. Goodness of fit is improved, if the parameter of lightness is set near 2, and if, additionally, a weight function for lightness is defined that reduces the weight of a lightness difference with lightness level in relation to chroma or hue scaling. © 1994 John Wiley & Sons, Inc.     

Oil Spill Cleanup from Sea Water by Sorbent Materials

Three sorbents were compared in order to determine their potential for oil spill cleanup. Polypropylene nonwoven web, rice hull, and bagasse with two different particle sizes were evaluated in terms of oil sorption capacities and oil recovery efficiencies. Polypropylene can sorb almost 7 to 9 times its weight from different oils. Bagasse, 18 to 45 mesh size, follows polypropylene as the second sorbent in oil spill cleanup. Bagasse, 14 to 18 mesh size, and rice hull have comparable oil sorption capacities, which are lower than those of the two former sorbents. It was found that oil viscosity plays an important role in oil sorption by sorbents. All adsorbents used in this work could remove the oil from the surface of the water preferentially.     

Dental amalgam – the effect of the technology of alloy powder preparation on the corrosion behaviour and the release of mercury

Dental amalgams are based on a broad spectrum of materials differing in their chemical composition, metallurgical treatment, and in the way the initial alloys powders are prepared. In addition to their chemical composition, amalgams based on various powders differ in both their microstructure and the amount of mercury needed for preparation. All these facts may affect electrochemical processes occurring during their interaction with oral fluids, and also mercury release. While verifying the effect of the technology used for the preparation of the high‐copper ternary alloy powder on the properties of resulting amalgams, this study aimed at the mechanism of their interaction with a model saliva solution as well as mercury release was included. Measurements were done in a model saliva solution using standard electrochemical methods and exposition measurements. The interaction of individual types of amalgams with artificial saliva did not reveal any significant differences. The free corrosion potential of all these amalgams in an aerated solution settled in the range of values in which tin oxidation, resulting in a layer of insoluble corrosion producsts, turned out to be the dominant anodic process. The rate of mercury release was the lowest for amalgams based on a gas‐atomized alloy. The highest rate of mercury release, and also its dependence on time, was exhibited by lathe‐cut powder based amalgam. In addition to different volume fraction of the Ag‐Hg phase and the level of its tin alloying, this different behaviour may be explained by differences in the rate at which a layer of tin corrosion products acting as a barrier to mercury release is formed.