• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 1
  • Tagged with
  • 13
  • 13
  • 10
  • 10
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
11

METODOLOGIA PARA DETECÇÃO AUTOMÁTICA DE NÓDULOS PULMONARES / METHODOLOGY FOR AUTOMATIC DETENTION OF PULMONARY NODULES

Sousa, João Rodrigo Ferreira da Silva 07 December 2007 (has links)
Made available in DSpace on 2016-08-17T14:53:29Z (GMT). No. of bitstreams: 1 Joao Rodrigo Ferreira.pdf: 1547613 bytes, checksum: a9c7e73154b7e9a72733f9f2e20a55fe (MD5) Previous issue date: 2007-12-07 / The lung cancer is a disorder with significant prevalence in several countries worldwide. The hard treatment and the fast progress of the disease increase the mortality rates. The main factor contributing to a successful treatment is an early diagnosis. However possible omissions in the scan analysis can lead to late diagnosis, compromising all the treatment. In order to present a computational tool aimed at nodules detection, that can be used as a second opinion to the specialist, this master thesis proposes a methodology for nodules detection that is totally automatic, robust and consistent. The methodology is based on successive refinements for the segmentation of computed tomography images using morphologic techniques to obtain nodule candidates. The false positive reduction is achieved by SVM based on geometric and texture features. The tests, performed with real scans, indicate the feasibility of the proposed method. In automatic detection performed on 33 cases the methodology reached 95.21% of correctness with 0.42 false positives and 0.15 false negative per scan. / O câncer de pulmão é uma enfermidade com prevalência significativa em diversos países no mundo todo. O difícil tratamento e a progressão rápida da doença fazem com que os índices de mortalidade das pessoas acometidas por este mal sejam muito altos. O principal fator contribuinte para um tratamento de sucesso, entretanto, é o diagnóstico precoce. Contudo possíveis omissões na análise dos exames podem levar a um diagnóstico tardio, comprometendo todo o tratamento. Com o intuito de oferecer uma alternativa computacional de auxílio à detecção de nódulos, servindo como uma segunda opinião para o médico, este trabalho propõe uma metodologia totalmente automática, robusta e consistente. A metodologia é fundamentada em refinamentos sucessivos da segmentação sobre imagens de tomografia computadorizada utilizando técnicas morfológicas para a obtenção de candidatos a nódulo. A redução de falsos positivos é efetivada pelo SVM com base em características geométricas e de textura. Os testes realizados com exames reais indicam a viabilidade da solução proposta. Na detecção automática realizada sobre 33 casos a metodologia atingiu 95,21% de acerto com uma média de 0,42 falsos positivos e 0,15 falsos negativos por exame.
12

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. / Automatic detection of competing system property violations at run time.

BARBOSA, Ana Emília Victor. 22 August 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-22T19:52:23Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) / Made available in DSpace on 2018-08-22T19:52:23Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) Previous issue date: 2007-04-20 / Capes / Neste trabalho propomos uma técnica que visa detectar violações de propriedades comportamentais automaticamente durante a execução de sistema de software concorrentes. A técnica foi inspirada na metodologia de desenvolvimento Design by Contract (DbC). DbC permite que os desenvolvedores adicionem aos programas asserções para que sejam verificadas em tempo de execução. O uso de asserções para expressar propriedades de programas concorrentes (multithreaded)eparalelos, entretanto,não ésuficiente. Nesses sistemas,muitas das propriedades comportamentais de interesse, como vivacidade e segurança, não podem ser expressas apenas com asserções. Essas propriedades requerem o uso de operadores temporais. Neste trabalho, utilizamos Lógica Linear Temporal (Linear Time Logic - LTL) para expressar o comportamento desejado. Para dar suporte a checagem do comportamento dos programas em tempo de execução, propomos uma técnica baseada em Programação Orientada a Aspectos, que permite que o programa seja continuamente monitorado (o comportamento é checado através do uso de autômatos que permite a deteção de comportamentos inesperados). Associada a cada propriedade comportamental existe um conjunto de pontos de interesse do código-fonte que devem obedece-la. Esses pontos são então monitorados durante a execução do sistema através do uso de aspectos. Entre outros benefícios, a técnica permite que o sistema de software alvo seja instrumentado de maneira não intrusiva, sem alterar o código-fonte — particulamente, nenhum código do software alvo deve ser modificado para execução da monitoração. Para validar este trabalho, desenvolvemos como prova de conceitos um protótipo que implementa a técnica e permite a monitoração de programas Java multi-threaded, chamado DesignMonitor. Essa ferramenta é apresentada e discutida através de um estudo de caso para demonstrar a aplicação da técnica / In this work we propose and develop a technique that allows to detect the violation of behavior properties of concurrent systems. The technique was inspired by the Design by Contract (DbC) programming methodology, which proposes the use of assertions and their evaluation at runtime to check programs behavior. The use of simple assertions to express properties of concurrent and parallel programs, however, is not sufficient. Many of the relevant properties of those systems,s uch as liveness and security, can not be expressed with simple assertions. Thesepropertiesrequiretheuseof temporal operators. In our work, we used Linear Time Logic (LTL) to specify the expected behavior. To support the runtime checking of the program against the expected behavior, we propose a technique, based on Aspect-Oriented Programming, that allows the program to be continuously monitored (behavior is checked against automata that allows the detection of unexpected behaviors). Each property is mapped to a set of points of interest in the target program. Those points are then monitored during the system execution through aspects. Among other benefits, the technique allows the instrumentation of the target software to be performed automatically and in a non-intrusive way — in particular, no code must be changed toturn monitoring on or off. To validate the work, we developed a proof of concept prototype tool that implements the technique and allows the monitoring of multi-threaded Java programs, called DesignMonitor. The tool was used in case study that has allowed the evaluation and the discussion of practical issues related with the technique.
13

DESENVOLVIMENTO E APLICAÇÃO DE UM MÉTODO PARA DETECÇÃO DE INDÍCIOS DE PLÁGIO

Pertile, Solange de Lurdes 11 March 2011 (has links)
The distribution and access to information by a much larger number of people on the Internet has grown in a exponential, way has been hard the which control of the originality of the information and facilitating the work of plagiarists users who make use of such information inappropriately. It is in this context that stands the importance of evalute the texts produced in the post-graduate and graduate courses in the classroom and distance modalities, that this paper proposes a new method to detect signs of plagiarism in academic work, which performs to searche similar fragments with web documents. The method developed analyzes the mosaic plagiarism, where the author shares copies of a work by changing only a few words without giving credit to the original work, and the bilingual plagiarism, where the contents of a document in English is translated for Portuguese without reference the original work. In addition, the method was implemented in an integrated tool and to the sending task module of the Moodle platform for access by desktop and by the mobile device aiming to empower the teachers the benefits of its utilization in the posting of work in a AVA, and implemented as a desktop computer system to allow users the access also outside theAVA Moodle. The results showed that the developed method reached satisfactory results in relation to other techniques found in literature, getting over a collection of 14 documents indexs of similarities ranging from 30.07% to 40% and with a precision in the returned results between 71.42 % and 96.15%. The experimental results of a translated document from English to Portuguese had a 100% accuracy in the returned results. / A distribuição e o acesso a informações por um número muito maior de pessoas na internet tem crescido de forma exponencial, o que vem dificultando o controle da originalidade de tais informações e facilitando o trabalho dos usuários plagiadores que fazem uso de tais informações de forma inadequada. Neste contexto que se destaca a importância de avaliar os textos produzidos nos cursos de pós-graduação e graduação, nas modalidades à distância e presenciais, que esta dissertação propõe um novo método para detecção de índicios de plágio em trabalhos acadêmicos, o qual realiza buscas por fragmentos similares com documentos da web. O método desenvolvido analisa o plágio mosaico, onde o autor copia partes de uma obra trocando somente algumas palavras sem dar crédito ao autor da obra original; e o plágio bilíngue, onde o conteúdo de um documento no idioma inglês é traduzido para o idioma português sem fazer referência à obra original. Além disso, o método foi implementado em uma ferramenta e integrada ao módulo de envio de tarefas da plataforma Moodle para acesso via desktop e pelo dispositivo móvel, visando potencializar aos professores os benefícios de sua utilização, já na postagem dos trabalhos no AVA; e implementada como um sistema computacional desktop para permitir aos usuários seu acesso também fora do AVA Moodle. Os resultados obtidos mostram que o método desenvolvido alcançou resultados satisfatórios em relação a outras técnicas encontrados na literatura, obtendo sobre uma coleção de 14 documentos índices de similaridades variando de 30,07% a 40% e com uma precisão nos resultados retornados entre 71,42% e 96,15%. Os resultados do experimento de um documento traduzido do inglês para o português teve uma precisão de 100% nos resultados retornados.

Page generated in 0.0911 seconds