Made available in DSpace on 2014-12-17T14:55:20Z (GMT). No. of bitstreams: 1 AbenildoAO_capa_ate_pag_14.pdf: 8053674 bytes, checksum: 495994caeeb7865556bc25d11b545d42 (MD5) Previous issue date: 2002-04-19 / The pumping of fluids in pipelines is the most economic and safe form of transporting fluids. That explains why in Europe there was in 1999 about 30.000 Km [7] of pipelines of several diameters, transporting mill?ons of cubic meters of crude oil end refined products, belonging to COCAWE (assaciation of companies of petroleum of Europe for health, environment and safety, that joint several petroleum companies). In Brazil they are about 18.000 Km of pipelines transporting millions of cubic meters of liquids and gases. In 1999, nine accidents were registered to COCAWE. Among those accidents one brought a fatal victim. The oil loss was of 171 m3, equivalent to O,2 parts per million of the total of the transported volume. Same considering the facts mentioned the costs involved in ao accident can be high. An accident of great proportions can br?ng loss of human lives, severe environmental darnages, loss of drained product, loss . for dismissed profit and damages to the image of the company high recovery cost. In consonance with that and in some cases for legal demands, the companies are, more and more, investing in systems of Leak detection in pipelines based on computer algorithm that operate in real time, seeking w?th that to minimize still more the drained volumes. This decreases the impacts at the environment and the costs. In general way, all the systems based on softWare present some type of false alarm. In general a commitment exists betWeen the sensib?lity of the system and the number of false alarms. This work has as objective make a review of th? existent methods and to concentrate in the analysis of a specific system, that is, the system based on hydraulic noise, Pressure Point Analyzis (PPA). We will show which are the most important aspects that must be considered in the implementation of a Leak Detection System (LDS), from the initial phase of the analysis of risks passing by the project bases, design, choice of the necessary field instrumentation to several LDS, implementation and tests. We Will make na analysis of events (noises) originating from the flow system that can be generator of false alarms and we will present a computer algorithm that restricts those noises automatically / O bombeamento de flu?dos atrav?s de tubula??es ? a mais econ?mica e segura forma de se transportar flu?dos. Iss explica porque na Europa existiam em 1999 cerca de 30.000 Km [7] de dutos de diversos di?metros, transportandos milh?es de m? de ?leo cru e produtos refinados, s? na COCAWE, associa??o de empresas de petr?leo da Europa para sa?de, meio ambiente e seguran?a, que re?ne v?rias empresas de transporte e distribui??o de hidrocarbonetos. No Brasil s?o perto de 18.000 Km de dutos transportando milh?es de m? de l?quidos e gases. Em 1999 aconteceram 9 acidentes registrados na COCAWE, dentre esses acidentes um trouxe uma v?tima fatal. A perdas de ?leo foi de 171 m?, equivalente a 0,2 partes por milh?o do total do volume transportado. Mesmo considerando os fatos citados acima os custos envolvidos num acidente podem ser elavad?ssimos. Um acidentes de grandes propor??es pode trazer perda de vidas humanas, severos danos ambientais, perda de produto vazado, perda por lucro cessante e danos ? imagem da compainha de elevado custo de recupera??o. Em conson?ncia com isso e em alguns casos por a exig?ncias legais as empresas est?o, cada vez mais, investindo em sistemas de detecta??o de vazamento em dutos baseados em m?todos computacionais, que operam em tempo real, procurando com isso minimizar ainda mais os volumes vazados. Isto diminui os impactos ao meio ambiente e os custos das diversas naturezas, dando, com isso, uma satisfa??o ? sociedade que tem se mostrado mais exigente no trato com a natureza. De uma maneira geral todos os sistemas baseados em software apresentam algum tipo tipo de alarme falso. Em geral existe um compromisso entre a sensibilidade do sistema e o n?mero de alarme falsos. Esse trabalho tem o objetivo de fazer uma abordagem dos m?todos computacionais existentes e se concentrar na an?lise de um sistema espec?fico, que ? o sistema baseado em sistema hidra?lico, o Pressure Point Analises (PPA). Mostraremos os aspectos mais relevantes a serem considaderados na implanta??o de um sistema de Detecta??o de vazamentos (SDV) em dutos, desde a fase inicial da an?lise de riscos passsando pelas bases de projeto, projeto de detalhamento, escolha da instrumenta??o necess?ria aos diversos SDVs, implanta??o a testes. Faremos uma an?lise de eventos (ru?dos) oriundos do sistema de escoamento que possam ser gerados de falsos alarmes e iremos apresentar um algoritmo computacional que restringe autometicamente esses ru?dos

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-02T23:37:05Z No. of bitstreams: 1 TiagoFernandesDeMiranda_DISSERT.pdf: 5053204 bytes, checksum: 5fe48dfee7a0927d59bdae03b0ab719f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-09T20:43:39Z (GMT) No. of bitstreams: 1 TiagoFernandesDeMiranda_DISSERT.pdf: 5053204 bytes, checksum: 5fe48dfee7a0927d59bdae03b0ab719f (MD5) / Made available in DSpace on 2017-10-09T20:43:39Z (GMT). No. of bitstreams: 1 TiagoFernandesDeMiranda_DISSERT.pdf: 5053204 bytes, checksum: 5fe48dfee7a0927d59bdae03b0ab719f (MD5) Previous issue date: 2017-07-03 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Alarmes industriais tem natureza inerentemente ass?ncrona e s?o fundamentais para a manuten??o da seguran?a operacional e sa?de de processos industriais complexos. Entretanto, sistemas de alarmes industriais mal configurados tendem a gerar quantidades excessivas de alarmes, o que os tornam ineficientes. Dentre os poss?veis agentes degradantes de um sistema de alarmes, est?o os alarmes causais. Situa??es de alarmes causais ocorrem quando a ativa??o de um determinado alarme implica na ativa??o de um ou mais alarmes decorrentes, gerando informa??o redundante no sistema de alarmes. Diante da relev?ncia do problema, nesta disserta??o s?o analisados os desempenhos de duas t?cnicas para determina??o de alarmes causais: correla??o cruzada e teste de causalidade de Granger. Como dados de alarmes industriais s?o essencialmente de natureza discreta, antes de se aplicar ambas as t?cnicas, houve a necessidade de se realizar um pr?-processamento sobre os dados de alarmes, atrav?s de uma t?cnica de suaviza??o de sinais. Para obten??o dos resultados, foram utilizados dados de alarmes provenientes de cen?rios de simula??o de gera??o de alarmes e do Benchmark Tennessee Eastman Process. Os resultados obtidos indicam que, em aspectos gerais, o teste de causalidade de Granger obteve maior efici?ncia que a correla??o cruzada na tarefa de indica??o de rela??es causais em alarmes industriais. Tamb?m foram realizados estudos comparativos da aplica??o do teste de causalidade de Granger sobre vari?veis de processo e alarmes no Benchmark Tennessee Eastman Process, indicando suas caracter?sticas. / Industrial alarms are inherently asynchronous in nature and are critical to maintaining the operational safety and health of complex industrial processes. However, poorly configured industrial alarm systems tend to generate excessive amounts of alarms, making them inefficient. Among the possible degrading agents of an alarm system are the causal alarms. Causal alarm situations occur when the activation of a given alarm implies the activation of one or more of the resulting alarms, generating redundant information in the alarm system. Given the relevance of the problem, this dissertation analyzes the performance of two techniques for determining causal alarms: Cross-correlation and Granger causality test. The industrial alarm data is essentially of a discrete nature, before performing both techniques, there was a need to perform a preprocessing on the alarm data, through the signal smoothing technique. To obtain the results, we used alarm data from the alarm generation simulation scenarios and the Tennessee Eastman Process Benchmark. Therefore, the results indicate that, in general aspects, the Granger causality test performed a greater efficiency than the cross-correlation in the task of indicating causal relations between industrial alarms. We also performed comparative studies of the application of the Granger causality test on process variables and alarms in the Tennessee Eastman Process Benchmark, indicating their characteristics.

Orientadores: Leonardo de Souza Mendes, Mario Lemes Proença Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-19T02:04:03Z (GMT). No. of bitstreams: 1 Amaral_AlexandredeAguiar_M.pdf: 2806398 bytes, checksum: 8a624028da0fcad69cc19e194d5e788c (MD5) Previous issue date: 2011 / Resumo: Estratégias voltadas para a detecção de anomalias em redes de computadores emitem alarmes como forma de notificação ao administrador de rede. Esses alarmes são essenciais para a gerencia de rede, pois são evidencias de uma anormalidade. Entretanto, uma única anomalia pode gerar um numero excessivo de alarmes, tornando a inspeção manual inviável. Nesta dissertação, e apresentado um sistema de correlação de alarmes automatizado, divido em três camadas, que obtém os alarmes primitivos e apresenta ao administrador de rede uma visão global do cenário afetado pela anomalia. A camada de pré-processamento faz a compressão dos alarmes utilizando seus atributos espaciais e temporais, os quais são reduzidos a um único alarme denominado DLA (Alarme em Nível de Equipamento). A camada de correlação busca, através dos DLAs e de informações sobre a topologia da rede, inferir o caminho de propagação da anomalia, sua origem e destino. A camada de apresentação prove a visualização do caminho e elementos de redes afetados pela propagação da anomalia. O sistema apresentado nesta dissertação foi aplicado em diversos cenários que apresentavam anomalias reais detectadas na rede da Universidade Estadual de Londrina. Foi demonstrada sua capacidade de identificar, de forma automatizada, o caminho de propagação do trafego anômalo, proporcionando informações úteis e corretas ao administrador de rede para o diagnostico do problema / Abstract: Anomaly detection systems for computer networks send alarms in order to notify the network administrator. These alarms are essential for network management because they are evidences of an abnormality. However, a single anomaly may generate an excessive volume of alarms, making the manual inspection unfeasible. In this work, it is presented an automated alarm correlation system divided into three layers, which obtains raw alarms and presents to network administrator a global view of the scenario affected by the anomaly. In the preprocessing layer, it is performed the alarm compression using their spatial and temporal attributes, which are reduced to a unique alarm named DLA (Device Level Alarm). The correlation layer aims to infer the anomaly propagation path and its origin and destination using DLAs and network topology information. The presentation layer provides the visualization of the path and network elements affected by the anomaly propagation through the network. The presented system was applied in various scenarios that had real anomalies detected on the State University of Londrina network. It demonstrated its ability to identify in an automated manner the anomalous traffic propagation path, providing useful and accurate information to the network administrator to diagnose the problem / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Le monde militaire s’intéresse à la détection de systèmes optiques présents dans un milieu urbain. La raison de cet intérêt est que la présence de systèmes optiques peut être directement ou indirectement reliée à des activités hostiles. Cette visée consiste en un défi de taille car l’environnement urbain contient de nombreux éléments pouvant être confondus aux systèmes optiques, générant alors de fausses alarmes. Au cours de cette thèse, les concepts de base d’une méthode de détection novatrice permettant de détecter et d’identifier la présence de systèmes optiques ainsi que de diminuer les fausses alarmes sont présentés et vérifiés expérimentalement. Ces concepts sont fondés sur l’établissement d’une signature propre aux systèmes optiques construite à partir de la mesure de leur section efficace laquelle est fonction de la longueur d’onde de la source d’interrogation. Une plateforme de détection a été conçue afin de mesurer la section efficace des systèmes optiques en utilisant le principe de rétro-réflexion. Cette plateforme contient des sources lasers de longueurs d’onde différentes, une caméra à crénelage spatial, un tube télescopique pour l’émission et la collection des rayonnements ainsi qu’un télémètre laser. Les résultats expérimentaux ont permis de valider les concepts de la méthode proposée en détectant et identifiant correctement les systèmes optiques en plus de les différentier des fausses alarmes, ouvrant ainsi la voie à un traitement nouveau de l’information pour ce type d’application.

Made available in DSpace on 2014-12-17T14:56:12Z (GMT). No. of bitstreams: 1 DaniloCS_DISSERT.pdf: 3897603 bytes, checksum: cd98fa05a1dee36b5186c50e95b2f03b (MD5) Previous issue date: 2013-02-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Operating industrial processes is becoming more complex each day, and one of the factors that contribute to this growth in complexity is the integration of new technologies and smart solutions employed in the industry, such as the decision support systems. In this regard, this dissertation aims to develop a decision support system based on an computational tool called expert system. The main goal is to turn operation more reliable and secure while maximizing the amount of relevant information to each situation by using an expert system based on rules designed for a particular area of expertise. For the modeling of such rules has been proposed a high-level environment, which allows the creation and manipulation of rules in an easier way through visual programming. Despite its wide range of possible applications, this dissertation focuses only in the context of real-time filtering of alarms during the operation, properly validated in a case study based on a real scenario occurred in an industrial plant of an oil and gas refinery / A opera??o de processos industriais vem se tornando mais complexa ao longo dos anos, e um dos elementos que possibilitam este aumento de complexidade ? a integra??o de novas tecnologias e solu??es inteligentes empregadas no setor, como ? o caso dos sistemas de apoio ? decis?o. Neste sentido, esta disserta??o visa o desenvolvimento de um sistema de aux?lio ? opera??o baseado em uma ferramenta computacional chamada de sistema especialista. O objetivo principal ? tornar a opera??o mais confi?vel e segura ao maximizar a quantidade de informa??es relevantes a cada situa??o atrav?s da utiliza??o de um sistema especialista baseado em regras pr?-moldadas para uma determinada ?rea de conhecimento. Para a modelagem de tais regras foi proposto um ambiente de alto-n?vel, que permite a cria??o e manipula??o de regras de forma facilitada atrav?s de programa??o visual. A despeito de sua ampla gama de poss?veis aplica??es, esta disserta??o tem como foco o contexto de filtragem em tempo real de alarmes durante a opera??o, devidamente validada em um estudo de caso baseado em um cen?rio real ocorrido em uma planta industrial de uma refinaria de petr?leo e g?s

A aplicação de técnicas de Inteligência artificial em sistemas elétricos de potência permite a resolução de problemas onde soluções tradicionais não mostram bons resultados. Por exemplo, após a ocorrência de uma falta, um sistema automatizado toma todas as medidas necessárias para proteger o sistema e assumir um estado seguro de operação. Nessa ocasião, cabe aos operadores verificar todas as mensagens e dados disponíveis, selecionando aquelas relevantes, para então chegar a uma conclusão sobre o evento ocorrido. Apenas após esse diagnóstico, com base em seu conhecimento, o operador pode ordenar o restabelecimento do sistema ou sua manobra para outro estado. Esse processo é lento e passível de falhas, pois as informações são usualmente conflitantes e confusas, devido à avalanche de eventos, alarmes e alertas decorrentes. Diante desta dificuldade, é interessante dispor de uma ferramenta automática de diagnóstico e apoio na tomada de decisão que torne essa tarefa mais ágil e com menores riscos. Este trabalho aborda a integração e a interoperabilidade de equipamentos de uma subestação elétrica em conformidade com a norma IEC 61850, e a utilização de sistemas inteligentes com lógica Fuzzy executados em um controlador programável moderno. O sistema proposto faz uso de recursos de comunicação da IEC 61850, com mensagens prioritárias padrão GOOSE incluindo valores analógicos de corrente de falta, além de mensagens no padrão TCP/IP MMS. Essas informações, alarmes e eventos, são processadas de forma automática por um motor Fuzzy que permite aproximar a decisão computacional à decisão humana, incluindo zonas de incerteza e lógica ponderada, permitindo respostas mais abstratas do que algo puramente binário. O sistema proposto foi submetido a um grande número de eventos com um simulador em tempo real, com equipamentos reais, tais como IEDs e um controlador programável de alto desempenho. Além disso o sistema usou um esquema de comunicação inovador para o módulo do processador de dados em tempo real (RTDP), inteiramente baseado nos protocolos da IEC 61850. / The application of artificial intelligence techniques in electric power systems allows solving problems where traditional solutions do not show good results. For example, in electric power systems, after the occurence of a fault, an automated system takes all necessary measures to protect the system and assume a safe state of operation. On this occasion, it is for operators to review all messages and data available, selecting those relevant to then come to a conclusion about the event that occurred. Only after this diagnosis, based on his knowledge the operator may order the restoration of the system or their operation to another state. This process is therefore slow and subject to failure, because the information is usually conflicting and confusing because of the avalanche of events, alarms and warnings arising. Faced with this difficulty, it is interesting to have an automatic diagnostic tool and support in decision making that makes this task quicker and with less risk. This paper addresses the integration and interoperability of an electrical substation equipment in accordance with IEC 61850, and the use of intelligent systems Fuzzy logic running on a modern programmable controller. The proposed system makes use of the IEC 61850 communication resources with priority GOOSE messages including standard analog values of fault current, as well as messages on standard TCP / IP MMS. This information, alarms and events, are processed automatically by a fuzzy engine that allows the computational approach to human decision making, including areas of uncertainty and weighted logic, allowing more abstract answers than purely binary. The proposed system has undergone a large number of events with a simulator in real time with actual equipment such as a programmable controller IEDs and high performance. In addition the system used an innovative communication scheme for the module\'s real-time data processor ( RTDP ), based entirely on the IEC 61850 standard protocols such as MMS and GOOSE messages.

A aplicação de técnicas de Inteligência artificial em sistemas elétricos de potência permite a resolução de problemas onde soluções tradicionais não mostram bons resultados. Por exemplo, após a ocorrência de uma falta, um sistema automatizado toma todas as medidas necessárias para proteger o sistema e assumir um estado seguro de operação. Nessa ocasião, cabe aos operadores verificar todas as mensagens e dados disponíveis, selecionando aquelas relevantes, para então chegar a uma conclusão sobre o evento ocorrido. Apenas após esse diagnóstico, com base em seu conhecimento, o operador pode ordenar o restabelecimento do sistema ou sua manobra para outro estado. Esse processo é lento e passível de falhas, pois as informações são usualmente conflitantes e confusas, devido à avalanche de eventos, alarmes e alertas decorrentes. Diante desta dificuldade, é interessante dispor de uma ferramenta automática de diagnóstico e apoio na tomada de decisão que torne essa tarefa mais ágil e com menores riscos. Este trabalho aborda a integração e a interoperabilidade de equipamentos de uma subestação elétrica em conformidade com a norma IEC 61850, e a utilização de sistemas inteligentes com lógica Fuzzy executados em um controlador programável moderno. O sistema proposto faz uso de recursos de comunicação da IEC 61850, com mensagens prioritárias padrão GOOSE incluindo valores analógicos de corrente de falta, além de mensagens no padrão TCP/IP MMS. Essas informações, alarmes e eventos, são processadas de forma automática por um motor Fuzzy que permite aproximar a decisão computacional à decisão humana, incluindo zonas de incerteza e lógica ponderada, permitindo respostas mais abstratas do que algo puramente binário. O sistema proposto foi submetido a um grande número de eventos com um simulador em tempo real, com equipamentos reais, tais como IEDs e um controlador programável de alto desempenho. Além disso o sistema usou um esquema de comunicação inovador para o módulo do processador de dados em tempo real (RTDP), inteiramente baseado nos protocolos da IEC 61850. / The application of artificial intelligence techniques in electric power systems allows solving problems where traditional solutions do not show good results. For example, in electric power systems, after the occurence of a fault, an automated system takes all necessary measures to protect the system and assume a safe state of operation. On this occasion, it is for operators to review all messages and data available, selecting those relevant to then come to a conclusion about the event that occurred. Only after this diagnosis, based on his knowledge the operator may order the restoration of the system or their operation to another state. This process is therefore slow and subject to failure, because the information is usually conflicting and confusing because of the avalanche of events, alarms and warnings arising. Faced with this difficulty, it is interesting to have an automatic diagnostic tool and support in decision making that makes this task quicker and with less risk. This paper addresses the integration and interoperability of an electrical substation equipment in accordance with IEC 61850, and the use of intelligent systems Fuzzy logic running on a modern programmable controller. The proposed system makes use of the IEC 61850 communication resources with priority GOOSE messages including standard analog values of fault current, as well as messages on standard TCP / IP MMS. This information, alarms and events, are processed automatically by a fuzzy engine that allows the computational approach to human decision making, including areas of uncertainty and weighted logic, allowing more abstract answers than purely binary. The proposed system has undergone a large number of events with a simulator in real time with actual equipment such as a programmable controller IEDs and high performance. In addition the system used an innovative communication scheme for the module\'s real-time data processor ( RTDP ), based entirely on the IEC 61850 standard protocols such as MMS and GOOSE messages.

Este trabalho apresenta uma proposta de modelo de análise de risco para embarcações, incorporando em sua formulação a influência das interações entre os sistemas de alarmes e os fatores humanos e organizacionais presentes a bordo. De acordo com estatísticas de sociedades classificadoras, o homem é o maior responsável por acidentes marítimos, e, desta forma, é um dos principais componentes da segurança de uma embarcação. A relevância do elemento humano se dá pelo fato de que ações e decisões humanas estão relacionadas tanto à causa, quanto à prevenção de acidentes. O sistema de alarmes é um equipamento de segurança obrigatório, e com direta participação na dinâmica de um acidente, fornecendo informação para a tomada de decisão das ações por parte da tripulação na resolução do problema. O estudo da interação entre este equipamento e o elemento humano a bordo permite a gestores e armadores elaborar diretrizes para investimentos em sistemas de segurança e políticas que influenciam o desempenho humano, e, portanto, a segurança a bordo. O modelo proposto, inspirado em relatório de acidentes marítimos, tem como ponto de partida uma estrutura sequencial do acidente e leva em consideração uma sucessão usual e simplificada dos eventos ocorridos, iniciando a partir de uma falha no sistema físico. O elemento humano, então, é incorporado à análise de risco através das técnicas de análise de confiabilidade humana, as quais têm como princípio a visão do homem como mais um componente do sistema, ou o liveware interagindo com software e hardware. Sob este ponto de vista, uma abordagem sócio-técnica é aplicada, ou seja, considera-se que um navio é composto não apenas de sua estrutura e máquinas, mas também de toda a tripulação. Com o objetivo de exemplificar passos e hipóteses de uma aplicação do modelo proposto, é apresentada a aplicação ao caso do acidente da embarcação Maersk Doha, ocorrido em outubro de 2006 nos Estados Unidos, cujo relatório de investigação do acidente é de acesso público via Internet, no site da Marine Accident Investigation Branch MAIB. / This work presents a risk analysis model for ships, focusing on the scenarios where the crew interacts with the alarm and monitoring system. According to statistics of classification societies, humans are largely responsible for accidents on board and, therefore, are considered a major component of the safety of vessels. The relevance of the human element is given by the fact that human decisions and actions are related to the cause of accidents, either being the direct causative factor of failure or influencing the probability of failure, and the prevention of accidents or mitigation of the consequences. The alarm system is a mandatory component of certified vessels, with direct participation in an accident. It supplies information for the decision making process of the crew, considering their actions to recover the system. The study of the interactions between this automation equipment and the human element on board provides guidelines to managers and owners to invest in proper security systems and policies that influence human behavior, and therefore the safety on board. The model, inspired in accident reports, has as starting point a sequential structure of the accident, and takes into account a typical and simplified sequence of events, starting from a failure in the physical system. The human element is incorporated into the risk analysis through techniques of human reliability analysis, which place man as another component of the system, or the \"liveware\" interacting with software and hardware. From this point of view, a socio-technical approach is applied, considering that a ship is composed of not only its structure and machinery, but also of the entire crew. In order to illustrate the steps and assumptions to be done by an analyst applying the proposed model, the accident of the vessel Maersk Doha, occurred in October of 2006 in the United States, is analyzed. The report on the investigation of this accident is public and accessible via the Internet site of the Marine Accident Investigation Branch MAIB.

La validation des logiciels est une partie cruciale dans le cycle de leur développement. Deux techniques de vérification et de validation se sont démarquées au cours de ces dernières années : l'analyse statique et l'analyse dynamique. Les points forts et faibles des deux techniques sont complémentaires. Nous présentons dans cette thèse une combinaison originale de ces deux techniques. Dans cette combinaison, l'analyse statique signale les instructions risquant de provoquer des erreurs à l'exécution, par des alarmes dont certaines peuvent être de fausses alarmes, puis l'analyse dynamique (génération de tests) est utilisée pour confirmer ou rejeter ces alarmes. L'objectif de cette thèse est de rendre la recherche d'erreurs automatique, plus précise, et plus efficace en temps. Appliquée à des programmes de grande taille, la génération de tests, peut manquer de temps ou d'espace mémoire avant de confirmer certaines alarmes comme de vraies erreurs ou conclure qu'aucun chemin d'exécution ne peut atteindre l'état d'erreur de certaines alarmes et donc rejeter ces alarmes. Pour surmonter ce problème, nous proposons de réduire la taille du code source par le slicing avant de lancer la génération de tests. Le slicing transforme un programme en un autre programme plus simple, appelé slice, qui est équivalent au programme initial par rapport à certains critères. Quatre utilisations du slicing sont étudiées. La première utilisation est nommée all. Elle consiste à appliquer le slicing une seule fois, le critère de simplification étant l'ensemble de toutes les alarmes du programme qui ont été détectées par l'analyse statique. L'inconvénient de cette utilisation est que la génération de tests peut manquer de temps ou d'espace et les alarmes les plus faciles à classer sont pénalisées par l'analyse d'autres alarmes plus complexes. Dans la deuxième utilisation, nommée each, le slicing est effectué séparément par rapport à chaque alarme. Cependant, la génération de tests est exécutée pour chaque programme et il y a un risque de redondance d'analyse si des alarmes sont incluses dans d'autres slices. Pour pallier ces inconvénients, nous avons étudié les dépendances entre les alarmes et nous avons introduit deux utilisations avancées du slicing, nommées min et smart, qui exploitent ces dépendances. Dans l'utilisation min, le slicing est effectué par rapport à un ensemble minimal de sous-ensembles d'alarmes. Ces sous-ensembles sont choisis en fonction de dépendances entre les alarmes et l'union de ces sous-ensembles couvre l'ensemble de toutes les alarmes. Avec cette utilisation, on a moins de slices qu'avec each, et des slices plus simples qu'avec all. Cependant, l'analyse dynamique de certaines slices peut manquer de temps ou d'espace avant de classer certaines alarmes, tandis que l'analyse dynamique d'une slice éventuellement plus simple permettrait de les classer. L'utilisation smart consiste à appliquer l'utilisation précédente itérativement en réduisant la taille des sous-ensembles quand c'est nécessaire. Lorsqu'une alarme ne peut pas être classée par l'analyse dynamique d'une slice, des slices plus simples sont calculées. Nous prouvons la correction de la méthode proposée. Ces travaux sont implantés dans sante, notre outil qui relie l'outil de génération de tests PathCrawler et la plate-forme d'analyse statique Frama-C. Des expérimentations ont montré, d'une part, que notre combinaison est plus performante que chaque technique utilisée indépendamment et, d'autre part, que la vérification devient plus rapide avec l'utilisation du slicing. De plus, la simplification du programme par le slicing rend les erreurs détectées et les alarmes restantes plus faciles à analyser

Cette thèse traite de la reconnaissance des formes dans les images numériques. Une représentation appropriée des formes est déduite de l'analyse des perturbations qui n'affectent pas la reconnaissance : changement de contraste, occlusion partielle, bruit, perspective. Les atomes de cette représentation, appelés "éléments de forme", fournissent des descriptions semi-locales des formes. L'appariement de ces éléments permet de reconnaitre des formes partielles. Les formes globales sont alors définies comme des groupes de formes partielles présentant une cohérence dans leur disposition spatiale. L'aspect fondamental de ce travail est la mise en place de seuils non-supervisés, à tous les niveaux de décision du processus de reconnaissance. Nous proposons des règles de décision pour la en correcpondance de formes partielles ainsi que pour la détection de formes globales. Le cadre proposé est basé sur une méthodologie générale de la détection dans laquelle un événement est significatif s'il n'est pas susceptible d'arriver par hasard.