We present an off-line methodology of analysis of real-time systems, composed of periodic, precedence and resource constrained real-time tasks. As there is no polynomial optimal scheduling technique for such tasks sets, we present an enumerative method based on the construction of the state graph of a Petri net. The time is modeled by the Petri net through the earliest firing rule.

In this paper we present token flow based synthesis of bounded Petri nets from labelled prime event structures (LPES) associated with a cutting context. For this purpose we use unfolding semantics based on token flows. Given an infinite LPES represented by some finite prefix equipped with a cutting context and cut-off events it is shown how to synthesize a bounded Petri net, such that the unfol...

BACKGROUND Humans normally dissipate significant energy during walking, largely at the transitions between steps. The ankle then acts to restore energy during push-off, which may be the reason that ankle impairment nearly always leads to poorer walking economy. The replacement of lost energy is necessary for steady gait, in which mechanical energy is constant on average, external dissipation is...

Static leakage currents are the prime contributor to energy consumption for large on-chip secondary/tertiary caches. This energy cost can be reduced by dynamically disabling unneeded portions of the cache. To provide overall energy savings, however, the leakage-energy reduction must exceed the extra energy incurred due to additional off-chip accesses and increased runtime. We derive a practical...

Twelve elderly female rheumatoid arthritis patients (mean age = 65.5 +/- 8.6 yr) were assessed rising from an instrumented Eser Ejector chair under four conditions: high seat (540 mm), low seat (450 mm), with and without the ejector mechanism operating. Sagittal plane motion, ground reaction forces, and vertical chair arm rest forces were recorded during each trial with the signals synchronised...

Economic decisions on animal health strategies address the cost-benefit aspect along with animal welfare and public health concerns. Decision tree analysis at an individual cow level highlighted that there is little economic difference between the use of either dry cow antibiotic or an internal teat sealant in preventing a new intramammary infection in a cow free of infection in all quarters of...

cumin (cuminum cyminum) is an annual suitable for the dry and semi-dry areas of iran. recently, farmers have chosen to plant cumin because it requires less water and growth time. however, at harvest time, the resistance of cumin seed to shatter is low and, if careful attention is not paid to this fact, a major portion of the crop can be lost. when the connection force of the seed decreases, see...

INTRODUCTION Rigid Ankle-Foot Orthoses (AFOs) are commonly prescribed to counteract excessive knee flexion during the stance phase of gait in children with cerebral palsy (CP). While rigid AFOs may normalize knee kinematics and kinetics effectively, it has the disadvantage of impeding push-off power. A spring-like AFO may enhance push-off power, which may come at the cost of reducing the knee f...

PURPOSE To study how the photoreceptoral and postreceptoral ON- and OFF-components contribute to the photopic sine-wave flicker ERG in the monkey by isolating the components with glutamate analogs. METHODS Monkey photopic flicker ERGs were elicited with sine wave stimuli (mean luminance, 2.66 log cd/m(2); 80% modulation depth, on a 40 cd/m(2) white background) and were recorded for stimulus f...