354 research outputs found
A specification language for automated design space exploration of production systems
Integrating simulation in the design process of production systems allows the predicted performance of design alternatives to be compared. However, many iterations of specifying the design, constructing the simulation model, performing simulation experiments, and evaluating the simulation results for each (re)design are required. The process of specifying, modelling, simulating, and evaluating a design can be automated using a framework for automated design space exploration of production systems. This paper presents a formal specification language for the design space of a production system topology. Using the specification of the design space, feasible designs can be generated. The language supports the specification of component types, component instances, and constraints such as how many instances of a type are allowed and how components are allowed to be connected. The specification language is validated through an adaptation of an industrial case study
Design space exploration of a poultry fillet processing system using discrete-event simulation
Developments in the poultry processing industry, such as how livestock is
raised and how consumers buy meat, make it increasingly difficult to design
poultry processing systems that meet evolving standards. More and more
iterations of (re)design are required to optimize the product flow in these
systems. This paper presents a method for design space exploration of
production systems using discrete-event simulation. This method automates most
steps of design space exploration: iterating on the design, model construction,
performing simulation experiments, and interpreting the simulation results.
This greatly reduces the time and effort required to iterate through different
designs. A case study is presented which shows that this method can be
effective for design space exploration of poultry processing systems.Comment: FOODOPS 202
Correctness of an STM Haskell implementation
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. This implies that our implementation is a correct evaluator for an abstract specification equipped with a big-step semantics
Cost-effectiveness of ovarian stimulation agents for IUI in couples with unexplained subfertility
Acknowledgements The authors wish to thank M.P. Diamond, R.S. Legro, K. Peeraer, M. Erdem, T. Dankert, and R. Ecochard, on behalf of the IUI IPDMA collaboration, for providing data from their RCTs for the IPDMA of which the results are used in a sensitivity analysis. Funding This work was supported by ZonMw Doelmatigheidsonderzoek, grant 80-85200-98-91072. The funder had no role in the design, conduct or reporting of this work. B.W.M. is supported by a NHMRC Practitioner Fellowship (GNT1082548).Peer reviewedPublisher PD
Stress-sensitive neurosignalling in depression : an integrated network biology approach to candidate gene selection for genetic association analysis
Genetic risk for depressive disorders is poorly understood despite consistent suggestions of a high heritable component. Most genetic studies have focused on risk associated with single variants, a strategy which has so far only yielded small (often non-replicable) risks for depressive disorders. In this paper we argue that more substantial risks are likely to emerge from genetic variants acting in synergy within and across larger neurobiological systems (polygenic risk factors). We show how knowledge of major integrated neurobiological systems provides a robust basis for defining and testing theoretically defensible polygenic risk factors. We do this by describing the architecture of the overall stress response. Maladaptation via impaired stress responsiveness is central to the aetiology of depression and anxiety and provides a framework for a systems biology approach to candidate gene selection. We propose principles for identifying genes and gene networks within the neurosystems involved in the stress response and for defining polygenic risk factors based on the neurobiology of stress-related behaviour. We conclude that knowledge of the neurobiology of the stress response system is likely to play a central role in future efforts to improve genetic prediction of depression and related disorders
Glucose enhancement of memory is modulated by trait anxiety in healthy adolescent males
Glucose administration is associated with memory enhancement in healthy young individuals under conditions of divided attention at encoding. While the specific neurocognitive mechanisms underlying this ‘glucose memory facilitation effect’ are currently uncertain, it is thought that individual differences in glucoregulatory efficiency may alter an individual’s sensitivity to the glucose memory facilitation effect. In the present study, we sought to investigate whether basal hypothalamic–pituitary–adrenal axis function (itself a modulator of glucoregulatory efficiency), baseline self-reported stress and trait anxiety influence the glucose memory facilitation effect. Adolescent males (age range = 14–17 years) were administered glucose and placebo prior to completing a verbal episodic memory task on two separate testing days in a counter-balanced, within-subjects design. Glucose ingestion improved verbal episodic memory performance when memory recall was tested (i) within an hour of glucose ingestion and encoding, and (ii) one week subsequent to glucose ingestion and encoding. Basal hypothalamic–pituitary–adrenal axis function did not appear to influence the glucose memory facilitation effect; however, glucose ingestion only improved memory in participants reporting relatively higher trait anxiety. These findings suggest that the glucose memory facilitation effect may be mediated by biological mechanisms associated with trait anxiety
DNA methylation of the IGF2/H19 imprinting control region and adiposity distribution in young adults
BACKGROUND: The insulin-like growth factor 2 (IGF2) and H19 imprinted genes control growth and body composition. Adverse in-utero environments have been associated with obesity-related diseases and linked with altered DNA methylation at the IGF2/H19 locus. Postnatally, methylation at the IGF2/H19 imprinting control region (ICR) has been linked with cerebellum weight. We aimed to investigate whether decreased IGF2/H19 ICR methylation is associated with decreased birth and childhood anthropometry and increased contemporaneous adiposity. DNA methylation in peripheral blood (n = 315) at 17 years old was measured at 12 cytosine-phosphate-guanine sites (CpGs), analysed as Sequenom MassARRAY EpiTYPER units within the IGF2/H19 ICR. Birth size, childhood head circumference (HC) at six time-points and anthropometry at age 17 years were measured. DNA methylation was investigated for its association with anthropometry using linear regression. RESULTS: The principal component of IGF2/H19 ICR DNA methylation (representing mean methylation across all CpG units) positively correlated with skin fold thickness (at four CpG units) (P-values between 0.04 to 0.001) and subcutaneous adiposity (P = 0.023) at age 17, but not with weight, height, BMI, waist circumference or visceral adiposity. IGF2/H19 methylation did not associate with birth weight, length or HC, but CpG unit 13 to 14 methylation was negatively associated with HC between 1 and 10 years. β-coefficients of four out of five remaining CpG units also estimated lower methylation with increasing childhood HC. CONCLUSIONS: As greater IGF2/H19 methylation was associated with greater subcutaneous fat measures, but not overall, visceral or central adiposity, we hypothesize that obesogenic pressures in youth result in excess fat being preferentially stored in peripheral fat depots via the IGF2/H19 domain. Secondly, as IGF2/H19 methylation was not associated with birth size but negatively with early childhood HC, we hypothesize that the HC may be a more sensitive marker of early life programming of the IGF axis and of fetal physiology than birth size. To verify this, investigations of the dynamics of IGF2/H19 methylation and expression from birth to adolescence are required
Age-related natural fertility outcomes in women over 35 years : a systematic review and individual participant data meta-analysis
STUDY FUNDING/COMPETING INTEREST(S) S.J.C. received funding from the University of Adelaide Summer Research Scholarship. B.W.M. is supported by a NHMRC Investigator grant (GNT1176437), B.W.M. reports consultancy for ObsEva, Merck, Merck KGaA, iGenomix and Guerbet. B.W.M. reports research support by Merck and Guerbet.Peer reviewedPostprin
- …