Agenda de defesas Agenda de defesas

Voltar

Pós-Graduação em Ciência da Computação tem diversas defesas nesta quinta (28)

Defesas de dissertações e tese começam a partir das 8h

Nesta quinta-feira (28), acontecem, no Centro de Informática (CIn), defesas de diversas pesquisas desenvolvidas no Programa de Pós-Graduação em Ciência da Computação. Serão defendidas as seguintes dissertações de mestrado: “Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study”, “Design de Smart Devices Centrado no Usuário com Deficiência Visual”, “Difusão Ótima Multicanal em Redes Aloha Veiculares com Restrição Temporal” e “Uma a Arquitetura para Teste de Sistemas de Reconhecimento da Fala com Geração Automática de Áudios”. Já a tese de doutorado que será defendida é intitulada “Uma Abordagem Ontológica para Simulação de Ação Legal e Consistência Semântica Aplicada à Legislação Brasileira”.

Dissertação 1

Desenvolvida pela aluna Karine Galdino Maia Gomes, a dissertação “Characterizing Safe and Partially Safe Evolution Scenarios in Product Lines: An Empirical Study” será defendida a partir das 9h, no anfiteatro do CIn. A banca examinadora será composta pelos professores Márcio de Medeiros Ribeiro (IC/Ufal), Paulo Henrique Monteiro Borba (CIn/UFPE) e pelo professor orientador da dissertação Leopoldo Motta Teixeira (CIn/UFPE).

Resumo

Linha de Produto de Software (LPS) é uma família de softwares relacionados que compartilham características em comuns, e outras distintas, visando gerar produtos semelhantes de forma automática através do reuso. Da mesma forma que sistemas tradicionais precisam de manutenção, correção de bugs, ou até mesmo adição de novas funcionalidades, LPS também evolui. Contudo, evoluir LPS é um trabalho que exige cautela, pois até mesmo pequenas mudanças podem impactar vários produtos. Diante disso, alguns trabalhos investigaram evolução de LPS, visando entender e dar suporte aos desenvolvedores durante as mudanças. Dentre os trabalhos anteriores, surgiu a teoria de evolução segura (com base na teoria do Refinamento), que afirma que determinadas mudanças preservam o comportamento da LPS anterior. Portanto, renomear um arquivo, ou adicionar novas funcionalidades opcionais são exemplos de cenários de evolução segura. Entretanto, nem todas as mudanças se encaixam nesse conceito, então, surgiu a teoria de evolução parcialmente segura, que afirma que existe um subconjunto dos produtos manterá seu comportamento preservado. Com base nas teorias de evolução segura e parcialmente segura, trabalhos anteriores derivaram templates que são modelos que abstraem cenários de evolução com o objetivo de dar suporte aos desenvolvedores. Na literatura, existem trabalhos que focam apenas em evolução segura ou parcialmente segura, mas não em ambos os casos. Portanto, esse trabalho tem como objetivo caracterizar evolução de LPS de forma geral, classificando mudanças como seguras ou parcialmente seguras, visando entender o processo de evolução de uma LPS desde a sua concepção. Para isso, analisamos 2300 commits do projeto Soletta, um framework que facilita a criação de sistemas voltados para Internet das Coisas. Como resultado, observamos que a maioria dos commits foi classificado como template (78,3%). Para os commits restantes, fizemos uma categorização de acordo com o tipo de mudança e o espaços afetados (FM, CK ou AM). 24% dos commits restantes apresentam mudanças no CK e AM simultaneamente e apenas 3% apresentam mudanças que só alteram o FM. Ao final, nossos resultados mostraram que 91% dos cenários de evolução são classificados como parcialmente seguros, e o restante como cenários de evolução segura.

Dissertação 2

Desenvolvida pelo aluno Sílvio José Vieira Gatis Filho e orientada pela professora Judith Kelner, a dissertação “Design de Smart Devices Centrado no Usuário com Deficiência Visual” será defendida, a partir das 9h, na sala E423 do Centro de Informática. A banca examinadora será composta pela professora orientadora e pelos professores Anthony José da Cunha Carneiro Lins (Departamento de Comunicação Social/Unicap) e Robson do Nascimento Fidalgo (CIn/UFPE).

Resumo

Com o crescimento da presença de objetos inteligentes em nossas vidas, interações com objetos cotidianos ganharam uma nova complexidade. No mundo da Internet das Coisas (IoT), o desenvolvimento de tecnologia acessível é importante para o desenvolvimento e integração da sociedade. Neste contexto, encontra-se a parcela da população com deficiência visual, e novos questionamentos sobre como eles percebem essa tecnologia e sobre como podemos projetar produtos conectados que os atendam. Nesse contexto, nasce a oportunidade da realização de um estudo sobre uma metodologia de design de objetos inteligentes voltada para pessoas com deficiência visual (PCDVs). Ao longo de nossa pesquisa, listamos propostas interativas presentes na literatura nos últimos anos, adentrando conceitos sobre o design de smart devices centrado no usuário com deficiência visual, por meio de um mapeamento do estado da arte que nos permitiu analisar a forma de como levar o produto do conceito a avaliação. Buscamos planos de desenvolvimento e avaliação acessíveis desses dispositivos inteligentes com os usuários, ao passo que elaboramos a nossa própria solução, desenvolvendo um produto que auxilia as PCDVs a realizarem características visuais de roupas, por meio de um método de design iterativo e centrado no usuário. Como resultado do mapeamento, chegamos a análise de 1.307 estudos, reduzido sistematicamente a um grupo de 50 artigos, dos quais tiramos evidências para uma síntese de nossa investigação da literatura, enquanto no processo de desenvolvimento de nosso protótipo, chegamos a uma solução que utiliza tags e um leitor Near Field Communication (NFC) para prover áudio descritivo de peças de roupa e fazer uma análise da combinação de figurinos. Por fim, realizamos um teste de usabilidade com sete usuários cegos, onde a proposta obteve êxito em seus objetivos. Graças às evidências obtidas pelo mapeamento do estado da arte e ao projeto iterativo de nosso protótipo, pudemos realizar uma reflexão sobre o projeto de objetos inteligentes e acessíveis para PCDVs, que culminaram em cinco recomendações para um processo de design de smart devices centrado no usuário com deficiência visual.

Dissertação 3

Desenvolvida por Jorge Felix Puig Batlle e orientada por Renato Mariz de Moraes, a dissertação “Difusão Ótima Multicanal em Redes Aloha Veiculares com Restrição Temporal” será defendida, a partir das 14h30, na sala E423 do CIn. A banca examinadora será composta pelos professores José Augusto Suruagy Monteiro (CIn/UFPE), Juliano Bandeira Lima (DES/UFPE) e Renato Mariz de Moraes (CIn/UFPE).

Resumo

Este trabalho desenvolve o acesso aleatório ótimo na transmissão de mensagens com prazo de entrega final em uma rede veicular de rádio cognitivo, considerando que as mensagens devem ser entregues para todos os nós da rede em um prazo de entrega estrito. No modelo proposto, são considerados vários canais de transmissão de dados sincronizados, não sobrepostos e independentes. O transmissor é um usuário secundário (SU), que acessa a um desses canais usados pelos usuários primários (PU), de forma oportunista. O protocolo de controle de acesso ao meio usado é o Slotted-Aloha onde uma transmissão por difusão tem sucesso se todos os nós receptores, dentro do alcance de transmissão do emissor, recebem as mensagens dentro do prazo de entrega estritamente definido, considerando terminais ocultos na rede. Uma abordagem com retransmissão de mensagens é utilizada para melhorara confiabilidade de entrega, que necessita ter uma taxa de sucesso maior ou igual a 99,9 %,com uma latência máxima de 100 ms para cumprir as regulamentações de confiabilidade e segurança das redes de veículos. Além disso, um novo método de análise de transmissão multicanal periódica é proposto usando uma abordagem com coeficientes multinomiais e outra baseada na função de distribuição de probabilidade geométrica. Nos resultados, exibimos como o aumento do numero de canais para as transmissões, o aumento do tempo limite de entrega de pacotes assim como as retransmissões, tem um efeito positivo na vazão do sistema modelado. Por outra parte, será exposto como a presença de terminais escondidos e o aumento de usuários prioritários, vão em detrimento do desempenho da rede.
 
Dissertação 4

Desenvolvida por Chaina Santos Oliveira e orientada pelo professor Ricardo Bastos Cavalcante Prudêncio, a dissertação “Uma a Arquitetura para Teste de Sistemas de Reconhecimento da Fala com Geração Automática de Áudios”será defendida no auditório do CIn, a partir das 15h. A banca avaliadora será composta pelos professores Marcio de Medeiros Ribeiro (IC/Ufal) e Tsang Ing-Ren (CIn/UFPE), além do professor orientador.

Resumo

As aplicações que utilizam sistemas de reconhecimento de fala (speech to text - STT) estão em ascendência nos últimos anos. Tal crescimento se deu tanto pela evolução de pesquisas acadêmicas na área, quanto pela facilidade de comunicação via fala. Esses tipos de software têm simplificado a interação entre humanos e máquinas (e.g., sistemas para smartphones, smart home, smart cities etc.). Tais aplicações possuem uma variedade de usuários (nacionalidades, sotaques e gêneros diferentes) que influenciam diretamente na avaliação da qualidade de tais sistemas. Os usuários são exigentes e as diferenças anteriormente citadas devem ser levadas em consideração no momento de avaliar tais aplicações. Uma das atividades fundamentais na garantia da qualidade em aplicações que utilizam sistemas STT é o teste de SW. Para tal, faz-se necessário a utilização de técnicas que consigam reproduzir as variações da fala humana para a obtenção de resultados mais expressivos e, com isso evitar o uso de pessoas físicas (fala gravada) devido aos altos custos e disponibilidade. Diante disso, o uso de falas sintéticas para teste de sistemas STT seria uma opção às falas humanas devido ao seu baixo custo e praticidade de obtenção. Dado esse contexto, o presente trabalho propõe uma arquitetura para testes de sistemas STT com áudios sintetizados utilizando quatro abordagens de síntese diferentes. Para a validação do uso de áudios sintéticos como uma alternativa aos gravados, foram realizados experimentos automatizados (aplicados a sistemas de STT em smartphones) e baseados na opinião de pessoas (i.e., teste de Turing e de qualidade). Ambos os experimento utilizaram um ambiente real de teste de SW nas dependências do projeto Cin-Motorola.

Tese

Desenvolvida pelo aluno Cleyton Mário de Oliveira Rodrigues e orientada pelo professor Frederico Luiz Gonçalves de Freitas, a tese “Uma Abordagem Ontológica para Simulação de Ação Legal e Consistência Semântica Aplicada à Legislação Brasileira” será defendida, a partir das 8h, no auditório do Centro de Informática. A banca examinadora será composta pelos professores Ivan José Varzinczak (Université d’Artois/Centre de Recherche en Informatique de Lens), José Guerra Barretto de Queiroz (CIn/UFPE), Natasha Correia Queiroz Lino (Departamento de Informática/UFPB), Ricardo de Almeida Falbo (Departamento de Informática/Ufes) e Samuel Meira Brasil Júnior (Tribunal de Justiça do Estado do Espírito Santo).

Resumo

A Web Semântica surgiu da necessidade de se atribuir significado aos conteúdos disponibilizados na web, de forma que, não apenas o ser humano como também as máquinas/computadores possam processar e compreender tais recursos. Ela fomenta, portanto, uma nova infraestrutura onde programas e dispositivos podem trocar informação de forma inteligente e automatizada, produzindo uma “Web de Conhecimentos”. A Web Semântica tem produzido serviços mais sofisticados, com aplicabilidade em várias áreas. Notadamente, o ritmo acelerado que dita as mudanças organizacionais na administração pública, a harmonização jurídica, a necessidade de formalizar e automatizar processos que envolvem ações do Direito e o aumento considerável do corpus jurídico têm atraído atenção para a representação do Conhecimento Jurídico, bem como a criação de sistemas que possam raciocinar neste domínio. Esta tese, portanto, analisa as nuances em nível ontológico para formalização do conhecimento Jurídico-Normativo Brasileiro, explorando uma área conhecida como Computação Jurídica. No âmbito da Legislação Brasileira, contudo, destacam-se problemas semânticos tanto de ordem linguística, quanto conceitual. Para o primeiro caso, a ambiguidade inerente da linguagem natural tem acarretado a produção de documentos sujeitos a múltiplas interpretações. Adicionalmente, a linguagem retórica e rebuscada comumente utilizada na redação das leis tem levado à subespecificação das regras e conceitos e, consequentemente, a inconsistências, modelagens imprecisas, e desacordos. Este projeto visa, portanto, a partir dos padrões abertos da Web Semântica (o formalismo Description Logic (DL) e a linguagem Ontology Web Language (OWL)), definir uma abordagem ontológica para modelar uma parte do Direito Penal Brasileiro, em especial, a Teoria Geral do Crime. Assim, é possível construir sistemas baseado no conhecimento jurídico-normativo, capazes de raciocinar e apoiar a tomada de decisão, amenizando potenciais anomalias sintáticas e semânticas. Esta tese ainda preocupou-se em investigar os limites da lógica clássica (base da DL) em modelar o conhecimento jurídico-normativo, e como uma lógica não monotônica pode ser utilizada para resolver possíveis conflitos entre as leis. Assim, através das Ontologias construídas e de um protótipo desenvolvido, destacamos simulações de ações jurídicas em cenários reais, extraindo as diferentes interpretações das leis, com suas violações e penas impostas. Como contribuições deste projeto, assinalamos o avanço no uso de ontologias logicamente formalizadas para a representação não ambígua e compartilhada do conhecimento jurídico, favorecendo a transparência e maior efetividade da aplicação das leis. Esta tese contribui também para diminuir o abismo ainda existente entre o uso das tecnologias e sistemas jurídicos.