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.

La sémantique des jeux est une approche pour modéliser les langages de programmation dans laquelle les types sont interprétés par des jeux et les programmes par des stratégies. Ces modèles de jeux ont couvert des constructions fonctionnelles et impératives, des opérateurs de contrôle, etc. L'approche a récemment été étendue aux langages non-déterministes et concurrents, provoquant au passage un changement de perspective profond~: les parties sont maintenant organisées en une catégorie, sur laquelle les stratégies sont des préfaisceaux. La notion fondamentale d'innocence a aussi été caractérisée comme une condition de faisceau. Cette thèse s'attache à l'étude de quelques constructions apparaissant dans ces nouveaux modèles de jeux.D'abord, constatant que, dans plusieurs de ces modèles, l'étape cruciale consiste à définir une catégorie double de jeux et de parties, nous proposons une construction abstraite d'une telle catégorie double à partir de données de base, puis nous démontrons que, sous des hypothèses adéquates, le résultat obtenu permet en effet la construction des stratégies.Dans un second temps, nous établissons un lien entre deux techniques existantes pour définir les parties~: la technique standard, fondée sur les séquences justifiées, et une autre plus récente utilisant les diagrammes de cordes. Nous définissons un plongement (plein) de la première dans la seconde et prouvons qu'elles induisent essentiellement le même modèle.Enfin, nous proposons une axiomatisation des notions de jeu et de partie, de laquelle nous tirons une catégorie de jeux et stratégies. Nous raffinons ensuite les axiomes pour traiter l'innocence et nous démontrons que, sous des hypothèses adéquates, les stratégies innocentes sont stables par composition. / Game semantics is a class of models of programming languages in which types are interpreted as games and programs as strategies. Such game models have successfully covered diverse features, such as functional and imperative programming, or control operators. They have recently been extended to non-deterministic and concurrent languages, which generated an in-depth recasting of the standard approach: plays are now organised into a category, on which strategies are presheaves. The fundamental notion of innocence has also been recast as a sheaf condition. This thesis is a study of various constructions appearing in this new approach to game semantics.We first consider a pattern common to several game models of concurrent languages, in which games and plays are first organised into a double category, from which strategies are then derived. We provide an abstract construction of such a double category from more basic data, and prove that, under suitable hypotheses, the result allows the construction of strategies.Our second contribution is to relate two established techniques for defining plays: the standard one, based on justified sequences, and a more recent one, based on string diagrams. We (fully) embed the former into the latter and prove that they induce essentially the same model.Finally, we propose an axiomatisation of the notions of game and play, from which we formally derive a category of games and strategies. We also refine the axioms to deal with innocence, and prove that, under suitable hypotheses, innocent strategies are stable under composition.

Os estudos sobre escolha e preferência do comportamento individual a partir de esquemas concorrentes tornaram mais clara a função relativa do reforço no comportamento. No nível cultural, por sua vez, não há estudos experimentais sobre a função relativa de consequências culturais a partir de metacontingências concorrentes, o que certamente limita a compreensão do que leva um grupo a escolher/preferir engajar-se em uma prática em detrimento de outra. O presente trabalho teve o objetivo de aferir experimentalmente a frequência relativa de duas contingências comportamentais entrelaçadas (CCEs) como função da exigência de dois esquemas de razão concorrentes para produção de consequências culturais. Os esquemas de razão para cada contingência entrelaçada foram diferentes a depender da condição (conc FR1 FR1, FR1 FR2, FR1, FR3, FR2 FR2 e FR2 FR3). As duas contingências entrelaçadas relevantes para a produção de consequências culturais foram descritas na instrução, de modo a reduzir variações. Participaram do estudo 12 estudantes universitários divididos em quatro tríades. A tarefa experimental consistiu na escolha de linhas de uma matriz composta por dez linhas e dez colunas, sendo as linhas compostas por cinco cores diferentes alternadas, de modo que cada cor estivesse presente em uma linha par e outra ímpar. Consequências individuais (ganho de fichas trocáveis por dinheiro) foram contingentes a escolhas de linhas ímpares. Consequências culturais (itens escolares a serem doados a uma instituição) foram contingentes a sequências específicas de cores, que correspondiam às escolhas de linhas por cada um dos três participantes. Teve-se como resultados que as Tríades I e II tenderam à estereotipia da CCE associada ao esquema de menor razão ao final das condições, o que não ocorreu para as Tríades III e IV. Para as Tríades I e II, variações tenderam a ocorrer após mudanças de condições em que havia aumento da intermitência de consequências culturais associadas à CCE mais frequente. Também para as Tríades I e II, verbalizações sobre o procedimento foram mais frequentes nos períodos em que variações entre as CCEs relevantes foram mais frequentes. Para as Tríades III e IV, durante a maior parte do estudo não houve diferenciação da frequência entre as duas CCEs às quais consequências culturais eram contingentes, embora tenha havido diferenciação das duas CCEs em relação a outras / Studies about choice and preference using concurrent schedules contributed to better understand the relative function of the reinforcer on behavior. However, at the cultural level there are no experimental studies regarding the relative function of cultural consequences using concurrent metacontingencies, which certainly restricts the understanding about which variables lead a group to choose or prefer to engage in a practice over another. The objective of this experimental study was to assess the relative frequency of two interlocking behavior contingencies (IBCs) as a function of two fixed ratio schedules to produce cultural consequences. The ratio schedules to each interlocking contingency were different depending on the condition (conc FR1 FR1, FR1 FR2, FR1 FR3, FR2 FR2 and FR2 FR3). Both relevant interlocks for the production of cultural consequences were described in the instructions in order to reduce variability. 12 college students participated, divided into four triads. The experimental task consisted of row choices in a matrix comprising ten rows and ten columns, the rows being composed of five different colors, so that each color was present in an even and in an odd row. Individual consequences (earn of coins interchangeable for money) were contingent to the choice of odd rows. Cultural consequences (school supplies to be donated) were contingent to specific sequences of colors that corresponded to the combined row choices of the three participants. The results showed that Triads I and II leaned towards IBC stereotypy associated to the low ratio schedule at the end of the conditions, which did not occur for Triads III and IV. Triads I and II showed that variations tended to occur after experimental condition changes in which there were increased of the ratio schedule to cultural consequences associated to the more frequent IBC. Also, for Triads I and II, verbalizations about the procedure were more frequent when variations between the two IBCs were higher. For Triads III and IV, for most of the study there was no difference in frequency of the two relevant IBCs, although there was difference between the two relevant IBCs in relation to others

A definição de abordagens de teste de software no contexto de sistemas embarcados críticos é de fundamental importância para a melhoria de qualidade desses sistemas. Este projeto de mestrado concentra-se essencialmente na área de robôs móveis que são sistemas críticos. O mapeamento das técnicas de teste dos programas tradicionais para sistemas robóticos móveis não é trivial, pois é necessário considerar as características inerentes a esses sistemas, as quais incluem comunicação, sincronização, não determinismo e paralelismo. Esses sistemas são formados por diferentes componentes, como sensores, atuadores e softwares de controle, os quais se comunicam, em geral, por meio de troca de mensagens. Nesse sentido, este projeto visa aproveitar a experiência adquirida pelo grupo de pesquisa do ICMC/USP com a proposição de critérios e ferramentas de teste para programas concorrentes, para o contexto de teste de integração de sistemas robóticos móveis. Assim, neste estudo é apresentado um comparativo sobre as similaridades e diferenças presentes em programas concorrentes e sistemas robóticos móveis com objetivo de auxiliar na adaptação dos critérios de teste. Dois estudos de caso foram conduzidos nos quais os critérios propostos para programas concorrentes foram aplicados a sistemas robóticos desenvolvidos em ROS. Como resultados, observou-se os critérios de teste são capazes de testar adequadamente aspectos de comunicação e sincronização de sistemas robóticos, contribuindo com a qualidade desses sistemas. / The definition of software testing approaches for the context of critical embedded systems is of fundamental importance for the quality improvement of these systems. This masters project focuses primarily in mobile robot area that are critical systems. The mapping of traditional testing techniques for robotic mobile systems is not trivial, because it is necessary to consider the characteristics of these systems, which include communication, synchronization, non-determinism and parallelism. These systems present different components such as sensors, actuators and control software, which communicate, usually by exchanging messages. In this sense, this project aims to use on the experience gained by the research group of the ICMC/USP with the of the concurrent program testing criteria for the integration testing of the mobile robotic systems. In this study we present a comparison of the similarities and differences present in concurrent programs and mobile robotic systems in order to assist in adapting the testing criteria. Two case studies were conducted in which the proposed concurrent program testing criteri were applied to robotic systems developed in ROS. As a result, there was the testing criteria are able to properly testing aspects of communication and synchronization of robotic systems, contributing to the quality of these systems.

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

Typescript (photocopy). / Digitized by Kansas Correctional Industries

Made available in DSpace on 2015-03-05T18:36:36Z (GMT). No. of bitstreams: 0 Previous issue date: 10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Mudanças significativas em diferentes mercados ocorridas nas últimas décadas elevaram o grau de competitividade entre os diferentes setores industriais. Ao mesmo tempo, a evolução da Logística neste período permitiu a aproximação das organizações pertencentes a uma Cadeia de Suprimentos. Na busca pelo alcance e manutenção da competitividade, muitas organizações visualizaram esta aproximação como uma oportunidade de obter vantagens através da inclusão de fornecedores no processo de desenvolvimento de novos produtos e processos. Esta inclusão de fornecedores permite a criação de um ambiente de Desenvolvimento Simultâneo Tridimensional, no qual o produto, o processo e a cadeia de suprimentos são desenvolvidos ao mesmo tempo. Apesar dos benefícios desta inclusão serem amplamente divulgados, nem todas as empresas que realizaram esta integração conseguiram sucesso. Parte dos fracassos pode estar relacionada com a falta de um mecanismo que oriente a integração de fornecedores no desenvolvimento de produtos e proc / At the last decades, significant changes occured in different markets raised the degree of competitiveness among the different industrial sectors. At the same time, the evolution of the Logistic allowed the approach of the companies that belong to the Supply Chain. In the search for the reach and maintenance of the competitiveness, many organizations had visualized this approach as a chance to get advantages through the inclusion of suppliers in the process of development of new products and processes This inclusion of suppliers allows the creation of an environment of Three-dimensional Simultaneous Development, in which the product, the process and the supply chain is development at the same time. Despite the benefits of this inclusion being widely divulged, nor all the companies who had carried through this integration had obtained success. Part of the failures can be related with the lack of a mechanism that guide the integration of suppliers in the development of products and processes. Aiming at to f

O exercício físico tem sido indicado na prevenção do aumento da lipemia pós-prandial (após o consumo de uma refeição hiperlipídica). O objetivo deste estudo foi comparar o efeito de duas sessões de exercício físico concorrente (tradicional e em circuito) na curva lipêmica de sujeitos submetidos à refeição hiperlipídica. Onze sujeitos do sexo masculino, familiarizados com treinamento concorrente (IMC 25,50 ± 2,10kg/m²) com idade média de 28,1 + 4,7 anos participaram da realização de um experimento composto por 2 dias consecutivos. No dia 1, os sujeitos realizavam um dos três protocolos randomizados: 1) CON - repouso; 2) CT - exercício concorrente tradicional (30 minutos de exercícios de força em circuito, seguidos de 20 min de exercício aeróbico a 70% do consumo máximo de oxigênio); 3) CC - exercício concorrente em circuito (50 minutos de exercícios de força e “tiros” de 2 min na esteira a 70% do consumo máximo de oxigênio, sob forma de circuito). No dia 2, 12h após a realização dos protocolos, os sujeitos consumiam uma refeição hiperlipídica. As coletas de sangue para análise de Triglicerídeos (TG), Glicose e Insulina foram realizadas no momento basal e de 1 à 5h após o consumo da refeição. O CT e o CC apresentaram menores níveis de TG comparado ao CON na hora 1 (p<0,05) e o CT também apresentou diferença do CON na hora 4 (p<0,05). Em relação à área abaixo da curva (AUC) de TG, houve diferença entre os protocolos CT e CC em comparação ao CON (p<0,05). Não foram encontradas diferenças entre os protocolos para Glicose. Em relação à AUC de Insulina, houve diferença entre os protocolos CT e CC em comparação ao CON (p<0,05), sendo que o CC apresentou diferença para maior em relação ao CT (p<0,05). Em conclusão, tanto o exercício CT quanto o CC são eficazes para atenuar a lipemia e a insulina pós-prandiais, sendo o CC ainda mais eficaz na atenuação da insulina. / The physical exercise has been shown to prevent the increase of postprandial lipemia (after consuming a high-fat meal). The objective of this study was to compare the effect of two concurrent sessions of exercise (traditional or circuit) in lipaemic curve of subjects who underwent fat meal. Eleven male subjects, familiar with concurrent training (BMI 25.50 ± 2,10kg/m²) with average age of 28.1 ± 4.7 years participated in the realization of an experiment in 2 consecutive days. On day 1, the subjects performed one of three randomized protocols: 1) CON - break; 2) CT - traditional concurrent exercise (30 minutes of circuit strength exercises, followed by 20 minutes of aerobic exercise at 70% of maximal oxygen uptake; 3) CC - concurrent exercise circuit (50 minutes of strength exercises and "bouts" of 2 min on the treadmill at 70% of maximal oxygen consumption, as circuit. On day 2, 12 hours after the completion of the protocols, the subjects consumed a high-fat meal. The blood samples for analysis of triglycerides (TG), glucose and insulin were performed at baseline and 1 to 5 hours after consumption of the meal. The TC and CC showed lower levels of TG compared to the CON 1 hour (p <0.05) and CT also showed difference in the CON 4 hours (p <0.05). In relation to the area under the curve (AUC) of TG there was a difference between TC and CC protocols compared to the CON (p <0.05). No differences were found between the protocols for glucose. Regarding Insulin AUC there was a difference between TC and CC protocols compared to the CON (p <0.05), considering that the CC showed a difference from the CT (p <0.05). In conclusion, both the CT and CC exercises are effective to mitigate lipemia and postprandial insulin, being the CC more efficient in insulin attenuation.

INTRODUÇÃO: No treinamento combinado (TC), a realização do treinamento aeróbio (TA) pode reduzir os ganhos de força e/ou potência decorrentes do treinamento de força (TF) quando ambos são realizados simultaneamente (efeito da interferência). O tipo de exercício aeróbio do TC tem sido investigado como possível fator determinante do efeito da interferência, porém não se sabe os efeitos do TC de força e natação na força muscular (FM). OBJETIVO: Analisar os efeitos do TF, treinamento de natação (TN) e TC de força e natação nas adaptações de FM, cardiorrespiratórias e desempenho de nado em adultos. MATERIAIS E MÉTODOS: 38 sujeitos de ambos os sexos foram randomicamente divididos nas condições TF (n=13; 29,5 ± 10,5 anos), TN (n=14; 30,71 ± 9,38 anos) e TC (n=11; 34,5 ± 9,8 anos). Destes, 14 participantes (29,2 ± 8,6 anos) realizaram um período controle (CON) de quatro semanas, previamente ao início do treinamento. O treinamento foi realizado três vezes por semana, durante 12 semanas. As avaliações da FM, aptidão cardiorrespiratória e desempenho de nado foram realizadas antes da condição CON (PRÉ-4), após condição CON/antes do treinamento (PRÉ0) e após treinamento (PÓS). As cargas do TF e volumes do TN entre os mesociclos de treinamento também foram comparados. Para a análise estatística foram utilizados procedimentos descritivos (média e desvio padrão) e teste de modelos mistos generalizados (GMM). RESULTADOS: Foi observado aumento significante (p<0,05) em todas as condições, sem diferença entre elas, para as variáveis de força dinâmica máxima (RM) de extensão de joelho (FMEJ), de extensão de cotovelo (FMEC) e resistência muscular localizada (RML) de extensão de cotovelos (RMLEC). Para as variáveis de RMLEJ e RM de extensão de ombro (FMEO) o aumento ocorreu apenas nas condições TF e TC, enquanto que a RML de extensão de ombro (RMLEO) só aumentou para o TN. Para a força isométrica, somente a força isométrica máxima de extensão de ombro, amentou significativamente nas condições TF e TC. A potência máxima em cicloergômetro aumentou apenas para o TF. As demais variáveis cardiorrespiratórias não se modificaram, com nenhum dos tipos de treinamento. Os tempos diminuíram e as velocidades de nado aumentaram em todas as distâncias, bem como a frequência de braçada (FB) nos 50 e 100 m e o índice de nado (IN) em 25 m aumentaram significativamente (p<0,05) para TC e TN, sem diferença entre as condições e nos 100 m o aumento ocorreu somente para o TC. Tanto no TN quanto no TF houve aumento significativo (p<0,05) dos volumes e cargas, respectivamente, entre os mesociclos, sem diferença entre as condições. CONCLUSÕES: Não há efeito da interferência nos ganhos de FM com o TC de força e natação. As variáveis cardiorrespiratórias não foram influenciadas por nenhum dos tipos de treino, porém aspectos relacionados à especificidade da medida podem ter afetado os resultados. A realização do TF associado a um TN parece não melhorar o desempenho de nado quando comparado ao TN isolado, em indivíduos adultos previamente destreinados. / INTRODUCTION: In combined training (CT), aerobic training (AT) can reduce strength and/or power gains resulting from strength training (ST) when both are simultaneously performed (interference effect). The type of aerobic exercise of the CT has been investigated as a possible determining factor of the interference effect, however the effects of the combined strength and swimming training on muscle strength (MS) are not known. OBJECTIVE: To analyze ST, swimming training (SW) and combined strength and swimming training effects on MS, cardiorespiratory and swimming performance adaptations in adults. MATERIALS AND METHODS: 38 subjects of both sexes were randomly divided into ST (n=13; 29.5 ± 10.5 years old), SW (n=14; 30.71 ± 9.38 years old) and CT (n=11; 34.5 ± 9.8 years old) conditions. Of them, 14 participants (29.2 ± 8.6 years old) performed a control period (COM) of four weeks, previously to the beginning of the training. The training was performed three times a week during 12 weeks. MS, cardiorespiratory fitness and swimming performance assessments were performed before CON condition (PRE-4), after CON condition/before training (PRE0) and after training (POST). ST loads and SW volumes between the training mesocycles were also compared. For statistical analysis, descriptive procedures (mean and standard deviation) and generalized mixed models (GMM) were used. RESULTS: a significant increase in all conditions were observed (p<0.05), without difference between them, for maximal dynamic strength (RM) of knee extension (RMKE), elbow extension (RMEE) and local muscular resistance (LMR) of elbow extension (LMREE) outcomes. For LMRKE and RM of shoulder extension (RMSE) outcomes, the increase only occurred in ST and CT conditions, whereas LMR of knee extension (LMRKE) only increased for SW. For isometric strength, only maximal isometric strength of knee extension significantly increased in ST and CT conditions. Maximal power in cycle ergometer only increased for ST. The other cardiorespiratory variables were not modified, with none of the training types. Swimming times decreased and swimming speeds increased in all distances, as well as stroke frequency (SF) in 50 and 100 m and index of swimming (IS) in 25 m significantly increased (p<0.05) for CT and SW, without difference between conditions, and in 100 m the increase only occurred for CT. In both SW and ST there was a significant increase (p<0.05) of the volumes and loads, respectively, between the mesocycles, without difference between the conditions. CONCLUSIONS: There is not an interference effect in MS gains with combined strength and swimming training. Cardiorespiratory outcomes were not influenced by any of the training types; nevertheless, aspects related to measurement specificity could have affected the results. The performance of ST associated to a SW does not seem to improve swimming performance when compared to isolated SW, in previously untrained adult individuals.

O treinamento concorrente (TC) é frequentemente utilizado por praticantes de atividades físicas e atletas com o intuito de desenvolver a força muscular e o condicionamento aeróbio. No entanto, essa estratégia de treinamento pode atenuar os ganhos de força e hipertrofia muscular em longo prazo, efeito este conhecido como fenômeno da interferência. Há indícios na literatura de que a magnitude da interferência pode ser dependente do volume em que o exercício aeróbio é realizado. Assim, o objetivo do presente estudo foi verificar o efeito do exercício aeróbio realizado com diferentes volumes no desempenho agudo de força máxima e de resistência de força dos membros inferiores. Homens fisicamente ativos (n=21) foram submetidos a seis condições experimentais realizadas em ordem aleatória, sendo três sessões de exercício aeróbio com volumes distintos (3km, 5km e 7km) seguidas pelo teste de força dinâmica máxima (1RM) e outras três sessões de exercício aeróbio com os volumes distintos seguidas pelo teste de resistência de força (4 séries de repetições máximas a 80% 1RM). Para o exercício aeróbio foi realizada a corrida contínua em esteira rolante a 90% do limiar anaeróbio (Lan) e os testes de força foram realizados no exercício leg press 45o. Para a comparação dos valores de 1RM, volume total (VT) e número de repetições máximas (NRM) da sessão de treinamento de força (TF) foi realizada uma análise de modelo misto tendo os volumes do exercício aeróbio como fator fixo e sujeitos como fator aleatório. Testes post-hoc com ajustamento de Tukey foram utilizados para comparações múltiplas. O nível de significância adotado foi de 5%. Não foram observadas diferenças nos valores de 1RM entre as condições. O VT e NRM das condições de 5km e 7km foram menores quando comparados com a condição controle. Ao passo que, o VT da condição de 7km foi menor em relação ao VT das condições de 3km e 5km; e o NRM da condição de 7km foi menor em relação ao NRM da condição de 3km. Não foram observadas diferenças no VT e NRM entre as condições de 3km e controle e entre as condições de 3km e 5km. Em conclusão, o desempenho da resistência de força foi prejudicado após a realização do exercício aeróbio e a ocorrência e a magnitude desta interferência dependeram do volume em que o exercício aeróbio foi realizado. Adicionalmente, o desempenho da força dinâmica máxima não foi prejudicado pela realização prévia do exercício aeróbio / Concurrent training (CT) is frequently utilized by physically active individuals and athletes in order to develop muscle strength and aerobic fitness. However, this training strategy may result in attenuation of the gains on strength and muscle hypertrophy in long term. This effect has been referred to as the interference phenomenon. There are indications that the magnitude of this interference may be dependent on the volume that aerobic exercise is performed. Thus, the aim of the present study was to verify the effect of aerobic exercise performed with different volumes on the acute performance of lower limbs maximum strength and strength endurance. Physically active men (n=21) were submitted to six experimental conditions performed in random order, three aerobic exercise sessions with different volumes (3km, 5km and 7km) followed by the maximum dynamic strength (1RM) test and three aerobic exercise sessions with different volumes followed by strength endurance test (4 sets of maximum repetitions at 80% 1RM). The aerobic exercise was a continuous treadmill run at 90% of the anaerobic threshold (AT) and all strength tests were performed in the leg press 45o. A mixed-model analysis with the volumes of aerobic exercise as a fixed factor and subject as a random factor was performed to compare 1RM values, total volume (TV) and maximum number of repetitions (MNR) of the strength training (ST) session. Post-hoc tests with Tukey adjustments were used for multiple comparisons. The significance level adopted was 5%. No differences were observed in 1RM values among conditions. The TV and MNR of the 5km and 7km conditions were lower when compared to the control condition. The TV of the 7km condition was lower than the 3km and 5km conditions; and the MNR of the 7km condition was lower than the 3km condition. No differences were observed in TV and MNR between the 3km and control conditions and between the 3km and 5km conditions. In conclusion, strength endurance performance was impaired when performed after aerobic exercise and the magnitude of this interference depended on the volume of the aerobic exercise. In addition, maximum dynamic strength performance was not affected by prior execution of aerobic exercise