2,329 research outputs found
Torsion-Adding and Asymptotic Winding Number for Periodic Window Sequences
In parameter space of nonlinear dynamical systems, windows of periodic states
are aligned following routes of period-adding configuring periodic window
sequences. In state space of driven nonlinear oscillators, we determine the
torsion associated with the periodic states and identify regions of uniform
torsion in the window sequences. Moreover, we find that the measured of torsion
differs by a constant between successive windows in periodic window sequences.
We call this phenomenon as torsion-adding. Finally, combining the torsion and
the period adding rules, we deduce a general rule to obtain the asymptotic
winding number in the accumulation limit of such periodic window sequences
Maximal Sharing in the Lambda Calculus with letrec
Increasing sharing in programs is desirable to compactify the code, and to
avoid duplication of reduction work at run-time, thereby speeding up execution.
We show how a maximal degree of sharing can be obtained for programs expressed
as terms in the lambda calculus with letrec. We introduce a notion of `maximal
compactness' for lambda-letrec-terms among all terms with the same infinite
unfolding. Instead of defined purely syntactically, this notion is based on a
graph semantics. lambda-letrec-terms are interpreted as first-order term graphs
so that unfolding equivalence between terms is preserved and reflected through
bisimilarity of the term graph interpretations. Compactness of the term graphs
can then be compared via functional bisimulation.
We describe practical and efficient methods for the following two problems:
transforming a lambda-letrec-term into a maximally compact form; and deciding
whether two lambda-letrec-terms are unfolding-equivalent. The transformation of
a lambda-letrec-term into maximally compact form proceeds in three
steps:
(i) translate L into its term graph ; (ii) compute the maximally
shared form of as its bisimulation collapse ; (iii) read back a
lambda-letrec-term from the term graph with the property . This guarantees that and have the same unfolding, and that
exhibits maximal sharing.
The procedure for deciding whether two given lambda-letrec-terms and
are unfolding-equivalent computes their term graph interpretations and , and checks whether these term graphs are bisimilar.
For illustration, we also provide a readily usable implementation.Comment: 18 pages, plus 19 pages appendi
Estudo preliminar do controle biológico da traça-do-tomateiro com o parasitóide Trichogramma pretiosum em ambientes protegidos.
Made available in DSpace on 2011-04-09T16:15:26Z (GMT). No. of bitstreams: 1
medeirosestudo.pdf: 682469 bytes, checksum: f1db95f19d9e467dbe451e979e76bb42 (MD5)
Previous issue date: 2009-05-0
Unifying N=5 and N=6
We write the Lagrangian of the general N=5 three-dimensional superconformal
Chern-Simons theory, based on a basic Lie superalgebra, in terms of our
recently introduced N=5 three-algebras. These include N=6 and N=8
three-algebras as special cases. When we impose an antisymmetry condition on
the triple product, the supersymmetry automatically enhances, and the N=5
Lagrangian reduces to that of the well known N=6 theory, including the ABJM and
ABJ models.Comment: 19 pages. v2: Published version. Minor typos corrected, references
adde
Extração, secagem e beneficiamento de sementes de espécies florestais nativas.
Organizado por Patricia Póvoa de Mattos, Celso Garcia Auer, Rejane Stumpf Sberze, Katia Regina Pichelli e Paulo César Botosso
Condutividade hidráulica do solo num sistema de integração lavoura-pecuária.
O estudo objetivou avaliar a condutividade hidráulica saturada de um Latossolo Vermelho conduzido em sistema de Integração Lavoura-Pecuária (ILP).Pôster - pós-graduação
The use of body weight support on ground level: an alternative strategy for gait training of individuals with stroke
<p>Abstract</p> <p>Background</p> <p>Body weight support (BWS) systems on treadmill have been proposed as a strategy for gait training of subjects with stroke. Considering that ground level is the most common locomotion surface and that there is little information about individuals with stroke walking with BWS on ground level, it is important to investigate the use of BWS on ground level in these individuals as a possible alternative strategy for gait training.</p> <p>Methods</p> <p>Thirteen individuals with chronic stroke (four women and nine men; mean age 54.46 years) were videotaped walking on ground level in three experimental conditions: with no harness, with harness bearing full body weight, and with harness bearing 30% of full body weight. Measurements were recorded for mean walking speed, cadence, stride length, stride speed, durations of initial and terminal double stance, single limb support, swing period, and range of motion of ankle, knee, and hip joints; and foot, shank, thigh, and trunk segments.</p> <p>Results</p> <p>The use of BWS system leads to changes in stride length and speed, but not in stance and swing period duration. Only the hip joint was influenced by the BWS system in the 30% BWS condition. Shank and thigh segments presented less range of motion in the 30% BWS condition than in the other conditions, and the trunk was held straighter in the 30% BWS condition than in the other conditions.</p> <p>Conclusion</p> <p>Individuals with stroke using BWS system on ground level walked slower and with shorter stride length than with no harness. BWS also led to reduction of hip, shank, and thigh range of motion. However, this system did not change walking temporal organization and body side asymmetry of individuals with stroke. On the other hand, the BWS system enabled individuals with chronic stroke to walk safely and without physical assistance. In interventions, the physical therapist can watch and correct gait pattern in patients' performance without the need to provide physical assistance.</p
Gait training with partial body weight support during overground walking for individuals with chronic stroke: a pilot study
<p>Abstract</p> <p>Background</p> <p>It is not yet established if the use of body weight support (BWS) systems for gait training is effective <it>per se </it>or if it is the combination of BWS and treadmill that improves the locomotion of individuals with gait impairment. This study investigated the effects of gait training on ground level with partial BWS in individuals with stroke during overground walking with no BWS.</p> <p>Methods</p> <p>Twelve individuals with chronic stroke (53.17 ± 7.52 years old) participated of a gait training program with BWS during overground walking, and were evaluated before and after the gait training period. In both evaluations, individuals were videotaped walking at a self-selected comfortable speed with no BWS. Measurements were obtained for mean walking speed, step length, stride length and speed, toe-clearance, durations of total double stance and single-limb support, and minimum and maximum foot, shank, thigh, and trunk segmental angles.</p> <p>Results</p> <p>After gait training, individuals walked faster, with symmetrical steps, longer and faster strides, and increased toe-clearance. Also, they displayed increased rotation of foot, shank, thigh, and trunk segmental angles on both sides of the body. However, the duration of single-limb support remained asymmetrical between each side of the body after gait training.</p> <p>Conclusions</p> <p>Gait training individuals with chronic stroke with BWS during overground walking improved walking in terms of temporal-spatial parameters and segmental angles. This training strategy might be adopted as a safe, specific and promising strategy for gait rehabilitation after stroke.</p
- …