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.     

Anaerobic biodecolorization of textile reactive anthraquinone and phthalocyanine dyebaths under hypersaline conditions.

The biological decolorization of two industrial, spent textile reactive dyebaths was investigated using a suspended-growth, halophilic mixed culture fed with glucose. Dyebath I contained mainly Reactive Blue 19 (RB19), an anthraquinone dye, whereas dyebath II contained mainly Reactive Blue 21 (RB21), a phthalocyanine dye. Batch assays under anaerobic conditions with the two neutralized dyebaths resulted in 87 and 37% extent of decolorization for dyebaths I and II, respectively. The rate of glucose utilization and the extent of acetate production were impacted in the presence of each dyebath as compared to the control culture. However, dyebath decolorization occurred despite moderate culture inhibition. Reuse of a biologically renovated RB19-containing dyebath in the dyeing process resulted in reproducible but not identical cotton fabric shades as compared to a standard dyeing (i.e., control) using fresh water. This difference is attributed to a variable degree of RB19 aggregation during the dyeing process and is not related to the efficiency of the biodecolorization process. Further improvement of the redyeing efficiency will lead to the development of an in-plant, closed-loop decolorization system resulting in significant water conservation and minimization of textile pollutants such as salt and dyes.     

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.     

Hot-carrier reliability of 20V MOS transistors in 0.13 μm CMOS technology

This paper presents results of reliability investigation of 20 V N-Drift MOS transistor in 0.13 μm CMOS technology. Due to high performances required for CMOS applications, adding high voltage devices becomes a big challenge to guarantee the reliability criteria. In this context, new reliability approaches are needed. Safe Operating Area are defined for switch, V_ds limited and V_gs limited applications in order to improve circuit designs. For V_ds limited applications, deep doping dose effects in drift area are investigated in correlation to lifetime evaluations based on device parameter shifts under hot carrier stressing. To further determine the amount and locations of hot carriers injections, accurate 2D technological and electrical simulations are performed and permit to select the best compromise between performance and reliability for N-Drift MOS transistor.     

On Routh-Pade model reduction of interval systems

This paper discusses another generalization of the direct Routh table truncation method for interval systems. It is shown that the existing generalization of the direct Routh table truncation fails to produce a stable system, in contradiction to the equivalent result for fixed-coefficients systems. The present method guarantees a stable reduced order model for interval systems as well.     

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.