Computation of the airflow in a pilot scale clean room using K- turbulence models

This work deals with the assessment of the airflow in a food-processing clean room. The flow pattern inside the working area of a pilot scale clean room was numerically investigated using a computational fluid dynamics code based on a finite volume formulation. Two versions of the k- turbulence model were tested: the standard and the RNG version. The analysis of the velocity magnitude does not reveal sensitive differences between them. Moreover, both models well predict the main features of the flow and numerical results agree with experimental measurements. However, a further examination shows that the RNG k- turbulence model predicts more swirls and more complex trajectories. As the standard k- model overestimates the turbulent diffusion, the RNG version seems to be more suitable to calculate the airflow in clean rooms. The influence of initial turbulence intensity is also pointed out. Finally, the study of the airflow below a laminar flow unit confirms that the design of clean rooms can benefit from the numerical approach.     

Cooling curves for the preliminary design of beef chillers

A multilayer two-dimensional model of beef carcass chilling using CFD-generated heat transfer coefficients was used to calculate the parameters of leg and shoulder cooling curves, assuming an exponential cooling model. A central composite experiment was designed to systematically vary air velocity, side weight and fat thickness. Comparison with experimental data suggests that the predicted characteristic time for the leg, and hence the cooling time to a given temperature, should be multiplied by a correction factor 1.07. The effects of airflow direction and of radiation heat transfer have been quantified. A correlation was proposed to estimate leg centre temperature from shoulder temperature. The shortcut formulae and methods presented here will be useful in the design and troubleshooting of industrial beef chillers. They could also be used in Monte Carlo simulations where a large number of samples are considered, to take into account random variations in product characteristics and operating conditions.     

Reasoning about knowledge and belief: a survey

We examine a number of logics of knowledge and belief from the perspective of knowledge-based systems. We are concerned with the beliefs of a knowledge-based system, including both the system's base set of beliefs–those garnered directly from the world–and beliefs that follow from the base set. Three things to consider with such logics are the expressive power of the language of the logic, the correctness and completeness of the inferences sanctioned, and the speed with which it is possible to determine whether a given sentence is believed. The influential possible worlds approach to representing belief has the property of logical omniscience, which makes for inferences that are unacceptable in the context of belief and may take too much time to make. We examine a number of weak logics which attempt to deal with these problems. These logics divide into three categories: those that admit incomplete or inconsistent situations into their semantics, those that posit a number of distinct states for a believer which correspond roughly to frames of mind, and those that incorporate axioms or other syntactic entities directly into the semantics. As to expressive power, we consider whether belief should be represented by a predicate or a sentential operator and examine the boundary between self-referential and inconsistent systems. Finally, we consider logics of believing only , which add the assumption that a system's base set of beliefs are, in a certain sense, all that it believes.     

Durability and the factor method of ISO 15686-1

Interest in the service life of buildings and components and the future need for maintenance is growing, and the methodology for service life planning is starting to appear in standards. The standard ISO 15686 prescribes a factor methodology for deciding about the expected service life of a component with a prescribed probability of earlier failure. The methodology is based on extensive knowledge about materials and building technology, and examples of the use of this methodology on building components are of value for the discussion on service life planning. Results from a condition survey of timber windows are used to define the service life and effect of the factor method in the Standard. Wood is a very variable material, and for wooden windows maintenance plays a key role in the durability of the component. In this instance, condition assessment is, therefore, not sufficient to estimate the service life. Information about former maintenance and refurbishment is also needed. The results from a condition assessment and the house owner's answers to a questionnaire are combined to evaluate the estimated service life of the windows. The factors for the standardized method for estimating service life with a given confidence limit are shown to have a wide range in values that give considerable uncertainty to the practical use of the standardized methodology. For example, it is shown that the estimated service life with an 80% confidence limit is much lower than the average service life. Thus, the question is posed whether there is any meaning in estimating the lower limit of service life.     

French Rationalism: A Broken Tradition

From the golden era of 1960s Rationalism to the present Inquietude Lucide, Joseph Abram describes the Rationalist tendencies in French architecture. Once dominated by the spectres of Le Corbusier and Auguste Perret, the rational was deeply embedded in French tectonic culture. Despite the current reassertion of the rational, the future, as Abram explains, appears less certain. Copyright © 2007 John Wiley & Sons, Ltd.     

UNEP assesment of the Montreal protocol: Refrigeration within the framework of the technology review

In order to provide a scientific and technological basis for adjustments and amendments to the Montreal Protocol (which was conceived and adopted in 1987), a large number of reports were made by international experts in 1989. These reports are used in the assessment procedure which takes place in the period June 1989–June 1990, after which period final decisions will be made by the Contracting Parties in the so-called ‘Second Meeting of the Parties’. In this contribution the assessment process and the time schedule of the whole procedure is described. One of the Panel Reports centres on a Review of the Technology; conclusions from this report are presented. In its turn, information in this report is based on sector reports, one of which is the Options Report ‘Refrigeration, AC and Heat Pumps’. Specific topics dealt with in this sector report are presented here. Some concluding remarks on the findings presented in the reports and on possible future reassessments are given.