• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 30
  • 3
  • 2
  • 1
  • Tagged with
  • 36
  • 23
  • 8
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Evaluación del cambio de tecnología y mejora del procedimiento de fabricación de tabletas recubiertas de paracetamol 500 mg + diclofenaco sódico 50 mg

Charri Prudencio, Christian Joel January 2014 (has links)
El presente trabajo tuvo como objetivo evaluar el impacto del uso de tecnología automatizada sobre la productividad y mejora del proceso de manufactura, en operaciones unitarias de fabricación de Paracetamol 500 mg + Diclofenaco sódico 50 mg tabletas recubiertas, mediante la transferencia tecnológica en las etapas de granulación, compresión y recubierta de las tabletas. La metodología consistió en desarrollar las etapas del proceso para la obtención de tabletas recubiertas, se utilizó el granulador de lecho fluido, amasador de alta velocidad, tableteadora rotativa y recubridora de bombo cerrado, en reemplazo de equipos de tecnología convencional. En el diseño del proceso para el cambio a esta nueva tecnología se tomó en cuenta las características de los productos, tamaño de diseño, características de los equipos y los controles a realizar durante el proceso. Los resultados físicos, fisicoquímicos y microbiológicos obtenidos del producto bajo el nuevo diseño de proceso en los nuevos equipos, fueron conformes a las especificaciones de calidad establecidas para las tabletas recubiertas de Paracetamol 500mg + Diclofenaco sódico 50 mg. La investigación se realizó en dos lotes industriales, un lote ingresó a estudio de estabilidad mostrando resultados conformes. Del trabajo se concluye que el empleo de tecnología automatizada y el incremento de tamaño de lote, bajo el diseño propuesto, fue satisfactorio, asimismo se identificaron los parámetros críticos de proceso en estas etapas y los atributos de calidad de estos productos fueron conformes, se reporta un ahorro significativo de 40% por lote y un ahorro anual de 400% aproximadamente (Horas-Hombre y Horas-Maquina) en tiempos, lo que permite incrementar la operatividad para la planta farmacéutica.
2

A perfilometria tridimensional automatizada do tronco na escoliose idiopática do adolescente

Oliveira, António Fonseca January 2000 (has links)
No description available.
3

NOTÍCIAS AUTOMATIZADAS A evolução que levou o jornalismo a ser feito por não humanos / Automated news: the evolution that led journalismo to be clone by non humans

CARREIRA, KRISHMA ANAÍSA COURA 10 April 2017 (has links)
Submitted by Noeme Timbo (noeme.timbo@metodista.br) on 2017-08-18T19:06:44Z No. of bitstreams: 1 Krishma Anaísa Coura Carreira.pdf: 3828780 bytes, checksum: 4730feaf019d2ac2168079c86edd7f9c (MD5) / Made available in DSpace on 2017-08-18T19:06:44Z (GMT). No. of bitstreams: 1 Krishma Anaísa Coura Carreira.pdf: 3828780 bytes, checksum: 4730feaf019d2ac2168079c86edd7f9c (MD5) Previous issue date: 2017-04-10 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This essay is based on the systematization of Ciro Marcondes Filho, which divides Journalism into four phases, in order to propose the addition of a new stage. The Fifth Journalism began at the end of the first decade of the 21st century and includes a feature radically different from the others: the possibility of news being generated by machines. The crossing of Journalism with Artificial Intelligence systems allows algorithms to perform tasks such as the calculation, writing, distribution and circulation of text, audio and even video. Factors such as speed of production, cost, ability to generate content in multiple versions, which can be constantly updated and customized, signal the possibility of expansion of Automated News. Research indicates that computer-generated news are well received by readers and is considered to be more objective than the ones written by journalists, although algorithms follow criteria of prioritization, association, classification and filtering that can reproduce prejudices. In addition, automation changes the traditional workflow in newsrooms and creates new functions. The reflections are based on the approach of the Actor-Network Theory and start from an exploratory and interdisciplinary bibliographic review of areas such as Social Communication, Technology Philosophy and Artificial Intelligence. This work also carried out a mapping which identified 59 journalism companies that automatically produce news on 8 coverage topics (politics, finance, sports, weather, crime, travel, traffic and entertainment) in 10 countries in North America, Europe And Asia. / Este trabalho parte da sistematização de Ciro Marcondes Filho, que divide o Jornalismo em quatro fases, para propor o acréscimo de uma nova etapa. O Quinto Jornalismo começou no final da primeira década do século 21 e inclui uma característica radicalmente diferente das demais: a possibilidade das notícias serem geradas por máquinas. O cruzamento do Jornalismo com sistemas de Inteligência Artificial permite que algoritmos executem tarefas como a apuração, redação, distribuição e circulação de texto, áudio e até vídeo. Fatores como velocidade na produção, custo, capacidade de gerar conteúdo em múltiplas versões, que pode ser atualizado constantemente e personalizado, sinalizam a possibilidade de expansão da Notícia Automatizada. Pesquisas indicam que as matérias feitas por computador têm boa recepção pelos leitores e são consideradas mais objetivas do que as redigidas por jornalistas, apesar dos algoritmos seguirem critérios de priorização, associação, classificação e filtragem, que podem reproduzir preconceitos. Além disso, a automação altera o fluxo tradicional de trabalho nas redações e cria novas funções. As reflexões se baseiam na abordagem da Teoria Ator-Rede e partem de uma revisão bibliográfica de caráter exploratório e interdisciplinar de áreas como Comunicação Social, Filosofia da Tecnologia e Inteligência Artificial. Este trabalho também realizou um mapeamento onde foram identificadas 59 empresas de jornalismo que produzem automaticamente notícias sobre 8 tópicos de cobertura (política, finanças, esporte, previsão do tempo, crime, viagem, trânsito e entretenimento) em 10 países da América do Norte, Europa e Ásia.
4

Perda localizada de carga em conexões utilizadas em sistemas de microirrigação / Minor losses caused by fittings used in microirrigation systems

Bombardelli, Wagner Wilson Ávila 05 February 2018 (has links)
Há pouca disponibilidade de informações de perda localizada de carga sobre conexões utilizadas em microirrigação. Diante disso, objetivou-se desenvolver e validar uma bancada automatizada para ensaios e determinar experimentalmente as perdas localizadas provocadas por conexões utilizadas em sistemas de microirrigação. Desenvolveu-se uma bancada automatizada utilizando um circuito eletrônico microcontrolado que dispõe de funcionalidades para aquisição e condicionamento de sinais de sensores; controle de inversor de frequência e válvula proporcional; controle Proporcional-Integral-Derivativo (PID); e, comunicação Modbus RTU com outros dispositivos através de rede RS-485. O firmware implementado no microcontrolador foi desenvolvido na linguagem C, enquanto que a interface gráfica do usuário (GUI) foi desenvolvida em C#. A metodologia de ensaios foi elaborada combinando recomendações de normas técnicas internacionais. Os ensaios foram conduzidos sob pressão de entrada controlada em 150 kPa, sendo ensaiadas entre cinco e dez peças para cada modelo de conexão. As curvas relacionando vazão e perda localizada de carga foram construídas com, pelo menos, 15 valores de vazão, submetidos sob condição de incremento e decréscimo para incluir eventuais efeitos de histerese do sistema de medição. Foram coletados 30 pontos por condição de vazão, tendo sido realizado uma aquisição de 900 pontos por ensaio. Para cada modelo avaliado foram apresentados as seguintes informações: curva de perda localizada de carga em função de vazão, coeficiente de perda localizada de carga (KL) e comprimento equivalente (Leq). A bancada de ensaios automatizada permitiu a condução dos ensaios onde os sistemas de medição e controle operaram adequadamente, sendo capazes de atender a requisitos estabelecidos em normas técnicas. Os valores aproximados de KL se apresentaram entre 2,70 a 24,08. Em muitos dos casos, o coeficiente tendeu a uma constância após um número de Reynolds de 10000. Pôde-se verificar também a sensibilidade do coeficiente relacionada com a razão das seções internas nas conexões. Os expoentes da vazão assumem valores próximos do que é aplicado pela equação de Darcy-Weisbach (m=2). / Information about minor losses caused by fittings employed in microirrigation systems are hard to be found in literature. The objective of this research was to develop and validate an automated bench for determine experimentally minor losses caused by fittings commonly installed in microirrigation. An automated bench was developed using a microcontrolled electronic circuit that has functionalities for data acquisition and signal conditioning; control of variable frequency drive and proportional valve; Proportional-Integral-Derivative Control (PID); and, Modbus RTU communication with other devices through a RS-485 network. The firmware implemented for the microcontroller was programmed in the C language, while the graphical user interface (GUI) was developed in C#. The methodology of tests was based on international standards. The tests were carried out under controlled inlet pressure, at 150 kPa, and five to ten units were tested for each fitting model. The curves relating flow and minor losses were drawn based on minimum of 15 flow values, obtained under conditions of increase and decrease of flow rate in order to take into account possible effects of hysteresis related to the measurement system. In each flow rate, 30 points were collected resulting in a sample size of 900 points in each test. For each model of fitting evaluated, the following information was presented: curves of minor losses as a function of flow rate, minor loss coefficient (KL) and minor losses expressed as an equivalent length (Leq). The automated test bench enabled to carry out the experiments properly, being able to meet the requirements established by technical standards. The values of KL presented ranged from 2.70 to 24.08. Usually, that coefficient tended to become constant for Reynolds number higher than 10000. The sensitivity of the coefficient related to a ratio of the internal sections in the connections was also verified. The flow exponents presented values close to what is applied by the Darcy-Weisbach equation (m = 2).
5

Sistema automatizado de classificação de abelhas baseado em reconhecimento de padrões. / Automated bee classification system based on pattern recognition.

Bueno, Jésus Franco 08 October 2010 (has links)
A crescente perda mundial de biodiversidade tem sido uma das preocupações da comunidade científica internacional que motivaram a criação em 1992 da Convenção sobre a Diversidade Biológica, tornando-se um tratado de compromisso aceito pelos governantes de 187 países e pela Comunidade Européia. A redução da biodiversidade, devido a vários fatores, como a ação antrópica e o aquecimento global, compromete a capacidade do planeta de sustentação da vida humana em face do esgotamento dos recursos e serviços por ela prestados. A conservação e uso sustentável da biodiversidade passa necessariamente pela aquilatação e conhecimento das espécies. Entre essas espécies as abelhas polinizadoras têm merecido especial atenção, pois a polinização das plantas é um serviço de ecossistema muito importante. Cerca de três quartos das mais de 240 mil espécies de plantas do mundo dependem de polinizadores e estima-se que as abelhas sejam responsáveis por mais de 70% do serviço global de polinização. Existem quase 20.000 espécies de abelhas descritas no mundo. No Brasil são conhecidas quase 400 espécies de abelhas (cerca de 300 são abelhas sem ferrão) e o número estimado é de mais de 3.000 espécies. No entanto, este enorme esforço taxonômico a ser realizado pode estar comprometido pelo impedimento taxonômico reconhecido na Declaração de Darwin de 1988 pela ONU. Uma contribuição para minimizar o impedimento taxonômico pode ser dada pelo desenvolvimento de sistemas automatizados de apoio à decisão de identificação. Os sistemas de identificação existentes são proprietários, ou foram desenvolvidos para grupo específicos de espécies e muitas vezes não são integrados. Este trabalho com foco na identificação de abelhas, notadamente nas abelhas sem ferrão, que apresentam redução da venação das asas, apresenta um modelo de sistema baseado em computador para automatizar o processo de identificação de abelhas com uma abordagem de reconhecimento de padrões. Um modelo de sistema denominado ABeeS (Automated Bee Identification System) incorpora o conhecimento especializado para o reconhecimento automatizado de abelhas usando a imagem das asas. O modeloproposto apresenta as funcionalidades de um sistema de identificação de abelhas com o modelo de Caso de Uso e o fluxo de dados entre as atividades do processo de identificação com o modelo do Fluxo de Dados. Um modelo de banco de dados denominado Banco Entomológico de Espécies de Abelhas (BEE) foi proposto para armazenamento de resultados, treinamento e otimização do sistema ABeeS. Para levantar requisitos e avaliar a proposta foram desenvolvidos protótipos de partes do modelo no Labview, um ambiente de programação gráfica, que disponibiliza uma plataforma de visão computacional para aplicações de reconhecimento de padrões usando o método de correspondência de padrões (pattern matching). Um protótipo envolveu uma ferramenta para a definição dos marcos anatômicos nas imagens-padrão. Outro envolveu os resultados da extração automática dos marcos anatômicos e evidenciou que mostram que a capacidade do ABeeS em localizar automaticamente os gabaritos (template) dos marcos anatômicos na imagem da asa em análise depende do conhecimento especializado transferido para o sistema. Este conhecimento contribui para a seleção de uma região do entorno do marco anatômico para formação da imagem-gabarito. A definição precisa da área é muito importante para a acurácia do reconhecimento automatizado do marco anatômico. O ajuste dos parâmetros de treinamento e a qualidade da imagem da asa de abelha são determinantes para extração das características corretas. Parte integrante do modelo são algoritmos de classificação supervisionados, como o FNN4Bees desenvolvido no Laboratório de Automação Agrícola da POLI-USP, e que apresentou resultados satisfatórios. Este trabalho contribui com uma sistematização do processo de identificação de abelhas, servindo de guia para usuários dessa técnica, e o modelo obtido poderá ser utilizado para a implementação de um sistema real, na continuidade dos trabalhos. / The growing worldwide loss of biodiversity has been a concern to the international scientific community that motivated the creation of the Convention on Biological Diversity in 1992, which turned into a commitment treaty accepted by governments of 187 countries and the European Community. The reduction of biodiversity due to several factors, such as anthropic action and global warming, compromises the ability of the planet to sustain human life in face of the exhaustion of the resources and services it provides. Conservation and the sustainable use of biodiversity necessarily involve species knowledge and assessment. Among these species, pollinating bees have deserved special attention because plant pollination is an important ecosystem service. Nearly three quarters of more than 240,000 plant species depend on pollinators around the world and bees are estimated to account for more than 70% of the overall pollination service. There are nearly 20,000 bee species described in the world. Brazil is known to have nearly 400 bee species (about 300 are stingless bees) and the estimated number is over 3,000 species. However, this huge taxonomic effort to be performed may be compromised by the taxonomic impediment recognized by the UN in the Darwin Declaration in 1988. A contribution to minimize the taxonomic impediment may be given by the development of automated systems to support classification decision. Existing identification systems are proprietary, or were developed for specific groups of species and are often non-integrated. This study focused on bee classification, especially stingless bees that have reduced wing venation; a model for a computer-based system to automate the bee identification process using a pattern recognition approach is presented. A model of the system called ABeeS (Automated Bee Identification System) incorporates the expertise for the automated recognition of bees using wing images. The model presents the functionalities of the bee identification system with the Use Case model and data flow between the activities of the identification process with the Data Flow model. A database model called Bee Entomological Database (BEE) has been proposed for storage of results, training and for ABeeS system optimization. For requirements elicitation and evaluation, the proposal prototypes of parts of the model were developed in Labview, a graphical programming environment that provides a platform for computer vision applications of pattern recognition using the pattern matching method. One prototype uses a tool for defining the landmarks in the template-images. Another uses the results of the automatic extraction of landmarks that show the ability of ABeeS to automatically locate the templates of landmarks in the wing image under analysis, which depends on the expertise transferred to the system. This knowledge contributes to the selection of a region surrounding the anatomical landmark for the formation of the template. The precise definition of the area is very important for the accuracy of automated recognition of anatomical landmark. The adjustment of training parameters and image quality of the bee wing are crucial for extracting the right features. Part of the model is supervised classification algorithms, such as FNN4Bees developed in the Agricultural Automation Laboratory of POLI-USP, and presents satisfactory results. This work contributes to the systematization of the bee identification process, serving as a guide for users of this technique, and the model obtained can be used to implement a real system, in further work.
6

Depuração de programas baseada em cobertura de integração / Program debugging based on integration coverage

Souza, Higor Amario de 20 December 2012 (has links)
Depuração é a atividade responsável pela localização e correção de defeitos gerados durante o desenvolvimento de programas. A depuração ocorre devido à atividade de teste bem-sucedida, na qual falhas no comportamento do programa são reveladas, indicando a existência de defeitos. Diversas técnicas têm sido propostas para automatizar a tarefa de depuração de programas. Algumas delas utilizam heurísticas baseadas em informações de cobertura obtidas da execução de testes. O objetivo é indicar trechos de código do programa mais suspeitos de conter defeitos. As informações de cobertura mais usadas em depuração automatizada são baseadas no teste estrutural de unidade. A cobertura de integração, obtida por meio da comunicação entre as unidades de um programa, pode trazer novas informações sobre o código executado, possibilitando a criação de novas estratégias para a tarefa de localização de defeitos. Este trabalho apresenta uma nova técnica de localização de defeitos chamada Depuração de programas baseada em Cobertura de Integração (DCI). São apresentadas duas coberturas de integração baseadas nas chamadas de métodos de um programa. Essas coberturas são usadas para a proposição de roteiros de busca dos defeitos a partir dos métodos considerados mais suspeitos. As informações de cobertura de unidade são então utilizadas para a localização dos defeitos dentro dos métodos. A DCI também utiliza uma nova heurística para atribuição de valores de suspeição a entidades de integração estática dos programas como pacotes, classes e métodos, fornecendo também um roteiro para a procura dos defeitos. Os experimentos realizados em programas reais mostram que a DCI permite realizar a localização de defeitos de forma mais eficaz do que o uso de informações de cobertura de unidade isoladamente. / Debugging is the activity responsible for localizing and fixing faults generated during software development. Debugging occurs due to a successful testing activity, in which failures in the behavior of the program are revealed, indicating the existence of faults. Several techniques have been proposed to automate the debugging tasks, especially the fault localization task. Some techniques use heuristics based on coverage data obtained from the execution of tests. The goal is to indicate program code excerpts more likely to contain faults. The coverage data mostly used in automated debugging is based on white-box unit testing. Integration coverage data, obtained from the communication between the units of a program, can bring about new information with respect to the executed code, which allows new strategies to the fault localization task to be devised. This work presents a new fault localization technique called Debugging based on Integration Coverage (DIC). Two integration coverages based on method invocations are presented. These coverages are used to propose two search strategies that provides a roadmap to locate faults by investigating the more suspicious methods. The unit coverage information are used to search the faulty statement inside the suspicious methods. The DIC technique also proposes a heuristic that assigns suspiciousness values to static integration entities of the programs, namely, packages, classes, and methods. This heuristic also provides a roadmap to search for the faults. Experiments using real programs show that DIC is more effective to locate faults than solely using unit coverage information.
7

Leitura automatizada de medidores de consumo de energia elétrica eletromecânicos. / Automated reading of eletromechanical electric energy consumption meter.

Bizarria, José Walter Parquet 02 June 2006 (has links)
BIZARRIA, J. W. P. Leitura automatizada de medidores de consumo de energia elétrica eletromecânicos. 2006. 255 f. Tese (Doutorado) - Escola Politécnica, Universidade de São Paulo, São Paulo, 2006. Este trabalho aborda o projeto conceitual de um sistema voltado para a leitura automatizada de medidores de consumo de energia elétrica eletromecânicos, residenciais, com transdutores por indução acoplados a registradores mecânicos ciclométricos, sendo esse sistema denominado de Sistema Automatizado para Leitura de Medidores Eletromecânicos (SALME). Nessa abordagem, são explorados conceitos que visam contribuir para a evolução desse tipo de medidor e de outros, aos quais esses conceitos possam ser estendidos. Os elementos desse sistema oferecem contribuição voltada para a busca de soluções dos atuais problemas existentes, principalmente no que se refere à automatização dos processos de aquisição de dados do consumo de energia elétrica, e no combate às fraudes. O SALME está fundamentado numa arquitetura de sistema distribuído que separa o medidor em duas unidades: uma destinada para a medição do consumo; outra para a visualização dos dados referentes à leitura do medidor. O modelo de aplicação dessa arquitetura prevê a instalação da unidade de medição no âmbito da via pública, sendo a unidade de visualização instalada no âmbito da unidade consumidora. A instalação da unidade de medição no âmbito da via pública dificulta a implementação e utilização de circuitos não autorizados, que impeçam ou interfiram na medição dos corretos valores de consumo de energia elétrica, a serem utilizados para a cobrança desse insumo. A instalação da unidade de visualização no âmbito da unidade consumidora proporciona ao consumidor a leitura do medidor, prevista para esse tipo de aplicação. Nesse sistema, a leitura do medidor é automatizada, de forma que a aquisição dos dados de leitura dos consumos pode ser realizada no âmbito da via pública, por meio do uso de coletores de dados ou por interligação a sistemas de comunicação que utilizam redes de longa distância. Para a comunicação com os coletores de dados, é prevista a utilização da radiação infravermelha como meio de comunicação sem fio. A automatização da leitura dos medidores é fundamentada no conceito de leitura eletrônica do registrador mecânico ciclométrico, sendo exploradas abordagens que envolvem: a conversão optoeletrônica analógica; a aquisição e o processamento de imagens, e a conversão optoeletrônica digital. Os resultados obtidos nos ensaios práticos efetuados com os protótipos dos elementos do SALME foram satisfatórios, sendo validados os princípios de funcionamento desses elementos, ratificando os conceitos propostos, mostrando que os objetivos previstos neste trabalho foram alcançados em toda a sua plenitude. / BIZARRIA, J. W. P. Automated reading of electromechanical electric energy consumption meter. 2006. 255 f. Thesis (Doctoral) - Escola Politécnica, Universidade de São Paulo, São Paulo, 2006. This work embodies a conceptual design of a system focalized in automatic reading of electromechanical electric energy consumption meter, residential, with inductive transducers coupled together with cyclic mechanical registers, being that system called by Automated System for Reading of Electromechanical Meter (ASREM). On that approach are explored concepts that aim to contribute for evolution of that type of meter and others of which those concepts can be extended. The elements of that system offer contribution dedicated for the search of solutions of the current problems, mainly referring to automation of data acquisition processes of electric power consumption, and against to swindle. ASREM is based on architecture of distributed system that splits the meter into two units, being one destined to consumption measurement and other for visualization of the data related to the meter reading. The model of application of that architecture, foresees the installation of a measurement unit in the ambit of public electrical network, being the unit of visualization installed in the ambit of consumer demand. The installation of measurement unit in the ambit of public electrical network, obstructs the implementation and use of non authorized circuits that prevent or interfere in the measurement of correct values of electric power consumption to be utilized for the collection of that tariff. The installation of unit for visualization in the ambit of consumer demand, provides to the consumer the reading of the meter foreseen for that type of application. On that system the reading of the meter is automated, so that the acquisition of the reading data of the consumptions it can be accomplished in the ambit of public electrical network, by means of usage either by data collectors or by interconnection to communication systems that use long distance networks. For the communication with the data collectors that is forecasted the utilization of infrared radiation as a mean of wireless communication. The automation of meters reading is based on concept of electronic reading of the cyclic mechanical register, being explored approaches that involve: the analogical optoelectronic conversion, acquisition and image processing, and digital optoelectronic conversion. The results obtained in the practical tests performed with the prototypes of ASREM elements, were satisfactory, being validated the principles of operation of those elements, ratifying the proposed concepts, showing that the objectives foreseen in this work were fully reached.
8

Depuração de programas baseada em cobertura de integração / Program debugging based on integration coverage

Higor Amario de Souza 20 December 2012 (has links)
Depuração é a atividade responsável pela localização e correção de defeitos gerados durante o desenvolvimento de programas. A depuração ocorre devido à atividade de teste bem-sucedida, na qual falhas no comportamento do programa são reveladas, indicando a existência de defeitos. Diversas técnicas têm sido propostas para automatizar a tarefa de depuração de programas. Algumas delas utilizam heurísticas baseadas em informações de cobertura obtidas da execução de testes. O objetivo é indicar trechos de código do programa mais suspeitos de conter defeitos. As informações de cobertura mais usadas em depuração automatizada são baseadas no teste estrutural de unidade. A cobertura de integração, obtida por meio da comunicação entre as unidades de um programa, pode trazer novas informações sobre o código executado, possibilitando a criação de novas estratégias para a tarefa de localização de defeitos. Este trabalho apresenta uma nova técnica de localização de defeitos chamada Depuração de programas baseada em Cobertura de Integração (DCI). São apresentadas duas coberturas de integração baseadas nas chamadas de métodos de um programa. Essas coberturas são usadas para a proposição de roteiros de busca dos defeitos a partir dos métodos considerados mais suspeitos. As informações de cobertura de unidade são então utilizadas para a localização dos defeitos dentro dos métodos. A DCI também utiliza uma nova heurística para atribuição de valores de suspeição a entidades de integração estática dos programas como pacotes, classes e métodos, fornecendo também um roteiro para a procura dos defeitos. Os experimentos realizados em programas reais mostram que a DCI permite realizar a localização de defeitos de forma mais eficaz do que o uso de informações de cobertura de unidade isoladamente. / Debugging is the activity responsible for localizing and fixing faults generated during software development. Debugging occurs due to a successful testing activity, in which failures in the behavior of the program are revealed, indicating the existence of faults. Several techniques have been proposed to automate the debugging tasks, especially the fault localization task. Some techniques use heuristics based on coverage data obtained from the execution of tests. The goal is to indicate program code excerpts more likely to contain faults. The coverage data mostly used in automated debugging is based on white-box unit testing. Integration coverage data, obtained from the communication between the units of a program, can bring about new information with respect to the executed code, which allows new strategies to the fault localization task to be devised. This work presents a new fault localization technique called Debugging based on Integration Coverage (DIC). Two integration coverages based on method invocations are presented. These coverages are used to propose two search strategies that provides a roadmap to locate faults by investigating the more suspicious methods. The unit coverage information are used to search the faulty statement inside the suspicious methods. The DIC technique also proposes a heuristic that assigns suspiciousness values to static integration entities of the programs, namely, packages, classes, and methods. This heuristic also provides a roadmap to search for the faults. Experiments using real programs show that DIC is more effective to locate faults than solely using unit coverage information.
9

Sistema automatizado de classificação de abelhas baseado em reconhecimento de padrões. / Automated bee classification system based on pattern recognition.

Jésus Franco Bueno 08 October 2010 (has links)
A crescente perda mundial de biodiversidade tem sido uma das preocupações da comunidade científica internacional que motivaram a criação em 1992 da Convenção sobre a Diversidade Biológica, tornando-se um tratado de compromisso aceito pelos governantes de 187 países e pela Comunidade Européia. A redução da biodiversidade, devido a vários fatores, como a ação antrópica e o aquecimento global, compromete a capacidade do planeta de sustentação da vida humana em face do esgotamento dos recursos e serviços por ela prestados. A conservação e uso sustentável da biodiversidade passa necessariamente pela aquilatação e conhecimento das espécies. Entre essas espécies as abelhas polinizadoras têm merecido especial atenção, pois a polinização das plantas é um serviço de ecossistema muito importante. Cerca de três quartos das mais de 240 mil espécies de plantas do mundo dependem de polinizadores e estima-se que as abelhas sejam responsáveis por mais de 70% do serviço global de polinização. Existem quase 20.000 espécies de abelhas descritas no mundo. No Brasil são conhecidas quase 400 espécies de abelhas (cerca de 300 são abelhas sem ferrão) e o número estimado é de mais de 3.000 espécies. No entanto, este enorme esforço taxonômico a ser realizado pode estar comprometido pelo impedimento taxonômico reconhecido na Declaração de Darwin de 1988 pela ONU. Uma contribuição para minimizar o impedimento taxonômico pode ser dada pelo desenvolvimento de sistemas automatizados de apoio à decisão de identificação. Os sistemas de identificação existentes são proprietários, ou foram desenvolvidos para grupo específicos de espécies e muitas vezes não são integrados. Este trabalho com foco na identificação de abelhas, notadamente nas abelhas sem ferrão, que apresentam redução da venação das asas, apresenta um modelo de sistema baseado em computador para automatizar o processo de identificação de abelhas com uma abordagem de reconhecimento de padrões. Um modelo de sistema denominado ABeeS (Automated Bee Identification System) incorpora o conhecimento especializado para o reconhecimento automatizado de abelhas usando a imagem das asas. O modeloproposto apresenta as funcionalidades de um sistema de identificação de abelhas com o modelo de Caso de Uso e o fluxo de dados entre as atividades do processo de identificação com o modelo do Fluxo de Dados. Um modelo de banco de dados denominado Banco Entomológico de Espécies de Abelhas (BEE) foi proposto para armazenamento de resultados, treinamento e otimização do sistema ABeeS. Para levantar requisitos e avaliar a proposta foram desenvolvidos protótipos de partes do modelo no Labview, um ambiente de programação gráfica, que disponibiliza uma plataforma de visão computacional para aplicações de reconhecimento de padrões usando o método de correspondência de padrões (pattern matching). Um protótipo envolveu uma ferramenta para a definição dos marcos anatômicos nas imagens-padrão. Outro envolveu os resultados da extração automática dos marcos anatômicos e evidenciou que mostram que a capacidade do ABeeS em localizar automaticamente os gabaritos (template) dos marcos anatômicos na imagem da asa em análise depende do conhecimento especializado transferido para o sistema. Este conhecimento contribui para a seleção de uma região do entorno do marco anatômico para formação da imagem-gabarito. A definição precisa da área é muito importante para a acurácia do reconhecimento automatizado do marco anatômico. O ajuste dos parâmetros de treinamento e a qualidade da imagem da asa de abelha são determinantes para extração das características corretas. Parte integrante do modelo são algoritmos de classificação supervisionados, como o FNN4Bees desenvolvido no Laboratório de Automação Agrícola da POLI-USP, e que apresentou resultados satisfatórios. Este trabalho contribui com uma sistematização do processo de identificação de abelhas, servindo de guia para usuários dessa técnica, e o modelo obtido poderá ser utilizado para a implementação de um sistema real, na continuidade dos trabalhos. / The growing worldwide loss of biodiversity has been a concern to the international scientific community that motivated the creation of the Convention on Biological Diversity in 1992, which turned into a commitment treaty accepted by governments of 187 countries and the European Community. The reduction of biodiversity due to several factors, such as anthropic action and global warming, compromises the ability of the planet to sustain human life in face of the exhaustion of the resources and services it provides. Conservation and the sustainable use of biodiversity necessarily involve species knowledge and assessment. Among these species, pollinating bees have deserved special attention because plant pollination is an important ecosystem service. Nearly three quarters of more than 240,000 plant species depend on pollinators around the world and bees are estimated to account for more than 70% of the overall pollination service. There are nearly 20,000 bee species described in the world. Brazil is known to have nearly 400 bee species (about 300 are stingless bees) and the estimated number is over 3,000 species. However, this huge taxonomic effort to be performed may be compromised by the taxonomic impediment recognized by the UN in the Darwin Declaration in 1988. A contribution to minimize the taxonomic impediment may be given by the development of automated systems to support classification decision. Existing identification systems are proprietary, or were developed for specific groups of species and are often non-integrated. This study focused on bee classification, especially stingless bees that have reduced wing venation; a model for a computer-based system to automate the bee identification process using a pattern recognition approach is presented. A model of the system called ABeeS (Automated Bee Identification System) incorporates the expertise for the automated recognition of bees using wing images. The model presents the functionalities of the bee identification system with the Use Case model and data flow between the activities of the identification process with the Data Flow model. A database model called Bee Entomological Database (BEE) has been proposed for storage of results, training and for ABeeS system optimization. For requirements elicitation and evaluation, the proposal prototypes of parts of the model were developed in Labview, a graphical programming environment that provides a platform for computer vision applications of pattern recognition using the pattern matching method. One prototype uses a tool for defining the landmarks in the template-images. Another uses the results of the automatic extraction of landmarks that show the ability of ABeeS to automatically locate the templates of landmarks in the wing image under analysis, which depends on the expertise transferred to the system. This knowledge contributes to the selection of a region surrounding the anatomical landmark for the formation of the template. The precise definition of the area is very important for the accuracy of automated recognition of anatomical landmark. The adjustment of training parameters and image quality of the bee wing are crucial for extracting the right features. Part of the model is supervised classification algorithms, such as FNN4Bees developed in the Agricultural Automation Laboratory of POLI-USP, and presents satisfactory results. This work contributes to the systematization of the bee identification process, serving as a guide for users of this technique, and the model obtained can be used to implement a real system, in further work.
10

Leitura automatizada de medidores de consumo de energia elétrica eletromecânicos. / Automated reading of eletromechanical electric energy consumption meter.

José Walter Parquet Bizarria 02 June 2006 (has links)
BIZARRIA, J. W. P. Leitura automatizada de medidores de consumo de energia elétrica eletromecânicos. 2006. 255 f. Tese (Doutorado) - Escola Politécnica, Universidade de São Paulo, São Paulo, 2006. Este trabalho aborda o projeto conceitual de um sistema voltado para a leitura automatizada de medidores de consumo de energia elétrica eletromecânicos, residenciais, com transdutores por indução acoplados a registradores mecânicos ciclométricos, sendo esse sistema denominado de Sistema Automatizado para Leitura de Medidores Eletromecânicos (SALME). Nessa abordagem, são explorados conceitos que visam contribuir para a evolução desse tipo de medidor e de outros, aos quais esses conceitos possam ser estendidos. Os elementos desse sistema oferecem contribuição voltada para a busca de soluções dos atuais problemas existentes, principalmente no que se refere à automatização dos processos de aquisição de dados do consumo de energia elétrica, e no combate às fraudes. O SALME está fundamentado numa arquitetura de sistema distribuído que separa o medidor em duas unidades: uma destinada para a medição do consumo; outra para a visualização dos dados referentes à leitura do medidor. O modelo de aplicação dessa arquitetura prevê a instalação da unidade de medição no âmbito da via pública, sendo a unidade de visualização instalada no âmbito da unidade consumidora. A instalação da unidade de medição no âmbito da via pública dificulta a implementação e utilização de circuitos não autorizados, que impeçam ou interfiram na medição dos corretos valores de consumo de energia elétrica, a serem utilizados para a cobrança desse insumo. A instalação da unidade de visualização no âmbito da unidade consumidora proporciona ao consumidor a leitura do medidor, prevista para esse tipo de aplicação. Nesse sistema, a leitura do medidor é automatizada, de forma que a aquisição dos dados de leitura dos consumos pode ser realizada no âmbito da via pública, por meio do uso de coletores de dados ou por interligação a sistemas de comunicação que utilizam redes de longa distância. Para a comunicação com os coletores de dados, é prevista a utilização da radiação infravermelha como meio de comunicação sem fio. A automatização da leitura dos medidores é fundamentada no conceito de leitura eletrônica do registrador mecânico ciclométrico, sendo exploradas abordagens que envolvem: a conversão optoeletrônica analógica; a aquisição e o processamento de imagens, e a conversão optoeletrônica digital. Os resultados obtidos nos ensaios práticos efetuados com os protótipos dos elementos do SALME foram satisfatórios, sendo validados os princípios de funcionamento desses elementos, ratificando os conceitos propostos, mostrando que os objetivos previstos neste trabalho foram alcançados em toda a sua plenitude. / BIZARRIA, J. W. P. Automated reading of electromechanical electric energy consumption meter. 2006. 255 f. Thesis (Doctoral) - Escola Politécnica, Universidade de São Paulo, São Paulo, 2006. This work embodies a conceptual design of a system focalized in automatic reading of electromechanical electric energy consumption meter, residential, with inductive transducers coupled together with cyclic mechanical registers, being that system called by Automated System for Reading of Electromechanical Meter (ASREM). On that approach are explored concepts that aim to contribute for evolution of that type of meter and others of which those concepts can be extended. The elements of that system offer contribution dedicated for the search of solutions of the current problems, mainly referring to automation of data acquisition processes of electric power consumption, and against to swindle. ASREM is based on architecture of distributed system that splits the meter into two units, being one destined to consumption measurement and other for visualization of the data related to the meter reading. The model of application of that architecture, foresees the installation of a measurement unit in the ambit of public electrical network, being the unit of visualization installed in the ambit of consumer demand. The installation of measurement unit in the ambit of public electrical network, obstructs the implementation and use of non authorized circuits that prevent or interfere in the measurement of correct values of electric power consumption to be utilized for the collection of that tariff. The installation of unit for visualization in the ambit of consumer demand, provides to the consumer the reading of the meter foreseen for that type of application. On that system the reading of the meter is automated, so that the acquisition of the reading data of the consumptions it can be accomplished in the ambit of public electrical network, by means of usage either by data collectors or by interconnection to communication systems that use long distance networks. For the communication with the data collectors that is forecasted the utilization of infrared radiation as a mean of wireless communication. The automation of meters reading is based on concept of electronic reading of the cyclic mechanical register, being explored approaches that involve: the analogical optoelectronic conversion, acquisition and image processing, and digital optoelectronic conversion. The results obtained in the practical tests performed with the prototypes of ASREM elements, were satisfactory, being validated the principles of operation of those elements, ratifying the proposed concepts, showing that the objectives foreseen in this work were fully reached.

Page generated in 0.0989 seconds