Automatic Test Generation for Space

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs

Acute effects of an upper body repeated sprint protocol in hypoxia induced by voluntary hypoventilation

Voluntary hypoventilation at low lung volume (VHL) consists of breath holding with partly empty lungs after an exhalation, leading to the functional residual capacity (Woorons, 2014). When combining with exercise, VHL induces severe arterial oxygen desaturation, as well as muscular and cerebral deoxygenation, causing both an hypoxic and hypercapnic effect. When combined with repeated sprint exercise (RSE), VHL has showed great improvements in repeated sprint ability (RSA) attributed to enhanced glycolytic utilization and buffer capacity. Previous studies have analyzed a wide range of modalities, running, cycling, and swimming. Given that Brazilian Jiu Jitsu (BJJ) could benefit with this kind of training we propose to investigate metabolic, muscle oxygenation and performance acute effects of an upper body repeated sprint protocol with VHL. Eighteen male well trained BJJ athletes (mean ± SD; age 32 ± 7.3 years; body mass 73.75 ± 11.1 kg;) of national and international level participated in this study. This was an experimental study with a randomized crossover design. Participants performed three sessions, a familiarization session and two moments of evaluation, consisting of a repeated sprint protocol with normal breathing (RSN) and the other using the same repeated sprint protocol with VHL (RSH-VHL) in an arm cycle ergometer. Peak power output (PPO), mean power output (MPO) and total work (TW) were measured, also repeated sprint ability decrement score (RSAdecs) was calculated. Arterial oxygen saturation (SpO2), heart rate (HR), gas exchange and muscle concentrations of oxyhaemoglobin/myoglobin (O2Hb) and deoxyhaemoglobin/myoglobin (HHb) were continuously recorded throughout exercise. Blood lactate concentration ([La]) was measured at the end of the first (S1) and second set (S2). Bench press throw peak power (BPPPO) and isometric hand grip strength (HGiso) were recorded before and after the repeated sprint protocol in order to assess differences. RSN MPO (162 ± 3.83 SE) was greater than MPO in RSH-VHL (156 ± 4.0 SE), p<0.01. On the other hand, RSAdecs and bench press throw peak power drop after the repeated sprint protocol were not impacted by VHL. A significant SpO2 drop was observed at the end of the second set in RSH-VHL (97.62 ± 2.60) when compared with RSN (98.71 ± 1.86), p=0.03 but there were no significant changes in muscle deoxygenation. Blood lactate concentration was lower in RSH-VHL (8.04 ± 3.00) when compared with RSN (10.42 ± 2.55), p<0.01. Finally, RSH-VHL (31.12 ± 1.11 SE) induced greater V̇O2 when compared with the same exercise in normal breathing conditions (29.65 ± 0.87 SE), p=0.03. In conclusion this study revealed that although statistically significant the reduction of the arterial oxygen saturation with the utilization of ventilatory hypoventilation with low lung volume may not have been sufficient to induce significative levels of hypoxia. MPO and PPO were significantly affected by RSH-VHL but there was not a significant decrease in total work or RSAdecs. Blood lactate concentration and respiratory exchange ratio were lower in RSH-VHL when compared with RSN and V̇O2.was greater.A hipoventilação de baixo volume pulmonar (VHL), consiste em suster a respiração com pulmões parcialmente vazios após uma exalação forçada, conduzindo à capacidade residual funcional (Woorons, 2014). Quando combinado com exercício, o VHL induz a dessaturação severa do oxigénio arterial, bem como a desoxigenação muscular e cerebral, causando um efeito hipóxico e hipercápnico. Quando combinado com o exercício de sprints repetidos, o VHL tem mostrado grandes melhorias na capacidade de sprint repetida atribuída a uma melhor utilização glicolítica e capacidade tampão. Tem sido usado numa vasta gama de modalidades, como corrida, ciclismo e natação. Uma vez que o Jiu Jitsu Brasileiro (BJJ) poderia beneficiar com este tipo de treino, propomo-nos investigar os efeitos agudos metabólicos e musculares de um protocolo de sprint repetidos na parte superior do corpo com VHL. Dezoito atletas de BJJ masculinos bem treinados (média ± SD; idade 32 ± 7.3 anos; massa corporal 73.75 ± 11.1 kg;) de nível nacional e internacional participaram neste estudo. Este foi um estudo experimental com um design de crossover aleatório. Os participantes realizaram três sessões, uma sessão de familiarização e dois momentos de avaliação, que consistiram em realizar o protocolo de sprints repetidos com a respiração normal (RSN) e outra utilizando o mesmo protocolo de sprints repetidos com VHL num ciclo-ergómetro de braços. A potência máxima (PPO), a potência média (MPO) e o trabalho total (TW) foram medidos, também foi calculado o índice de fadiga em sprints repetidos (RSAdecs). A saturação de oxigénio arterial (SpO2), a frequência cardíaca (HR), a troca de gases as concentrações musculares de oxi-hemoglobina (O2Hb) e desoxihemoglobina /mioglobina (HHb) foram continuamente registados durante todo o exercício. A concentração de lactato sanguíneo ([La]) foi medida no final da primeira série e na segunda série. A potência máxima de lançamento da barra de supino (BPPPO) e força de preensão manual (HGiso) foram registadas antes e depois do protocolo de sprints repetidos, a fim de avaliar as diferenças. RSN MPO (162 ± 3,83 SE) foi maior que MPO em RSH-VHL (156 ± 4.0 SE), p<0.01. Por outro lado, a RSAdecs e a potência máxima do lançamento da barra de supino após o protocolo de sprints repetidos não foram impactados pela VHL. Uma queda significativa do SpO2 foi observada no final da segunda série em RSH-VHL (97.62 ± 2.60) quando comparado com RSN (98.71 ± 1.86), p=0.03, mas não houve alterações significativas na desoxigenação muscular. A concentração de lactato sanguíneo foi menor em RSH-VHL (8.04 ± 3.00) quando comparada com RSN (10.42 ± 2.55) , p<0.01. Por fim, o RSH-VHL (31.12 ± 1.11 SE) induziu maior V̇O2 quando comparado com o mesmo exercício em condições normais de respiração (29.65 ± 0.87 SE), p=0.03. Em modo de conclusão, este estudo revelou que, embora estatisticamente significativo, a redução da saturação do oxigénio arterial com a utilização da hipoventilação com baixo volume pulmonar pode não ter sido suficiente para induzir níveis significativos de hipoxia. A MPO e a PPO foram significativamente afetadas pela RSH-VHL, mas não houve uma diminuição significativa do trabalho total ou do RSAdecs. A concentração de lactato sanguíneo e quociente respiratório foram mais baixos em RSH-VHL quando comparados com RSN e V̇O2 foi maior

AS MUDANÇAS PRODUTIVAS DO CAPITAL E A NOVA MORFOLOGIA DO TRABALHO: A ESPECIFICIDADE BRASILEIRA

Resumo O presente estudo – A Natureza da Revolução Burguesa Brasileira e o Processo de Modernização Dependente: a crítica florestiana – objetiva fazer uma resenha crítica da obra de Florestan Fernandes intitulada “A Revolução Burguesa no Brasil”, haja vista que consideramos a apreensão teórica desse escrito de suma importância para o entendimento da natureza da revolução nacional, do capitalismo dependente e da “autocracia burguesa”. Cabe reafirmar que a realização deste estudo se faz imprescindível, porque ainda estamos sob a égide burguesa no Brasil, então, precisamos conhecer e refletir sobre a nossa história para que possamos vislumbrar mecanismos de ruptura com esse padrão vigente que modula as políticas sociais

Museu nacional de arte contemporânea/ museu do chiado– da fundação aos anos de 1960

SIAM. Series Iberoamericanas de Museología. Año 3, Vol.

Elements of the metacommunity structure : comparison across multiple metacommunities

Les « Éléments de la Structure des Metacommunautés » (EMS) est un outil analytique puissant pour l'évaluation des patrons de distributions d'espèces dans l'espace géographique ou environnementale; par contre, cette technique est encore sous-utilisée parmi les études écologiques. L'objectif de cette étude est d'évaluer les mécanismes structurants les patrons de distributions d'espèces de poissons de lacs boréaux à des multiples échelles en appliquant la technique EMS sur la Ontario Fish Distribution Database, une base de données contenant des informations sur la présence-absence des espèces de poissons de plus de 9000 lacs de l'Ontario ainsi que leurs positions géographiques. Pour chaque lac, l'information sur les variables environnementales on été obtenue grâce au Lake lnventory Database (LINY) et des indices spatiaux, comme la connectivité entre les lacs et leur distance aux refuges postglaciaires, ont été calculés à partir d'informations géographiques. Puis, la relation phylogénétique des espèces et leurs niches B on été estimés pour comprendre le rôle des espèces dans l'assemblage des communautés et formation des metacommunautés. Dans le premier chapitre, la technique EMS a indiqué que nestedness et Clementsian gradients sont les patrons de distributions les plus courants parmi les bassins versants. La pluparts des patrons nestedness se situent dans des bassins de faible énergie contenant des grands lacs et localisés dans de hautes latitudes tandis que les patrons Clementsian gradients sont rencontrés dans des conditions opposés. À l'échelle des bassins, les variables environnementales expliquent en moyenne 9.1% de la variation dans la distribution des espèces pour les deux type de patrons contre moins de 3.5% pour les variables spatiales. À l'échelle provinciale, la variation dans la distribution des espèces est expliquée principalement par les variables environnementales structurées spatialement (29,26%) suivit des variables environnementales indépendantes de l'espace (10.80%). Des tests statistiques suggèrent que le taux de changement dans la composition des communautés, la caractéristique qui mieux distingue les deux patrons, augmente du nord vers le sud, influencé principalement par la latitude et les variables associées (e.g., température). Dans le second chapitre, les résultats indiquent que, à l'échelle du bassin versant, la sous-dispersion phylogénétique prédomine tandis que la sur-dispersion phylogénétique est plus observée à l'échelle locale. La structure phylogénétique et de niche des communautés sont principalement influencés par la taille des lacs, les variables liées à l'énergie (e.g., température, degré-jour de croissance) et la latitude. Dans les régions du Nord, il y a des taux élevés de chevauchement des niches et de plus grande distance phylogénétique entre les espèces qui cohabitent alors que dans les bassins versants du Sud on rencontre le patron inverse. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : EMS, analyse de correspondance, Clementsian gradients, distribution d'espèces, nestedness, species turnover, structure phylogénétique, niche, gradient environnementa

The danger of technology

Os diversos dispositivos e ferramentas tecnológicas estão tão perto e tão presentes em nosso dia-a-dia que é muito fácil se perder em análises que se limitam a defender ou condenar o uso desses instrumentos. Heidegger procura superar essa falsa dicotomia ao determinar filosoficamente a Essência [Wesen] da técnica moderna. Para o filósofo, a tecnologia é um modo de ser que pré-põe o real, na perspectiva do controle, do apoderamento e da previsão dos resultados. Nesse sentido, o autor denuncia um risco na crescente onipresença da tecnologia na experiência contemporânea. O perigo é que o modo de ser da técnica moderna tende a ser concebido, não apenas como uma das possibilidades de desencobrimento do real, mas como a única maneira necessária ou mesmo possível de desvelamento dos entes e de produção da verdade.The many apparatus and technological tools are so close and so present in our everyday lives that it becomes easy to get lost in analysis that merely support or condemn the use of such instruments. Heidegger aims to overcome such fake dichotomy by philosophically determining the Being [Wesen] of modern technique. To the philosopher, technology is a mode of being that pre-poses the real, in the perspective of control, of empowerment, and of predicting results. In that sense, the author denounces a threat behind the growing omnipresence of technology in contemporary experience: that of the mode of being of modern technique being conceived not only as one among many possibilities of uncovering the real, but rather as the only necessary or even possible way of unveiling the being and of production of the truth

Para quem e com que estratégias falam essas reportagens?

Este artigo pretende decompor e analisar metodologicamente duas reportagens do Balanço Geral, telejornal da TV Vitória, afiliada Rede Record de Televisão no Espírito Santo. De forma articulada, vamos utilizar operadores de análise construídos pelo Grupo de Pesquisa em Análise de Telejornalismo, da Universidade Federal da Bahia (GPAT-Ufba): o mediador, o texto verbal, o contexto comunicativo e o pacto sobre o papel do jornalismo. O objetivo é atender a um pedido de parecer técnico encaminhado pela Procuradoria da República ao Observatório da Mídia, grupo de pesquisa ligado ao Departamento de Comunicação Social, da Universidade Federal do Espírito Santo (Ufes)

Poder e resistência: o estado e as rádios pirata

Este artigo tem o objetivo de fazer uma breve análise das relações de força que se enfrentam no uso e na organização do espectro eletromagnético radiofônico. Queremos apontar alguns mecanismos pelos quais o poder é exercido, suas aplicações e estratégias. Só que vamos investigar o poder, não a partir dele mesmo, como se ele fosse dotado de uma essência que devesse ser revelada pela investigação, mas sim desde traços e marcas da atualidade. Por isso, a análise vai partir do principal elemento de afrontamento, contestação e resistência aos dispositivos de controle e regulação do estado na área de comunicação: as rádios pirata

Análise da viabilidade de utilização, em caminhos de ferro, de travessas de madeira obtidas a partir de lamelados de madeira, em alternativa às travessas de madeira tradicionais

A utilização de travessas de madeira de Pinho bravo (Pinus pinaster Ait.) no Caminho de Ferro continua a ter uma expressão significativa em Portugal, nomeadamente para instalação em pontes metálicas, em túneis existentes e objecto de electrificação (compatibilização do gabarit de electrificação com a rasante), em aparelhos de mudança de via, na substituição de elementos danificados em linhas existentes e equipadas com este tipo de travessas, etc. Os custos de produção dessas travessas associadas a uma crescente falta ou baixa de qualidade da matéria-prima, conduzem à necessidade de se equacionarem soluções alternativas. Assim, e no intuito de procurar novas soluções com caraterísticas de desempenho no mínimo idênticas e porventura mais interessantes em termos económicos e ambientais, importa conduzir uma análise comparativa da solução tradicional (madeira maciça) com uma solução baseada nos produtos técnicos da madeira (lamelados colados, placa microlamelada colada ou outros). Desta forma o estudo proposto, desenvolvido em colaboração com o Laboratório Nacional de Engenharia Civil (LNEC) – Núcleo de Estruturas de Madeira, pretendeu avaliar o comportamento dos lamelados colados quando sujeitos a um tratamento industrial com creosote, em escala industrial, e o efeito do tratamento com creosote na qualidade da colagem (a curto e a médio prazo). O estudo engloba ainda uma análise simplificada de custos de produção, com o objectivo de permitir avaliar da viabilidade económica da solução apontada. O estudo compreendeu várias soluções de lamelados colados destinados a aplicações em condições exteriores. As soluções diferenciaram-se quanto às espécies de madeira empregues e ao tipo de cola utilizada no seu fabrico. Os resultados obtidos permitem concluir da viabilidade técnica da utilização de lamelado colado, sendo no entanto crucial um controlo apertado da qualidade de fabrico (colagem) e da disposição das lamelas de forma a prevenir a existência de zonas de borne de difícil acesso ao produto, afectando a qualidade do tratamento. No entanto, do ponto de vista de custos a solução com madeira lamelada colada apresenta-se significativamente mais cara

Technology and Overcoming of Metaphysics in Heidegger

A técnica moderna deve ser compreendida, como uma espécie de acabamento, como o ápice do projeto metafísico. Só que nem todo o real cabe na concepção tecnometafísica do mundo e, assim, muitas outras possibilidades de realização da realidade ficam de fora. Por isso a necessidade de se superar a metafísica no sentido de ganhar a sua verdadeira dimensão. Nessa tarefa, é preciso ultrapassar o entendimento de homem e mundo como sendo dois substratos autônomos e independentes; faz-se necessária a compreensão da origem e do encaminhamento que tudo divide, na perspectiva do apoderamento e do controle da realidade, pelo homem. O esforço deve ser o de retirar a significação prévia de tudo o que se realiza, isto é, significa perder um mundo – o mundo tecnometafísico – para ganhar o mundo. E o que Heidegger aponta como sendo o pensamento é justamente uma atividade que põe em funcionamento um modo mais originário e inaugural de relacionamento com a realidade, que se orienta desde a verdade como desencobrimento