Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T06:25:29Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T18:43:15Z : No. of bitstreams: 1 99103.pdf: 4420204 bytes, checksum: 61f75c865ab517766450c9fd7a150e63 (MD5) / Este trabalho apresenta uma pesquisa que introduz um modelo baseado em features concebido para representação de informações de projeto e fabricação referentes a um produto, relacionadas às análises de manufaturabilidade, tecnologia de grupo e seleção de processos de fabricação. O objetivo principal do trabalho é testar a validade conceitual desse modelo, através da implementação de dois módulos específicos trabalhando de maneira integrada, fornecendo bases para sua migração para um ambiente de Engenharia Concorrente.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-04-06T13:27:55Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) versao_biblioteca.pdf: 3051240 bytes, checksum: ac1a91e08d64c78a372cb0e151bcb7c7 (MD5) / Made available in DSpace on 2016-04-06T13:27:55Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) versao_biblioteca.pdf: 3051240 bytes, checksum: ac1a91e08d64c78a372cb0e151bcb7c7 (MD5) Previous issue date: 2015-02-24 / CAPEs / Empowering application programmers to make energy-aware decisions is a critical dimension in improving energy efficiency of computer systems. Despite the growing interest in designing software development processes, frameworks, and programming models to facilitate application-level energy management, little is known on how to design application-level energy-efficient solutions for concurrent software running on parallel architectures. This is unfortunate for at least two reasons: (1) thanks to the proliferation of multicore CPUs, concurrent programming is a standard practice in modern software engineering; (2) a CPU with more cores (say 32) often consumes more power than one with fewer cores (say 1 or 2). However, application developers still do not understand how their code modifications impact energy consumption in a parallel system. Analyzing STACKOVERFLOW showed evidence that this is a real problem; Even though the interest in energy consumption issues is increasing over the years, developers still hold misconceptions and assumptions that are not always true. This lack of knowledge is primarily due to a lack of appropriate tools to measure/identify/refactor energy consumption hotspots. This thesis begins to bridge the chasm of the first problem — the lack of knowledge — by presenting an extensive experimental space exploration over two concurrent programming building blocks: (1) thread-safe collections and (2) thread management constructs. Through a list of findings that are not always obvious, we illuminate the relationship between the choices and settings of design decisions and energy consumption of parallel systems. This thesis then starts to bridge the gap of the second problem — the lack of tools. Lessons learned in our previous studies showed that ForkJoin tasks often operate on an indexable data structure, with subtasks operating only on part of this data structure. One naïve solution is to copy part of the data structure and use it in the next computation. In a recursive framework such as ForkJoin, given an array-based representation, each recursive call will create n new arrays, where n is the width of forking. To address this, we derive a refactoring that, instead of copy part of the data structure, it shares it, allowing subtasks to operate on contiguous partitions of the data structure. We manually applied this refactoring into 15 open source projects. Our refactoring succeed in saving energy for each one of them (12% average saving). We sent the refactored versions to the project owner and, during a timeframe of 40 days, 7 out of 9 projects that replied to our patches have already accepted and merged them. Discussions during the merge process revealed that developers were not aware of this optimization. We then implemented this refactoring as an Eclipse plug-in so that other developers can (1) detect uses of copy where it would be beneficial to use sharing and (2) refactor the code in an automated way. / Fornecer meios para que desenvolvedores de software tomem decisões energeticamente eficientes é uma dimensão crítica para se melhorar o consumo de energia de sistemas computacionais. Apesar do crescente interesse em processos de desenvolvimento de software, arcabouços, e modelos de programação de forma a facilitar o gerenciamento de energia no nível da aplicação, pouco se sabe sobre como arquitetar sistemas concorrentes energéticamente eficientes que rodem em arquiteturas paralelas. Isso é inoportuno por pelo menos duas razões: (1) graças a proliferação de CPUs multicore, programação concorrente se tornou uma prática padrão na engenharia de software moderna; (2) uma CPU com várias unidades de processamento (por exemplo, 32) geralmente dissipa mais potência do que uma com um número menor (por exemplo, 1 ou 2). No entanto, desenvolvedores ainda não entendem como suas modificações de código impactam no consumo de energia de uma aplicação paralela. Uma análise do StackOverflow mostrou evidências que esse é um problema real; mesmo embora exista um crescente interesse em questões relacionadas ao consumo de energia, desenvolvedores ainda cometem equívocos e mantêm suposições que não são sempre verdadeiras. Essa falta de conhecimento é primariamente devido a falta de ferramentas apropriadas para medir/identificar/refatorar hotspots de consumo de energia. Essa tese então começa a pavimentar o abismo do primeiro problema — a falta de conhecimento — através de uma extensa exploração experimental de dois dos pilares fundamentais da programação concorrente: (1) coleções thread-safe e (2) construções para o gerenciamento de threads. Através de uma lista de achados que não são sempre óbvios, esta tese ilumina o relacionamento entre escolhas de design de código paralelo com seu consumo de energia. Esta tese começa então a pavimentar a lacuna do segundo problema — a falta de ferramentas. Lições aprendidas em um dos estudos anteriores mostraram que várias tarefas do arcabouço ForkJoin operam em estrutura de dados indexáveis, com sub-tarefas operando somente em parte dessa estrutura de dados. Uma solução ingênua é de copiar parta da estrutura de dados e utiliza-la na computação sub-sequente. Em um arcabouço recursivo como o ForkJoin, dado uma representação baseada em arrays, cada chamada recursiva criará n novos arrays, onde n é a profundidade do fork. Como solução, esta tese apresenta uma refatoração que, ao invés de copiar parte da estrutura de dados, ela compartilha-a, possibilitando que sub-tarefas operem em partições contíguas da estrutura de dados. Essa refatoração foi avaliada em 15 projetos de código aberto, a qual foi capaz de economizar energia em todos os casos (média de 12% de economia). A versão refatorada foi enviada aos mantenedores do projeto original e, durante um período de 40 dias, 7 dos 9 mantenedores que responderam aos patches enviados já haviam aceitado-os e integrado-os. Discussões durante o processo de integração revelaram que desenvolvedores não estão cientes desta otimização. Esta tese então implementou essa refatoração como um plug-in da IDE Eclipse de forma que outros desenvolvedores possam (1) detectar usos de cópia em cenários o quais seriam beneficiais o uso do modelo de compartilhamento and (2) refatorar o código de forma automática.

O envelhecimento é um processo inexorável, porém a redução gradativa da capacidade do organismo está bastante ligada com os hábitos do estilo de vida e a fatores genéticos. Polimorfismos nos genes que codificam a enzima conversora de angiotensina (ECA) e a proteína alfa-actinina 3 (ACTN3) podem resultar em mudanças na aptidão física. Já o treinamento físico tem sido utilizado como uma ferramenta não farmacológica na prevenção primária em saúde. Por fim, a periodização deste treinamento busca ser um meio sistemático de planejar e organizar o treinamento de modo a torná-lo mais eficiente. Não há na literatura estudos com a periodização ou com os genótipos da ECA e ACT3 associados ao treinamento combinado. Nesse contexto, o objetivo desse estudo foi avaliar diferentes modelos de periodização do treinamento no exercício físico combinado em variáveis de saúde e comparar a magnitude da resposta em indivíduos com diferentes características genéticas em relação aos genes ECA e ACTN3. Após três semanas de adaptação, 54 mulheres com idade entre 50-75 anos foram randomicamente divididas nos modelos de treinamento a) não periodizado (NP), b) periodização não linear (NL) ou c) periodização não linear flexível (NLF). Para os valores pré e pós 12 semanas de treinamento, aptidão aeróbia (consumo máximo de oxigênio [VO2 pico] e teste de caminhada de seis minutos) e força muscular (1 RM no supino e leg press) foram medidas. A genotipagem da ECA foi feita por PCR convencional e a ACTN3 por PCR em tempo real. Os resultados mostraram que a força máxima foi aumentada estatisticamente no supino (effect size [ES] de 1,18 em PNL e 1,22 em PNLF] e leg press (ES de 0,92 em PNL e 0,98 em PNLF) nos grupos PNL e PNLF. No teste de caminhada de seis minutos, a magnitude da aptidão aeróbica melhorou em todos os grupos (ES de 1,02 em NP, 1,33 em PNL e 0,54 em PNLF). Para o gene da ECA, houve uma diferença estatística entre os grupos do pré para o pós no supino (ID/DD: 18,6%; II: 8,3%). Para o gene da ACTN3, houve diferença estatística do pré para o pós dentro do grupo no supino (CC/CT: 17,4%; TT: 6,9%) e leg press (CC/CT: 12,3%; TT: 7,5%) apenas no grupo CC/CT. Em conclusão, o presente estudo mostrou que os modelos periodizados foram capazes de induzir melhorias significativas na força muscular em mulheres pós menopausa fisicamente ativas. Além disso, os genótipos ID/DD do gene da ECA e CC/CT do gene da ACTN3 melhor efeito na força muscular no treinamento combinado. / The aging is an inexorable process, but the gradual reduction of the capacity in the organism is related with lifestyle habits and genetic factors. Polymorphisms in genes encoding both angiotensin converting enzyme (ACE) and alpha-actinin 3 protein (ACTN3) may result in changes in physical fitness. Physical training has been used as a non-pharmacological tool in primary health prevention. Finally, the periodization training is a systematic means of planning and organizing training to do it more efficient. There are no studies in the literature with periodization or with ACT and ACT3 genotypes associated to combined training. In this context, the objective of this study was to evaluate different models of periodization training in combined exercise training in health variables and to compare the magnitude of the response in individuals with different genetic characteristics in relation to the ACE and ACTN3 genes. After three weeks of adaptation, 54 women aged 50-75 years were randomly assigned to a) nonperiodization (NP), b) non-linear periodization (NLP) or c) flexible non-linear periodization (FNLP). At baseline and after 12 weeks, aerobic fitness (peak oxygen uptake [VO2peak] and six-minute walk test) and maximal muscle strength (1 RM bench press and leg press) were measured. The ACE genotyping was performed trough conventional PCR and ACTN3 by real-time PCR. The results showed that the magnitude of the maximal strength statistically increased in the bench press [effect size (ES) of 1.18 in NLP and 1.22 in FNLP] and leg press (ES of 0.92 in NLP and 0.98 in FNLP) only in the periodized groups. In six-minute walk test, the magnitude of the aerobic fitness improved in all groups (ES of 1.02 in NP, 1.33 in UP and 0.54 in FNLP). In conclusion, the present study showed that periodized models could induce significant improvements on muscle strength in active postmenopausal women. In the ACE gene, there was a statistical difference between the groups from pre to post supine (ID / DD: 18.6%, II: 8.3%). For the ACTN3 gene, there was a statistical difference between the pre and post within the group in the bench press (CC/CT: 17,4%; TT: 6,9%) and leg press (CC/CT: 12,3%; TT: 7,5%) only in the CC/CT group. In conclusion, the present study showed that periodized models could induce significant improvements on muscle strength in active postmenopausal women. In addition, the genotypes ID / DD of the ECA and CC / CT gene of ACTN3 gene had a better effect to muscle strength.

Orientador: Rubens Maciel Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-25T09:46:02Z (GMT). No. of bitstreams: 1 PapesFilho_AntonioCarlos_M.pdf: 2987194 bytes, checksum: cca9cf25f6a842929fea2098e1907ab9 (MD5) Previous issue date: 1999 / Resumo: Neste trabalho, desenvolveu-se um sistema de softwares para auxiliar a operação e o projeto de reatores (CAD ¿ Computer Aided Design), buscando fornecer uma ferramenta para operadores e engenheiros de modo a prever o comportamento do sistema quando há um desvio no processo, reestabelecer com rapidez as condições normais, definir políticas operacionais e auxiliar o projeto destes equipamentos. Um software em Borland C++, empregando técnicas de Inteligência Artificial (¿rule-based¿), atua como um Sistema Especialista, guiando o usuário na simulação do reator. Este programa controla o conjunto de softwares e realiza automaticamente um estudo do sistema através de diversas simulações, fornecendo os resultados de uma forma facilmente compreensível. Utilizou-se um software em Fortran para a simulação do reator, empregando um modelo matemático determinístico, unidimensional e pseudo-homegênio. Os conceitos de sensitividade paramétrica serão utilizados neste simulador para quantificar a estabilidade térmica do reator. A taxa de reação foi estimada através de um algoritmo de redes neurais artificiais (RNA), empregando-se um software em Fortran para realizar o treinamento da rede. A elaboração do software de treinamento e o processo de treinamento serão detalhados neste trabalho. A unidade de separação dos produtos de reação e troca térmica, também será englobada, utilizando-se o software comercial Hysim para sua simulação, de forma integrada com o sistema de softwares... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this work, it was developed a system of softwares in order to aid chemical reactor operation and design (CAD ¿ Computer Aided Design), trying to provide an important tool for operators and engineers to: - predict system behavior when there is a process deviation; - return quickly to normal conditions; - define operational policies; - aid equipment design. A Borland C++ software, using Artificial Intelligence techniques (rule-based), acts as an Expert System, guiding the user through reactor simulation. This program controls the software system and executes itself a system study, making many simulations and providing results in an easily comprehensible form. It was used a Fortran software to simulate the reactor, based on a deterministic, unidimensional and pseudo-homogeneous mathematical model. Parametric sensivity concepts were used to quantify chemical reactor thermal stability. The rate of reaction was estimated by a neural network algorithm, using a Fortran software to train the net. The software construction and the training process will be discussed in this work. The simulation of reactor products separation unity and heat exchangers will also be discussed, using the commercial simulator Hysim, linked to the software system. As a case-study, for computing ends, it will be considered an acetaldehyde plant, by ethanol oxidation over Fe-Mo catalyst... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Diversos atletas e praticantes de atividades físicas incorporam em suas rotinas de treinamento, exercícios aeróbios e de força motora simultaneamente. Contudo, essa combinação conhecida como treinamento concorrente (TC) tem demonstrado uma atenuação da resposta adaptativa da força e hipertrofia muscular. O presente estudo analisou se alguns genes e proteínas envolvidos na resposta hipertrófica e na biogênse mitocondrial do músculo esquelético poderiam explicar a atenuação da resposta adaptativa com o TC. Trinta e sete sujeitos foram divididos nos grupos: controle (C), aeróbio (TA), força (TF) e concorrente (TC) e submetidos a oito semanas de treinamento. Os resultados significantes foram: aumento na força dinâmica máxima de 270,3 (±45,5) para 320,3 (±57,0) Kg para o TF e de 268,4 (±47,6) para 315,7 (±63,5) para o TC; área de secção transversa do quadríceps de 8332,4 (±817,5) mm2 para 8849,5 (±893,3) mm2 para o TF e de 8340,8 (±1000,0) mm2 para 8996,8 (±919,5 )mm2 para o TC; o gene da mTOR demonstrou aumento significante de 1,01 (±0,10) U.A para 1,44 (±0,17) U.A no TF e redução de 1,01 (±0,15) para 0,536 (± 0,25) U.A da p70S6K1 no TC; a expressão total da proteína p70S6K1 demonstrou aumentou no grupo TC em relação ao C (1,1 (±0,2) U.A vs 0,8 (±0,3) U.A), a fosforilação da Akt no resíduo ser473 e da p70S6K1no resíduo thr389 aumentou somente no TF em relação ao C (1,3 (±0,2) U.A vs 0,9 (±0,1) U.A e 1,3 (±0,4) vs 0,8 (±0,3) U.A, respectivamente). O grupo TF e TC demonstraram adaptações similares nas variáveis de força e hipertrofia muscular apesar de algumas diferenças na resposta molecular. Esses achados indicam que na fase inicial do TC as diferenças na adaptação molecular não refletem em alterações na força e hipertrofia muscular quando comparadas ao TF / Many athletes and individuals involved in physical training perform strength and endurance exercises in the same training unit. However, this combination, referred as concurrent training (CT), has shown to blunt strength and skeletal muscle growth responses. This study investigated whether some genes and proteins associated with muscle growth and mitochondrial biogenesis may explain the decreased adaptive response to CT. Thirty seven participants were divided into four groups: control (C), endurance (TA), strength (TF) and concurrent (TC) and submitted to eight weeks of training. Significant results were found in the following variables from pre to post training: maximum dynamic strength - TF from 270,3 (±45,5) to 320,3 (±57,0) Kg and TC from 268,4 (±47,6) to 315,7 (±63,5); quadriceps cross sectional area (CSA) - TF from 8332,4 (±817,5) mm2 to 8849,5 (±893,3) mm2, TC from 8340,8 (±1000,0) mm2 to 8996,8 (±919,5)mm2; mTOR gene expression increased significantly post-training only for the TF (1,01 (±0,10) A.U to 1,44 (±0,17) A.U) and p70S6K1 was significantly reduced post-training (1,01 (±0,15) to 0,536 (± 0,25) A.U) for the TC; p70S6K1 total protein content was significantly greater after TC when compared with C (1,1 (±0,2) U.A vs 0,8 (±0,3)) and phosphorylation of both Akt at ser473 and p70S6K1 at thr389 increased only after TF compared with C (1,3 (±0,2) U.A vs 0,9 (±0,1) U.A and 1,3 (±0,4) vs 0,8 (±0,3) U.A, respectively). TF and TC groups had similar improvements in muscle strength and hypertrophy, besides some differences in the molecular responses. These differences at the molecular level in early phases of the TC do not blunt muscle strength and hypertrophy adaptations compared with the TF

O teste de programas concorrentes e uma atividade desaadora, devido a fatores que não estão presentes em programas sequenciais, como comunicação, sincronização e não determinismo. Algumas técnicas de teste têm sido propostas para o contexto de programação concorrente, mas raramente sua aplicabilidade e avaliada por estudos teóricos ou experimentais. Este trabalho contribui nesse sentido, propondo e conduzindo um estudo experimental para avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais para programas concorrentes no contexto de memória compartilhada, implementados usando o padrão PThreads (Posix Threads). A ferramenta de teste ValiPThread e usada para auxiliar a condução do experimento. Os programas usados no experimento foram selecionados de benchmarks, como o Inspect, Helgrind e Rungta. Esses benchmarks são comumente usados no estudo de técnicas de teste para programas concorrentes. Programas que resolvem problemas clássicos da programação concorrente também foram incluídos no estudo. Com base nos resultados obtidos foi definida uma estratégia de aplicação, considerando aspectos de custo e eficácia dos critérios de teste. Além disso, todo o material utilizado e gerado durante o experimento foi reunido em um pacote de laboratório, a fim de contribuir com a comunidade de pesquisa, possibilitando replicações e comparações desses critérios com outras técnicas de teste no contexto de programas concorrentes / Concurrent program testing is a challenging activity due to the communication, synchronization and nondeterminism of this application domain. Despite that, some testing techniques for concurrent programs have been proposed, but their applicability is rarely evaluated by theoretical or experimental studies. This work contributes in this direction proposing and conducting an experimental study to evaluate the cost, effectiveness and strength of structural testing criteria for multithreaded programs, implemented using the Pthreads standard (POSIX Threads). The testing tool ValiPThread is used to support the conduction of the experiment. The programs used in this experiment were selected from classical benchmarks, such as Inspect, Helgring and Rungta. These benchmarks are commonly used to study testing techniques for concurrent programs. We also include programs that solve concurrent classical problems. Based on the obtained results, we defined an application testing strategy, considering cost and effectiveness aspects of the testing criteria. Furthermore, all material used and generated during the experiment was incorporated in a lab package, in order to contribute with further research studies making possible replications and comparisons of these testing criteria with other testing techniques in context of concurrent programs

A associação de exercícios aeróbios e de força em um programa de treinamento é denominada treinamento concorrente (TC). Apesar de muitos atletas utilizarem esse tipo de treinamento, há indícios de que essa combinação possa ocasionar prejuízo no desenvolvimento força. Uma das hipóteses para explicar esse fenômeno é a hipótese aguda, que atribui o prejuízo nos ganhos de força a uma redução no desempenho da força em sessões agudas, embora estudos com participantes com diferentes históricos de treinamento tenham apresentado resultados distintos. Assim, o presente estudo teve por objetivo analisar o efeito do tempo de intervalo entre uma atividade aeróbia de alta intensidade sobre a capacidade de produzir força, em indivíduos com diferentes estados de treinamento. Para tal, os participantes (n=27) foram divididos em três grupos quanto aos seus históricos de treinamento (aeróbio, força e concorrente) e submetidos a oito sessões para: (1) determinação da velocidade pico (Vpico) durante teste progressivo até a exaustão; (2) teste de uma repetição máxima (1RM) no meio agachamento; (3-8) sessões experimentais determinadas aleatoriamente, sendo uma sessão destinada à realização de um exercício de resistência de força (RF) a 80% de 1RM no qual foi computado o número máximo de repetições realizadas (NMR), o volume total absoluto e relativo realizados; cinco sessões compostas de exercício aeróbio intermitente (100% da Vpico 1 min/1min) totalizando 5 km, seguido do exercício de resistência de força variando o tempo de intervalo entre as atividades (30, 60 minutos, 4, 8, e 24 horas). A comparação do NMR e do volume total absoluto e relativo ao peso corporal realizado foi feita através da ANOVA a dois fatores (grupo e tempo) com medidas repetidas no segundo fator. Quando observada diferença significante (p<0,05), foi realizado o post-hoc de Bonferroni. Não houve efeito de interação entre os fatores grupo e intervalo para as variáveis analisadas, no entanto houve efeito do fator grupo para o NMR sendo que o grupo aeróbio realizou NMR superior ao grupo força (p = 0,002) ao passo que para o volume total absoluto e relativo não houve efeito deste fator. Para o fator intervalo houve efeito para todas as variáveis, existindo queda do NMR (p = 0,002) e do volume relativo (p <0,001) somente após o intervalo de 30 minutos, ao passo que para o volume absoluto houve queda após 30 (p < 0,001) e 60 minutos de intervalo (p = 0,026). Portanto pode-se concluir que a queda no desempenho da atividade de RF ocorreu com mesma magnitude e duração para os grupos analisados (aeróbio, força e concorrente) perdurando por até 60 minutos de intervalo, ao passo que após os intervalos de 4, 8 e 24 horas não foi verificada queda do desempenho / Many sports require the inclusion of both aerobic and strength exercises in the same training session during certain phases of the training periodization, and the combined use of these two types of exercises has been defined as concurrent training (CT). Although the use of CT is important for athletes of various sports, there are indications that this type of training could decrease strength gains. The acute hypothesis attempts to explain this phenomenon by attributing impairments in strength gains to a drop in performance during acute sessions when the aerobic activity is performed before the strength activity; however, participants with different training backgrounds have experienced different results. Thus, this study aimed to analyze the effect of the time interval between high-intensity aerobic activities on strength performance in individuals with different training backgrounds. Participants (n = 27) were divided into three groups according to their training backgrounds (aerobic, strength or concurrent) and were then submitted to the following eight performance sessions: (1) determination of the peak velocity (Vpeak) during the progressive test to exhaustion; (2) evaluation of the one-repetition maximum (1RM) for the half-squat; and (3-8) randomly assigned experimental sessions consisting of either a strength exercise (SE) at 80% of the 1RM, in which the maximum number of repetitions performed (MNR) and the absolute total volume relative to body weight were computed, or five sessions consisting of intermittent aerobic exercise (100% of Vpeak - 1 min:1 min) totaling 5 km, followed by a SE with varying time intervals between activities (30 or 60 minutes or 4, 8, or 24 hours). Comparisons between the MNR and the absolute or relative total volume were made using an ANOVA method for two factors (group and time) with repeated measures in the second factor. When significant differences were detected (p < 0.05), a post-hoc Bonferroni test was used. There were no interaction effects between the group and interval recovery factors for any of the variables analyzed. However, there was an effect of the group factor, as the aerobic group demonstrated a superior MNR capability compared to the strength group (p = 0.002), although there was no effect related to group factors for the total absolute or relative volume measurements. There was an effect of the interval recovery for all of the variables, as there was a decrease in the MNR and the relative volume after 30 min intervals (p = 0.002 and p < 0.001, respectively), and there was a decrease for the total absolute volume after 30 (p < 0.001) and 60 minute intervals (p = 0.026). Thus, it was concluded that the drop in performance related to the SE activity occurred with the same magnitude and duration for each of the analyzed groups (aerobic, strength and concurrent). Moreover, this effect on performance lasted for up to 60 minutes between activities, whereas this effect was not observed after intervals of 4, 8 or 24 hours

A programação concorrente é cada vez mais utilizada nos sistemas atuais com o objetivo de reduzir custos e obter maior eficiência no processamento. Com a importância da programação concorrente é imprescindível que programas que implementam esse paradigma apresentem boa qualidade e estejam livres de defeitos. Assim,diferentes técnicas e critérios de teste vêm sendo definidos para apoiar a validação de aplicações desenvolvidas nesse paradigma. Nesse contexto, a geração automática de dados de teste é importante, pois permite reduzir o custo na geração e seleção de dados relevantes. O uso de técnicas meta-heurísticas tem sido uma área de grande interesse entre os pesquisadores para geração de dados, pois essas técnicas apresentam abordagens aplicáveis a problemas complexos e de difícil solução. Considerando esse aspecto, este trabalho apresenta uma abordagem de geração automática de dados para o teste estrutural de programas concorrentes em MPI (Message Passing Interface). A meta-heurística usada foi Algoritmo Genético em que a busca é guiada por critérios de teste que consideram características implícitas de programas concorrentes. O desempenho da abordagem foi avaliado por meio da cobertura dos dados detestes, da eficácia em revelar defeitos e do custo de execução. Para comparação, a geração aleatória foi considerada. Os resultados indicaram que é promissor usar geração de dados de teste no contexto de programas concorrentes, com resultados interessantes em relação à eficácia e cobertura dos requisitos de teste. / Concurrent programming has been increasingly used in current systems in order to reduce costs and obtain higher processing efficiency and, consequently, it is expected that these systems have high quallity. Therefore, different techniques and testing criteria have been proposed aiming to support the verification and validation of the concurrent applications. In this context, the automated data test generation allows to reduce the testing costs during the generation and selection of data tests. Metaheuristic technique has been widely investigated to support the data test generation because this technique has presented good results to complex and costly problems. In this work, we present an approach to the automated data test generation for message passing concurrent programs in MPI (Message Passing Interface). The generation of data test is performed using the genetic algorithm metaheuristic technique, guiding by structural testing criteria. An experimental study was conducted to evaluate the proposed approach, analyzing the effectiveness and application cost. The results indicate that the genetic algorithm is a promising approach to automated test data generation for concurrent programs, presenting good results in relation to effectiveness and data test coverage.

Made available in DSpace on 2016-03-22T17:26:23Z (GMT). No. of bitstreams: 1 Dissertacao_de_Mestrado_II_Marcos_Echevarria.pdf: 448582 bytes, checksum: ee87f1f43559b95302ad2f21fa2813e7 (MD5) Previous issue date: 2010-03-25 / As arquiteturas multi-core influenciam diretamente no desenvolvimento de software. Para que os programas possam tirar proveito dessas arquiteturas ´e necess´ario que estes possuam v´arias atividades concorrentes e que possam ser alocadas aos cores dispon ´&#305;veis. Programas concorrentes para m´aquinas multi-core s ao geralmente implementados usando threads e se comunicam atrav´es de uma mem´oria compartilhada. Para evitar que threads interfiram de maneira errada no trabalho de outras threads, as linguagens fornecem mecanismos de sincronizac¸ ao, como por exemplo bloqueios. Mas sincronizac¸ oes baseadas em bloqueios apresentam algumas armadilhas que dificultam a programac¸ ao e s ao propensas a erros (PEYTON JONES, 2007; HERLIHY; MOSS, 1993). Mem´orias transacionais fornecem um novo modelo de controle de concorr encia que n ao apresenta as mesmas dificuldades encontradas no uso de bloqueios. Elas trazem para a programac¸ ao concorrente os conceitos de controle de concorr encia usados h`a d´ecadas pela comunidade de banco de dados. Construc¸ oes em linguagens transacionais s ao f´aceis de serem usadas e podem gerar programas altamente escal´aveis (ADLTABATABAI; KOZYRAKIS; SAHA, 2006). O objetivo deste trabalho ´e apresentar a linguagem CMTJava. CMTJava ´e uma linguagem de dom´&#305;nio espec´&#305;fico para programac¸ ao de mem´orias transacionais em Java e foi criada visando facilitar a programac¸ ao de m´aquinas multi-core. Seu sistema foi todo desenvolvido em Java e a forma de implementac¸ ao pode ser aplicada em qualquer outra linguagem orientada a objetos que suporte closures, como por exemplo C#. CMTJava faz uso das chamadas m onadas para compor ac¸ oes transacionais. Ac¸ oes transacionais podem ser combinadas para gerar novas transac¸ oes e vale ressaltar que o sistema de tipos da linguagem CMTJava garante que ac¸ oes transacionais somente ser ao executadas atrav´es da primitiva atomic. CMTJava apresenta todas as construc¸ oes de mem´orias transacionais (atomic, retry, OrElse) e ´e a primeira extens ao Java para transac¸ oes que suporta a construc¸ ao OrElse

A Programação Concorrente tornou-se uma forma popular de desenvolvimento de software. Este paradigma de desenvolvimento e essencial para construir aplicações com o intuito de reduzir o tempo computacional em muitos domínios como, por exemplo, previsão tempo, processamento de imagem, entre outros. Estes programas têm novas características como a comunicação, a sincronização e o não determinismo, que precisam ser considerados durante a atividade de teste. O teste de software e uma atividade que busca garantir a qualidade por meio da identificação de falhas no produto. O Teste de Mutação e um critério de teste que se baseia nos enganos que podem ser cometidos pelos desenvolvedores de software. Porém, o teste de mutação não pode ser aplicado em programas concorrentes da mesma maneira como e aplicado em programas sequenciais por causa das particularidades presentes nos programas concorrentes. Um problema de aplicar o teste de mutação nesse contexto e o comportamento não determinístico das aplicações. Este trabalho investiga a definição do teste de mutação para programas concorrentes implementados em MPI (Message Passing Interface), os quais realizam comunicação e sincronização por meio de troca de mensagens. Para isso, defeitos típicos nesse domínio foram considerados, buscando modelar operadores de mutação para tratar os aspectos de comunicação e sincronização dessas aplicações. Também foi proposto um procedimento para dar suporte a análise comportamental dos mutantes. As idéias foram implementadas em uma ferramenta de teste chamada ValiMPI Mut / Concurrent programming became a popular paradigm for software development. This paradigm is essential to build applications which aim to reduce the computational time in many areas, such as, weather forecast, image processing, among others. These programs present new features such as communication, synchronization, and nondeterminism, which must be considered during the testing activity. Software testing is an activity that looks to ensure quality by identifying faults in the product. Mutation Testing is a criterion based on the most common mistakes that might be made by software developers. However, the mutation testing cannot be applied in concurrent programs the same way as applied in sequential ones due to the peculiarities present in concurrent programs. One of the problems in applying mutation testing in this context is the non-deterministic behavior. This work investigates the definition of mutation testing for concurrent programs implemented in MPI (Message Passing Interface), which perform communication and synchronization using message passing. For this, typical faults in this area were considered in order to model mutation operators addressing the aspects of communication and synchronization of these applications. Also, we are proposing a new procedure to support the behavioral analysis of the mutants. The ideas were implemented in a testing tool called ValiMPI Mut