Design Space Exploration: Bridging the Gap Between High­‐Level Models and Virtual ExecutionPlatforms

International audienceThispaper presents a novel embedded systems modeling framework that fills the gap betweenhigh-­‐level AADL models and low-­‐level hardware virtual execution platforms. This approach allows refinement and improvement of system performance through exploration of architectures at different levels of abstraction. The aim of the proposed approach is to achieve virtual prototyping of the complete system in order to allow validation to begin early in the design flow, thereby accelerating its development while improving system performances

An investigation into the factors associated with ewe colostrum production

peer-reviewedThe majority of lamb mortality which occurs during the first 24 h post-partum is preventable through providing the lamb with sufficient quantities of high quality colostrum during this time. Data from seven late gestation nutrition experiments carried out at this institute between 2002 and 2014 were collated into a single data set comprising of 415 twin bearing ewes. Analysis was carried out to investigate the key drivers of ewe colostrum production excluding nutrient intake, namely body reserve mobilisation, ewe breed type, ewe age, gestation length and lamb birth weight. The volume of colostrum produced at 1 and 18 h post-partum was significantly lower than the volume recorded at 10 h post-partum (P = 0.01). Multivariate regression analysis indicated that colostrum volume during the first 18 h post-partum was influenced by lamb birth weight (P = 0.01), ewe age (P = 0.01), breed type (P = 0. 01) and gestation length (P = 0.06). Live weight change (P = 0.05) also had a significant influence on the volume of colostrum produced but BCS change did not affect colostrum production (P = 0.25). Further multivariate regression analysis indicated that IgG yield was influenced ewe breed type (P = 0.01), lamb birth weight (P = 0.02), gestation length (P = 0.05) and BCS change (P = 0.04). Live weight change (P = 0.12) and ewe age (P = 0.62) did not influence the quantity of IgG produced. Leicester ewes produced less colostrum per kg lamb birth weight at 1 h post-partum compared to all other ewe breed types (P = 0.01) and less than Suffolk ewes at 10 h post-partum (P = 0.01). The result of this analysis shows the key factors excluding ewe nutrition that drive colostrum production. Ewe breed type in particular appears to play an important role in the ability of the ewe to produce sufficient quantities of adequate quality colostrum. In conclusion the result of this analysis highlights the important factors associated with ewe colostrum volume and IgG yield excluding nutrition. In particular the overall structure of the flock such as breed type and ewe age is important when considering the ability of the flock to meet colostrum demands and hence reduce lamb mortality

Storage Stability of an Antioxidant Active Packaging Coated with Citrus Extract Following a Plasma Jet Pretreatment

yesAntioxidant active packaging was prepared by coating a citrus extract on the surface of polyethylene terephthalate (PET) trays which had been either treated with an atmospheric pressure plasma jet or left untreated. The surface characteristics of the packaging were examined, as were its stability and antioxidant efficacy following storage for up to 24 weeks under the following three storage conditions: room temperature, 0 % relative humidity (RH) or 50 °C. Plasma pretreatment increased coating density, thickness and roughness, and oxygenated functional groups at the polymer surface, whereas water contact angle decreased. Trays stored at room temperature did not lose their antioxidant efficacy over 24 weeks and plasma pretreatment enhanced the efficacy from week 8 onwards. Gravimetric analysis of the coating revealed a loss of antioxidant compounds only after 16 weeks. Trays stored at 0 % RH lost coating from week 1 onwards, with lower loss in plasma pretreated trays, while loss of coating was highest at 50 °C, with lower loss in plasma pretreated trays only after 24 weeks. Overall, the surface characteristics of the antioxidant active packaging were modified by plasma pretreatment of the PET surface, with some improvement in antioxidant efficacy, and the efficacy of the packaging in delaying oxidative deterioration in cooked meats was retained during storage at ambient temperature

An H2CO 6cm Maser Pinpointing a Possible Circumstellar Torus in IRAS18566+0408

We report observations of 6cm, 3.6cm, 1.3cm, and 7mm radio continuum, conducted with the Very Large Array towards IRAS18566+0408, one of the few sources known to harbor H2CO 6cm maser emission. Our observations reveal that the emission is dominated by an ionized jet at cm wavelengths. Spitzer/IRAC images from GLIMPSE support this interpretation, given the presence of 4.5um excess emission at approximately the same orientation as the cm continuum. The 7mm emission is dominated by thermal dust from a flattened structure almost perpendicular to the ionized jet, thus, the 7mm emission appears to trace a torus associated with a young massive stellar object. The H2CO 6cm maser is coincident with the center of the torus-like structure. Our observations rule out radiative pumping via radio continuum as the excitation mechanism for the H2CO 6cm maser in IRAS18566+0408.Comment: 20 pages, 4 figures, ApJ (in press

Noise induced oscillations in non-equilibrium steady state systems

We consider effect of stochastic sources upon self-organization process being initiated with creation of the limit cycle. General expressions obtained are applied to the stochastic Lorenz system to show that departure from equilibrium steady state can destroy the limit cycle at certain relation between characteristic scales of temporal variation of principle variables. Noise induced resonance related to the limit cycle is found to appear if the fastest variations displays a principle variable, which is coupled with two different degrees of freedom or more.Comment: 11 pages, 4 figures. Submitted to Physica Script

A Search for H2CO 6cm Emission toward Young Stellar Objects III: VLA Observations

We report the results of our third survey for formaldehyde (H2CO) 6cm maser emission in the Galaxy. Using the Very Large Array, we detected two new H2CO maser sources (G23.01-0.41 and G25.83-0.18), thus increasing the sample of known H2CO maser regions in the Galaxy to seven. We review the characteristics of the G23.01-0.41 and G25.83-0.18 star forming regions. The H2CO masers in G23.01-0.41 and G25.83-0.18 share several properties with the other known H2CO masers, in particular, emission from rich maser environments and close proximity to very young massive stellar objects.Comment: Accepted for publication in the Astrophysical Journal Supplement Serie

Persistence, extinction and spatio-temporal synchronization of SIRS cellular automata models

Spatially explicit models have been widely used in today's mathematical ecology and epidemiology to study persistence and extinction of populations as well as their spatial patterns. Here we extend the earlier work--static dispersal between neighbouring individuals to mobility of individuals as well as multi-patches environment. As is commonly found, the basic reproductive ratio is maximized for the evolutionary stable strategy (ESS) on diseases' persistence in mean-field theory. This has important implications, as it implies that for a wide range of parameters that infection rate will tend maximum. This is opposite with present results obtained in spatial explicit models that infection rate is limited by upper bound. We observe the emergence of trade-offs of extinction and persistence on the parameters of the infection period and infection rate and show the extinction time having a linear relationship with respect to system size. We further find that the higher mobility can pronouncedly promote the persistence of spread of epidemics, i.e., the phase transition occurs from extinction domain to persistence domain, and the spirals' wavelength increases as the mobility increasing and ultimately, it will saturate at a certain value. Furthermore, for multi-patches case, we find that the lower coupling strength leads to anti-phase oscillation of infected fraction, while higher coupling strength corresponds to in-phase oscillation.Comment: 12page

Rendering an Account: An Open-State Archive in Postgraduate Supervision

The paper begins with a brief account of the transformation of research degree studies under the pressures of global capitalism and neo-liberal governmentality. A parallel transformation is occurring in the conduct of research through the use of information and communication technologies. Yet the potential of ICTs to shape practices of surveillance or to produce new student-supervisor relations and enhance the processes of developing the dissertation has received almost no critical attention. As doctoral supervisor and student, we then describe the features and uses of a web-based open state archive of the student's work-in-progress, developed by the student and accessible to his supervisor. Our intention was to encourage more open conversations between data and theorising, student and supervisor, and ultimately between the student and professional community. However, we recognise that relations of accountability, as these have developed within a contemporary "audit revolution" (Power, 1994, 1997) in universities, create particular "lines of visibility" (Munro, 1996). Thus while the open-state archive may help to redefine in less managerial terms notions of quality, transparency, flexibility and accountability, it might also make possible greater supervisory surveillance. How should we think about the panoptical potential of this archive? We argue that the diverse kinds of interactional patterns and pedagogical intervention it encourages help to create shifting subjectivities. Moreover, the archive itself is multiple, in bringing together an array of diverse materials that can be read in various ways, by following multiple paths. It therefore constitutes a collage, which we identify as a mode of cognition and of accounting distinct from but related to argument and narrative. As a more "open" text (Iser, 1978) it has an indeterminacy which may render it less open to abuse for the technologies of managerial accountability

How limit cycles and quasi-cycles are related in systems with intrinsic noise

Fluctuations and noise may alter the behavior of dynamical systems considerably. For example, oscillations may be sustained by demographic fluctuations in biological systems where a stable fixed point is found in the absence of noise. We here extend the theoretical analysis of such stochastic effects to models which have a limit cycle for some range of the model parameters. We formulate a description of fluctuations about the periodic orbit which allows the relation between the stochastic oscillations in the fixed point phase and the oscillations in the limit cycle phase to be elucidated. In the case of the limit cycle, a suitable transformation into a co-moving frame allow fluctuations transverse and longitudinal with respect to the limit cycle to be effectively decoupled. While longitudinal fluctuations are of a diffusive nature, those in the transverse direction follow a stochastic path more akin to an Ornstein-Uhlenbeck process. Their power spectrum is computed analytically within a van Kampen expansion in the inverse system size. This is carried out in two different ways, and the subsequent comparison with numerical simulations illustrates the effects that can occur due to diffusion in the longitudinal direction.Comment: 15 pages, 14 figure

Radiotherapy optimAl Design: An Academic Radiotherapy Treatment Design System

Optimally designing radiotherapy and radiosurgery treatments to increase the likelihood of a successful recovery from cancer is an important application of operations research. Researchers have been hindered by the lack of academic software that supports head-to-head comparisons of different techniques, and this article addresses the inherent difficulties of designing and implementing an academic treatment planning system. In particular, this article details the algorithms and the software design of Radiotherapy optimAl Design (RAD)