A prolog based expert system for the allocation of quality assurance program resources

The worldwide proliferation of fraudulent materials has brought about the need for a new approach to the control of purchased material quality. Nuclear power, defense, aerospace and many other industries are affected by the supply of poor quality clones that presume to be original replacement parts. Safety considerations abound as these highly defective materials are used in systems that are critical to the preservation of human lives. Commonly utilized quality assurance programs have not effectively stopped the influx of fraudulent materials. These programs fail to concentrate inspection efforts on materials and inspection attributes that would effectively prevent the acceptance of fraudulent materials. herein a solution is presented to this problem in the form of an expert system application. Information commonly available in industry is formulated into a knowledge based system wherein advisories are given to the user regarding key purchased material receipt inspection strategies.     

Thermal storage efficiencies of two solar saltless water ponds

A comparative study between two types of solar ponds is presented. The first type has its free surface covered by a thin layer of transparent paraffin oil. The second type is covered by transparent glass floating devices. Each device disposes an air-vacuum chamber. The free water surface between these devices is covered by transparent paraffin oil also. The thermal storage efficiency of each pond is estimated during two time periods: between sunrise and sunset and from midnight to midnight. The calculated efficiency between sunrise and sunset corresponds to the average transmittance–absorptance product. This is estimated using linear regression and also a maximum likelihood identification technique. The behavior of the system was studied by solving numerically the heat transfer equations of the system. Also an ARMAX (AutoRegressivie Moving Average with eXogenous signal) model allowing the assessment of its performance was presented. This efficiency is larger for the first pond during the sunrise to sunset period and smaller when calculated from midnight to midnight. Thus, the first type of pond could be preferred for a use just after the sunset of the same day, while the second for use after one or more days of heat storage.     

Linearity stablized fiber-optic thermometer using pseudo-heterodyne phase detection

A temperature sensor using a fiber-optic Fabry-Perot interferometer is described. A pseudo-heterodyne detection scheme is adopted to read the light phase difference in the Fabry-Perot interference output. A higher harmonic components comparison method is used to stabilize the system and to increase detection linearity. This system realizes not only highly sensitive temperature sensing with good linearity and minimal adjusting error, but also application to the sensing of other physical quantities such as vibrations. Additionally, the signal-to-noise ratio and distortion of the detected signal are investigated as functions of fiber end reflectivity. These results will be useful in designing a high performance fiber-optic Fabry-Perot thermometer.     

Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements-applied to EBPR systems.

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.     

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.     

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.