A proposal for the diagnosis of uncertain dynamic systems based on interval models

The performance of a model-based diagnosis system could be affected by several uncertainty sources, such as,model errors,uncertainty in measurements, and disturbances. This uncertainty can be handled by mean of interval models.The aim of this thesis is to propose a methodology for fault detection, isolation and identification based on interval models. The methodology includes some algorithms to obtain in an automatic way the symbolic expression of the residual generators enhancing the structural isolability of the faults, in order to design the fault detection tests. These algorithms are based on the structural model of the system. The stages of fault detection, isolation, and identification are stated as constraint satisfaction problems in continuous domains and solved by means of interval based consistency techniques. The qualitative fault isolation is enhanced by a reasoning in which the signs of the symptoms are derived from analytical redundancy relations or bond graph models of the system. An initial and empirical analysis regarding the differences between interval-based and statistical-based techniques is presented in this thesis. The performance and efficiency of the contributions are illustrated through several application examples, covering different levels of complexity.

Uma Fundamentação Intervalar Aplicada à Morfologia Matemática

This work present a interval approach to deal with images with that contain uncertainties, as well, as treating these uncertainties through morphologic operations. Had been presented two intervals models. For the first, is introduced an algebraic space with three values, that was constructed based in the tri-valorada logic of Lukasiewiecz. With this algebraic structure, the theory of the interval binary images, that extends the classic binary model with the inclusion of the uncertainty information, was introduced. The same one can be applied to represent certain binary images with uncertainty in pixels, that it was originated, for example, during the process of the acquisition of the image. The lattice structure of these images, allow the definition of the morphologic operators, where the uncertainties are treated locally. The second model, extend the classic model to the images in gray levels, where the functions that represent these images are mapping in a finite set of interval values. The algebraic structure belong the complete lattices class, what also it allow the definition of the elementary operators of the mathematical morphology, dilation and erosion for this images. Thus, it is established a interval theory applied to the mathematical morphology to deal with problems of uncertainties in images

Proposta de extensão do modelo de expressões intervalares para sincronização multimídia na web

O desenvolvimento de apresentações multimídia sincronizadas para Web se baseia na definição e especificação de relações entre objetos advindos de diversas mídias, que possuem requisitos específicos de desempenho, estando ainda sujeitos à atrasos randômicos durante sua transmissão. Neste sentido, foram definidos modelos para especificação de sincronismo que têm por objetivo estruturar a ordenação destas aplicações de maneira a executar as relações definidas pelo autor quando da exibição coerente no destino. Este trabalho realiza um estudo dos principais modelos utilizados no desenvolvimento de apresentações multimídia sincronizadas, principalmente relacionando-se ao ambiente Web. Desta forma, tornando possível identificar características, vantagens e desvantagens de seus usos, bem como verificar que o Modelo de Expressões Intervalares é adequado a este trabalho, embora ainda apresente algumas deficiências no controle de mídias e interações do usuário. Finalmente, visando solucionar as deficiências encontradas no Modelo de Expressões Intervalares, foi desenvolvida uma proposta de extensão para o mesmo. Ela consiste na criação de um controlador para a interação do usuário e para a manipulação de mídias, chamado mídia invisível; e na definição do operador Sinc-Point, que proporciona ao autor maior flexibilidade na definição da sincronização. Esta proposta apresenta as seguintes vantagens: possibilita ao autor criar sincronizações do tipo “overlaps”, que baseia o disparo de uma mídia durante a apresentação de outra; possibilita ao autor realizar um controle sobre o intervalo para a interação do usuário e para a apresentação de mídias; mantém a consistência da apresentação; não acarreta muitas mudanças no modelo original.

Determinação das velocidades intervalares usando a teoria paraxial do raio: aproximação de segunda ordem dos tempos de trânsito

Neste trabalho foi desenvolvido um método de solução ao problema inverso para modelos sísmicos compostos por camadas homogêneas e isotrópicas separadas por superfícies suaves, que determina as velocidades intervalares em profundidade e calcula a geometria das interfaces. O tempo de trânsito é expresso como uma função de parâmetros referidos a um sistema de coordenadas fixo no raio central, que é determinada numericamente na superfície superior do modelo. Essa função é posteriormente calculada na interface anterior que limita a camada não conhecida, através de um processo que determina a função característica em profundidade. A partir da função avaliada na interface anterior se calculam sua velocidade intervalar e a geometria da superfície posterior onde tem lugar a reflexão do raio. O procedimento se repete de uma forma recursiva nas camadas mais profundas obtendo assim a solução completa do modelo, não precisando em nenhum passo informação diferente à das camadas superiores. O método foi expresso num algoritmo e se desenvolveram programas de computador, os quais foram testados com dados sintéticos de modelos que representam feições estruturais comuns nas seções geológicas, fornecendo as velocidades em profundidade e permitindo a reconstrução das interfaces. Uma análise de sensibilidade sobre os programas mostrou que a determinação da função característica e a estimação das velocidades intervalares e geometria das interfaces são feitos por métodos considerados estáveis. O intervalo empírico de aplicabilidade das correções dinâmicas hiperbólicas foi tomado como uma estimativa da ordem de magnitude do intervalo válido para a aplicação do método.

Modelos em provisão de sinistros

Part of the work of an insurance company is to keep claims reserves, which is known as the technical reserves, in order to mitigate the risk inherent in their activities and comply with the legal obligations. There are several methods for estimate the claims reserves, deterministics and stochastics methods. One of the most used method is the deterministic method Chain Ladder, of simple application. However, the deterministics methods produce only point estimates, for which the stochastics methods have become increasingly popular because they are capable of producing interval estimates, measuring the variability inherent in the technical reserves. In this study the deterministics methods (Grossing Up, Link Ratio and Chain Ladder) and stochastics (Thomas Mack and Bootstrap associated with Overdispersed Poisson model) will be applied to estimate the claims reserves derived from automobile material damage occurred until December 2012. The data used in this research is based on a real database provided by AXA Portugal. The comparison of results obtained by different methods is hereby presented.

Modelagem em programação linear para resolução de jogos fuzzy intervalares

A teoria de jogos modela estratégias entre agentes (jogadores), os quais possuem recompensas ao fim do jogo conforme suas ações. O melhor par de estratégias para os jogadores constitui uma solução de equilíbrio. Porém, nem sempre se consegue estimar os dados do problema. Diante disso, os parâmetros incertos presentes em modelos de jogos são formalizados pela teoria fuzzy. Assim, a teoria fuzzy auxilia a teoria de jogos, formando jogos fuzzy. Dessa forma, parâmetros, como as recompensas, tornam-se números fuzzy. Mais ainda, quando há incerteza na representação desses números fuzzy utilizam-se os números fuzzy intervalares. Então, neste trabalho modelos de jogos fuzzy intervalares são analisados e métodos computacionais são desenvolvidos para a resolução desses jogos. Por fim, realizam-se simulações de programação linear para observar melhor a aplicação das teorias estudadas e avaliar a proposta.

Princípios fundamentais e modelos de transferência de energia inter e intramolecular

This work outlines the historic development of the concept and main theories of energy transfer, as well as the principal experiments carried out to confirm or refute the proposed theories. Energy transfer in coordination compounds is also discussed with a focus on rare earth systems.

Modelos de transferência de metal pesado na cana-de-açúcar adubada com composto de lixo urbano

The research approaches recycling of urban waste compost (UWC) as an alternative fertilizer for sugarcane crop and as a social and environmental solution to the solids residuals growth in urban centers. A mathematical model was used in order to know the metal dynamics as decision support tool, aiming to establish of criteria and procedures for UWC's safe use, limited by the amount of heavy metal. A compartmental model was developed from experimental data in controlled conditions and partially checked with field data. This model described the heavy metal transference in the system soil-root-aerial portion of sugarcane plants and concluded that nickel was metal to be concern, since it takes approximately three years to be attenuated in the soil, reaching the aerial portions of the plant at high concentrations. Regarding factors such as clay content, oxide level and soil pH, it was observed that for soil with higher buffering capacity, the transfer of the majority of the metals was slower. This model may become an important tool for the attainment of laws regarding the UWC use, aiming to reduce environment contamination the waste accumulation and production costs.

Modelos estatísticos indicadores de comportamentos associados a bem-estar térmico para matrizes pesadas

The study of female broiler breeders is of great importance for the country as poultry production is one of the largest export items, and Brazil is the second largest broiler meat exporter. Animal behavior is known as a response to the effect of several interaction factors among them the environment. In this way the internal housing environment is an element that gives hints regarding to the bird s thermal comfort. Female broiler breeder behavior, expresses in form of specific pattern the bird s health and welfare. This research had the objective of applying predictive statistical models through the use of simulation, presenting animal comfort scenarios facing distinct environmental conditions. The research was developed with data collected in a controlled environment using Hybro - PG® breeding submitted to distinct levels of temperature, three distinct types of standard ration and age. Descriptive and exploratory analysis were proceeded, and afterwards the modeling process using the Generalized Estimation Equation (GEE). The research allowed the development of the thermal comfort indicators by statistical model equations of predicting female broiler breeder behavior under distinct studied scenarios.

Modelos de regressão lineares para estimativa de produtividade da soja no oeste do Paraná, utilizando dados espectrais

The main objective of this work was to evaluate the linear regression between spectral response and soybean yield in regional scale. In this study were monitored 36 municipalities from the west region of the states of Parana using five images of Landsat 5/TM during 2004/05 season. The spectral response was converted in physical values, apparent and surface reflectances, by radiometric transformation and atmospheric corrections and both used to calculate NDVI and GVI vegetation indices. Those ones were compared by multiple and simple regression with government official yield values (IBGE). Diagnostic processing method to identify influents values or collinearity was applied to the data too. The results showed that the mean surface reflectance value from all images was more correlated with yield than individual dates. Further, the multiple regressions using all dates and both vegetation indices gave better results than simple regression.

Modelos organizadores do pensamento: uma perspectiva de pesquisa sobre o raciocínio moral com adolescentes autores de infração

This article has the aim to expand the perspective of research in the field of morality. We present a proposal of morality study of outlaw teenagers according to Thinking Organizer Models Theory. Through the idea of complexity we search to understand the cognitive process in the elaboration of moral reasoning inside situations of conflict. With this perspective, we developed a research that aimed to identify which organizer models were applied by 20 outlaw male teenagers who abide by social punishment to solve the hypothetical moral conflicts. Through interviews we told them a situation of moral conflict that involved friendship relation, physical aggression and steal. We could identified several models which were joined in three categories. Such models reflected the diversity and regularity that are present inside the elaborated reasoning to solve the conflicts shown by us. We conclude that the diversity of organizer models identified shows the importance of the contents in the construction of moral reasoning.

O jogo de futebol : investigação de sua estrutura, de seus modelos e da inteligencia de jogo, do ponto de vista da complexidade

Universidade Estadual de Campinas . Faculdade de Educação Física

A eficacia e a heterocronia das respostas de adaptação de basquetebolistas submetidos a diferentes modelos de estruturação da carga de treinamento e competição

Universidade Estadual de Campinas . Faculdade de Educação Física

Possibilidades e limites da avaliação da qualidade de vida : análise dos instrumentos WHOQOL e modelos clássicos de qualidade de vida no trabalho = Possibilities and limits of quality of life assessment : analysis of WHOQOL instruments and quality of work life classical models

Universidade Estadual de Campinas . Faculdade de Educação Física

Dopamina, óxido nítrico e suas interações em modelos para o estudo da esquizofrenia

Modelos experimentais baseados no aumento da neurotransmissão dopaminérgica mimetizam aspectos comportamentais e neuroquímicos característicos da esquizofrenia. Psicoestimulantes, como a anfetamina, são utilizados com esta finalidade, pois aumentam os níveis de dopamina extracelular nas vias mesocorticolímbica e mesoestriatal. As limitações da manipulação direta do sistema dopaminérgico nos modelos animais incentivam abordagens complementares. O óxido nítrico (NO), um neurotransmissor atípico que inibe a recaptação de dopamina e estimula sua liberação, parece modular comportamentos controlados pelo sistema dopaminérgico. O teste de inibição pré-pulso revela uma deficiência no filtro sensório-motor, verificada em esquizofrênicos ou após tratamentos com psicotomiméticos, podendo ser prevenida pela inibição do NO. Esta revisão apresenta evidências da interação do NO com o sistema dopaminérgico em modelos para o estudo da esquizofrenia como uma nova ferramenta de investigação desta patologia.