Relatórios Técnicos 2013

ID
PPgSI-001/2013
TítuloProof of Correctness of the Bitwise Algorithm for Intra-procedural Data-flow Testing Coverage
Autor(es)Marcos Lordello Chaim e Roberto Paulo Andrioli de Araujo
Resumo

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.

Número de Páginas5 páginas
Data de Publicaçãojaneiro, 2013
Arquivo
ID
PPgSI-002/2013
TítuloDefinição e Validação de uma Ontologia para o Orçamento Público Federal Brasileiro (v.1.0)
Autor(es)Livio Cravo Martins, Gisele da Silva Craveiro e José de Jesús Pérez Alcázar
Resumo

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.

Número de Páginas45 páginas
Data de Publicaçãofevereiro, 2013
Arquivo
ID
PPgSI-003/2013
TítuloResDial – Coding Description (v.1.0)
Autor(es)Norton Trevisan Roman
Resumo

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.

Número de Páginas15 páginas
Data de Publicaçãomaio, 2013
Arquivo
ID
PPgSI-004/2013
TítuloAplicação e Avaliação de Sistemas de Auxílio ao Diagnóstico: uma Revisão Sistemática
Autor(es)Vagner M. Gonçalves, Márcio E. Delamaro e Fátima L. S. Nunes
Resumo

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.

Número de Páginas24 páginas
Data de Publicaçãooutubro, 2013
Arquivo
ID
PPgSI-005/2013
TítuloRevisão Sistemática sobre Métodos de Reconstrução 3D de Imagens Médicas
Autor(es)Caio Felipe Carneiro Bergamasco, Leila Cristina Carneiro Bergamasco e Fátima L. S. Nunes
Resumo

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.

Número de Páginas17 páginas
Data de Publicaçãonovembro, 2013
Arquivo