Tolerance to transient faults in microprogrammed control units

The detection of and recovery from transient faults that cause errors in microprogrammed control units are addressed. Error detection is based upon a particular form of signature analysis, namely the run-time computation of a value (the signature) that depends strictly on the microprogram path (the sequence) under execution. The microprogram is statistically segmented (sequences are defined in a fixed way, at design time), and an anticipated signature is associated with each sequence. At run time, at the start of each sequence the computation of the signature is restarted, whereas at the end the computed signature is compared with the anticipated signature of the sequence. If the check is passed, the status of the control unit is saved in suitable registers, and the previously saved status is discarded. If the check fails, the last-saved status is restored (rolled back) and microprogram execution restarts from this last-saved point     

Dynamic Modeling and a Parametric Study of an Indirect Solar Cabinet Dryer

A dynamic mathematical model for drying of agricultural products in an indirect cabinet solar dryer is presented. This model describes the heat and mass transfer in the drying chamber and also considers the heat transfer and temperature distribution in a solar collector under transient conditions. For this purpose, using conservation laws of heat and mass transfer and considering the physical phenomena occurring in a solar dryer, the governing equations are derived and solved numerically. The model solution provides an effective tool to study the variation of temperature and humidity of the drying air, drying material temperature, and its moisture content on each tray. The predicted results are compared with available experimental data. It is shown that the model can predict the performance of the cabinet solar dryer in unsteady-state operating conditions well. Furthermore, the effect of some operating parameters on the performance and efficiency of dryer is investigated and compared with selected published data.     

A state machine approach in modelling the heating process of a building

Process models and their applications have gradually become an integral part of the design, maintenance and automation of modern buildings. The following state machine model outlines a new approach in this area. The heating power described by the model is based on the recent inputs as well as on the past inputs and outputs of the process, thus also representing the states of the system. Identifying the model means collecting, assorting and storing observations, but also effectively utilizing their inherent relationships and nearest neighbours. The last aspect enables to create a uniform set of data, which forms the characteristic, dynamic behaviour of the HVAC process. The state machine model is non-parametric and needs no sophisticated algorithm for identification. It is therefore suitable for small microprocessor devices equipped with a larger memory capacity. The first test runs, performed in a simulated environment, were encouraging and showed good prediction capability.     

Axial Compression of Footings in Cohesionless Soils. II: Bearing Capacity

An extensive database of full-scale field load tests was used to examine the bearing capacity for footings in cohesionless soils. Each load test curve was evaluated consistently to determine the interpreted failure load (i.e., bearing capacity) using the L1-L2 method. This test value then was compared with the theoretical bearing capacity, computed primarily using the basic Vesi? model. The comparisons show that, for footing widths B>1?m, the field results agree very well with the Vesi? predictions. However, for B<1?m, the results indicated a relationship between B and the predicted-to-measured bearing capacity ratio. Accordingly, a simple modification was made to the bearing capacity equation, and the resulting predictions are very good.     

Thermal comfort and use of thermostats in Finnish homes and offices

Thermal comfort and use of thermostats in homes and office rooms were examined by a quantitative interview survey with a nationally representative sample in Finland. The total number of respondents was 3094. The results show that thermal comfort levels are lower in offices than in homes. People feel cold and hot more often in offices than in homes during both the winter and summer seasons. The perceived control over room temperature is remarkably low in offices. Higher thermal comfort levels and perceived control in homes are supported by greater adaptive opportunities. In offices people have fewer opportunities to control the thermal environment, people deal worse with thermostats, and people have lower opportunities to adapt to different thermal environments.     

Biochemical characterization of horA-independent hop resistance mechanism in Lactobacillus brevis

We isolated a strain from hop-resistant Lactobacillus hrevis ABBC45, which had lost a plasmid (pRH45) harboring a putative hop resistance gene, horA. The hop resistance level of this horA-deficient strain, named ABBC45(C), was initially low but gradually induced by repeated growth in media containing progressively increasing levels of hop compounds. Although the hop resistance level was substantially lower than that of the hop-adapted wild type strain, hop-adapted ABBC45(C) (ABBC45(CR)) was still capable of growing in beer, suggesting ABBC45 possesses at least two hop resistance mechanisms. Hop resistance acquired by ABBC45(CR) gradually diminished to the pre-adapted level, when the strain was grown repeatedly in the absence of hop compounds. ABBC45(CR) was found to be cross-resistant to several structurally unrelated drugs, including ethidium bromide, daunomycin and nisin. In addition, ABBC45(CR) was shown to extrude ethidium in an energy-dependent manner, while ABBC45(C) did not show such activity. This indicates that the efflux pump was induced by adaptation to hop compounds. The efflux activity of ethidium was reduced by the addition of hop compounds, suggesting hop compounds are also the substrate of the efflux pump. It was also shown that the efflux activity was completely dissipated with the abolition of proton motive force (PMF). These results, taken together, suggest the hop resistance mechanism of ABBC45(C) is mediated by PMF-dependent multidrug efflux pump.     

Catalytic combustion of carbon tetrachloride

The catalytic combustion of carbon tetrachloride (CCl4) by metal oxide catalysts coated on the monolith support was investigated. The prepared catalysts were tested at temperatures between 300 and 800 degrees C and at varying gas hourly space velocity (GHSV) values with an excess air ratio of 3100%. The catalyst, whose composition was 18% Cr2O3, 2% Ce2O3 and 80% gamma-Al2O3, was found to almost completely oxidize CCl4. The operating conditions proposed are 5702 h(-1) for GHSV, 3100% excess air and a temperature slightly higher than 800 degrees C. The reaction rate expression was found to be independent of oxygen partial pressure but strongly dependent on CCl4 partial pressure.