Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Quasimode theory of quantum optical processes in photonic band gap materials

This paper deals with atomic systems coupled to a structured reservoir of quantum EM field modes, with particular relevance to atoms interacting with the field in photonic band gap materials. The case of high Q cavities has been treated elsewhere using Fano diagonalization based on a quasimode approach, showing that the cavity quasimodes are responsible for pseudomodes introduced to treat non-Markovian behaviour. The paper considers a simple model of a photonic band gap case, where the spatially dependent permittivity consists of a constant term plus a small spatially periodic term that leads to a narrow band gap in the spectrum of mode frequencies. Most treatments of photonic band gap materials are based on the true modes, obtained numerically by solving the Helmholtz equation for the actual spatially periodic permittivity. Here the field modes are first treated in terms of a simpler quasimode approach, in which the quasimodes are plane waves associated with the constant permittivity term. Couplings between the quasimodes occur owing to the small periodic term in the permittivity, with selection rules for the coupled modes being related to the reciprocal lattice vectors. This produces a field Hamiltonian in quasimode form. A matrix diagonalization method may be applied to relate true mode annihilation operators to those for quasimodes. The atomic transitions are coupled to all the quasimodes, and the true mode atom-EM field coupling constants (one-photon Rabi frequencies) are related to those for the quasimodes and also expressions are obtained for the true mode density. The results for the one-photon Rabi frequencies differ from those assumed in other work. Expressions for atomic decay rates are obtained using the Fermi Golden rule, although these are valid only well away from the band gaps.

Field quantization, photons and non-Hermitean modes

Field quantization in unstable optical systems is treated by expanding the vector potential in terms of non-Hermitean (Fox-Li) modes. We define non-Hermitean modes and their adjoints in both the cavity and external regions and make use of the important bi-orthogonality relationships that exist within each mode set. We employ a standard canonical quantization procedure involving the introduction of generalized coordinates and momenta for the electromagnetic (EM) field. Three-dimensional systems are treated, making use of the paraxial and monochromaticity approximations for the cavity non-Hermitean modes. We show that the quantum EM field is equivalent to a set of quantum harmonic oscillators (QHOs), associated with either the cavity or the external region non-Hermitean modes, and thus confirming the validity of the photon model in unstable optical systems. Unlike in the conventional (Hermitean mode) case, the annihilation and creation operators we define for each QHO are not Hermitean adjoints. It is shown that the quantum Hamiltonian for the EM field is the sum of non-commuting cavity and external region contributions, each of which can be expressed as a sum of independent QHO Hamiltonians for each non-Hermitean mode, except that the external field Hamiltonian also includes a coupling term responsible for external non-Hermitean mode photon exchange processes. The non-commutativity of certain cavity and external region annihilation and creation operators is associated with cavity energy gain and loss processes, and may be described in terms of surface integrals involving cavity and external region non-Hermitean mode functions on the cavity-external region boundary. Using the essential states approach and the rotating wave approximation, our results are applied to the spontaneous decay of a two-level atom inside an unstable cavity. We find that atomic transitions leading to cavity non-Hermitean mode photon absorption are associated with a different coupling constant to that for transitions leading to photon emission, a feature consequent on the use of non-Hermitean mode functions. We show that under certain conditions the spontaneous decay rate is enhanced by the Petermann factor.

The modelling of froth zone recovery in batch and continuously operated laboratory flotation cells

This paper proposes an integrated methodology for modelling froth zone performance in batch and continuously operated laboratory flotation cells. The methodology is based on a semi-empirical approach which relates the overall flotation rate constant to the froth depth (FD) in the flotation cell; from this relationship, a froth zone recovery (R,) can be extracted. Froth zone recovery, in turn, may be related to the froth retention time (FRT), defined as the ratio of froth volume to the volumetric flow rate of concentrate from the cell. An expansion of this relationship to account for particles recovered both by true flotation and entrainment provides a simple model that may be used to predict the froth performance in continuous tests from the results of laboratory batch experiments. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

Optimising cleaning behaviour: minimising the costs and maximising ectoparasite removal

Little is known of how client fish minimise the costs of cleaning behaviour while maximising ectoparasite removal by cleaner fish. Previous studies have found that abundance on fish and infestation behaviour of gnathiid isopods, the main parasite eaten by cleaner fish, varies diurnally. We examined whether reduced foraging is a cost of cleaning behaviour in clients and whether the behaviour of the client fish, the thick-lipped wrasse Hemigymnus melapterus, towards the cleaner fish Labroides dimidiatus varied diurnally to maximise ectoparasite removal, possibly in response to the diurnal changes in the abundance and infestation patterns of gnathiids. We found that during the midday and afternoon, client foraging rates were negatively related to the duration and frequency of inspections, suggesting that cleaning may, at some times of the day, be energetically costly to the client in terms of reduced foraging opportunities. Surprisingly, we found that the duration and frequency of inspections of clients by cleaners did not vary among diel time periods. A model of gnathiid dynamics on individual fish is proposed. It shows that the observed diurnal pattern in gnathiid abundance on fish can be generated with the constant duration and frequency of inspections that was observed in this study. Thus clients would not have more gnathiids removed by modifying their cleaning behaviour.

Characterization of a chemsensory protein (ASP3c) from honeybee (Apis mellifera L.) as a brood pheromone carrier

Chemosensory proteins (CSPs) are ubiquitous soluble small proteins isolated from sensory organs of a wide range of insect species, which are believed to be involved in chemical communication. We report the cloning of a honeybee CSP gene called ASP3c, as well as the structural and functional characterization of the encoded protein. The protein was heterologously secreted by the yeast Pichia pastoris using the native signal peptide. ASP3c disulfide bonds were assigned after trypsinolysis followed by chromatography and mass spectrometry combined with microsequencing. The pairing (Cys(I)-Cys(II), Cys(III)-Cys(IV)) was found to be identical to that of Schistocerca gregaria CSPs, suggesting that this pattern occurs commonly throughout the insect CSPs. CD measurements revealed that ASP3c mainly consists of alpha-helices, like other insect CSPs. Gel filtration analysis showed that ASP3c is monomeric at neutral pH. Using ASA, a fluorescent fatty acid anthroyloxy analogue as a probe, ASP3c was shown to bind specifically to large fatty acids and ester derivatives, which are brood pheromone components, in the micromolar range. It was unable to bind tested general odorants and other tested pheromones (sexual and nonsexual). This is the first report on a natural pheromonal ligand bound by a recombinant CSP with a measured affinity constant.

Local complexity of Delone sets and crystallinity

This paper characterizes when a Delone set X in R-n is an ideal crystal in terms of restrictions on the number of its local patches of a given size or on the heterogeneity of their distribution. For a Delone set X, let N-X (T) count the number of translation-inequivalent patches of radius T in X and let M-X (T) be the minimum radius such that every closed ball of radius M-X(T) contains the center of a patch of every one of these kinds. We show that for each of these functions there is a gap in the spectrum of possible growth rates between being bounded and having linear growth, and that having sufficiently slow linear growth is equivalent to X being an ideal crystal. Explicitly, for N-X (T), if R is the covering radius of X then either N-X (T) is bounded or N-X (T) greater than or equal to T/2R for all T > 0. The constant 1/2R in this bound is best possible in all dimensions. For M-X(T), either M-X(T) is bounded or M-X(T) greater than or equal to T/3 for all T > 0. Examples show that the constant 1/3 in this bound cannot be replaced by any number exceeding 1/2. We also show that every aperiodic Delone set X has M-X(T) greater than or equal to c(n)T for all T > 0, for a certain constant c(n) which depends on the dimension n of X and is > 1/3 when n > 1.

Cationic drug pharmacokinetics in diseased livers determined by fibrosis index, hepatic protein content, microsomal activity, and nature of drug

The disposition kinetics of six cationic drugs in perfused diseased and normal rat livers were determined by multiple indicator dilution and related to the drug physicochemical properties and liver histopathology. A carbon tetrachloride (CCl4)induced acute hepatocellular injury model had a higher fibrosis index (FI), determined by computer-assisted image analysis, than did an alcohol-induced chronic hepatocellular injury model. The alcohol-treated group had the highest hepatic alpha(1)- acid glycoprotein, microsomal protein (MP), and cytochrome P450 (P450) concentrations. Various pharmacokinetic parameters could be related to the octanol-water partition coefficient (log P-app) of the drug as a surrogate for plasma membrane partition coefficient and affinity for MP or P450, the dependence being lower in the CCl4-treated group and higher in the alcohol-treated group relative to controls. Stepwise regression analysis showed that hepatic extraction ratio, permeability-surface area product, tissue-binding constant, intrinsic clearance, partition ratio of influx (k(in)) and efflux rate constant (k(out)), and k(in)/k(out) were related to physicochemical properties of drug (log P-app or pK(a)) and liver histopathology (FI, MP, or P450). In addition, hepatocyte organelle ion trapping of cationic drugs was evident in all groups. It is concluded that fibrosis-inducing hepatic disease effects on cationic drug disposition in the liver may be predicted from drug properties and liver histopathology.

Shear stress and sediment transport calculations for sheet flow under waves

A simple method is provided for calculating transport rates of not too fine (d(50) greater than or equal to 0.20 mm) sand under sheet flow conditions. The method consists of a Meyer-Peter-type transport formula operating on a time-varying Shields parameter, which accounts for both acceleration-asymmetry and boundary layer streaming. While velocity moment formulae, e.g.., = Constant x calibrated against U-tube measurements, fail spectacularly under some real waves (Ribberink, J.S., Dohmen-Janssen, C.M., Hanes, D.M., McLean, S.R., Vincent, C., 2000. Near-bed sand transport mechanisms under waves. Proc. 27th Int. Conf. Coastal Engineering, Sydney, ASCE, New York, pp. 3263-3276, Fig. 12), the new method predicts the real wave observations equally well. The reason that the velocity moment formulae fail under these waves is partly the presence of boundary layer streaming and partly the saw-tooth asymmetry, i.e., the front of the waves being steeper than the back. Waves with saw-tooth asymmetry may generate a net landward sediment transport even if = 0, because of the more abrupt acceleration under the steep front. More abrupt accelerations are associated with thinner boundary layers and greater pressure gradients for a given velocity magnitude. The two real wave effects are incorporated in a model of the form Q(s)(t) = Q(s)[theta(t)] rather than Q(S)(t) = Q(S)[u(infinity)(t)], i.e., by expressing the transport rate in terms of an instantaneous Shields parameter rather than in terms of the free stream velocity, and accounting for both streaming and accelerations in the 0(t) calculations. The instantaneous friction velocities u(*)(t) and subsequently theta(t) are calculated as follows. Firstly, a linear filter incorporating the grain roughness friction factor f(2.5) and a phase angle phi(tau) is applied to u(infinity)(t). This delivers u(*)(t) which is used to calculate an instantaneous grain roughness Shields parameter theta(2.5)(t). Secondly, a constant bed shear stress is added which corresponds to the streaming related bed shear stress -rho ($) over bar((u) over tilde(w) over tilde)(infinity) . The method can be applied to any u(infinity)(t) time series, but further experimental validation is recommended before application to conditions that differ strongly from the ones considered below. The method is not recommended for rippled beds or for sheet flow with typical prototype wave periods and d(50) < 0.20 turn. In such scenarios, time lags related to vertical sediment movement become important, and these are not considered by the present model. (C) 2002 Elsevier Science B.V. All rights reserved.

Numerical investigations of flow and energy fields near a thermoacoustic couple

The flow field and the energy transport near thermoacoustic couples are simulated using a 2D full Navier-Stokes solver. The thermoacoustic couple plate is maintained at a constant temperature; plate lengths, which are short and long compared with the particle displacement lengths of the acoustic standing waves, are tested. Also investigated are the effects of plate spacing and the amplitude of the standing wave. Results are examined in the form of energy vectors, particle paths, and overall entropy generation rates. These show that a net heat-pumping effect appears only near the edges of thermoacoustic couple plates, within about a particle displacement distance from the ends. A heat-pumping effect can be seen even on the shortest plates tested when the plate spacing exceeds the thermal penetration depth. It is observed that energy dissipation near the plate increases quadratically as the plate spacing is reduced. The results also indicate that there may be a larger scale vortical motion outside the plates which disappears as the plate spacing is reduced. (C) 2002 Acoustical Society of America.

Intrinsic regional differences in androgen receptors and dihydrotestosterone metabolism in human preadipocytes

Androgens play an important role in regulating the central obesity that is a strong risk factor for cardiovascular disease and insulin resistance. This study confirms that androgen receptors are present in subcultured human preadipocytes, with androgen receptor gene expression and saturable specific dihydrotestosterone binding, dissociation constant 1.02 - 2.56 nM and maximal binding capacity 30.8 - 55.7 fmol/mg protein. There was an intrinsic regional difference in androgen receptor complement, with more androgen receptors in visceral than in subcutaneous preadipocytes. Dihydrotestosterone was metabolised by human preadipocytes, with more androstanediol produced by subcutaneous than visceral preadipocytes. While dihydrotestosterone metabolism was insufficient to explain the regional variation in androgen binding, both of these differences would reduce the androgen responsiveness of the subcutaneous preadipocytes compared with visceral preadipocytes. There were no gender differences in androgen binding or metabolism. While the direct effects of androgens on human PAS remain uncertain, these regional differences suggest that AR-mediated regulation of certain PA functions influences adipose tissue distribution.

Dry matter production and boron concentrations of vegetative and reproductive tissues of canola and sunflower plants grown in nutrient solution

Canola (Brassica napus L.) and sunflower (Helianthus annuus L.), two important oilseed crops, are sensitive to low boron (B) supply. Symptoms of B deficiency are often more severe during the reproductive stage, but it is not known if this is due to a decreased external B supply with time or an increased sensitivity to low B during this stage. Canola and sunflower were grown for 75 days after transplanting (DAT) in two solution culture experiments using Amberlite (IRA-743) B-specific resin to maintain constant B concentration in solution over the range 0.6 - 53 muM. Initially, the vegetative growth of both crops was good in all treatments. With the onset of the reproductive stage, however, severe B deficiency symptoms developed and growth of canola and sunflower was reduced with less than or equal to 0.9 and less than or equal to 0.7 muM B, respectively. At these concentrations, reproductive parts failed to develop. The critical B concentration (i.e. 90% of maximum shoot dry matter yield) in the youngest opened leaf was 18 mg kg(-1) in canola and 25 mg kg(-1) in sunflower at 75 DAT. The results of this study indicate that the reproductive stage of these two oilseed crops is more sensitive than the vegetative stage to low B supply.

Quadriceps concentric and eccentric exercise 1: Changes in contractile and electrical activity following eccentric and concentric exercise

The purpose of this study was to determine whether or not losses of strength or endurance following eccentric and concentric exercise are associated with reduced excitation. The effects of eccentric and concentric work on maximal voluntary isometric contraction (MVC) and surface electromyogram (EMG) of the quadriceps were studied in 10 healthy male subjects following bench-stepping for 20 min with a constant leading leg. Prior to stepping and at 0, 0.25, 0.50, 0.75, 1, 3. 24 and 48 h afterwards the subjects performed a 30 s leg extension MVC with each leg during which the isometric force and the root mean square voltage of the EMG were recorded. In the eccentrically exercised muscles (ECC), MVC0-3 (force during the first 3 s of contraction) fen immediately after the bench-stepping exercise to 88 +/- 2% (mean SE) of the pre-exercise value and remained significantly lower than the concentrically exercised muscles (p < 0.05). The muscle weakness in the ECC could not be attributed to central fatigue as surface EMG amplitude at MVC0-3 increased during the recovery period. Muscle weakness after eccentric exercise appears to be due to contractile failure, which is not associated with a reduction in excitation as assessed by surface EMG. Muscular fatigue over 30 s did not change in the two muscle groups after exercise (p = 0.79), indicating that the ECC were weaker but not more fatiguable after exercise.

Scale-up of mixer granulators for effective liquid distribution

There is considerable anecdotal evidence from industry that poor wetting and liquid distribution can lead to broad granule size distributions in mixer granulators. Current scale-up scenarios lead to poor liquid distribution and a wider product size distribution. There are two issues to consider when scaling up: the size and nature of the spray zone and the powder flow patterns as a function of granulator scale. Short, nucleation-only experiments in a 25L PMA Fielder mixer using lactose powder with water and HPC solutions demonstrated the existence of different nucleation regimes depending on the spray flux Psi(a)-from drop-controlled nucleation to caking. In the drop-controlled regime at low Psi(a) values. each drop forms a single nucleus and the nuclei distribution is controlled by the spray droplet size distribution. As Psi(a) increases, the distribution broadens rapidly as the droplets overlap and coalesce in the spray zone. The results are in excellent agreement with previous experiments and confirm that for drop-controlled nucleation. Psi(a) should be less than 0.1. Granulator flow studies showed that there are two powder flow regimes-bumping and roping. The powder flow goes through a transition from bumping to roping as impeller speed is increased. The roping regime gives good bed turn over and stable flow patterns. This regime is recommended for good liquid distribution and nucleation. Powder surface velocities as a function of impeller speed were measured using high-speed video equipment and MetaMorph image analysis software, Powder surface velocities were 0.2 to 1 ms(-1)-an order of magnitude lower than the impeller tip speed. Assuming geometrically similar granulators, impeller speed should be set to maintain constant Froude number during scale-up rather than constant tip speed to ensure operation in the roping regime. (C) 2002 Published by Elsevier Science B.V.

Population balance modelling of granulation with a physically based coalescence kernel

It was previously published by the authors that granules can either coalesce through Type I (when granules coalesce by viscous dissipation in the surface liquid layer before their surfaces touch) or Type II (when granules are slowed to a halt during rebound, after their surfaces have made contact) (AIChE J. 46 (3) (2000) 529). Based on this coalescence mechanism, a new coalescence kernel for population balance modelling of granule growth is presented. The kernel is constant such that only collisions satisfying the conditions for one of the two coalescence types are successful. One constant rate is assigned to each type of coalescence and zero is for the case of rebound. As the conditions for Types I and II coalescence are dependent on granule and binder properties, the coalescence kernel is thus physically based. Simulation results of a variety of binder and granule materials show good agreement with experimental data. (C) 2002 Elsevier Science Ltd. All rights reserved.