Test Automation Framework for Embedded Systems

Embedded systems are everywhere! Electronic systems in just about every engineering market segment are classified as embedded systems, consumer electronics, medical, automotive, avionics, etc. Embedded systems differ from more conventional systems, such as computers, because they are limited to the embedded hardware, are designed to perform a dedicated function and have high quality and reliability requirements. Due to these characteristics, this type of system is strongly related to critical systems. Critical systems are systems that in the event of a failure can cause damage to living beings or the environment. Thus, it is necessary to ensure a high level of correctness in this type of systems. One way to increase the correctness of a system is through the process of testing. However, testing embedded systems presents a degree of difficulty because they are typically closed systems and work with real-time data that is difficult to reproduce and are non-deterministic. In this way, and with the collaboration of Altran Portugal, we intend to solve this problem by developing a framework that allows test automation for embedded systems. Automating the test data creation and execution of test case increases the quality of these systems by identifying defects to be fixed in a more efficient way. To this end, a survey of automation tools is done and each tool evaluated according to a set of criteria defined when designing the solution. The selected tool is Robot Framework, which is a widely used tool in the web and desktop application. Thus, integrating such a proficient tool in the embedded environment elevates the test automation in the embedded systems context. Then, we test the concept developed in this dissertation by executing functional tests in embedded systems that follow a model-driven development approach

Modelos isotópicos espaciais de nitrogênio do solo nos ecossistemas naturais da América do Sul

Tese (Doutorado em Ciências Ambientais)—Universidade de Brasília, Faculdade UnB - Planaltina, Programa de Pós-Graduação em Ciências Ambientais, Planaltina, 2019.O nitrogênio (N) é um elemento limitante da produção primária dos ecossistemas terrestres. Por isso, é importante entender os padrões de perdas de N ao longo dos ecossistemas. Medidas da razão isotópica de nitrogênio (δ 15N) no solo refletem os caminhos dominantes de entradas e saídas de N do sistema terrestre. A abordagem isotópica aparece como uma ferramenta que auxilia a modelagem de emissões e fluxos de N em modelos de balanço de massa. Para ser aplicado em modelos de ciclagem de N, o δ 15N do solo deve ser representado em modelos isotópicos espaciais (isoscapes). Além de serem fundamentais para modelos de ciclagem de N, isoscapes δ 15N do solo podem ser usadas em outras áreas, como antropologia, forense e ecologia de comunidades. Entretanto, isoscapes de δ 15N do solo disponíveis na escala global mascaram alguns padrões regionais do ciclo do N. Novas isoscapes em escala continental devem incorporar mais locais de amostragem e abordagens metodológicas que evidenciem as relações não lineares do δ 15N com as variáveis preditoras. Neste contexto, o objetivo desta tese de doutorado foi elaborar uma isoscape de δ 15N do solo em escala continental. A América do Sul foi escolhida como área modelo por apresentar grandes vazios amostrais em modelos globais anteriores e permitir a coleta de novas amostras. Posteriormente, a isoscape de δ 15N do solo foi testada em um modelo isotópico de balanço de massa para estimar as perdas de N por lixiviação e desnitrificação. No total foram consideradas 278 localidades ao longo de áreas naturais da América do Sul, com dados da literatura e novos dados de campo. Foram usadas variáveis preditoras para representar as condições pedológicas, climáticas e biológicas do ambiente. Além disso, os limites dos biomas e ecorregiões foram inseridos no modelo como variáveis discretas. Três algoritmos de machine learning foram testados para o modelo de δ 15N do solo: Cubist, Floresta Randômica (RF) e Stochastic Gradient Boosting (GBM). O melhor algoritmo foi escolhido com base na validação cruzada e aplicado na modelagem. Entre os modelos testados, a RF teve a melhor performance (R2 = 0,64). A análise de importância de variável mostrou que o tipo de bioma foi a principal variável para representar a variação espacial de δ 15N do solo, seguido por carbono orgânico do solo. A amplitude estimada foi de -2,0 ‰ a 14,3 ‰. Os maiores valores se concentraram nas regiões de clima semi-árido e os menores nas regiões mais frias. Os padrões representados na isoscape de δ 15N do solo se refletiram na variação espacial da proporção do N de entrada que se perde por vias gasosas (fgas). A região com maiores perdas relativas de N gasoso foi a de desertos e arbustos xéricos, seguida pelas florestas tropicais secas e florestas tropicais úmidas. As maiores perdas relativas por lixiviação ocorreram nos ecossistemas de florestas mistas temperadas, florestas de mediterrâneo e nos ecossistemas savânicos tropicais. A partir do modelo de fgas, foram incorporados modelos de entrada de N por fixação biológica de N (FBN) e deposição atmosférica para calcular os fluxos de perdas de N gasoso e por lixiviação. As estimativas de fluxo de N mostraram que 1,3 ± 1,1 g N m-2 ano-1 é perdido em média pelo processo de desnitrificação nos solos naturais do continente. Perdas por lixiviação foram de 2,5 ± 1,8 g N m-2 ano-1 . Foram estimados valores significativamente menores nas regiões das savanas tropicais e savanas e campos alagados da América do Sul em comparação aos modelos anteriores. Isso é reflexo do aumento da quantidade de pontos representando esses ecossistemas, visto que essas áreas foram sub-amostradas em estudos anteriores em escala global. As relações não-lineares e o uso de variáveis preditoras representando múltiplos fatores de estado dos ecossistemas evidenciaram padrões espaciais de δ 15N no solo coerentes com as observações empíricas, que ainda não haviam sido representados em modelos globais, principalmente das savanas tropicais.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES).Nitrogen (N) is a limiting element of the terrestrial ecosystems primary production. Therefore, it is essential to understand the patterns of N losses across ecosystems. The isotopic ratio of nitrogen (δ 15N) in soil samples reflects the dominant paths of N inputs and outputs in the terrestrial system. The isotopic approach appears as a tool to estimate N emissions and fluxes in mass balance models. To be applied in N cycling models, soil δ 15N must be represented in isotopic landscapes (isoscapes). In addition to being central to N cycling models, Soil δ 15N isoscapes can be used in other scientific fields such as anthropology, forensics and community ecology. However, soil δ 15N isoscapes available at a global scale mask some regional patterns of the N cycle. New continental scale isoscapes should incorporate more sampling sites and methodological approaches that highlight nonlinear relationships between δ 15N and predictor variables. In this context, the objective of this doctoral thesis was to elaborate an isoscape soil δ 15N at the continental scale. South America was chosen as a model area because it presented large sample voids in previous global compilations and allowed the collection of new samples. Subsequently, the soil δ 15N isoscape was tested in an isotopic mass balance model to estimate the N losses by leaching and denitrification. In total, 278 geographical locations were considered in South America, with data from the literature and new field samples. The covariates represented the pedological, climatic and biological conditions of the environment. Besides, the biome boundaries and ecoregions were inserted into the model as discrete variables. Three machine learning algorithms were tested for the δ 15N soil model: Cubist, Random Forest (RF) and Stochastic Gradient Boosting (GBM). The best algorithm was chosen based on the 10-fold cross-validation and applied in the modeling. Among the tested models, RF had the best performance (R2 = 0.64). The importance of variable analysis showed that the biome type was the main variable to represent the spatial variation of δ 15N of the soil, followed by soil organic carbon. The estimated amplitude was -2.0 ‰ to 14.3 ‰. The highest values are concentrated in semi-arid climate regions and the lowest in the coldest regions. The patterns represented in the isoscape of δ 15N of the soil were reflected in the spatial variation of the proportion of the incoming N that is lost by gaseous pathways (fgas). The region with the highest relative losses of gaseous N is that of deserts and xeric shrubs, followed by dry tropical forests and humid tropical forests. The highest relative leaching losses occur in the ecosystems of temperate mixed forests and Mediterranean forests; and tropical savanna ecosystems. From the fgas model, N input models were incorporated by biological N fixation (FBN) and atmospheric deposition to calculate the flow losses of gaseous N and by leaching. N flux estimates showed that 1.3 ± 1.1 g N m-2 yr-1 is lost on average by the denitrification process on the continent's natural soils. Leaching losses are 2.5 ± 1.8 g N m-2 yr-1 . Significantly lower values were estimated in the tropical savannas and grassland savannas and floodplains of South America in comparison to previous models. That pattern is due to the increase in the number of points representing these ecosystems since they were underrepresented in previous studies on a global scale. Nonlinear relationships and the use of predictor variables representing multiple state factors revealed spatial patterns of δ 15N in soil consistent with empirical observations that had not yet been represented in global models, mainly in tropical savannas

Flexão simples : análise comparativa REBAP vs. EC2

O Eurocódigo 2 recomenda a utilização de relações tensões-extensões de cálculo quer para o betão quer para o aço, diferentes das propostas pelo REBAP. Com o objectivo de analisar a influência desta alteração normativa no dimensionamento à flexão simples de secções rectangulares, efectuou-se um estudo comparativo em termos de grandezas adimensionais. Na comunicação descreve-se o estudo efectuado, assim como, as principais conclusões obtidas

Análise crítica do mecanismo fonte/vinculação em órgãos do Poder Judiciário Federal

Trabalho de conclusão de curso apresentado à Universidade de Brasília como requisito à conclusão do curso e obtenção do título de especialista em Contabilidade Pública.Aborda os tribunais superiores e o Supremo Tribunal Federal, no que concerne à obrigatoriedade do uso das Fontes de Recursos e Vinculações de pagamentos quando da efetivação dos dispêndios. Dá destaque às dificuldades relacionadas ao uso de Fonte/Vinculação de pagamento, seus condicionantes e conseqüências para a gestão pública. Delineia cenários alternativos que objetivam minimizar o impacto das dificuldades apontadas, bem como aperfeiçoar os processos onde é obrigatório o emprego do mecanismo Fonte/Vinculação de pagamento.Superior Tribunal de Justiça (STJ)

Influencia de los factores sociales, ambientales y personales en la percepción de los gimnasios

Tese apresentada à Universidade de Vigo - Departamento de Psicoloxia Evolutiva e Comunicación, para a obtenção do grau de DoutorOs ginásios são locais pouco estudados ao nível académico apesar de formarem parte de uma indústria do fitness com um impacto significativo na sociedade, mas que sofre do problema das elevadas taxas de abandono. Recorrendo a pesquisas em diversas bases de dados, discutimos a informação acerca das variáveis determinantes da actividade física em ginásios, concluindo que a população dos ginásios é maioritariamente jovem, embora tenha aumentado a procura por parte de pessoas mais velhas. Os motivos pelos quais as pessoas se inscrevem e os motivos pelos quais se mantêm parecem ser diferentes, estando as principais razões que levam as pessoas aos ginásios sobretudo relacionadas com a saúde e o bem-estar, mas também têm um peso específico outras de ordem estética, física, psicológica. Quanto às variáveis determinantes para fazer actividade física em ginásios, podem ser categorizadas em: atributos pessoais, factores ambientais e características da actividade física. Os aspectos de índole social revelaram uma grande importância nos motivos de abandono dos ginásios. Todavia são necessárias mais investigações para conhecer o perfil dos utilizadores e o ambiente social dos ginásios. Um dos objectivos fundamentais deste trabalho é averiguar se a relação sóciofuncionários é a variável determinante mais importante para a adesão à actividade física em ginásios. Com esta finalidade realizaram-se dois estudos. O Estudo 1 consiste na criação de um questionário para avaliar a percepção que os sócios têm do ambiente dos ginásios, o Questionário de Percepção do Ambiente do Ginásio – QPAG. O Estudo 2 pretende avaliar a percepção dos ginásios, para o qual se aplicou este questionário a uma população significativa de sócios de Portugal. No Estudo 1 criou-se o QPAG. O procedimento seguido foi o seguinte: Fase 1: Revisão da Bibliografia Referente aos Questionários de Satisfação em Serviços e de Adesão ao Exercício Físico. Fase 2: Formulação das Afirmações do QPAG, Com base no Apoio Teórico Consultado. Fase 3: Aplicação da Versão Inicial a Uma Amostra Reduzida de Sócios de Ginásios (N = 48) Para Aceder a Informações Globais Sobre os Itens. Fase 4: Revisão Por Parte de Especialistas. Fase 5: Estudo Piloto a Uma Reduzida Amostra de Sócios de Ginásios (N = 193). Fase 6: Elaboração do Questionário Para Aplicação Definitiva a Uma Amostra de Sócios de Ginásios. Fase 7: Aplicação do Instrumento a Uma Amostra Representativa de Sócios de Ginásios (N = 320). Obteve-se definitivamente um instrumento com 26 itens mais 3 de controlo e 10 afirmações de caracterização pessoal, num total de 39 afirmações. O questionário avalia 4 factores: factores pessoais, ambiente físico, relação sócio-sócio e relação sócio-funcionários. Quanto à validade preditiva, tem uma forte correlação a média do factor 2 (ambiente físico) e o factor físico global. O factor social global correlaciona-se fortemente com os factores 1 (relação sócio – funcionários/professores), 2 (ambiente físico) e 3 (relação sócio – outros sócios), mas não com o factor 4 (factores pessoais). A prova Kaiser Meyer Olkin – KMO, foi de 0,925 com uma elevada significância: p < 0,001. A variância explicada pelo modelo foi de 50,26%. Os resultados mostram que a fiabilidade do questionário é elevada com um Alfa de Cronbach de 0,88. Trata-se de um instrumento de avaliação que pode ser útil para avaliar a percepção que os sócios têm do ambiente físico e social dos ginásios, bem como dos factores pessoais que influem nesta percepção. O Estudo 2 realizou-se a fim de conhecer a percepção que os sócios de ginásios de Portugal têm do ambiente físico e social dos mesmos e como ela varia em função de determinadas características dos sócios e conhecer os motivos que levam as pessoas a aderir aos ginásios. Aplicou-se o QPAG a 1005 sócios de ginásios de Portugal com uma média de idades de 31,74 anos sendo 54,6% do sexo feminino. Os resultados foram positivos com uma percepção global média de 4,46 numa escala de 1 a 6 pontos. Os sócios apresentaram uma manifesta intenção de continuar no ginásio, com uma média de 5,43. A relação sócio-funcionários foi o factor mais valorizado com uma média de 5,22. Os factores pessoais foram os menos valorizados. Melhorar a saúde e condição física são os principais motivos para estes sócios irem ao ginásio. Obtêm-se com este trabalho algumas orientações quanto à importância que os sócios dão ao ambiente do ginásio, sendo os factores sociais os que determinam, em maior grau a adesão aos ginásios. Conhecendo melhor os motivos que levam as pessoas a fazer exercício em ginásios ou, simplesmente, a inscreverem-se como sócias, facilitará a intervenção ao nível administrativo e ao nível técnico

O financiamento da educação no Legislativo

O Poder Legislativo constituiu-se, historicamente, não só em palco de debate, mas também em instância decisiva de formulação de propostas e deliberação acerca do financiamento da educação. O texto rejeita a ideia de que o Legislativo tem sido um mero ratificador ou coadjuvante de decisões do Poder Executivo. Muitos dos principais pilares do financiamento à educação ou foram inseridos pelo constituinte (vinculação à manutenção e desenvolvimento do ensino-MDE, constitucionalização do salário-educação), ou foram propostas e aprovadas pelo legislador ordinário (Lei de Diretrizes e Bases-LDB, 1o Plano Nacional de Educação- PNE, Emenda Constitucional - EC no 59/09). Mesmo as matérias propostas pelo Executivo raramente saem do Congresso Nacional como entraram uma vez que o relator busca a construção de consensos no Legislativo, nem sempre conforme a proposta inicial do Executivo e geralmente apresenta um substitutivo ou projeto de lei de conversão. Foi o que ocorreu (Fundef, Fundeb).O texto discute, ainda, os procedimentos por meio dos quais são discutidas as matérias de interesse da educação (tipos de proposição, regras de apreciação e instâncias de deliberação.

O Papel do Legislativo na discussão de Fundos educacionais

The text discusses the roles of the Legislative Branch in relation to the educational funds that have become the main financing mechanism for Brazilian public basic education. It indicates the duties to pass laws, monitor their implementation and impacts and supervise the Executive Branch. It points to the need to reaffirm education as a priority during and after the pandemic due to the new coronavirus and to approve the new permanent Fundeb.O texto discute os papéis do Poder Legislativo em relação aos fundos educacionais que se tornaram o principal mecanismo de financiamento da educação básica pública brasileira. Indica os deveres de aprovar leis, acompanhar sua implementação e impactos e fiscalizar o Poder Executivo. Aponta a necessidade de reafirmar a educação como prioritária durante e após a pandemia e aprovar o novo Fundeb permanente

A política das políticas educacionais e seus atores

O presente trabalho analisa a gênese e a implementação das políticas educacionais, a partir da atuação de vários atores: os Poderes do Estado – Executivo, Legislativo e Judiciário -, os movimentos sociais educacionais e as representações das esferas federativas. Recorre-se aos processos de aprovação do Fundo de Manutenção e Desenvolvimento do Ensino Fundamental e de Valorização do Magistério (Fundef) e do Fundo de Manutenção e Desenvolvimento da Educação Básica e de Valorização dos Profissionais da Educação (Fundeb), para ilustrar as interações dos atores e suas alianças e conflitos. Destaca-se o papel do Poder Legislativo no diálogo com as teses dos movimentos sociais e mediação de eventuais conflitos federativos

Análise experimental de pilares de betão armado reforçados com laminados de carbono sob acções cíclicas

Neste trabalho apresentam-se e analisam-se os resultados obtidos numa campanha de ensaios experimentais em pilares de betão armado reforçados com o sistema de reforço referido e submetidos a acções cíclicas, dando-se especial relevo aos parâmetros que permitem avaliar a capacidade dissipativa de energia dos elementos ensaiados. Ensaios preliminares de arranque com o sistema de reforço proposto foram efectuados, sendo os resultados obtidos analisados