Functional analysis of a real-time protocol for networked control systems

Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.

Effect of modified atmosphere packaging on the quality of minimally processed pineapple cv.'Smooth Cayenne' fruit

The effects of modified atmosphere (MA) conditions on the quality of minimally processed pineapple slices were determined. Commercial pineapple slice packs sealed with 40 pm thick polyester film were kept at 4.5 degrees C for 14 d. The oxygen transmission rate of the film was 23 ml m(-2) day(-1) atm(-1) (at 25 degrees C, 75% RH). In-built atmospheres and the quality of the products were determined. O-2 concentrations within the packs stabilised at 2%, while CO2 concentrations increased to 70% by day 14. The high CO2 level suggested an inappropriate lidding film permeability for the product, and hence affected its quality. Three batches of pineapple slices were packed in the laboratory using lidding films with oxygen transmission rate of 75, 2790 or 5000 ml m(-2) day(-1) atm(-1) (at 23 degrees C, 0% RH). Headspace atmospheres from laboratory-packed pineapple slices suggested an optimum equilibrium modified atmosphere of ca. 2% O-2 and 15% CO2. Respiration data from the laboratory-prepared packs were pooled together and used to develop a correlation model relating respiration rates to O-2 and CO2 concentrations. The model showed a decrease in respiration rate with decreasing O-2 and increasing CO2 concentrations. Respiration rate stabilised at 2% 02 and 10% CO2. The high concentrations of CO2 observed in the commercial packs did not fit the range in the respiration model. The model could aid in selection of MA conditions for minimally processed pineapple fruit.

Theoretical and numerical analysis of large-scale heat transfer problems with temperature-dependent pore-fluid densities

Purpose - In many scientific and engineering fields, large-scale heat transfer problems with temperature-dependent pore-fluid densities are commonly encountered. For example, heat transfer from the mantle into the upper crust of the Earth is a typical problem of them. The main purpose of this paper is to develop and present a new combined methodology to solve large-scale heat transfer problems with temperature-dependent pore-fluid densities in the lithosphere and crust scales. Design/methodology/approach - The theoretical approach is used to determine the thickness and the related thermal boundary conditions of the continental crust on the lithospheric scale, so that some important information can be provided accurately for establishing a numerical model of the crustal scale. The numerical approach is then used to simulate the detailed structures and complicated geometries of the continental crust on the crustal scale. The main advantage in using the proposed combination method of the theoretical and numerical approaches is that if the thermal distribution in the crust is of the primary interest, the use of a reasonable numerical model on the crustal scale can result in a significant reduction in computer efforts. Findings - From the ore body formation and mineralization points of view, the present analytical and numerical solutions have demonstrated that the conductive-and-advective lithosphere with variable pore-fluid density is the most favorite lithosphere because it may result in the thinnest lithosphere so that the temperature at the near surface of the crust can be hot enough to generate the shallow ore deposits there. The upward throughflow (i.e. mantle mass flux) can have a significant effect on the thermal structure within the lithosphere. In addition, the emplacement of hot materials from the mantle may further reduce the thickness of the lithosphere. Originality/value - The present analytical solutions can be used to: validate numerical methods for solving large-scale heat transfer problems; provide correct thermal boundary conditions for numerically solving ore body formation and mineralization problems on the crustal scale; and investigate the fundamental issues related to thermal distributions within the lithosphere. The proposed finite element analysis can be effectively used to consider the geometrical and material complexities of large-scale heat transfer problems with temperature-dependent fluid densities.

Testing the niche apportionment hypothesis with parasite communities: is random assortment always the rule?

Niche apportionment models have only been applied once to parasite communities. Only the random assortment model (RA), which indicates that species abundances are independent from each other and that interspecific competition is unimportant, provided a good fit to 3 out of 6 parasite communities investigated. The generality of this result needs to be validated, however. In this study we apply 5 niche apportionment models to the parasite communities of 14 fish species from the Great Barrier Reef. We determined which model fitted the data when using either numerical abundance or biomass as an estimate of parasite abundance, and whether the fit of niche apportionment models depends on how the parasite community is defined (e.g. ecto, endoparasites or all parasites considered together). The RA model provided a good fit for the whole community of parasites in 7 fish species when using biovolume (as a surrogate of biomass) as a measure of species abundance. The RA model also fitted observed data when ecto- and endoparasites were considered separately, using abundance or biovolume, but less frequently. Variation in fish sizes among species was not associated with the probability of a model fitting the data. Total numerical abundance and biovolume of parasites were not related across host species, suggesting that they capture different aspects of abundance. Biovolume is not only a better measurement to use with niche-orientated models, it should also be the preferred descriptor to analyse parasite community structure in other contexts. Most of the biological assumptions behind the RA model, i.e. randomness in apportioning niche space, lack of interspecific competition, independence of abundance among different species, and species with variable niches in changeable environments, are in accordance with some previous findings on parasite communities. Thus, parasite communities may generally be unsaturated with species, with empty niches, and interspecific interactions may generally be unimportant in determining parasite community structure.

Transmission mode and distribution of parasites among groups of the social lizard Egernia stokesii

We explored patterns of infection of three apicomplexan blood parasites with different transmission mechanisms in 46 social groups across seven populations of the Australian lizard, Egernia stokesii. There was higher aggregation of infections within social groups for Hemolivia, transmitted by ticks, and Schellackia, either tick-transmitted or directly transmitted from mother to offspring, than for Plasmodium, with more mobile dipteran vectors. Prevalence was not related to group size, proximity to other groups or spatial overlap with adjacent groups for any of the parasites. However, for Hemolivia, groups with higher levels of relatedness among adults had higher parasite prevalence. Living in social groups leads to higher risk of infection for parasites with low transmission mobility. An unanswered question is why so few lizard species tolerate these risks to form stable social aggregations.