Aceleradores e multiprocessadores em chip: o impacto da execução fora de ordem na verificação de funcionalidade e de consistência

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2012Este trabalho aborda duas classes de problemas enfrentados na verificação de projetos que exibem comportamentos fora de ordem, especificamente a verificação funcional de aceleradores em hardware e a verificação de consistência em sistemas de memória compartilhada. Comportamentos fora de ordem surgem quando relaxam-se restrições de precedência para aumentar a taxa de uso de componentes de hardware concorrentes e, portanto, aumentar o desempenho. Entretanto, o projeto de um sistema que apresenta comportamentos fora de ordem é suscetível a erros pelo fato de o relaxamento de ordem requerer controle sofisticado. Este trabalho compara as garantias de verificação de três classes de checkers dinâmicos para módulos com suporte a eventos fora de ordem. Comprovadamente, scoreboards relaxados podem ser construídos com plenas garantias de verificação contanto que utilizem regras de atualização baseadas na remoção de dominadores. Resultados experimentais mostram que um scoreboard relaxado assim projetado requer aproximadamente 1/2 do esforço exigido por um scoreboard convencional. Verificar a conformidade do hardware com um modelo de consistência é um problema relevante cuja complexidade depende da observabilidade dos eventos de memória. Este trabalho também descreve uma nova técnica de verificação de consistência de memória on-the-fly a partir de uma representação executável de um sistema multi-core. Para aumentar a eficiência sem afetar as garantias de verificação, são monitorados três pontos por núcleo, ao invés de um ou dois, como proposto em trabalhos correlatos anteriores. Os três pontos foram selecionados para serem altamente independentes da microarquitetura do core. A técnica usa scoreboards relaxados concorrentes para detectar violações em cada core. Para detectar violações globais, utiliza-se a ordem linear de eventos induzida por um caso de teste. Comprovadamente, a técnica não induz falsos positivos nem falsos negativos quando o caso de teste expõe um erro que afeta as sequências monitoradas, tornando-se o primeiro checker on-the-fly com plenas garantias de verificação. Resultados experimentais mostram que ele requer aproximadamente 1/4 a 3/4 do esforço global exigido por um checker post-mortem que monitora duas sequências por processador. A técnica é pelo menos 100 vezes mais rápida do que um checker que monitora uma única sequência por processador.Abstract : This work addresses two classes of problems faced when verifying designs exhibiting out-of-order behaviors, namely the functional verification of hardware accelerators and the verification of consistency in shared-memory systems. Out-of-order behaviors result from relaxing precedence constraints to increase the usage rate of concurrent hardware components and, therefore, lead to a performance improvement. However, the design of a system handling out-of-order behaviors is error prone, since order relaxation asks for sophisticated control. This work compares the verification guarantees of three classes of dynamic checkers for modules handling out-of-order behaviors. Provenly, relaxed scoreboards can be built with full verification guarantees, as far as they employ an update rule based on the removal of dominators. Experimental results show that such a relaxed scoreboard needs approximately 1/2 of the effort required by a conventional one. Verifying the hardware compliance with a consistency model is a relevant problem, whose complexity depends on the observability of memory events. This work also describes a novel on-the-fly technique for verifying memory consistency from an executable representation of a multi-core system. To increase efficiency without hampering verification guarantees, three points are monitored per core, instead of one or two, as proposed in previous related works. The points were selected to be largely independent from the core#s microarchitecture. The technique relies on concurrent relaxed scoreboards to check for consistency violations in each core. To check for global violations, it employs a linear order of events induced by a given test case. Provenly, the technique neither indicates false negatives nor false positives when the test case exposes an error that affects the sampled sequences, making it the first on-the-fly checker with full guarantees. Experimental results show that it needs approximately 1/4 to 3/4 of the overall verification effort required by a post-mortem checker sampling two sequences per processor. The technique is at least 100 times faster than a checker sampling a single sequence per processor

Perfil epidemiológico dos idosos atendidos pelo Serviço de Atendimento Móvel de Urgência (SAMU) na cidade de Maceió/ AL

Os idosos têm apresentado um significativo aumento na expectativa de vida nas últimas décadas, contudo, continuam sendo uma população suscetível a diversos agravos a saúde por conta de declínios de suas reservas fisiológicas funcionais. Aliada a este fato está à ausência de políticas públicas que priorizem a efetivação da atenção básica como porta de entrada ao Sistema Único de Saúde – SUS. Este público tem agravado facilmente a sua situação de saúde, muitas vezes sendo necessário o atendimento pelos serviços de urgência e emergência. O objetivo do presente trabalho foi traçar o perfil epidemiológico dos idosos atendidos pelo SAMU, bem como apontar o caráter das ocorrências envolvendo esta população na cidade de Maceió/AL. Trata-se de um trabalho quantitativo do tipo exploratório, de caráter retro e prospectivo, que utilizou como meio de coleta de dados os registros de atendimento realizados pelo SAMU entre 2011 e 2012. Os resultados apontam para uma procura ao SAMU pelos idosos, nos meses avaliados, principalmente por queixas clínicas. A maioria eram homens e a principal rede de direcionamento foi o Hospital Geral do Estado. Os achados reforçam as necessidades de maior cobertura da atenção primária e de estratégias de saúde que promovam melhor qualidade de vida, prevenção e recuperação da saúde deste público

Orientador escolar: desafios e resoluções de resolver conflitos no ambiente escolar

O presente cerne a respeito do papel do Orientador Educacional mediante ao âmbito escolar, o verdadeiro papel do Orientador sua história, a ética profissional e seu papel, em suma, mostrará um pouco do trabalho que se desenvolvido com clareza e seriedade terá um resultado satisfatório no fim do ano. Para a realização deste, optou-se por uma revisão bibliográfica com foco no tema. O mesmo se justifica diante da realidade e a necessidade de se ter um orientador educacional nas escolas, onde o mesmo exerce várias funções importantes. Esse estabelece o objetivo de divulgar a importância do papel do Orientador Educacional dentro da escola, oportunizando que todos sejam beneficiados com um trabalho de extrema necessidade nos dias atuais. O trabalho de um orientador educacional reveste-se de grande importância, complexidade e responsabilidade e, para que seja realizado a contento, exige-se muito desse profissional, não só em termos de formação, de atualização constante e de características de personalidade, como também de comportamento ético

School advisor: challenges and resolutions of resolving conflicts in the school environment

The present core regarding the role of the Educational Advisor through the school scope, the true role of the Advisor its history, professional ethics and its role, in short, will show a little of the work that if developed with clarity and seriousness will have a satisfactory result in the end of the year. To carry out this, we opted for a bibliographical review focusing on the theme. The same is justified in view of the reality and the need to have an educational advisor in schools, where he performs several important functions. This establishes the objective of publicizing the importance of the role of the Educational Advisor within the school, providing opportunities for everyone to benefit from work that is extremely necessary today. The work of an educational advisor is of great importance, complexity and responsibility and, for it to be carried out satisfactorily, a lot is required of this professional, not only in terms of training, constant updating and personality characteristics, but also of ethical behavior.O presente cerne a respeito do papel do Orientador Educacional mediante ao âmbito escolar, o verdadeiro papel do Orientador sua história, a ética profissional e seu papel, em suma, mostrará um pouco do trabalho que se desenvolvido com clareza e seriedade terá um resultado satisfatório no fim do ano. Para a realização deste, optou-se por uma revisão bibliográfica com foco no tema. O mesmo se justifica diante da realidade e a necessidade de se ter um orientador educacional nas escolas, onde o mesmo exerce várias funções importantes. Esse estabelece o objetivo de divulgar a importância do papel do Orientador Educacional dentro da escola, oportunizando que todos sejam beneficiados com um trabalho de extrema necessidade nos dias atuais. O trabalho de um orientador educacional reveste-se de grande importância, complexidade e responsabilidade e, para que seja realizado a contento, exige-se muito desse profissional, não só em termos de formação, de atualização constante e de características de personalidade, como também de comportamento ético

SALÁRIO REAL E CONFLITO DISTRIBUTIVO NA ECONOMIA BRASILEIRA DE 2000 A 2014

This work aims to analyze, from a multisector point of view, the evolution ofdistributive conflict of Brazilian economy from 2000 to 2014, from the understandingthat in an open economy there are two setting prices process. One is associated withgoods that follow an international reference value and another for goods that follow adomestic pricing process. The period is divided in three phases. In the first one, 2001-2003, the inflation rate is higher which is disadvantageous for workers and the profitmargins rises. In the second, from 2004 to 2009, inflation rate decreases simultaneouslyto a fall in profit margins of international prices sectors and the real wage rises. The lastone, 2010-2014, maintain the distributive frame, but more smoothly.O objetivo deste trabalho é analisar, a partir de uma perspectiva multissetorial, a dinâmica de conflito distributivo na economia brasileira ao longo do período 2000-2014, a partir do entendimento de que, em uma economia aberta, vigoramdois processos distintos de formação de preços. Um está associado aos produtos queseguem um valor internacional de referência e outro corresponde aos produtos queobedecem um processo doméstico de precificação. A análise do período 2000-2014 édividida em três subperíodos. No primeiro, 2001-2003, a taxa de inflação da economiabrasileira é mais elevada, o que resulta em uma dinâmica de preços e salários desvantajosa para os assalariados, ao mesmo tempo que crescem as margens de lucro. Nosegundo, 2004-2009, a inflação se reduz e o salário real passa a crescer junto a umaqueda das margens de lucro nos setores que obedecem a um processo internacional deprecificação. No terceiro, 2010-2014, tem-se a manutenção do quadro distributivo dosegundo subperíodo, porém de modo mais suave

Process of Establishment And In Vitro Development of Simaba Cedron Planch Seedlings. (Simaroubaceae)

Simaba cedron, popularly known as "cedron", is largely used for fever and snake bites. Its seeds are used in the treatment of stomach problems and liver infections. The fruits are used for the treatment of pain and malaria while its bark is an antispasmodic. Simaba cedron is generally propagated through seeds, but with limited success, as the low viability of same restricts its propagation. In view of such difficulty, it becomes necessary the study for adequate conditions for the large scale production of these seedlings. Being it known that in several species, the use of micropropagation has made it possible to obtain a large amount of disease-free and more homogeneous seedlings, in reduced time and physical space, in comparison with conventional propagation methods, the objective of this work was to analyze the effect of two culture media on the production of aseptic parent plants as a first step in the development of a micropropagation protocol for Simaba cedron. The seeds were collected from a matrix plant located in the Amazon Biotechnology Center (CBA), in Manaus/AM. The experiment was installed at the Vegetable Tissue Culture Laboratory, where the  explants were desinfected and grown in culture medium  according to Murashige & Skoog (MS) and in Wood Plant Medium (WPM), during 60 days. The disinfestation rate obtained was 75% and, of the disinfested seeds, 100% germinated. The cultivation medium that was more favorable to the cultivation of simaba was the MS, where the multiplication rate was of 8.0: 1, whose seedlings reached, in average, 4.8 cm and 75% of rooting

Seasonal streamflow forecast in the Tocantins river basin, Brazil : an evaluation of ecmwf-seas5 with multiple conceptual hydrological models

The assessment of seasonal streamflow forecasting is essential for appropriate water resource management. A suitable seasonal forecasting system requires the evaluation of both numerical weather prediction (NWP) and hydrological models to represent the atmospheric and hydrological processes and conditions in a specific region. In this paper, we evaluated the ECMWF-SEAS5 precipitation product with four hydrological models to represent seasonal streamflow forecasts performed at hydropower plants in the Legal Amazon region. The adopted models included GR4J, HYMOD, HBV, and SMAP, which were calibrated on a daily scale for the period from 2014 to 2019 and validated for the period from 2005 to 2013. The seasonal streamflow forecasts were obtained for the period from 2017 to 2019 by considering a daily scale streamflow simulation comprising an ensemble with 51 members of forecasts, starting on the first day of every month up to 7 months ahead. For each forecast, the corresponding monthly streamflow time series was estimated. A post-processing procedure based on the adjustment of an autoregressive model for the residuals was applied to correct the bias of seasonal streamflow forecasts. Hence, for the calibration and validation period, the results show that the HBV model provides better results to represent the hydrological conditions at each hydropower plant, presenting NSE and NSElog values greater than 0.8 and 0.9, respectively, during the calibration stage. However, the SMAP model achieves a better performance with NSE values of up to 0.5 for the raw forecasts. In addition, the bias correction displayed a significant improvement in the forecasts for all hydrological models, specifically for the representation of streamflow during dry periods, significantly reducing the variability of the residuals

CORRELAÇÃO DE LONGA-DURAÇÃO E ANALÍSE BAYESIANA DA EVOLUÇÃO TEMPORAL DOS TERREMOTOS AO LONGO DA FALHA DE SAMAMBAIA, NORDESTE DO BRASIL

Uma aproximação Bayesiana é adotada para analisar a seqüência de eventos sísmicos e suas magnitudes próximo a João Câmara que ocorreram principalmente de 1983 a 1998 ao longo da Falha de Samambaia. Neste trabalho, nós escolhemos um modelo Bayesiano para o processo de tempo de ocorrência condicional sobre os valores de magnitudes observadas seguindo o mesmo procedimento proposto por Stavrakakis e Tselentis (1987). Os parâmetros do modelo são determinados sobre uma base de informações físicas e históricas. Nós geramos uma amostra a posteriori a partir de sua distribuição através de uma variante do algoritmo Metropolis-Hastings. Nós usamos os resultados em uma variedade de aplicações, incluindo a construção de um intervalo de confiança para a intensidade condicional do processo como uma função de tempo, como também, uma distribuição a posteriori como uma função da má ocorrência por unidade de tempo

RESOLUÇÃO DE PROBLEMAS NA EDUCAÇÃO MATEMÁTICA: CONSTITUIÇÃO DE GRUPOS DE PESQUISA ATUANTES NO BRASIL

In this paper, we aim to analyze/describe how research groups are formed in problem solving active in Brazil, clearing up their leaders, foundation time, geographic regions, states of the federation, higher education institutions, the prevailing fields, research lines, and application sectors. The theoretical contributions are linked to the specific literature on problem solving in mathematics education and the descriptive research survey with a quantitative-qualitative approach. The database consulted was the directory of research groups in Brazil, on August 22, 2022, under the search command “Problem Solving”. From 44 resulting groups, we validated a total number of 24 in the Mathematics education inquiry region. The main results showed an amount of 44 leaders, a predominance of groups with collective leadership (20 groups), and an average foundation of 8,6 years, the long-lived one lasting 30 years of actuation and a significant part having between 2 and 5 years (11 groups), appearing, mainly in 2019 (4 groups). The groups are located in 22 institutions, concentrated in the Southeast and Northeast regions with 10 and 6 groups, respectively, and show a predominant link in the Human Sciences/Education field. Concerning the research lines, the groups have one, two, or even three themes in the core of problem-solving and act, above all, in Basic Education. We point out the need for this collective of researchers to create research networks in order to consolidate the theme to envision the founding of a working group at the International Seminar on Research in Mathematics Education. Neste artigo, objetivamos analisar/descrever como estão constituídos os grupos de pesquisa em Resolução de Problemas atuantes no Brasil, evidenciando seus líderes, tempo de fundação, regiões geográficas, unidades da federação, Instituições de Ensino Superior, áreas predominantes, linhas de investigação e setores de aplicação. Os aportes teórico-metodológicos vinculam-se à literatura específica de Resolução de Problemas na Educação Matemática e à pesquisa descritiva survey com abordagem quanti-qualitativa. O banco de dados consultado foi o Diretório dos Grupos de Pesquisa no Brasil, na data de 22 de agosto de 2022, sob o comando de busca “Resolução de Problemas”. Dos 44 grupos resultantes, validamos um total de 24 na região de inquérito da Educação Matemática. Os resultados principais apontaram um acumulado de 44 líderes, predomínio de grupos com liderança coletiva (20 grupos) e média de fundação de 8,6 anos, tendo o mais longevo 30 anos de atuação e grande parte possuindo entre 2 e 5 anos (11 grupos), surgindo, principalmente, em 2019 (4 grupos). Os grupos estão alocados em 22 instituições, concentrados nas regiões Sudeste e Nordeste, com 10 e 6 grupos, respectivamente, e apresentam vínculo predominante na área das Ciências Humanas/Educação. Sobre as linhas de pesquisa, os grupos possuem uma, duas e/ou até três temáticas no cerne da Resolução de Problemas e atuam, sobretudo, na Educação Básica. Argumentamos pela necessidade desse coletivo de pesquisadores formarem redes de pesquisa no trato de consolidar a temática e vislumbrar a fundação de um Grupo de Trabalho no Seminário Internacional de Pesquisa em Educação Matemática