868 resultados para Concurrent Task
Resumo:
Thesis (Ph.D.)--University of Washington, 2016-08
Resumo:
Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.
Resumo:
The aim of this present study was to investigate on the effects of concurrent training with blood flow restriction (BFR-CT) and concurrent training (CT) on the aerobic fitness, muscle mass and muscle strength in a cohort of older individuals. 25 healthy older adults (64.7±4.1 years; 69.33±10.8 kg; 1.6±0.1 m) were randomly assigned to experimental groups: CT (n=8, endurance training (ET), 2 days/week for 30-40 min, 50-80% VO2peak and RT, 2 days/week, leg press with 4 sets of 10 reps at 70-80% of 1-RM with 60 s rest), BFR-CT (n=10, ET, similar to CT, but resistance training with blood flow restriction: 2 days/week, leg press with 1 set of 30 and 3 sets of 15 reps at 20-30% 1-RM with 60 s rest) or control group (n=7). Quadriceps cross-sectional area (CSAq), 1-RM and VO2peak were assessed pre- and post-examination (12 wk). The CT and BFR-CT showed similar increases in CSAq post-test (7.3%, P<0.001; 7.6%, P<0.0001, respectively), 1-RM (38.1%, P<0.001; 35.4%, P=0.001, respectively) and VO2peak (9.5%, P=0.04; 10.3%, P=0.02, respectively). The BFR-CT promotes similar neuromuscular and cardiorespiratory adaptations as CT.
Resumo:
Universidade Estadual de Campinas . Faculdade de Educação Física
Resumo:
Disruption or loss of tumor suppressor gene TP53 is implicated in the development or progression of almost all different types of human malignancies. Other members of the p53 family have been identified. One member, p73, not only shares a high degree of similarity with p53 in its primary sequence, but also has similar functions. Like p53, p73 can bind to DNA and activate transcription. Using PCR-SSCP and gene sequencing, we analyzed the TP53 and TP73 genes in a case of a grade III anaplastic astrocytoma that progressed to glioblastoma. We found a deletion of AAG at position 595-597 of TP53 (exon 6), resulting in the deletion of Glu 199 in the protein and a genomic polymorphism of TP73, identified as an A-to-G change, at position E8/+15 at intron 8 (IVS8-15A>G). The mutation found at exon 6 of the gene TP53 could be associated with the rapid tumoral progression found in this case, since the mutated p53 may inactivate the wild-type p53 and the p73 alpha protein, which was conserved here, leading to an increase in cellular instability.
Resumo:
Human bocavirus (HBoV) is a parvovirus recently identified in association with acute respiratory infections (ARI). Despite its worldwide occurrence, little is known on the pathogenesis of HBoV infections. In addition, few systematic studies of HBoV in ARI have been conducted in Latin America. Therefore, in order to test whether active viral replication of human bocavirus is associated with respiratory diseases and to understand the clinical impact of this virus in patients with these diseases, we performed a 3-year retrospective hospital-based study of HBoV in outpatients and inpatients with symptoms of Acute Respiratory Infections (ARI) in Brazil. Nasopharyngeal aspirates (NPAs) from 1015 patients with respiratory symptoms were tested for HBoV DNA by PCR. All samples positive for HBoV were tested by PCR for all other respiratory viruses, had HBoV viral loads determined by quantitative real time PCR and, when possible, were tested by RT-PCR for HBoV VP1 mRNA, as evidence of active viral replication. HBoV was detected in 4.8% of patients, with annual rates of 10.0%, 3.0% and 3.0% in 2005, 2006 and 2007, respectively. The range of respiratory symptoms was similar between HBoV-positive and HBoV-negative ARI patients. However, a higher rate of diarrhea was observed in HBoV-positive patients. High HBoV viral loads (> 10(8) copies/mL) and diarrhea were significantly more frequent in patients with exclusive infection by HBoV and in patients with detection of HBoV VP1 mRNA than in patients with viral co-infection, detected in 72.9% of patients with HBoV. In summary, our data demonstrated that active HBoV replication was detected in a small percentage of patients with ARI and was correlated with concurrent diarrhea and lack of other viral co-infections.
Resumo:
Concurrent training is recommended for health improvement, but its acute effects on cardiovascular function are not well established. This study analyzed hemodynamics and autonomic modulation after a single session of aerobic (A), resistance (R), and concurrent (A + R) exercises. Twenty healthy subjects randomly underwent four sessions: control (C:30 min of rest), aerobic (A:30 min, cycle ergometer, 75% of VO(2) peak), resistance (R:6 exercises, 3 sets, 20 repetitions, 50% of 1 RM), and concurrent (AR: A + R). Before and after the interventions, blood pressure (BP), heart rate (HR), cardiac output (CO), and HR variability were measured. Systolic BP decreased after all the exercises, and the greatest decreases were observed after the A and AR sessions (-13 +/- 1 and -11 +/- 1 mmHg, respectively, P < 0.05). Diastolic BP decreased similarly after all the exercises, and this decrease lasted longer after the A session. CO also decreased similarly after the exercises, while systemic vascular resistance increased after the R and AR sessions in the recovery period (+4.0 +/- 1.7 and +6.3 +/- 1.9 U, respectively, P < 0.05). Stroke volume decreased, while HR increased after the exercises, and the greatest responses were observed after the AR session (SV, A = -14.6 +/- 3.6, R = -22.4 +/- 3.5 and AR = -23.4 +/- 2.4 ml; HR, A = +13 +/- 2, R = +15 +/- 2 vs. AR = +20 +/- 2 bpm, P < 0.05). Cardiac sympathovagal balance increased after the exercises, and the greatest increase was observed after the AR session (A = +0.7 +/- 0.8, R = +1.0 +/- 0.8 vs. AR = +1.2 +/- 0.8, P < 0.05). In conclusion, the association of aerobic and resistance exercises in the same training session did not potentiate postexercise hypotension, and increased cardiac sympathetic activation during the recovery period.
Resumo:
This study tested the concurrent and construct validity of a newly developed OMNI-Kayak Scale, testing 8 male kayakers who performed a flatwater load-incremented ""shuttle"" test over a 500-m course and 3 estimation-production trials over a 1,000-m course. Velocity, blood lactate concentration, heart rate, and rating of perceived exertion (RPE), using the OMNI-Kayak RPE Scale and the Borg 6-20 Scale were recorded. OMNI-Kayak Scale RPE was highly correlated with velocity, the Borg 6-20 Scale RPE, blood lactate, and heart rate for both load-incremented test (rs=.87-.96), and estimation trials (rs=.75-.90). There were no significant differences among velocities, heart rate and blood lactate concentration between estimation and production trials. The OMNI-Kayak RPE Scale showed concurrent and construct validity in assessing perception of effort in flatwater kayaking and is a valid tool for self-regulation of exercise intensity.
Resumo:
The aim of this study was to investigate the effects of knowledge of results (KR) frequency and task complexity on motor skill acquisition. The task consisted of throwing a bocha ball to place it as close as possible to the target ball. 120 students ages 11 to 73 years were assigned to one of eight experimental groups according to knowledge of results frequency (25, 50, 75, and 100%) and task complexity (simple and complex). Subjects performed 90 trials in the acquisition phase and 10 trials in the transfer test. The results showed that knowledge of results given at a frequency of 25% resulted in an inferior absolute error than 50% and inferior variable error than 50, 75, and 100 I frequencies, but no effect of task complexity was found.
Resumo:
An experiment was conducted to investigate the persistence of the effect of ""bandwidth knowledge of results (KR)"" manipulated during the learning phase of performing a manual force-control task. The experiment consisted of two phases, an acquisition phase with the goal of maintaining 60% maximum force in 30 trials, and a second phase with the objective of maintaining 40% of maximum force in 20 further trials. There were four bandwidths of KR: when performance error exceeded 5, 10, or 15% of the target, and a control group (0% bandwidth). Analysis showed that 5, 10, and 15% bandwidth led to better performance than 0% bandwidth KR at the beginning of the second phase and persisted during the extended trials.
Resumo:
In order to evaluate the effects of uncertainty about direction of mechanical perturbation and supra-postural task constraint on postural control young adults had their upright stance perturbed while holding a tray in a horizontal position Stance was perturbed by moving forward or backward a supporting platform contrasting situations of certainty versus uncertainty of direction of displacement Increased constraint on postural stability was Imposed by a supra-postural task of equilibrating a cylinder on the tray Performance was assessed through EMG of anterior leg muscles angular displacement of the main Joints involved in the postural reactions and displacement of the tray Results showed that both certainty on the direction of perturbation and Increased supra-postural task constraint led to decreased angular displacement of the knee and the hip Furthermore combination of certainty and high supra-postural task constraint produced shorter latency of muscular activation Such postural responses were paralleled by decreased displacement of the tray Thesi results suggest a functional integration between the tasks with central set priming reactive postural responses from contextual cues and Increased stability demand (C) 2010 Elsevier B V All rights reserved
Resumo:
Pinto, ALS, Oliveira, NC, Gualano, B, Christmann, RB, Painelli, VS, Artioli, GG, Prado, DML, and Lima, FR. Efficacy and safety of concurrent training in systemic sclerosis. J Strength Cond Res 25(5): 1423-1428, 2011-The optimal training model for patients with systemic sclerosis (SSc) is unknown. In this study, we aimed to investigate the effects of a 12-week combined resistance and aerobic training program (concurrent training) in SSc patients. Eleven patients with no evidence of pulmonary involvement were recruited for the exercise program. Lower and upper limb dynamic strengths (assessed by 1 repetition maximum [1RM] of a leg press and bench press, respectively), isometric strength (assessed by back pull and handgrip tests), balance and mobility (assessed by the timed up-and-go test), muscle function (assessed by the timed-stands test), Rodnan score, digital ulcers, Rayland`s phenomenon, and blood markers of muscle inflammation (creatine kinase and aldolase) were assessed at baseline and after the 12-week program. Exercise training significantly enhanced the 1RM leg press (41%) and 1RM bench press (13%) values and back pull (24%) and handgrip strength (11%). Muscle function was also improved (15%), but balance and mobility were not significantly changed. The time-to-exhaustion was increased (46.5%, p = 0.0004), the heart rate at rest condition was significantly reduced, and the workload and time of exercise at ventilatory thresholds and peak of exercise were increased. However, maximal and submaximal (V)over dotO(2) were unaltered (p > 0.05). The Rodnan score was unchanged, and muscle enzymes remained within normal levels. No change was observed in digital ulcers and Raynaud`s phenomenon. This is the first study to demonstrate that a 12-week concurrent training program is safe and substantially improves muscle strength, function, and aerobic capacity in SSc patients.
Resumo:
This study was designed to identify perseverative reaching tendencies in children with intellectual disabilities (ID), over a period of 1 year, by using a version of the Piagetian ""A not B"" task modified by Smith, Thelen, Titzer, and McLin (1999). Nine children (4.8 years old at the beginning of the study) with intellectual disabilities (ID) (eight with mild ID; one with moderate ID) were assessed every 3 months for approximately 1 year, totaling four assessments. The results indicate that in a majority of the cases perseveration was resilient, and that the visual system decoupled from the reaching, especially towards the later assessment periods at the end of the year. Across assessment periods variability seemed to increase in each trial (A1 through B2) for reached target. These individuals, vulnerable to distraction and attention and to short-term memory deficits, are easily locked into rigid modes of motor habits. They are susceptible to perseveration while performing simple task contexts that are typically designed for 10- to 12-month-old, normally-developing infants, therefore creating strong confinements to stable, rigid modes of elementary forms of behavior. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Members of social insect colonies employ a large variety of chemical signals during their life. Of these, cuticular hydrocarbons are of primary importance for social insects since they allow for the recognition of conspecifics, nestmates and even members of different castes. The objectives of this study were (1) to characterize the variation of the chemical profiles among workers of the stingless bee Melipona marginata, and (2) to investigate the dependence of the chemical profiles on the age and on the behavior of the studied individuals. The results showed that cuticular hydrocarbon profiles of workers were composed of alkanes, alkenes and alkadienes that varied quantitatively and qualitatively according to function of workers in the colony. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
This paper describes an example of spontaneous transitions between qualitatively different coordination patterns during a cyclic lifting and lowering task. Eleven participants performed 12 trials of repetitive lifting and lowering in a ramp protocol in which the height of the lower shelf was raised or lowered 1 cm per cycle between 10 and 50 cm. Two distinct patterns of coordination were evident: a squat technique in which moderate range of hip, knee and ankle movement was utilised and ankle plantar-flexion occurred simultaneously with knee and hip extension; and a stoop technique in which the range of knee movement was reduced and knee and hip extension was accompanied by simultaneous ankle dorsi-flexion. Abrupt transitions from stoop to squat techniques were observed during descending trials, and from squat to stoop during ascending trials. Indications of hysteresis was observed in that transitions were more frequently observed during descending trials, and the average shelf height at the transition was 5 cm higher during ascending trials. The transitions may be a consequence of a trade-off between the biomechanical advantages of each technique and the influence of the lift height on this trade-off.