Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Clinical risk factors for underlying gastrointestinal malignancy in iron deficiency anaemia–prospective validation of the IDIOM score

Objective: Ten percent of adults presenting with iron deficiency anaemia (IDA) have underlying cancer. This study was undertaken to prospectively validate the observation in a previous retrospective study that three simple clinical parameters can usefully predict the likelihood of gastrointestinal (GI) malignancy on investigation of patients with IDA, and to screen for other potential clinical predictors of risk. Method: Observational study of a cohort of 643 subjects attending an IDA clinic at a District General Hospital between 2012 and 2015, with multivariable analysis of the predictive value of a series of clinical variables including sex, age and haemoglobin concentration ([Hb]) for underlying GI malignancy. Results: Analysis of the validation cohort data confirmed the original observation that sex, age, and Hb were associated with the risk of GI malignancy—the parsimonious model including only these variables yielded odds ratios of 1.9 (95% confidence interval (CI): 1.1, 3.3) for males vs. females; 1.6 (95% CI: 0.9, 2.9) for age >70 vs. ≤70 years; and 2.9 (95% CI:1.2, 6.9) for [Hb] 112 g/l. Combining data from the observation and validation cohorts (total n = 1,363) identified sub-groups with cancer risks ranging from 0% to over 20%. No other predictive clinical variables were identified. Conclusions: Three simple and objective clinical parameters can be combined to provide a clinically useful cancer risk stratification model for subjects with IDA. This may assist with patient counselling and the prioritisation of investigational resources

Delayed gastric emptying and reduced postprandial small bowel water content of equicaloric whole meal bread versus rice meals in healthy subjects: novel MRI insights

BACKGROUND/OBJECTIVES: Postprandial bloating is a common symptom in patients with functional gastrointestinal (GI) diseases. Whole meal bread (WMB) often aggravates such symptoms though the mechanisms are unclear. We used magnetic resonance imaging (MRI) to monitor the intragastric fate of a WMB meal (11% bran) compared to a rice pudding (RP) meal. SUBJECTS/METHODS: 12 healthy volunteers completed this randomised crossover study. They fasted overnight and after an initial MRI scan consumed a glass of orange juice with a 2267 kJ WMB or an equicaloric RP meal. Subjects underwent serial MRI scans every 45 min up to 270 min to assess gastric volumes and small bowel water content and completed a GI symptom questionnaire. RESULTS: The MRI intragastric appearance of the two meals was markedly different. The WMB meal formed a homogeneous dark bolus with brighter liquid signal surrounding it. The RP meal separated into an upper, liquid layer and a lower particulate layer allowing more rapid emptying of the liquid compared to solid phase (sieving). The WMB meal had longer gastric half emptying times (132±8 min) compared to the RP meal (104±7 min), P<0.008. The WMB meal was associated with markedly reduced MRI-visible small bowel free mobile water content compared to the RP meal, P<0.0001. CONCLUSIONS: WMB bread forms a homogeneous bolus in the stomach which inhibits gastric sieving and hence empties slower than the equicaloric rice meal. These properties may explain why wheat causes postprandial bloating and could be exploited to design foods which prolong satiation

Boundary lubrication properties of materials with expansive freezing

We have performed molecular dynamics simulations of solid-solid contacts lubricated by a model fluid displaying many of the properties of water, particularly its expansive freezing. Near the region where expansive freezing occurs, the lubricating film remains fluid, and the friction force decreases linearly as the shear velocity is reduced. No sign of stick-slip motion is observed even at the lowest velocities. We give a simple interpretation of these results, and suggest that in general good boundary lubrication properties will be found in the family of materials with expansive freezing.Comment: Version to appear in Phys. Rev. Let

Caffeine-stimulated fatty acid oxidation is blunted in CD36 null mice

Aim: The increase in skeletal muscle fatty acid metabolism during exercise has been associated with the release of calcium. We examined whether this increase in fatty acid oxidation was attributable to a calcium-induced translocation of the fatty acid transporter CD36 to the sarcolemma, thereby providing an enhanced influx of fatty acids to increase their oxidation.Methods: Calcium release was triggered by caffeine (3 mM) to examine fatty acid oxidation in intact soleus muscles of WT and CD36-KO mice, while fatty acid transport and mitochondrial fatty acid oxidation were examined in giant vesicles and isolated mitochondria, respectively, from caffeine-perfused hindlimb muscles of WT and CD36-KO mice. Western blotting was used to examine calcium-induced signalling.Results: In WT, caffeine stimulated muscle palmitate oxidation (+136%), but this was blunted in CD36-KO mice (-70%). Dantrolene inhibited (WT) or abolished (CD36-KO) caffeine-induced palmitate oxidation. In muscle, caffeine-stimulated palmitate oxidation was not attributable to altered mitochondrial palmitate oxidation. Instead, in WT, caffeine increased palmitate transport (+55%) and the translocation of fatty acid transporters CD36, FABPpm, FATP1 and FATP4 (26-70%) to the sarcolemma. In CD36-KO mice, caffeine-stimulated FABPpm, and FATP1 and 4 translocations were normal, but palmitate transport was blunted (-70%), comparable to the reductions in muscle palmitate oxidation. Caffeine did not alter the calcium-/calmodulin-dependent protein kinase II phosphorylation but did increase the phosphorylation of AMPK and acetyl-CoA carboxylase comparably in WT and CD36-KO.Conclusion: These studies indicate that sarcolemmal CD36-mediated fatty acid transport is a primary mediator of the calcium-induced increase in muscle fatty acid oxidation

Energy representation for out-of-equilibrium Brownian-like systems: steady states and fluctuation relations

Stochastic dynamics in the energy representation is employed as a method to study non-equilibrium Brownian-like systems. It is shown that the equation of motion for the energy of such systems can be taken in the form of the Langevin equation with multiplicative noise. Properties of the steady states are examined by solving the Fokker-Planck equation for the energy distribution functions. The generalized integral fluctuation theorem is deduced for the systems characterized by the shifted probability flux operator. There are a number of entropy and fluctuation relations such as the Hatano-Sasa identity and the Jarzynski's equality that follow from this theorem.Comment: revtex4-1, 18 pages, extended discussion, references adde

Epithelial Immunization Induces Polyfunctional CD8+ T Cells and Optimal Mousepox Protection.

We assessed several routes of immunization with vaccinia virus (VACV) in protecting mice against ectromelia virus (ECTV). By a wide margin, skin scarification provided the greatest protection. Humoral immunity and resident-memory T cells notwithstanding, several approaches revealed that circulating, memory CD8(+) T cells primed via scarification were functionally superior and conferred enhanced virus control. Immunization via the epithelial route warrants further investigation, as it may also provide enhanced defense against other infectious agents

Implications of community forest management for the conservation of the genetic diversity of big-leaf mahogany (Swietenia macrophylla King, Meliaceae) in the Maya Biosphere Reserve, Petén, Guatemala

Community Forest Management in the Maya Biosphere Reserve (MBR; Petén, Guatemala) has been recognized internationally for yielding forest conservation and socioeconomic benefits. However, the effect of current timber harvesting practices on the genetic diversity of timber species populations has not previously been documented. This study assessed the effects of timber harvesting on the genetic diversity and viability of regeneration of the most commercially important timber species in the MBR: big-leaf mahogany (Swietenia macrophylla King). Trees and seeds were sampled for two consecutive years in two Forest Management Units of the Multiple Use Zone (MUZ) of the MBR: Cruce a la Colorada and Carmelita. We correlated genetic diversity parameters (as measured using nuclear microsatellites) with seed germination percentages and compared genetic diversity of adults and seeds in stands that had been affected by timber harvesting and those that had not. We found a significant correlation between seed germination percentages (81–83%) and observed heterozygosity (rho=0.27), confirming that genetic diversity is important to regeneration success. No significant differences were found in allelic richness (AR), expected and observed heterozygosity (HE and HO), or inbreeding (FIS), between adults and seeds in harvested vs. undisturbed stands; or before and after timber harvesting. We found low inbreeding levels (FIS=0.040–0.094), low biparental inbreeding (0–0.01), and high outcrossing rates (0.925–0.970) in the populations of S. macrophylla analyzed. Our study therefore provides evidence that genetic diversity in big-leaf mahogany populations was not diminished by one cutting cycle under current practices of community forest management in the MUZ of the MBR

Bayesian paternity analysis and mating patterns in a parasitic nematode, Trichostrongylus tenuis

Mating behaviour is a fundamental aspect of the evolutionary ecology of sexually reproducing species, but one that has been under-researched in parasitic nematodes. We analysed mating behaviour in the parasitic nematode Trichostrongylus tenuis by performing a paternity analysis in a population from a single red grouse host. Paternity of the 150 larval offspring of 25 mothers (sampled from one of the two host caeca) was assigned among 294 candidate fathers (sampled from both caeca). Each candidate father's probability of paternity of each offspring was estimated from 10-locus microsatellite genotypes. Seventy-six (51%) offspring were assigned a father with a probability of &gt;0.8, and the estimated number of unsampled males was 136 (95% credible interval (CI) 77-219). The probability of a male from one caecum fathering an offspring in the other caecum was estimated as 0.024 (95% CI 0.003-0.077), indicating that the junction of the caeca is a strong barrier to dispersal. Levels of promiscuity (defined as the probability of two of an adult's offspring sharing only one parent) were high for both sexes. Variance in male reproductive success was moderately high, possibly because of a combination of random mating and high variance in post-copulatory reproductive success. These results provide the first data on individual mating behaviour among parasitic nematodes

Recent radio talks

Recent Rural Radio Talks Dairy Hygiene is Important; - D.C. Mickle Farm Water Supplies; - K. Needham Handling the Apple Crop; - K. Whitely Renovation of Irrigated Pastures; - Dairying division More About Lupinosis; - H. W. Bennetts Progress in Doublegee Control; - Norman Halse Changing Practices in Tobacco Growing in W.A.; - G. A. Pearce Progress in doublegee control; - G.A. Pearce Some Uses of Radio Isotopes in Agriculture; - E. N. Fitzpatrick Guildford Grass—Sign of a Run-Down Pasture; - R. A. Bettenay Silage and when to feed it; - R. Bettenay Ants in the Apiary; - R. S. Coleman Bacterial Canker of Stone Fruits; - Olga M. Goss Poison Plants in the Home Garden; - R. D. Royce The Cabbage White Butterfly; - C. F. H. Jenkins Summer Treatments for San Jose Scale; - C. F. H. Jenkins Preparations for Fodder Conservation; - H.G. Cariss Sudan Grass Survived Dry Summer; - R.A. Bettenay Root Maggot Flies; - J. A. Button Fallowing for Cropping; - A.S. Wild Feeding for Milk Quality; - L. C. Snook The Rabbit— Friend or Foe. A. R. Tomlinso