Casual reasoning in planning1

Reasoning about actions necessarily involves tracking the truth of assertions about the world over time. The SIPE planning system retains the efficiency of the STRIPS assumption for this while enhancing expressive power by allowing the specification of a causl theory. Separation of knowledge about causality from knowledge about actions relieves operators of much of their representational burden and allows them to be applicable in a wide range of contexts. The implementation of causal theories is described, together with examples and evaluations of the system's expressive power and efficiency.     

A new pneumatic bearing dynamometer for power input measurement in stirred tanks

A turntable dynamometer has been constructed for the accurate measurement of power input and mixing applications in bench stirred tank reactors. The main feature of this device is a pneumatic bearing with complementary conical parts. The conical pneumatic bearing permitted to apply eccentric loads without affecting its stability. The static friction torque in the pneumatic bearing was very small, 4 × 10^?4 Nm, and can be neglected in the experimental ranges of measured torques, i.e. from 5 × 10^?3 to 2.21 Nm. In accordance with the instrumentation used, the deviations obtained with the apparatus are less than 10% at low torque readings. At moderate torques, deviations lower than 1% are routinely obtained. Several power input measurements show that the obtained data scatter is lower than 2.5%. The power input response in the turbulent regime is in agreement with dimensional analysis: the power input depends on the cube of the impeller speed. In addition, data obtained with a turbine impeller under ungassed conditions agree with the predictions of a published correlation, which takes into account several geometrical parameters.     

Identification of Factors Affecting Preservative Efficacy and Chemical Stability of Lamivudine Oral Solution Through Statistical Experimental Design

To identify factors affecting the chemical stability and preservative efficacy of lamivudine oral liquid formulations, an optimization study using a central composite design was performed. In this design, five factors, each at three levels, were investigated: pH (4.5, 5.5, and 73, sucrose (5%, 20%. and 50% w/v), propylene glycol (0% 2%, and 5% w/v), glycerin (4% 8%, and 12% w/v). and EDTA (0.100. 0.175, and 0.250 mg/mL). All formulations contained a constant concentration of lamivudine, parabens, and artificial strawberry and banana flavors. All formulations were evaluated for preservative effectiveness against USP and BP standards and for chemical stability at 30°C and 40°C for three months. All formulations were effective against bacteria and yeasts, but indicated reduced preservative effectiveness against the mold Aspergillus niger. Preservative effectiveness improved with increasing pH (4.5 to 7.5) and to a lesser extent with increasing EDTA concentration (0.100 to 0.250 mg/mL). Increasing glycerin concentration (4% to 12% w/v) slightly decreased preservative effectiveness. Over the concentration ranges tested, no change in preservative effectiveness was noted with concentration changes in sucrose or propylene glycol. The pH was the main factor influencing the chemical stability of the drug and preservatives in this study. Lamivudine chemical stability increased with increasing pH from 4.5 to 7.5. Methyl and propylparaben showed extensive degradation at pH 7.5.     

Using rainbow net simulation to measure fault tolerance in a multiprocessor

The Rainbow net simulation technique is applied to modelling the impact of system load and fault handling on the availability of a fault-tolerant multiprocessor architecture. Rainbow nets are described along with the motivation for creating this modelling technique. A Rainbow net fault-handling model is created for the fault-tolerant multiprocessor architecture and the topology is shown to remain constant in size, independent of the number of processor, memory and I/O elements configured in the system. Simulation is performed with a varying load in terms of the number of active jobs the system must support. Results are given showing how the fault-tolerant capability varies with load. Two new metrics for evaluating fault tolerance are introduced; namely full fault-tolerability and partial fault-tolerability. They are based on simple observations in the model.