Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system

We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic programming systems, and their generalization to constraint programming. We propose a new view of these systems, based on a particular definition of parallelism. We argüe that, under this view, a large number of the actual systems and models can be explained through the application, at different levéis of granularity, of only a few basic principies: determinism, non-failure, independence (also referred to as stability), granularity, etc. Also, and based on the convergence of concepts that this view brings, we sketch a model for the implementation of several parallel constraint logic programming source languages and models based on a common, generic abstract machine and an intermedíate kernel language.

On the uses of attributed variables in parallel and concurrent logic programming systems

Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it. This approach is very attractive in that by adding a few primitives any logic programming system can be turned into a generic constraint logic programming system in which constraint solving can be user defined, and at source level - an extreme example of the "glass box" approach. In this paper we propose a different and novel use for the concept of attributed variables: developing a generic parallel/concurrent (constraint) logic programming system, using the same "glass box" flavor. We argüe that a system which implements attributed variables and a few additional primitives can be easily customized at source level to implement many of the languages and execution models of parallelism and concurrency currently proposed, in both shared memory and distributed systems. We illustrate this through examples.

Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint system

We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic programming systems, and their generalization to constraint programming. We propose a new view of these systems, based on a particular definition of parallelism. We argüe that, under this view, a large number of the actual systems and models can be explained through the application, at different levéis of granularity, of only a few basic principies: determinism, non-failure, independence (also referred to as stability), granularity, etc. Also, and based on the convergence of concepts that this view brings, we sketch a model for the implementation of several parallel constraint logic programming source languages and models based on a common, generic abstract machine and an intermedíate kernel language.

Implementation of an event driven scheme for visualizing parallel execution of logic programs

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Analysis of concurrent constraint logic programs with a fixed scheduling rule

The analysis of concurrent constraint programs is a challenge due to the inherently concurrent behaviour of its computational model. However, most implementations of the concurrent paradigm can be viewed as a computation with a fixed scheduling rule which suspends some goals so that their execution is postponed until some condition awakens them. For a certain kind of properties, an analysis defined in these terms is correct. Furthermore, it is much more tractable, and in addition can make use of existing analysis technology for the underlying fixed computation rule. We show how this can be done when the starting point is a framework for the analysis of sequential programs. The resulting analysis, which incorporates suspensions, is adequate for concurrent models where concurrency is localized, e.g. the Andorra model. We refine the analysis for this particular case. Another model in which concurrency is preferably encapsulated, and thus suspensions are local to parts of the computation, is that of CIAO. Nonetheless, the analysis scheme can be generalized to models with global concurrency. We also sketch how this could be done, and we show how the resulting analysis framework could be used for analyzing typical properties, such as suspensión freeness.

Reasoning about deadlines in concurrent real-time programs

We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.

Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Effect Of Concurrent Training With Blood Flow Restriction In The Elderly.

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.

Variabilidade da frequência cardíaca após treinamento concorrente : comparação entre homens e mulheres de meia-idade = Heart rate variability after concurrent training : comparison between middle-aged men and women

Universidade Estadual de Campinas . Faculdade de Educação Física

Concurrent sequence variation of TP53 and TP73 genes in anaplastic astrocytoma

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.

Detection of Human Bocavirus mRNA in Respiratory Secretions Correlates with High Viral Load and Concurrent Diarrhea

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.

Post-concurrent exercise hemodynamics and cardiac autonomic modulation

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.

Construct and concurrent validation of omni-kayak rating of perceived exertion scale

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.

Efficacy and safety of concurrent training in systemic sclerosis

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.