A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Anisotropy-based robust performance analysis of finite horizon linear discrete time varying systems

We consider a problem of robust performance analysis of linear discrete time varying systems on a bounded time interval. The system is represented in the state-space form. It is driven by a random input disturbance with imprecisely known probability distribution; this distributional uncertainty is described in terms of entropy. The worst-case performance of the system is quantified by its a-anisotropic norm. Computing the anisotropic norm is reduced to solving a set of difference Riccati and Lyapunov equations and a special form equation.

Which one of these is not like the others? An inter-hospital study of the viscosity of thickened fluids

Engineering This investigation examined the rheological (viscosity and yield stress) and material property (density) characteristics of the thickened meal-time and videofluorscopy fluids provided by 10 major metropolitan hospitals. Differences in the thickness of thickened fluids were considered as a source of variability and potential hazard for inter-hospital transfers of dysphagic patients. The results indicated considerable differences in the viscosity, density, and yield stress of both meal-time and videofluoroscopy fluids. In theory, the results suggest that dysphagic patients transferred between hospitals could be placed on inappropriate levels of fluid thickness because of inherent differences in the rheology and material property characteristics of the fluids provided by different hospitals. Slowed improvement or medical complications are potential worst-case scenarios for dysphagic patients if the difference between the thick fluids offered by 2 hospitals are extreme. The investigation outlines the most appropriate way to assess the rheological and material property characteristics of thickened fluids. In addition, it suggests a plan of quality improvement to reduce the variability of the thickness of fluids offered at different hospitals.

Residues of zeta-cypermethrin in bovine tissues and milk following pour-on and spray application

The depletion of zeta-cypermethrin residues in bovine tissues and milk was studied. Beef cattle were treated three times at 3-week intervals with 1 ml 10 kg(-1) body weight of a 25 g litre(-1) or 50 g litre(-1) pour-on formulation (2.5 and 5.0 mg zeta-cypermethrin kg(-1) body weight) or 100 mg kg(-1) spray to simulate a likely worst-case treatment regime. Friesian and Jersey dairy cows were treated once with 2.5 mg zeta-cypermethrin kg(-1) in a pour-on formulation. Muscle, liver and kidney residue concentrations were generally less than the limit of detection (LOD = 0.01 mg kg(-1)). Residues in renal-fat and back-fat samples from animals treated with 2.5 mg kg(-1) all exceeded the limit of quantitation (LOQ = 0.05 mg kg(-1)), peaking at 10 days after treatment. Only two of five kidney fat samples were above the LOQ after 34 days, but none of the back-fat samples exceeded the LOQ at 28 days after treatment. Following spray treatments, fat residues were detectable in some animals but were below the LOQ at all sampling intervals. Zeta-cypermethrin was quantifiable (LOQ = 0.01 mg kg(-1)) in only one whole-milk sample from the Friesian cows (0.015 mg kg(-1), 2 days after treatment). In whole milk from Jersey cows, the mean concentration of zeta-cypermethrin peaked 1 day after treatment, at 0.015 mg kg(-1), and the highest individual sample concentration was 0.025 mg kg(-1) at 3 days after treatment. Residues in milk were not quantifiable beginning 4 days after treatment. The mean concentrations of zeta-cypermethrin in milk fat from Friesian and Jersey cows peaked two days after treatment at 0.197 mg kg(-1) and 0.377 mg kg(-1), respectively, and the highest individual sample concentrations were 2 days after treatment at 0.47 mg kg(-1) and 0.98 mg kg(-1), respectively. (C) 2001 Society of Chemical Industry.

Residues of spinosad in the tissues of sheep after aerosol treatment of blowfly myiasis

Objective To measure the residues of spinosad and chlorhexidine in the tissues of sheep after treatment of blowfly strike. Procedure Fourteen sheep with natural myiasis and 12 with artificial infestations of Lucilia cuprina larvae had the wool removed over their infestations and were treated with an aerosol wound dressing containing spinosad and chlorhexidine. Sheep were killed up to 14 days after treatment and residues of the chemicals measured in tissues. Results Chlorhexidine was not detected in any tissue. Residues of spinosad were highest in fat, lowest in muscle and intermediate in liver and kidney. The highest residue detected was 0.2 mg/kg spinosad in perirenal fat 7 days after generous treatment of a sheep with a large fly strike. Residues of spinosad in fat peaked 3 to 7 days after treatment and 1 to 3 days after treatment in liver and kidney. Conclusion These studies present a realistic worst-case in struck sheep and at the highest dose studied, equivalent to 5.8 mg spinosad per kg body weight, the maximum residue detected of 0.2 mg/kg in peri-renal fat was 20% of the Australian maximum residue limit. Muscle, liver and kidney residues of spinosad were also below the Australian maximum residue limits at all times.

Solution techniques for transport problems involving steep concentration gradients: application to noncatalytic fluid solid reactions

Some efficient solution techniques for solving models of noncatalytic gas-solid and fluid-solid reactions are presented. These models include those with non-constant diffusivities for which the formulation reduces to that of a convection-diffusion problem. A singular perturbation problem results for such models in the presence of a large Thiele modulus, for which the classical numerical methods can present difficulties. For the convection-diffusion like case, the time-dependent partial differential equations are transformed by a semi-discrete Petrov-Galerkin finite element method into a system of ordinary differential equations of the initial-value type that can be readily solved. In the presence of a constant diffusivity, in slab geometry the convection-like terms are absent, and the combination of a fitted mesh finite difference method with a predictor-corrector method is used to solve the problem. Both the methods are found to converge, and general reaction rate forms can be treated. These methods are simple and highly efficient for arbitrary particle geometry and parameters, including a large Thiele modulus. (C) 2001 Elsevier Science Ltd. All rights reserved.

Mean anisotropy of homogeneous Gaussian random fields and anisotropic norms of linear translation-invariant operators on multidimensional integer lattices

Sensitivity of output of a linear operator to its input can be quantified in various ways. In Control Theory, the input is usually interpreted as disturbance and the output is to be minimized in some sense. In stochastic worst-case design settings, the disturbance is considered random with imprecisely known probability distribution. The prior set of probability measures can be chosen so as to quantify how far the disturbance deviates from the white-noise hypothesis of Linear Quadratic Gaussian control. Such deviation can be measured by the minimal Kullback-Leibler informational divergence from the Gaussian distributions with zero mean and scalar covariance matrices. The resulting anisotropy functional is defined for finite power random vectors. Originally, anisotropy was introduced for directionally generic random vectors as the relative entropy of the normalized vector with respect to the uniform distribution on the unit sphere. The associated a-anisotropic norm of a matrix is then its maximum root mean square or average energy gain with respect to finite power or directionally generic inputs whose anisotropy is bounded above by a≥0. We give a systematic comparison of the anisotropy functionals and the associated norms. These are considered for unboundedly growing fragments of homogeneous Gaussian random fields on multidimensional integer lattice to yield mean anisotropy. Correspondingly, the anisotropic norms of finite matrices are extended to bounded linear translation invariant operators over such fields.

Factors that influence the prevalence of acaricide resistance and tick-borne diseases

This manuscript provides a summary of the results presented at a symposium organized to accumulate information on factors that influence the prevalence of acaricide resistance and tick-borne diseases. This symposium was part of the 19th International Conference of the World Association for the Advancement of Veterinary Parasitology (WAAVP), held in New Orleans, LA, USA, during August 10-14, 2003. Populations of southern cattle ticks, Boophilus microplus, from Mexico have developed resistance to many classes of acaricide including chlorinated hydrocarbons (DDT), pyrethroids, organ ophosphates, and formamidines (amitraz). Target site mutations are the most common resistance mechanism observed, but there are examples of metabolic mechanisms. In many pyrethroid resistant strains, a single target site mutation on the Na+ channel confers very high resistance (resistance ratios: >1000x) to both DDT and all pyrethroid acaricides. Acetylcholine esterase affinity for OPs is changed in resistant tick populations. A second mechanism of OP resistance is linked to cytochrome P450 monooxygenase activity. A PCR-based assay to detect a specific sodium channel gene mutation that is associated with resistance to permethrin has been developed. This assay can be performed on individual ticks at any life stage with results available in a few hours. A number of Mexican strains of B. microplus with varying profiles of pesticide resistance have been genotyped using this test. Additionally, a specific metabolic esterase with permethrin-hydrolyzing activity, CzEst9, has been purified and its gene coding region cloned. This esterase has been associated with high resistance to permethrin in one Mexican tick population. Work is continuing to clone specific acetylcholinesterase (AChE) and carboxylesterase genes that appear to be involved in resistance to organophosphates. Our ultimate goal is the design of a battery of DNA- or ELISA-based assays capable of rapidly genotyping individual ticks to obtain a comprehensive profile of their susceptibility to various pesticides. More outbreaks of clinical bovine babesisois and anaplasmosis have been associated with the presence of synthetic pyrethroid (SP) resistance when compared to OP and amidine resistance. This may be the result of differences in the temporal and geographic patterns of resistance development to the different acaricides. If acaricide resistance develops slowly, herd immunity may not be affected. The use of pesticides for the control of pests of cattle other than ticks can affect the incidence of tick resistance and tick-borne diseases. Simple analytical models of tick- and tsetse-bome diseases suggest that reducing the abundance of ticks, by treating cattle with pyrethroids for example, can have a variety of effects on tick-bome diseases. In the worst-case scenario, the models suggest that treating cattle might not only have no impact on trypanosomosis but could increase the incidence of tick-bome disease. In the best-case, treatment could reduce the incidence of both trypanosomosis and tick-bome diseases Surveys of beef and dairy properties in Queensland for which tick resistance to amitraz was known were intended to provide a clear understanding of the economic and management consequences resistance had on their properties. Farmers continued to use amitraz as the major acaricide for tick control after the diagnosis of resistance, although it was supplemented with moxidectin (dairy farms) or fluazuron, macrocyclic lactones or cypermethrin/ chlorfenvinphos. (C) 2004 Published by Elsevier B.V.

A case-control study of employment status and mortality in a cohort of Australian youth

Recent studies have demonstrated a link in young populations between unemployment and ill health. The purpose of this study is to correlate mortality with employment status in two cohorts of young Australian males, aged 17-25 years, from 1984 to 1988. Two youth cohorts consisting of an initially unemployed sample (n = 1424 males) and a population sample (n = 4573 males), were surveyed annually throughout the study period. Those lost to follow-up during the survey period were matched with death registries across Australia. Employment status was determined from weekly diaries and death certificates and was designated as: employed or student; unemployed; not in the work force (excluding students). Conditional logistic regression, using age- and cohort- matched cases (deaths) and controls (alive), was used to estimate the odds ratio (OR) of dying with regard to employment status, taking into account potential confounders such as ethnicity, aboriginality, educational attainment, pre-existing health problems, socio-economic status of parents, and other factors. Twenty three male survey respondents were positively matched to death registry records. Compared to those employed or students (referent group), significantly elevated ORs were found to be associated with neither being in the workforce nor a student for all cause, external cause, and external cause mortality other than suicide. Odds ratios were adjusted for age, survey cohort, ethnicity, pre-existing physical and mental health status, education level, and socio-economic status of parent(s). A statistically significant increasing linear trend in odds ratios of male mortality for most cause groups was found across the employment categories, from those employed or student (lowest ORs), through those unemployed; to those not in the workforce (highest ORs). Suicide was higher, but not statistically significantly, in those unemployed or not in the workforce. Suicide also was associated, though not significantly, with the respondent not living with their parents when they were 14 years of age. No association was found between mortality and past unemployment experience, as measured by length of time spent unemployed, or the number of spells of unemployment experienced during the survey. The results of this study underscore the elevated risk to survival in young males as a consequence of being neither employed nor a student. (C) 1999 Elsevier Science Ltd. All rights reserved.

The case for a new system for oversight of research on human subjects

The increasing emphasis on evidence-based clinical practice has thrown into sharp focus multiple deficiencies in current systems of ethical review. This paper argues that a complete overhaul of systems for ethical oversight of studies involving human subjects is now required as developments in medical, epidemiological and genetic research have outstripped existing structures for ethical supervision. It shows that many problems are now evident and concludes that sequential and piecemeal amendments to present arrangements an inadequate to address these. Ar their core present systems of ethical review still rely on the integrity and judgement of individual investigators. One possible alternative is to train and license research investigators, make explicit their responsibilities and have ethics committees devote much more of their time to monitoring research activity in order to detect those infringing the rules.

Movement-related potentials in Huntington's disease: movement preparation and execution

Movement-related potentials (MRPs) reflect increasing cortical activity related to the preparation and execution of voluntary movement. Execution and preparatory components may be separated by comparing MRPs recorded from actual and imagined movement. Imagined movement initiates preparatory processes, but not motor execution activity. MRPs are maximal over the supplementary motor area (SMA), an area of the cortex involved in the planning and preparation of movement. The SMA receives input from the basal ganglia, which are affected in Huntington's disease (HD), a hyperkinetic movement disorder. In order to further elucidate the effects of the disorder upon the cortical activity relating to movement, MRPs were recorded from ten HD patients, and ten age-matched controls, whilst they performed and imagined performing a sequential button-pressing task. HD patients produced MRPs of significantly reduced size both for performed and imagined movement. The component relating to movement execution was obtained by subtracting the MRP for imagined movement from the MRP for performed movement, and was found to be normal in HD. The movement preparation component was found by subtracting the MRP found for a control condition of watching the visual cues from the MRP for imagined movement. This preparation component in HD was reduced in early slope, peak amplitude, and post-peak slope. This study therefore reported abnormal MRPs in HD. particularly in terms of the components relating to movement preparation, and this finding may further explain the movement deficits reported in the disease.