19 resultados para Location-dependent control-flow patterns

em University of Queensland eSpace - Australia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Particle flow patterns were investigated for wet granulation and dry powder mixing in ploughshare mixers using Positron Emission Particle Tracking (PEPT). In a 4-1 mixer, calcium carbonate with mean size 45 mum was granulated using a 50 wt.% solution of glycerol and water as binding fluid, and particle movement was followed using a 600-mum calcium hydroxy-phosphate tracer particle. In a 20-1 mixer, dry powder flow was studied using a 600-mum resin bead tracer particle to simulate the bulk polypropylene powder with mean size 600 mum. Important differences were seen between particle flow patterns for wet and dry systems. Particle speed relative to blade speed was lower in the wet system than in the dry system, with the ratios of average particle speed to blade tip speed for all experiments in the range 0.01-015. In the axial plane, the same particle motion was observed around each blade; this provides a significant advance for modelling flow in ploughshare mixers. For the future, a detailed understanding of the local velocity, acceleration and density variations around a plough blade will reveal the effects of flow patterns in granulating systems on the resultant distribution of granular product attributes such as size, density and strength. (C) 2002 Elsevier Science B.V All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Stirred Mills are becoming increasingly used for fine and ultra-fine grinding. This technology is still poorly understood when used in the mineral processing context. This makes process optimisation of such devices problematic. 3D DEM simulations of the flow of grinding media in pilot scale tower mills and pin mills are carried out in order to investigate the relative performance of these stirred mills. In the first part of this paper, media flow patterns and energy absorption rates and distributions were analysed to provide a good understanding of the media flow and the collisional environment in these mills. In this second part we analyse steady state coherent flow structures, liner stress and wear by impact and abrasion. We also examine mixing and transport efficiency. Together these provide a comprehensive understanding of all the key processes operating in these mills and a clear understanding of the relative performance issues. (C) 2006 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper proposes a methodological framework for use in designing location-dependent games or experiences. An increasing interest in this genre has given rise to a number of common issues surrounding the design and development of these types of experience. Specifically, the treatment of and approach to the use of location gives rise to particular design considerations. The framework proposed here aims to highlight these and provide designers with tools for use in addressing these.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Reptiles change heart rate and blood flow patterns in response to heating and cooling, thereby decreasing the behavioural cost of thermoregulation. We tested the hypothesis that locally produced vasoactive substances, nitric oxide and prostaglandins, mediate the cardiovascular response of reptiles to heat. Heart rate and blood pressure were measured in eight crocodiles (Crocodylus porosus) during heating and cooling and while sequentially inhibiting nitric-oxide synthase and cyclooxygenase enzymes. Heart rate and blood pressure were significantly higher during heating than during cooling in all treatments. Power spectral density of heart rate and blood pressure increased significantly during heating and cooling compared to the preceding period of thermal equilibrium. Spectral density of heart rate in the high frequency band (0.19-0.70 Hz) was significantly greater during cooling in the saline treatment compared to when nitric-oxide synthase and cyclooxygenase enzymes were inhibited. Cross spectral analysis showed that changes in blood pressure preceded heart rate changes at low frequencies (

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Interconnecting business processes across systems and organisations is considered to provide significant benefits, such as greater process transparency, higher degrees of integration, facilitation of communication, and consequently higher throughput in a given time interval. However, to achieve these benefits requires tackling constraints. In the context of this paper these are privacy-requirements of the involved workflows and their mutual dependencies. Workflow views are a promising conceptional approach to address the issue of privacy; however this approach requires addressing the issue of interdependencies between workflow view and adjacent private workflow. In this paper we focus on three aspects concerning the support for execution of cross-organisational workflows that have been modelled with a workflow view approach: (i) communication between the entities of a view-based workflow model, (ii) their impact on an extended workflow engine, and (iii) the design of a cross-organisational workflow architecture (CWA). We consider communication aspects in terms of state dependencies and control flow dependencies. We propose to tightly couple private workflow and workflow view with state dependencies, whilst to loosely couple workflow views with control flow dependencies. We introduce a Petri-Net-based state transition approach that binds states of private workflow tasks to their adjacent workflow view-task. On the basis of these communication aspects we develop a CWA for view-based cross-organisational workflow execution. Its concepts are valid for mediated and unmediated interactions and express no choice of a particular technology. The concepts are demonstrated by a scenario, run by two extended workflow management systems. (C) 2004 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Stirred mills are becoming increasingly used for fine and ultra-fine grinding. This technology is still poorly understood when used in the mineral processing context. This makes process optimisation of such devices problematic. 3D DEM simulations of the flow of grinding media in pilot scale tower mills and pin mills are carried out in order to investigate the relative performance of these stirred mills. Media flow patterns and energy absorption rates and distributions are analysed here. In the second part of this paper, coherent flow structures, equipment wear and mixing and transport efficiency are analysed. (C) 2006 Published by Elsevier Ltd.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Pain changes postural activation of the trunk muscles. The cause of these changes is not known but one possibility relates to the information processing requirements and the stressful nature of pain. This study investigated this possibility by evaluating electromyographic activity (EMG) of the deep and superficial trunk muscles associated with voluntary rapid arm movement. Data were collected from control trials, trials during low back pain (LBP) elicited by injection of hypertonic saline into the back muscles, trials during a non-painful attention-demanding task, and during the same task that was also stressful. Pain did not change the reaction time (RT) of the movement, had variable effects on RT of the superficial trunk muscles, but consistently increased RT of the deepest abdominal muscle. The effect of the attention-demanding task was opposite: increased RT of the movement and the superficial trunk muscles but no effect on RT of the deep trunk muscles. Thus, activation of the deep trunk muscles occurred earlier relative to the movement. When the attention-demanding task was made stressful, the RT of the movement and superficial trunk muscles was unchanged but the RT of the deep trunk muscles was increased. Thus, the temporal relationship between deep trunk muscle activation and arm movement was restored. This means that although postural activation of the deep trunk muscles is not affected when central nervous system resources are limited, it is delayed when the individual is also under stress. However, a non-painful attention-demanding task does not replicate the effect of pain on postural control of the trunk muscles even when the task is stressful.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Both large and small scale migrations of Helicoverpa armigera Hübner in Australia were investigated using AMOVA analysis and genetic assignment tests. Five microsatellite loci were screened across 3142 individuals from 16 localities in eight major cotton and grain growing regions within Australia, over a 38-month period (November 1999 to January 2003). From November 1999 to March 2001 relatively low levels of migration were characterized between growing regions. Substantially higher than average gene-flow rates and limited differentiation between cropping regions characterized the period from April 2001 to March 2002. A reduced migration rate in the year from April 2002 to March 2003 resulted in significant genetic structuring between cropping regions. This differentiation was established within two or three generations. Genetic drift alone is unlikely to drive genetic differentiation over such a small number of generations, unless it is accompanied by extreme bottlenecks and/or selection. Helicoverpa armigera in Australia demonstrated isolation by distance, so immigration into cropping regions is more likely to come from nearby regions than from afar. This effect was most pronounced in years with limited migration. However, there is evidence of long distance dispersal events in periods of high migration (April 2001-March 2002). The implications of highly variable migration patterns for resistance management are considered.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The calcium-dependent afterhyperpolarization (AHP) that follows trains of action potentials is responsible for controlling action potential firing patterns in many neuronal cell types. We have previously shown that the slow AHP contributes to spike frequency adaptation in pyramidal neurons in the rat lateral amygdala. In addition, a dendritic voltage-gated potassium current mediated by Kv1.2-containing channels also suppresses action potential firing in these neurons. In this paper we show that this voltage-gated potassium current and the slow AHP act together to control spike frequency adaptation in lateral amygdala pyramidal neurons. The two currents have similar effects on action potential number when firing is evoked either by depolarizing current injections or by synaptic stimulation. However, they differ in their control of firing frequency, with the voltage-gated potassium current but not the slow AHP determining the initial frequency of action potential firing. This dual mechanism of controlling firing patterns is unique to lateral amygdala neurons and is likely to contribute to the very low levels of firing seen in lateral amygdala neurons in vivo.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

To investigate the control mechanisms used in adapting to position-dependent forces, subjects performed 150 horizontal reaching movements over 25 cm in the presence of a position-dependent parabolic force field (PF). The PF acted only over the first 10 cm of the movement. On every fifth trial, a virtual mechanical guide (double wall) constrained subjects to move along a straight-line path between the start and target positions. Its purpose was to register lateral force to track formation of an internal model of the force field, and to look for evidence of possible alternative adaptive strategies. The force field produced a force to the right, which initially caused subjects to deviate in that direction. They reacted by producing deviations to the left, into the force field, as early as the second trial. Further adaptation resulted in rapid exponential reduction of kinematic error in the latter portion of the movement, where the greatest perturbation to the handpath was initially observed, whereas there was little modification of the handpath in the region where the PF was active. Significant force directed to counteract the PF was measured on the first guided trial, and was modified during the first half of the learning set. The total force impulse in the region of the PF increased throughout the learning trials, but it always remained less than that produced by the PF. The force profile did not resemble a mirror image of the PF in that it tended to be more trapezoidal than parabolic in shape. As in previous studies of force-field adaptation, we found that changes in muscle activation involved a general increase in the activity of all muscles, which increased arm stiffness, and selectively-greater increases in the activation of muscles which counteracted the PF. With training, activation was exponentially reduced, albeit more slowly than kinematic error. Progressive changes in kinematics and EMG occurred predominantly in the region of the workspace beyond the force field. We suggest that constraints on muscle mechanics limit the ability of the central nervous system to employ an inverse dynamics model to nullify impulse-like forces by generating mirror-image forces. Consequently, subjects adopted a strategy of slightly overcompensating for the first half of the force field, then allowing the force field to push them in the opposite direction. Muscle activity patterns in the region beyond the boundary of the force field were subsequently adjusted because of the relatively-slow response of the second-order mechanics of muscle impedance to the force impulse.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A disappointing feature of conventional methods for detecting association between DNA variation and a phenotype of interest is that they tell us little about the hidden pattern of linkage disequilibrium (LD) with the functional variant that is actually responsible for the association. This limitation applies to case-control studies and also to the transmission/disequilibrium test (TDT) and other family-based association methods. Here we present a fresh perspective on genetic association based on two novel concepts called 'LD squares' and 'equi-risk alleles'. These describe and characterize the different patterns of gametic LD which underlie genetic association. These concepts lead to a general principle - the Equi-Risk Allele Segregation Principle - which captures the way in which underlying LD patterns affect the transmission patterns of genetic variants associated with a phenotype. This provides a basis for distinguishing the hidden LD patterns and might help to locate the functional variants responsible for the association.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Many endangered species worldwide are found in remnant populations, often within fragmented landscapes. However, when possible, an understanding of the natural extent of population structure and dispersal behaviour of threatened species would assist in their conservation and management. The brush-tailed rock-wallaby (Petrogale penicillata), a once abundant and widespread rock-wallaby species across southeastern Australia, has become nearly extinct across much of the southern part of its range. However, the northern part of the species' range still sustains many small colonies closely distributed across suitable habitat, providing a rare opportunity to investigate the natural population dynamics of a listed threatened species. We used 12 microsatellite markers to investigate genetic diversity, population structure and gene flow among brush-tailed rock-wallaby colonies within and among two valley regions with continuous habitat in southeast Queensland. We documented high and signifcant levels of population genetic structure between rock-wallaby colonies embedded in continuous escarpment habitat and forest. We found a strong and significant pattern of isolation-by-distance among colonies indicating restricted gene flow over a small geographic scale (< 10 km) and conclude that gene flow is more likely limited by intrinsic factors rather than environmental factors. In addition, we provide evidence that genetic diversity was significantly lower in colonies located in a more isolated valley region compared to colonies located in a valley region surrounded by continuous habitat. These findings shed light on the processes that have resulted in the endangered status of rock-wallaby species in Australia and they have strong implications for the conservation and management of both the remaining 'connected' brush-tailed rock-wallaby colonies in the northern parts of the species' range and the remnant endangered populations in the south.