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

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

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

A proposta de convenção internacional sobre a resposta às pandemias: em defesa de um tratado de direitos humanos para o campo da saúde global

In November 2021, the World Health Organization (WHO) will start a negotiation of a convention, agreement, or other international instrument on response to pandemics. In this essay, we state and justify the thesis that the new pact shall be a human rights treaty as an imperative condition for the prevention of new pandemics and an efficient global response when they occur. After a brief description of the origin of the negotiations, we present thefollowing normative topics that correspond to a human rights perspective: the establishment of a rule of indissociability between quarantine measures and social protection; and the regulation of the access to pharmaceutical technologies. After that, in a section dedicated to the topics of the effectiveness of the future treaty, we classify the existing proposals in technocratic agreements, such as alterations in the procedures for the declaration of emergencies; mechanisms of transparency and accountability, such as the adoption of an Universal Periodic Reviews (UPR), similar to those of the United Nations Human Rights Council, to monitor the health-related obligations of States; coercive powers that would be disposed to WHO or to another agency such as inspections in the national territories to be held independent scientists; and mechanisms of political coordination, such as the creation of a Global Council on Threats to Health. We conclude that there is a risk of adopting a more efficient system to alert the developing world about threats originating from developing countries, in place of a treaty capable of contributing to avoid that more vulnerable populations continue to be devastated by even more frequent pandemics.Em novembro de 2021, a Organização Mundial da Saúde (OMS) dará início à negociação de uma convenção, acordo ou outro instrumento internacional sobre a resposta às pandemias. Neste ensaio, defendemos e justificamos a tese de que o novo pacto deve ser um tratado de direitos humanos, como condição indispensável para prevenção de novas pandemias e eficiência da resposta global quando elas ocorrem. Após o breve resgate da origem das negociações, apresentamos os principais conteúdos normativos que correspondem a um enfoque de direitos humanos: a instituição da regra de indissociabilidade entre medidas quarentenárias e de proteção social; e a regulamentação do acesso a tecnologias farmacêuticas. A seguir, em seção dedicada ao tema da efetividade do futuro tratado, classificamos as propostas existentes em ajustes tecnocráticos, como alterações no procedimento de declaração de emergências; mecanismos de transparência e controle, a exemplo da adoção de um mecanismo de Revisão Periódica Universal (RPU), similar ao do Conselho de Direitos Humanos das Nações Unidas, para monitorar obrigações dos Estados relacionadas à saúde; poderes coercitivos que seriam outorgados à OMS ou outra agência, tais como inspeções nos territórios nacionais realizadas por cientistas independentes; e mecanismos de coordenação política, como a criação de um Conselho Global de Ameaças à Saúde. Concluímos que há risco de adoção de um sistema mais eficiente de vigilância para alertar o mundo desenvolvido sobre ameaças oriundas de países em desenvolvimento, em lugar de um tratado capaz de contribuir para evitar que populações mais vulneráveis continuem sendo devastadas por pandemias cada vez mais frequentes