Estimação de parâmetros genéticos para resistência à infecção por IMNV em camarões Litopenaeus vannamei por meio de análise de sobrevivência

The main specie of marine shrimp raised at Brazil and in the world is Litopenaeus vannamei, which had arrived in Brazil in the `80s. However, the entry of infectious myonecrosis virus (IMNV), causing the infectious myonecrosis disease in marine shrimps, brought economic losses to the national shrimp farming, with up to 70% of mortality in the shrimp production. In this way, the objective was to evaluate the survival of shrimps Litopenaeus vannamei infected with IMNV using the non parametric estimator of Kaplan-Meier and a model of frailty for grouped data. It were conducted three tests of viral challenges lasting 20 days each, at different periods of the year, keeping the parameters of pH, temperature, oxygen and ammonia monitored daily. It was evaluated 60 full-sib families of L. vannamei infected by IMNV in each viral challenge. The confirmation of the infection by IMNV was performed using the technique of PCR in real time through Sybr Green dye. Using the Kaplan-Meier estimator it was possible to detect significant differences (p <0.0001) between the survival curves of families and tanks and also in the joint analysis between viral challenges. It were estimated in each challenge, genetic parameters such as genetic value of family, it`s respective rate risk (frailty), and heritability in the logarithmic scale through the frailty model for grouped data. The heritability estimates were respectively 0.59; 0.36; and 0.59 in the viral challenges 1; 2; and 3, and it was also possible to identify families that have lower and higher rates of risk for the disease. These results can be used for selecting families more resistant to the IMNV infection and to include characteristic of disease resistance in L. vannamei into the genetic improvement programs

Modelo de programação matemática para controle do crescimento da vegetação sob redes de distribuição de energia elétrica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Melhorando a estimação de pose com o RANSAC preemptivo generalizado e múltiplos geradores de hipóteses

The camera motion estimation represents one of the fundamental problems in Computer Vision and it may be solved by several methods. Preemptive RANSAC is one of them, which in spite of its robustness and speed possesses a lack of flexibility related to the requirements of applications and hardware platforms using it. In this work, we propose an improvement to the structure of Preemptive RANSAC in order to overcome such limitations and make it feasible to execute on devices with heterogeneous resources (specially low budget systems) under tighter time and accuracy constraints. We derived a function called BRUMA from Preemptive RANSAC, which is able to generalize several preemption schemes, allowing previously fixed parameters (block size and elimination factor) to be changed according the applications constraints. We also propose the Generalized Preemptive RANSAC method, which allows to determine the maximum number of hipotheses an algorithm may generate. The experiments performed show the superiority of our method in the expected scenarios. Moreover, additional experiments show that the multimethod hypotheses generation achieved more robust results related to the variability in the set of evaluated motion directions

Implementação Hardware/Software da estimação de movimento segundo o padrão H.264

Motion estimation is the main responsible for data reduction in digital video encoding. It is also the most computational damanding step. H.264 is the newest standard for video compression and was planned to double the compression ratio achievied by previous standards. It was developed by the ITU-T Video Coding Experts Group (VCEG) together with the ISO/IEC Moving Picture Experts Group (MPEG) as the product of a partnership effort known as the Joint Video Team (JVT). H.264 presents novelties that improve the motion estimation efficiency, such as the adoption of variable block-size, quarter pixel precision and multiple reference frames. This work defines an architecture for motion estimation in hardware/software, using a full search algorithm, variable block-size and mode decision. This work consider the use of reconfigurable devices, soft-processors and development tools for embedded systems such as Quartus II, SOPC Builder, Nios II and ModelSim

Arquitetura com elevada taxa de processamento e reduzida largura de banda de memória para a estimação de movimento em vídeos digitais

Nowadays several electronics devices support digital videos. Some examples of these devices are cellphones, digital cameras, video cameras and digital televisions. However, raw videos present a huge amount of data, millions of bits, for their representation as the way they were captured. To store them in its primary form it would be necessary a huge amount of disk space and a huge bandwidth to allow the transmission of these data. The video compression becomes essential to make possible information storage and transmission. Motion Estimation is a technique used in the video coder that explores the temporal redundancy present in video sequences to reduce the amount of data necessary to represent the information. This work presents a hardware architecture of a motion estimation module for high resolution videos according to H.264/AVC standard. The H.264/AVC is the most advanced video coder standard, with several new features which allow it to achieve high compression rates. The architecture presented in this work was developed to provide a high data reuse. The data reuse schema adopted reduces the bandwidth required to execute motion estimation. The motion estimation is the task responsible for the largest share of the gains obtained with the H.264/AVC standard so this module is essential for final video coder performance. This work is included in Rede H.264 project which aims to develop Brazilian technology for Brazilian System of Digital Television

Os jogos com regras na educação matemática inclusiva

This present study aimed to examine the use of games with rules in working with math education in regular classes included in Elementary School, in the municipal education schools of Natal/RN, observing the learning process and development of all students, especially those with disabilities. The theoretical references used are based on Vygotsky's works and other authors from the historical-cultural perspective, as well as researchers in the field of Inclusive Education and Mathematics Education. The investigation was based on the qualitative research guidelines, with the application of semi-structured interviews with educational coordinators and teachers from the schools involved as well as classroom observations, looking for, in the speeches of those involved and in their teaching practices, elements to reflect on the Mathematics Inclusive Education, the use of games with rules -starting from its goals, the participation of disabled students, the pedagogical mediations, up to its accessibility - and from the learning of disabled students. The analysis results showed that the concepts underlying the development of inclusive teaching practices still refer to the clinical-medical paradigm, understanding the student with disabilities from their deficiencies; which teachers use, in their majority, the mathematical games with rules in their classes, but which the teaching mediation, during these activities, still needs to be qualified so that they can, effectively, contribute to the learning and development of all students; students with disabilities do not always participate in games with others colleagues; games with rules are rarely accessible; and that the Universal Design principles are not adopted in the selected classrooms for this study. Thus, it is clear that much remains to be done so that Mathematics Education can contribute to the learning and development of all students, and among those actions the teacher continuing education is recommended

Sistema não-Intrusivo para Estimação da Direção do olhar utilizando redes neurais artificiais

The fundamental senses of the human body are: vision, hearing, touch, taste and smell. These senses are the functions that provide our relationship with the environment. The vision serves as a sensory receptor responsible for obtaining information from the outside world that will be sent to the brain. The gaze reflects its attention, intention and interest. Therefore, the estimation of gaze direction, using computer tools, provides a promising alternative to improve the capacity of human-computer interaction, mainly with respect to those people who suffer from motor deficiencies. Thus, the objective of this work is to present a non-intrusive system that basically uses a personal computer and a low cost webcam, combined with the use of digital image processing techniques, Wavelets transforms and pattern recognition, such as artificial neural network models, resulting in a complete system that performs since the image acquisition (including face detection and eye tracking) to the estimation of gaze direction. The obtained results show the feasibility of the proposed system, as well as several feature advantages.

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Métodos estatísticos recursivos aplicados ao problema de estimação de vazão de gás em plantas de Plunger-lift

This work has as main objective to find mathematical models based on linear parametric estimation techniques applied to the problem of calculating the grow of gas in oil wells. In particular we focus on achieving grow models applied to the case of wells that produce by plunger-lift technique on oil rigs, in which case, there are high peaks in the grow values that hinder their direct measurement by instruments. For this, we have developed estimators based on recursive least squares and make an analysis of statistical measures such as autocorrelation, cross-correlation, variogram and the cumulative periodogram, which are calculated recursively as data are obtained in real time from the plant in operation; the values obtained for these measures tell us how accurate the used model is and how it can be changed to better fit the measured values. The models have been tested in a pilot plant which emulates the process gas production in oil wells

Modelo de risco controlado por resseguro e desigualdades para a probabilidade de ruína

In the work reported here we present theoretical and numerical results about a Risk Model with Interest Rate and Proportional Reinsurance based on the article Inequalities for the ruin probability in a controlled discrete-time risk process by Ros ario Romera and Maikol Diasparra (see [5]). Recursive and integral equations as well as upper bounds for the Ruin Probability are given considering three di erent approaches, namely, classical Lundberg inequality, Inductive approach and Martingale approach. Density estimation techniques (non-parametrics) are used to derive upper bounds for the Ruin Probability and the algorithms used in the simulation are presented

Modelagem Matemática e Computacional de fenômenos eletrocinéticos em meios porosos carregados eletricamente

In this work we present a mathematical and computational modeling of electrokinetic phenomena in electrically charged porous medium. We consider the porous medium composed of three different scales (nanoscopic, microscopic and macroscopic). On the microscopic scale the domain is composed by a porous matrix and a solid phase. The pores are filled with an aqueous phase consisting of ionic solutes fully diluted, and the solid matrix consists of electrically charged particles. Initially we present the mathematical model that governs the electrical double layer in order to quantify the electric potential, electric charge density, ion adsorption and chemical adsorption in nanoscopic scale. Then, we derive the microscopic model, where the adsorption of ions due to the electric double layer and the reactions of protonation/ deprotanaç~ao and zeta potential obtained in modeling nanoscopic arise in microscopic scale through interface conditions in the problem of Stokes and Nerst-Planck equations respectively governing the movement of the aqueous solution and transport of ions. We developed the process of upscaling the problem nano/microscopic using the homogenization technique of periodic structures by deducing the macroscopic model with their respectives cell problems for effective parameters of the macroscopic equations. Considering a clayey porous medium consisting of kaolinite clay plates distributed parallel, we rewrite the macroscopic model in a one-dimensional version. Finally, using a sequential algorithm, we discretize the macroscopic model via the finite element method, along with the interactive method of Picard for the nonlinear terms. Numerical simulations on transient regime with variable pH in one-dimensional case are obtained, aiming computational modeling of the electroremediation process of clay soils contaminated

O uso de softwares na prática profissional do professor de matemática

Este artigo apresenta uma pesquisa que é resultado de cursos online de formação continuada de professores, concebidos a partir de uma parceria entre a UNESP e uma rede nacional de escolas de Ensino Básico. Os cursos buscavam familiarizar os professores de Matemática com os recursos da tecnologia informática, especificamente dois softwares, o Geometricks e o Winplot, no que diz respeito à utilização destes na sala de aula. Após alguns anos da realização dos mesmos, na pesquisa aqui descrita, objetivamos identificar se e como os softwares foram incorporados à prática profissional, em um cenário em que os professores podem contar com laboratórios, formação continuada e suporte técnico. A partir de entrevistas online, pudemos mapear as diferentes escolhas dos professores: não-uso; uso de forma semelhante (ou não) à vivenciada no curso online, e o uso interdisciplinar, mostrando variadas formas pelas quais os professores retraduziram o curso para sua prática.

Pesquisa em Modelagem Matemática no Brasil: a caminho de uma metacompreensão

Este estudo visou analisar as pesquisas em Modelagem Matemática na área da Educação Matemática no Brasil, investigando os trabalhos que adotam esse enfoque, publicados nos anais do 3º. Seminário Internacional de Pesquisa em Educação Matemática, em 2007. A postura assumida é a fenomenológica, e as interpretações são pautadas no movimento hermenêutico, que aponta para uma metacompreensão do tema. Os núcleos de ideias emergem dos invariantes articulados no processo de efetuar convergências, como, por exemplo, a pesquisa que se centra prioritariamente nos modos pelos quais o professor trabalha tópicos de conteúdos matemáticos com o recurso da modelagem. Esse invariante elucidativo pode indicar fragilidades quando os pesquisadores permanecem apenas no como fazer; pode também indicar possibilidades de compreender concepções e sua conversão em práticas desenvolvidas em sala de aula.

Forma/ação do professor de Matemática e suas concepções de mundo e de conhecimento

Esta pesquisa busca trabalhar com diferentes concepções de mundo e de conhecimento, investigando a articulação entre o sentido que elas possuem para os professores de Matemática e suas concepções de ensino e de Educação. O estudo gira em torno de discussões que ocorreram em um curso de extensão para professores de Matemática. Esse curso tratou de concepções de mundo e de conhecimento, relacionando-as com diferentes regiões do saber, como Matemática, Física, Ecologia e Artes, focando a transição entre a concepção de mundo da Época Moderna para a concepção de mundo que vem se construindo na denominada Época Pós-moderna ou Contemporânea. A meta é compreender o sentido que aquelas concepções têm para os professores e destacar possíveis momentos de metacompreensão sobre a articulação entre essas concepções e sua prática docente. A metodologia utilizada é qualitativa, de uma perspectiva fenomenológica.

Leitura crítica da história: reflexões sobre a história da matemática

Muitos elementos que fornecem informações para a escrita da história apresentam direcionamentos representativos de uma forma de pensamento, seja ela política, filosófica ou de cunho social. Esses elementos são trabalhados para que se tenha uma visão específica da história. O objetivo deste texto é, por meio de alguns exemplos, discutir que existem diferentes formas de análise dos elementos que nos fornecem informações históricas, com destaque para a História da Ciência, especificamente para a História da Matemática. Quanto maior for a quantidade de informações sobre determinados acontecimentos históricos, maior é a possibilidade de se obter um encadeamento histórico, firmado em bases qualitativas, que sustente a informação adquirida. Se essas informações forem escassas, ou originárias de fontes duvidosas, as conclusões históricas referentes ao assunto tratado ficam frágeis e passíveis de diferentes e, muitas vezes, conflitantes interpretações. Neste texto, pretende-se apresentar alguns exemplos históricos onde, por conta de poucas informações, ou informações distorcidas, a interpretação histórica é passível de mudanças.