1,584 research outputs found
Modelling and Refinement in CODA
This paper provides an overview of the CODA framework for modelling and
refinement of component-based embedded systems. CODA is an extension of Event-B
and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments
Event-B with constructs for component-based modelling including components,
communications ports, port connectors, timed communications and timing
triggers. Component behaviour is specified through a combination of UML-B state
machines and Event-B. CODA communications and timing are given an Event-B
semantics through translation rules. Refinement is based on Event-B refinement
and allows layered construction of CODA models in a consistent way.Comment: In Proceedings Refine 2013, arXiv:1305.563
Recommended from our members
Physiological and genetic manipulation of adventitious rooting in Prunus spp
Many species from economically important genera remain rooting recalcitrant, prohibiting the commercialisation of many species in forestry and horticulture, and hindering genetic improvement by conventional breeding or recombinant DNA technology, where vegetative propagation is often used to preserve the genetic fidelity of elite progeny. Two cherry species (Prunus avium and P. padus) were used as models in this study to investigate the physiological and genetic manipulation of adventitious rooting.
Mature trees are typically more difficult to propagate vegetatively than their juvenile counterparts. For some trees, micropropagation can circumvent certain effects of ageing and maturation, restoring shoot vigour and rooting, but the mechanism(s) involved have not been elucidated. During micropropagation, subculture interval was found not to be the predominant factor promoting the 'apparent rejuvenation' of mature P. avium tissue. 'Apparently rejuvenated' ex vitro and hedged (putatively) mature P. avium trees were treated with gibberellins predicted to have a range of structural related activities. GA7 improved the rooting of cuttings from hedged (putatively) mature cherry, but not from ex vitro trees.
Methodology to regenerate adventitious shoots from P. avium leaf explants was developed, (putative) transgenic P. padus plants were produced by an Agrobacterium tumefaciens mediated strategy.
Auxin redistribution in planta is postulated to require a component of active transport; inhibition of the predominantly basipetal transport has profound effects on rooting. The putative function of the Arabidopsis thaliana AtAUX1 gene is that of a cellular auxin influx carrier, possibly, as described by the chemiosmotic hypothesis. This thesis examined the hypothesis that transformation with the AtAUX1 gene would enhance the delivery of the root-inducing signal to improve rooting of P. padus, a species which is rooting recalcitrant and more or less obligate on exogenous auxin for this process. However, all six, constitutively expressed, Cauliflower Mosaic Virus 35S promoter driven, 35S::AtAUX1, transgenic shoot lines had reduced rooting
Volatile hydrocarbons inhibit methanogenic crude oil degradation
Methanogenic degradation of crude oil in subsurface sediments occurs slowly, but without the need for exogenous electron acceptors, is sustained for long periods and has enormous economic and environmental consequences. Here we show that volatile hydrocarbons are inhibitory to methanogenic oil biodegradation by comparing degradation of an artificially weathered crude oil with volatile hydrocarbons removed, with the same oil that was not weathered. Volatile hydrocarbons (nC5-nC10, methylcyclohexane, benzene, toluene, and xylenes) were quantified in the headspace of microcosms. Aliphatic (n-alkanes nC12-nC34) and aromatic hydrocarbons (4-methylbiphenyl, 3-methylbiphenyl, 2-methylnaphthalene, 1-methylnaphthalene) were quantified in the total hydrocarbon fraction extracted from the microcosms. 16S rRNA genes from key microorganisms known to play an important role in methanogenic alkane degradation (Smithella and Methanomicrobiales) were quantified by quantitative PCR. Methane production from degradation of weathered oil in microcosms was rapid (1.1 ± 0.1 μmol CH4/g sediment/day) with stoichiometric yields consistent with degradation of heavier n-alkanes (nC12-nC34). For non-weathered oil, degradation rates in microcosms were significantly lower (0.4 ± 0.3 μmol CH4/g sediment/day). This indicated that volatile hydrocarbons present in the non-weathered oil inhibit, but do not completely halt, methanogenic alkane biodegradation. These findings are significant with respect to rates of biodegradation of crude oils with abundant volatile hydrocarbons in anoxic, sulphate-depleted subsurface environments, such as contaminated marine sediments which have been entrained below the sulfate-reduction zone, as well as crude oil biodegradation in petroleum reservoirs and contaminated aquifers
A BIOMECHANICAL ANALYSIS OF THE KICKING LEG DURING A RUGBY PLACE KICK
The successful performance of rugby place kicks is often important in determining the outcome of a match. This study aimed to further the understanding of rugby place kicking technique by quantifying and explaining kicking leg joint mechanics. Three-dimensional joint kinematics and kinetics were calculated using an inverse dynamics analysis. Whilst ankle motion was negligible, the knee flexed until around 50% of the kicking phase before extending towards ball contact. A resultant hip flexor moment was largely dominant throughout; it initally reduced extension before initiating flexion near support foot contact. Whilst these patterns were broadly similar to soccer kicking, peak magnitudes of angular velocity and resultant moment appeared to differ from soccer kicking and, along with the mechanics about other joint axes, these require further investigation
DEVELOPMENT AND EVALUATION OF A METHOD TO QUANTIFY RUGBY PLACE KICK PERFORMANCE FROM INITIAL BALL FLIGHT DATA
The purpose of this study was to develop and evaluate a method for quantifying rugby place kick performance using a metric that represents field-based performance but relies only on data typically available within a laboratory setting. A mathematical model was developed to predict the flight path of a rugby ball using equations of projectile motion and initial ball flight kinematics as inputs. The accuracy of the model predictions were then evaluated against empirical data collected from eight place kicks taken 22 m from the goalposts on a rugby pitch. The model estimated the position of the ball at the instant it reached the goalposts with a root mean square error of 0.65 m (2.9% of the range). It is intended that this method will provide an applied outcome measure that is relevant to players and coaches
THE DIFFERENCES IN RUGBY PLACE KICK TECHNIQUE BETWEEN SUCCESSFUL AND LESS SUCCESSFUL KICKERS
This study aimed to understand the differences in technique between groups of rugby place kickers who achieve different performance outcomes. Thirty kickers were analysed using 3D motion capture and grouped as long (successful), wide-left or short (both less successful). The long kickers achieved a faster ball velocity than the short kickers by doing more positive hip flexor and knee extensor work. The long and wide-left kickers achieved comparable ball velocities, but used different strategies. The long kickers did more positive knee extensor work whereas the wide-left kickers did more positive hip flexor work, facilitated by a ‘tension arc’ achieved through pelvis-thorax rotation. Although the ‘tension arc’ may be beneficial for the generation of ball velocity magnitude, rugby place kicking coaches should be wary of its use due to its negative effect on accuracy
The benefits of turbine endwall profiling in a cascade
Non-axisymmetric profiled endwalls have been shown to reduce losses and secondary flow both in cascades and in rig tests. This paper presents experimental results which quantify the benefits of loss reduction in the cascade with particular attention to accuracy. The paper compares the benefits achieved in experiment to the results predicted by computational fluid dynamics (CFD). The results show that both the experiment and CFD give significant reductions in secondary flow. A reduction of 31 per cent in secondary loss has been measured for the best case, but the CFD gives only a small reduction in loss. Previous studies on the planar endwall have shown significant areas of transitional flow, so the surface flow has been studied with the aid of surface-mounted hot films. It was concluded that the loss reductions were not due to changes in regions of laminar and turbulent flow
A joint kinetic analysis of rugby place kicking technique to understand why kickers achieve different performance outcomes
We aimed to identify differences in kicking leg and torso mechanics between groups of rugby place kickers who achieve different performance outcomes, and to understand why these features are associated with varying levels of success. Thirty-three experienced place kickers performed maximum effort place kicks, whilst three-dimensional kinematic (240 Hz) and ground reaction force (960 Hz) data were recorded. Kicking leg and torso mechanics were compared between the more successful (‘long’) kickers and two sub groups of less successful kickers (’short’ and ‘wide-left’) using magnitude-based inferences and statistical parametric mapping. Short kickers achieved substantially slower ball velocities compared with the long kickers (20.8 ± 2.2 m/s vs. 27.6 ± 1.7 m/s, respectively) due to performing substantially less positive hip flexor (normalised mean values = 0.071 vs. 0.092) and knee extensor (0.004 vs. 0.009) joint work throughout the downswing, which may be associated with their more front-on body orientation, and potentially a lack of strength or intent. Wide-left kickers achieved comparable ball velocities (26.9 ± 1.6 m/s) to the long kickers, but they were less accurate due to substantially more longitudinal ball spin and a misdirected linear ball velocity. Wide-left kickers created a tension arc across the torso and therefore greater positive hip flexor joint work (normalised mean = 0.112) throughout the downswing than the long kickers. Whilst this may have assisted kicking foot velocity, it also induced greater longitudinal torso rotation during the downswing, and may have affected the ability of the hip to control the direction of the foot trajectory
- …