Technical Reports 2013

ID
PPgSI-001/2013
TitleProof of Correctness of the Bitwise Algorithm for Intra-procedural Data-flow Testing Coverage
Author(s)Marcos Lordello Chaim and Roberto Paulo Andrioli de Araujo
Abstract

Intra-procedural data flow testing coverage data can be very expensive to collect, especially for long running programs tracking the assignment of a value to a variable and its subsequent use,i.e., a definition-use association (dua). Recently, a novel algorithm, called Bitwise Algorithm (BA), which utilizes efficient bitwise operations and inexpensive data structures to track intra-procedural duas, has been proposed. BA’s RAM memory requirements are restricted to three bit vectors the size of the number of duas. In terms of time complexity, its performance is at least as good as the most efficient previous algorithms and can be up to 100% more efficient. We present BA’s proof of correctness showing that it correctly determines the duas covered during the program execution.

Number of Pages5 pages
Publication DateJanuary, 2013
File
ID
PPgSI-002/2013
TitleDefinição e Validação de uma Ontologia para o Orçamento Público Federal Brasileiro (v.1.0) (in Portuguese)
Author(s)Livio Cravo Martins, Gisele da Silva Craveiro and José de Jesús Pérez Alcázar
Abstract

Uma boa estruturação do Orçamento Público em forma de ontologias permite que softwares façam uma interpretação contextualizada dos dados e possam realizar tarefas complexas para gerar formas de visualização mais simples para o cidadão comum. Isso facilita o controle social, tornando a administração pública mais efetiva. Nesse contexto, este trabalho propõe uma ontologia para a estrutura da elaboração e execução das receitas e despesas do Orçamento Público Federal Brasileiro, com a qual será possível a análise e comparação dos dados orçamentários de vários anos. Como metodologia de desenvolvimento de ontologias foi utilizado o método iterativo Deronto, que possibilita a definição de uma ontologia por meio de um diagrama entidade-relacionamento (DER) do domínio. A Ontologia foi construída usando o editor de ontologias Protégé. Para validar a ontologia, foram realizadas inferências e consultas com os dados do orçamento federal referentes à execução das receitas e despesas dos anos de 2010 e 2011. Com isso, é demonstrada uma proposta de uso que poderá auxiliar no desenvolvimento de aplicações que permitam ao cidadão exercer seu direito de fiscalização dos gastos públicos. A aplicação de teste da ontologia foi criada usando o framework JENA. (in Portuguese)

Number of Pages45 pages
Publication DateFebruary, 2013
File
ID
PPgSI-003/2013
TitleResDial – Coding Description (v.1.0)
Author(s)Norton Trevisan Roman
Abstract

This document describes the XML tags used in the codification of ResDial – a set of human produced dialogue summary corpora. It corresponds to the English version of the PPgSI-001/2012 report.

Number of Pages15 pages
Publication DateMay, 2013
File
ID
PPgSI-004/2013
TitleAplicação e Avaliação de Sistemas de Auxílio ao Diagnóstico: uma Revisão Sistemática (in Portuguese)
Author(s)Vagner M. Gonçalves, Márcio E. Delamaro and Fátima L. S. Nunes
Abstract

Sistemas de Diagnóstico Auxiliado por Computador (CAD – Computer-Aided Diagnosis) têm sido desenvolvidos por diversos grupos de pesquisa a fim de auxiliar na detecção e classificação de estruturas de interesse em imagens médicas que podem indicar a presença de doenças. Atualmente, os objetos de pesquisa nesse contexto compreendem muitas aplicações e consideram diferentes modalidades de imagens médicas para o diagnóstico de diversas doenças. Um dos desafios no desenvolvimento de tais sistemas é a sua avaliação. Este Relatório Técnico apresenta uma Revisão Sistemática sobre sistemas de CAD desenvolvidos recentemente, com foco principal em métodos de avaliação empregados. O objetivo é proporcionar uma visão geral dos trabalhos da área considerando-se aspectos tais como técnicas computacionais e bases de imagens utilizadas, destacando-se uma compilação de técnicas de avaliação empregadas nas pesquisas. Os resultados da revisão indicam que os cânceres de mama e de pulmão são, ainda, as anomalias mais exploradas no desenvolvimento de sistemas de CAD. Sensibilidade, Especificidade e curvas ROC são os principais métodos de avaliação aplicados a CAD, segundo os trabalhos incluídos. (in Portuguese)

Number of Pages24 pages
Publication DateOctober, 2013
File
ID
PPgSI-005/2013
TitleRevisão Sistemática sobre Métodos de Reconstrução 3D de Imagens Médicas (in Portuguese)
Author(s)Caio Felipe Carneiro Bergamasco, Leila Cristina Carneiro Bergamasco and Fátima L. S. Nunes
Abstract

A tecnologia se faz presente atualmente em diversos setores da sociedade moderna. A Medicina por seu caráter inovador é uma das áreas que mais se beneficia com esse avanço tecnológico. Uma das possibilidades de aplicação dessas novas tecnologias nessa área é a obtenção de imagens de partes do corpo humano com mais rapidez e um grau de resolução maior, aprimorando os diagnósticos fornecidos pelos especialistas. Em paralelo, a Computação Gráfica, também vem aprimorando suas técnicas e possibilita, a reconstrução de modelos tridimensionais a partir de imagens bidimensionais com precisão. A justificativa para a criação e aprimoramento de técnicas para tal escopo de atividade deriva do fato que modelos tridimensionais fornecem uma visão mais completa dos objetos analisados por considerar a sua profundidade. Sendo assim, modelos tridimensionais de estruturas do corpo humano gerados a partir de imagens de exames, podem aumentar a precisão do diagnóstico. Este documento apresenta os resultados parciais do presente projeto que tem por objetivo implementar e comparar métodos de reconstrução tridimensional para imagens médicas cardíacas. (in Portuguese)

Number of Pages17 pages
Publication DateNovember, 2013
File