| Acessibilidade Web no Domínio de Mapas |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
07/10/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Debora Maria Barroso Paiva
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- André Pimenta Freire
- Debora Maria Barroso Paiva
- Maria Istela Cagnin Machado
|
| Resumo |
Sistemas acessíveis permitem maior inclusão social, digital e profissional, de modo a possibilitar não somente que atividades cotidianas sejam realizadas sem maiores dificuldades por pessoas com deficiência, mas também que estas possam participar efetivamente da interação com a sociedade, tão necessária e indispensável para o desenvolvimento pessoal. A acessibilidade no contexto web passa a ser cada vez mais um forte requisito no desenvolvimento de sistemas modernos, de forma que o uso de uma aplicação acessível permite que atividades, outrora consideradas impraticáveis, possam ser executadas normalmente por pessoas com alguma deficiência. Assim, este trabalho analisa as concepções e aplicações dos conceitos de Acessibilidade Web, dentro do universo específico do domínio de aplicações de mapas web. Para tanto, são utilizadas como apoio diretrizes que definem características do desenvolvimento ideal de uma aplicação envolvendo acessibilidade, como a WCAG (Web Content Accessibility Guidelines). Neste trabalho, são apresentadas três diferentes avaliações de acessibilidade no domínio de mapas web executadas em cinco diferentes portais, fazendo uso dos Critérios de Sucesso definidos na WCAG 2.0 – Nível A. Tais avaliações identificaram quais são os pontos passíveis de melhorias nos portais analisados, além de indicar quais Critérios de Sucesso não são implementados por estes portais. Foi implementado também um protótipo acessível de mapa web baseado no Google Maps, cujas funcionalidades estão dispostas de forma acessível a usuários deficientes visuais. Concluiu-se que os portais avaliados não se encontram no Nível A da WCAG 2.0, uma vez que vários Critérios de Sucesso dessa diretriz não são implementados. |
| Download |
|
|
| Sobre Grafos com r Tamanhos Diferentes de Conjuntos Independentes Maximais e Algumas Extensões |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
01/10/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Márcia Rodrigues Cappelle Santana
|
| Banca |
- Hebert Coelho da Silva
- Humberto José Longo
- José Plínio de Oliveira Santos
- Nair Maria Maia de Abreu
- Rommel Melgaço Barbosa
|
| Resumo |
Nesta tese, apresentamos alguns resultados relativos, principalmente, aos tamanhos de conjuntos independentes maximais em alguns grafos. Mostramos que para inteiros r e D com r ≥ 2 e D ≥ 3, há um número finito de grafos conexos de grau mínimo pelo menos dois, grau máximo até D e cintura pelo menos sete que tem tamanhos de conjuntos independentes maximais de até r tamanhos diferentes. Além disso, provamos outros resultados que restringem os graus de tais grafos e que generalizam resultados já conhecidos sobre grafos bem-cobertos. Foram estudados a estrutura e o reconhecimento dos grafos bem-cobertos G de ordem n(G) sem vértice isolado que têm número de independência n(G)−k para algum inteiro não negativo k; Para k = 1, apresentamos uma descrição estrutural completa destes grafos e para um k geral, porém fixo, descrevemos um algoritmo de reconhecimento de tempo polinomial. Consideramos grafos G sem vértice isolado cuja diferença entre o maior e o menor conjuntos independentes maximais é no máximo k para algum inteiro k não negativo. Obtivemos um limite superior sobre o número de independência destes grafos. Apresentamos um algoritmo polinomial para reconhecimento de alguns produtos complementares, o qual inclui todos os prismas complementares. Apresentamos também alguns resultados sobre prismas complementares bem-cobertos. Mostramos que se G não é um grafo bem-coberto e seu prisma complementar é bem-coberto, então G tem somente dois tamanhos de conjuntos independentes maximais que são consecutivos. Apresentamos um limite superior para a quantidade de tamanhos de conjuntos independentes maximais em prismas complementares e também outros resultados relacionados à bem-cobertura. Para o produto Cartesiano do grafo Pn , o caminho de tamanho n, n ≥ 2 e Cm , o ciclo de tamanho m, m ≥ 3, denotado por Pn Cm e chamado de grade cilíndrica, apresentamos um limite inferior para a quantidade de tamanhos de conjuntos independentes maximais. |
| Download |
|
|
| Acessibilidade Web em Redes Sociais |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
24/09/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Debora Maria Barroso Paiva
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Debora Maria Barroso Paiva
- Luciano Tadeu Esteves Pansanato
- Maria Istela Cagnin Machado
|
| Resumo |
A acessibilidade tem sido uma preocupação em diversas áreas nos últimos anos e, em relação à Web, trata-se de um direito garantido por lei às pessoas com deficiência. Muitos estudos visando avaliar e melhorar a Acessibilidade Web foram realizados desde que este direito foi instituído, culminando com o surgimento de tecnologias assistivas, ferramentas de avaliação automatizadas e diretrizes para padronizar o desenvolvimento de sites acessíveis. Porém, alguns domínios ainda carecem de atenção nesse sentido, contando somente com estudos iniciais. É o caso, por exemplo, dos sites de redes sociais. Apesar de pouco explorado, o tema da acessibilidade nesse domínio é de extrema relevância, pois as redes sociais promovem o entretenimento e o compartilhamento de informações, conceitos, experiências, arte e valores. Neste contexto, o objetivo deste trabalho foi avaliar uma amostra de redes sociais sob três perspectivas: Avaliação com Ferramentas Automatizadas, Avaliação com Especialistas e Avaliação com Usuários Finais, visando verificar a conformidade dos sites com as diretrizes de acessibilidade definidas pelo WCAG 2.0. Com isso, foram identificadas as principais características e aspectos positivos e negativos em relação à Acessibilidade Web da amostra, verificando-se que essa não contempla nem mesmo o nível A de conformidade do WCAG 2.0, indicando que o domínio de redes sociais não atende satisfatoriamente os deficientes visuais. Os dados e as experiências obtidas com as avaliações foram utilizadas no desenvolvimento de um protótipo de uma rede social que atende o nível A de conformidade do WCAG 2.0, segundo os validadores automatizados. |
| Download |
|
|
| Estabelecimento de uma arquitetura de referência orientada a serviços para repositórios de linhas de processos de negócio |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
22/09/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Maria Istela Cagnin Machado
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Debora Maria Barroso Paiva
- Elisa Yumi Nakagawa
- Maria Istela Cagnin Machado
|
| Resumo |
Linha de Produto foi introduzida na indústria de software com o objetivo de reduzir custos, diminuir o tempo de desenvolvimento e aumentar a qualidade do produto, sendo denominada por Linha de Produto de Software (LPS). Para apoiar o gerenciamento dos artefatos de uma LPS e para facilitar o reúso dos mesmos durante a instanciação da linha, é importante o uso de repositórios de ativos de software. Diante dos benefícios obtidos por meio da LPS, essa abordagem passou a ser aplicada no contexto de modelagem de processos de negócio, sendo denominada por Linha de Processos de Negócio (LPN). Como ocorre em LPS, também é importante o apoio computacional de repositórios no contexto de LPN. Porém, não foi encontrado na literatura um repositório específico de LPN. Devido à essa lacuna, observa-se a importância do estabelecimento de uma arquitetura de referência de repositórios de LPN para apoiar a construção desse tipo de repositório pelos interessados, colaborando para o avanço do estado da prática na área. Sob essa perspectiva, o objetivo deste trabalho de mestrado é definir uma arquitetura de referência de repositórios de LPN baseada em serviços, denominada Cambuci-LPN. Uma vez que repositórios de LPN podem ser utilizados por diversas ferramentas computacionais, como ferramentas de modelagem, de simulação de modelos e de controle de versão, justifica-se a escolha de uma abordagem orientada a serviços devido ao baixo acoplamento e à interoperabilidade que esse tipo de abordagem provê. A arquitetura de referência proposta é obtida a partir da definição e subsequente especialização de uma arquitetura de referência de repositórios de ativos de software denominada Cambuci, utilizando o processo de definição de arquiteturas de referência ProSA-RA. A arquitetura de referência Cambuci-LPN é avaliada com o apoio de um checklist que leva em consideração diferentes tipos de questões, como: visão geral, pontos de vista, visões e módulos, atributos de qualidade, stakeholders e seus interesses, e entendimento das decisões arquiteturais. Os resultados da avaliação conduzida indicam que a arquitetura de referência Cambuci-LPN é considerada satisfatória e pode apoiar a construção de um repositório de LPN que contemple, total ou parcialmente, os requisitos funcionais e arquiteturais nela contidos. Adicionalmente, observou-se com a avaliação algumas deficiências na Cambuci-LPN, como não explicitação dos stakeholders e de seus interesses e ausência de registros das decisões tomadas durante a definição da arquitetura de referência. Para dirimir tais deficiências, são propostas neste trabalho sugestões de melhorias para que sejam incorporadas futuramente na Cambuci-LPN. |
| Download |
|
|
| Predição de Mínimos e Máximos Locais para Investimentos em Bolsa de Valores Utilizando Aprendizado de Máquina |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
17/09/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Bruno Magalhães Nogueira
- Edson Takashi Matsubara
- Eraldo Luis Rezende Fernandes
|
| Resumo |
A análise de tendências de preço no mercado de financeiro requer elevada atenção do analista de mercado quanto às variáveis que podem influenciar o preço das ações. As corretoras que atuam na bolsa de valores investem recursos em análises financeiras, para em troca obterem recomendações de compra e venda de ações. O desafio dos analistas consiste em sinalizar a compra e venda das ações, de modo a maximizar os lucros. Nesse sentido, a predição de ações tem sido foco de constantes estudos. Muitos argumentam da impossibilidade de criar modelos capazes de predizer o comportamento de um ambiente tão instável e com tantas variáveis. Entretanto, algoritmos de Aprendizado de Máquina (AM) são apropriados para situações com diversas variáveis e padrões a serem descobertos. Para tanto, as informações financeiras dispostas em séries temporais são transformadas em tabelas atributo valor, para que se adequem ao formato de entrada dos algoritmos de AM. Quanto à essa transformação, a literatura têm sugerido a utilização de indicadores econômicos para predição da tendência futura de preço absoluta. Entretanto, acredita-se que uma maneira mais significativa de representar a classe do problema seja baseada em valores máximos e mínimos da série temporal. Nesse sentido, este trabalho propõe uma representação de classe denominada LM IN MAX, que estima pontos de máximo e mínimo e os utiliza como atributos classe nos conjuntos de dados. Os experimentos desenvolvidos comparam a abordagem proposta com outras duas representações de classe propostas na literatura e, em termos financeiros, com carteiras recomendadas e aplicação em poupança. Os resultados são promissores e mostram que a abordagem proposta pode ser utilizada para recomendação automática de compra e venda de ações. A abordagem proposta supera as principais representações de classe com diferença significativa (p = 0:05) em termos de AUC e rendimento. |
| Download |
|
|
| Sistema Embarcado Reconfigurável para Aquisição de Sinais de Eletrocardiograma |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
22/08/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Fabio Iaione
- Iwens Gervasio Sene Junior
- Ricardo Ribeiro dos Santos
|
| Resumo |
Os Smartphones apresentam atualmente recursos que possibilitam o desenvolvimento de sistemas móveis para utilização na área médica, originando uma área chamada m-Health (mobile-health). Um dos exames médicos mais comuns é o eletrocardiograma (ECG), o qual é efetuado de forma não invasiva e permite o diagnóstico de diferentes doenças cardíacas, possibilitando um tratamento prévio para evitar problemas mais graves. O objetivo deste trabalho foi desenvolver um sistema embarcado reconfigurável para aquisição de sinais de ECG e um aplicativo para visualização e armazenamento destes sinais obtidos em um smartphone com Android. O sistema embarcado é constituído por uma FPAA (Field Programmable Analog Array) na qual implementa-se, de forma reconfigurável, todo circuito eletrônico necessário para o condicionamento do sinal de ECG. O sinal amplificado e filtrado pela FPAA é digitalizado por um microcontrolador que transmite o sinal para o smartphone através de um módulo Bluetooth. Além da visualização e armazenamento dos sinais, o aplicativo possibilita a reconfiguração parcial do circuito de ECG (ganho ajustável) ou total (alteração total do circuito de condicionamento). Os parâmetros medidos nos testes do circuito de ECG (resposta em frequência, imunidade ao potencial de meia célula, CMRR, impedância de entrada e consumo) e a qualidade dos sinais de ECG registrados em um indivíduo foram satisfatórios. Pôde-se verificar a exibilidade proporcionada pela FPAA através da reconfiguração total, onde as respostas em frequência medidas nos circuitos genéricos, corresponderam com fidelidade às respostas teóricas desejadas. Através dessa dissertação, conclui-se que a FPAA é um dispositivo recomendado para uso em sistemas de aquisição de sinais bioelétricos, assim como outros, principalmente pela facilidade da reconfiguração. Espera-se que o sistema desenvolvido sirva como base para o desenvolvimento de trabalhos futuros na área de m-Health e também no desenvolvimento de interfaces homem máquina usando sinais bioelétricos. |
| Download |
|
|
| Programação de Microcontroladores Utilizando Técnicas de Tolerância a Falhas |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
30/07/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Fabio Iaione
- Gedson Faria
- Irineu Sotoma
|
| Resumo |
Os sistemas embarcados abrangem uma grande quantidade de sistemas computacionais e suas aplicações estão cada vez mais presentes no cotidiano das pessoas, principalmente com a expansão da computação ubíqua. Por isso, a ocorrência de falhas esses sistemas tendem a trazer cada vez mais transtornos e prejuízos financeiros. As falhas podem ocorrer devido aos bugs de software, ao envelhecimento dos componentes de hardware, das interferências eletromagnéticas, e por conta de outros fenômenos no meio ambiente que afetam os dispositivos semicondutores. O uso de técnicas de tolerância a falhas aumentam a segurança, pois permite que sistemas continuem funcionando adequadamente após a ocorrência de falhas. Seu princípio básico consiste na redundância, que pode fornecida por meio de hardware, software, dados e processamento. No entanto, a utilização das técnicas de tolerância a falhas é frequente apenas em sistemas de alto risco e de grande porte. O objetivo deste trabalho foi implementar as técnicas de tolerância a falhas mais viáveis na programação de uma plataforma de prototipagem rápida com microcontroladores. Para avaliar o desempenho das técnicas foi desenvolvido um injetor de falhas por software, e utilizou-se um sistema de estação meteorológica como estudo de caso. Os testes simularam falhas nas leituras dos sensores e falhas nas regiões de memória (por meio da alteração dos dados de alguns endereços de memória) da estação meteorológica. Ao final, são descritos os resultados mostrando o desempenho do sistema tolerante a falhas em comparação com o sistema não tolerante. Embora o primeiro tenha aumentado levemente o consumo de energia, o tamanho do programa, o uso de memória e o tempo de processamento, o desempenho deste se mostrou eficiente, dado que a quantidade de defeitos diminuiu, principalmente nos testes que injetaram falhas nas leituras dos sensores. Em um teste que injetou 16 falhas na região de memória de dados do microcontrolador a cada ciclo de leitura da estação meteorológica, e 25% de falhas nas leituras dos sensores, o firmware sem tolerância a falhas apresentou uma taxa de ocorrência de defeitos de 98,61%, enquanto o firmware com tolerância a falhas apresentou 9,21%. Sem a injeção de falhas nas leituras dos sensores e com essa mesma quantidade de falhas injetadas na região de memória de dados, o primeiro apresentou 19,6% enquanto o segundo 4,45%. Como resultado deste trabalho, uma biblioteca para tolerância e recuperação de falhas, chamada FaultRecovery foi criada, a fim de facilitar e auxiliar por meio de um conjunto de classes e macros, a escrita de códigos com implementação de técnicas de tolerância a falhas. Além disso, ela disponibiliza uma estrutura pronta para a recuperação de falhas, baseada em uma máquina de estados. |
| Download |
|
|
| Identificação do Comportamento Bovino por Meio do Monitoramento Animal |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
11/07/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Hana Karina Salles Rubinsztejn
- Luciano Gonda
- Pedro Paulo Pires
- Ricardo Guimaraes Andrade
|
| Resumo |
Este trabalho consiste na criação de um nó sensor com capacidade para coletar dados por meio de uma rede de sensores sem fio, monitorar os bovinos e inferir por meio de um sistema o comportamento animal. Cada nó possui um sensor de GPS preso a um colar e colocado no bovino que circula em uma pastagem totalmente georreferenciada. Os dados gerados pelo sensor GPS são armazenados em um cartão memória e após coletados são disponibilizados em um sistema de informação. É apresentado também um sistema de apoio na observação do comportamento dos animais em campo e uma abordagem para classificação automática das atividades realizadas pelos bovinos dividida em andando, comendo/buscando, em pé e deitado. O objetivo é disponibilizar um sistema para o monitoramento de bovinos, com a finalidade de obter informações sobre o comportamento dos animais. Esta pesquisa insere-se na área de Pecuária de Precisão, sendo uma parceria realizada entre a Embrapa Gado de Corte e a FACOM/UFMS. |
| Download |
|
|
| Algoritmos Paralelos para o Alinhamento de Sequências Genômicas |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
28/03/2014 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Pedro Henrique Neves da Silva
|
| Banca |
- Edson Norberto Caceres
- Francisco Eloi Soares de Araujo
- Luiz Carlos da Silva Rozante
- Marco Aurelio Stefanes
|
| Resumo |
No estudo da evolução dos organismos, ou das funções biológicas das moléculas, é comum a comparação entre diferentes organismos, ou moléculas, onde, em geral, essas moléculas são DNA, RNA ou proteínas, que são facilmente representadas por sequências de caracteres. A análise dessas várias sequências é um problema que necessita de muito tempo para ser realizada. Visando diminuir esse tempo são desenvolvidos métodos utilizando
programação paralela com granulosidade híbrida, sendo essa paralelização necessária para tratar várias sequências com mais de 1000 caracteres. Neste trabalho estudamos o alinhamento de várias sequências e implementamos um algoritmo paralelo para este problema e comparamos o desempenho com o algoritmo sequencial utilizado pelo ClustalW, obtendo speedups que variam entre 61 e 8200, e com o algoritmo paralelo utilizado pelo ClustalWMPI, obtendo speedups que variam entre 44 e 280, quando temos muitas sequências de tamanho pequeno e quando temos um número considerável de sequências de tamanho grande, respectivamente, em ambas as comparações. |
| Download |
|
|
| O Problema do Alinhamento de Segmentos |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
18/10/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Leandro Ishi Soares de Lima
|
| Banca |
- Guilherme Pimentel Telles
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
| Resumo |
Dentre a variedade de problemas de otimização existentes, aqueles que envolvem sequências destacam-se por sua aplicabilidade em vários campos de pesquisa. Nesta dissertação apresentamos um estudo detalhado de um novo problema de otimização combinatória envolvendo sequências, denominado Problema do Alinhamento de Segmentos (PASG). Esse estudo envolve a definição formal desse problema e a descrição de um algoritmo eficiente, baseado na técnica de programação dinâmica, que o resolve. Ademais, formalizamos uma versão múltipla do PASG, denominada Problema do Alinhamento de Segmentos Múltiplo (PASGM). Para essa versão do problema, nós provamos que ela é NP-Completa e que é muito improvável existir um algoritmo de aproximação com uma boa razão para ela. Com base nesse resultado, propomos três heurísticas para tratar o PASGM e as avaliamos experimentalmente através de testes artificiais. Por fim, as implementações das soluções propostas neste trabalho foram aplicadas na tarefa de identificação de genes. A aplicabilidade dos nossos programas nessa tarefa foi atestada através dos bons resultados obtidos por eles em um conjunto de instâncias de testes reais. |
| Download |
|
|
| Workflows Paramétricos para Aplicações do Método dos Elementos Finitos em Ambientes Paralelos Heterogêneos |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
09/10/2013 |
| Área |
MATEMÁTICA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Afonso Paiva Neto
- Paulo Aristarco Pagliosa
- Renato Porfirio Ishii
|
| Resumo |
O objetivo geral deste trabalho é o desenvolvimento de um sistema de workflows paramétricos para aplicações do método dos elementos finitos (MEF) em ambientes paralelos heterogêneos.
Um workflow é um processo definido por um conjunto de atividades que executam sequencialmente e/ou em paralelo e que podem produzir, transformar ou consumir dados. O fluxo de
execução de um workflow é definido por canais que ligam uma porta de saída de uma atividade de origem a uma porta de entrada de outra atividade de destino. Por um canal podem trafegar dados ou um sinal de controle da atividade de origem à de destino, indicando que a última pode iniciar sua execução. Um workflow paramétrico é um modelo no qual uma ou mais atividades são argumentos de tipo do workflow. No sistema proposto, workflows podem ser gerados a partir de um workflow paramétrico definindo-se quais são os tipos de atividades correspondentes a cada um dos dos argumento de tipo do modelo. O sistema é escrito em C++ e constituído de três componentes principais: uma interface gráfica através da qual o usuário pode interativamente criar, modificar, armazenar e executar workflows; um motor que atua como uma máquina virtual paralela responsável pela execuçao de workflows; e uma biblioteca de atividades primitivas que representam os principais blocos básicos de construção de um programa, tais como sentenças de seleção,repetição, desvio e expressões. Embora possa ser destinado a outros tipos de aplicação,o projeto do sistema foi voltado para especificação de programas de análise numérica via MEF baseados em um arcabouço cujos componentes de software foram desenvolvidos pelo Grupo de Visualização, Simulação e Jogos Digitais da FACOM–UFMS. Tal arcabouço, em conjunto com o sistema de workflows paramétricos proposto neste trabalho, permitem a geração interativa e visual de aplicações de simulação via MEF e sua execução em ambientes paralelos formados por CPUs de vários núcleos e uma ou mais unidades de processamento gráfico (GPUs).
|
| Download |
|
|
| Análise comportamental de bovinos baseada em trajetórias semânticas aplicadas à Pecuária de Precisão |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
27/09/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Hana Karina Salles Rubinsztejn
|
| Coorientador(es) |
|
| Orientando(s) |
- Marcel Tolentino Pinheiro de Oliveira
|
| Banca |
- Hana Karina Salles Rubinsztejn
- Luciano Gonda
- Pedro Paulo Pires
- Ricardo Guimaraes Andrade
|
| Resumo |
Com o mercado exigindo cada vez mais informação sobre os produtos que consome, a agricultura e a pecuária passaram a desenvolver novos meios de controle e de produção afim de atender essas exigências. Com objetivo de cumprir essas demandas, o conceito do monitoramento animal surgiu para a pecuária como uma solução para o controle de qualidade. Assim, a ideia é monitorar cada animal da propriedade com a finalidade de fornecer ao produtor o resumo diário das atividades do bovino. Na maioria dos casos, o monitoramento é realizado através de colares com um sensor GPS embutido, armazenando o posicionamento do animal em um determinado ambiente. A proposta desta pesquisa é a construção de um sistema computacional que seja capaz de identificar padrões comportamentais e informações relevantes através das trajetórias dos animais, produzidas durante o pastejo. Para isso, são utilizadas metodologias de trajetória semântica. Essas descobertas irão auxiliar os pecuaristas e pesquisadores na tomada de decisões. Este projeto consiste em mais uma parceria entre Embrapa - Gado de Corte e a FACOM/UFMS, na área de Pecuária de Precisão. |
| Download |
|
|
| Aim - P: Um Arcabouço para Apoiar a Implantação de Melhoria de Pessoas |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
25/09/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Maria Istela Cagnin Machado
|
| Coorientador(es) |
|
| Orientando(s) |
- Leandro Magalhães de Oliveira
|
| Banca |
- Marcelo Augusto Santos Turine
- Maria Istela Cagnin Machado
- Rogéria Cristiane Gratão de Souza
|
| Resumo |
As organizações estão participando de um novo paradigma econômico que estabelece novas necessidades. Esse novo paradigma vêm pressionando as organizações em direção à modernização na forma de gerir pessoas. Por um lado, as organizações necessitam do maior envolvimento e comprometimento das pessoas, por outro, também as pessoas estão mudando sua expectativa perante o trabalho. Nesse contexto foi proposto o P-CMM (People Capability Maturity Model), um modelo capaz de guiar as organizações de software em direção às modernizações na gestão de pessoas. Entretanto, mecanismos para apoiar e facilitar a utilização e implantação desse modelo não foram encontrados. Buscando preencher a lacuna apresentada, este trabalho propõe o Aim-P, um arcabouço capaz de apoiar a implantação das práticas propostas pelo modelo P-CMM, além de oferecer diretrizes de apoio ao estabelecimento de equipes ágeis de desenvolvimento e um mecanismo capaz de avaliar os resultados obtidos com a utilização do arcabouço. A concepção desse arcabouço foi baseada nos principais fundamentos de abordagens de apoio a implantação de melhoria de processos de software e no modelo incremental. O Aim-P contém diversas tarefas e modelos de artefatos que agem como facilitadores para a implantação do P-CMM, principalmente no âmbito de pequenas e médias empresas brasileiras que utilizam ou não métodos ágeis. Salienta-se que alguns dos modelos de artefatos disponíveis são específicos do nível 2 do modelo P-CMM, no entanto pode ser evoluídos para os demais níveis desse modelo. Para avaliar a aplicabilidade do arcabouço proposto, foi conduzido um estudo de caso em um ambiente real. Os resultados obtidos foram satisfatórios, sendo que a maioria dos objetivos de melhoria de pessoas esperados foi alcançada para a iteração do projeto de implantação de melhorias executada no estudo de caso.
|
| Download |
|
|
| ONTO - ResAsset-Ontologia de Ativos Reutilizáveis |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
17/09/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Maria Istela Cagnin Machado
|
| Coorientador(es) |
|
| Orientando(s) |
- Luciano Édipo Pereira da Silva
|
| Banca |
- Debora Maria Barroso Paiva
- Ellen Francine Barbosa
- Maria Istela Cagnin Machado
|
| Resumo |
A reutilização de software, apesar de ter sido criada há diversos anos, ainda é considerada um importante mecanismo para melhorar a prática de Engenharia de Software. De acordo com a literatura, repositórios de reuso colaboram para o sucesso de programas de reutilização, porém outros mecanismos devem estar associados para que o reuso seja realizado de maneira sistemática, como é o caso da mudança cultural. Apesar do código fonte ser o ativo mais comumente reutilizado pelas empresas de software, outros tipos de ativos também são reutilizados, como modelos de processos de negócios, soluções de análise e de projeto, casos de teste, dentre outros. Devido a isso, é necessário utilizar geralmente diversos tipos de repositórios tornando a prática do reuso uma tarefa custosa, propensa a erros e redundante no armazenamento de informações em diversos locais e em formatos diferentes; ressaltando a importância do uso de um único repositório. Porém, a seleção ou o desenvolvimento de um único repositório adequado às necessidades da empresa não é uma tarefa trivial, visto que os interessados podem não ter conhecimento suficiente para isso. Nesse contexto, é importante que o conhecimento sobre os ativos reutilizáveis de software e sobre a gestão desses ativos seja difundido. Sob essa perspectiva, este trabalho de mestrado define uma ontologia de ativos reutilizáveis, denominada ONTO-ResAsset, tendo em vista que ontologia é uma técnica robusta de conceitualização do conhecimento. Para apoiar o desenvolvimento da ONTO-ResAsset é utilizada a metodologia Methontology e sua avaliação é conduzida sob o ponto de vista de especialistas no domínio e não especialistas no domínio (ou seja, voluntários de uma equipe de desenvolvimento de software de uma empresa real e alunos de pós-graduação da Facom/UFMS). A avaliação dos especialistas no domínio permitiu o refinamento da ONTO-ResAsset principalmente em relação a representação dos conceitos no modelo conceitual e a revisão dos glossários de termos; e a avaliação dos não especialistas no domínio permitiu observar o compartilhamento e a difusão do conhecimento sobre especificação e gestão de ativos reutilizáveis por meio da ontologia. |
| Download |
|
|
| Acessibilidade nas Fases de Engenharia de Requisitos, Projeto e Codificação de Software: uma ferramenta de apoio |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
09/09/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Debora Maria Barroso Paiva
|
| Coorientador(es) |
|
| Orientando(s) |
- Rodrigo Gonçalves de Branco
|
| Banca |
- Debora Maria Barroso Paiva
- Maria Istela Cagnin Machado
- Thiago Jabur Bittar
|
| Resumo |
Fornecer produtos acessíveis deixou de ser um diferencial de determinadas empresas. Acessibilidade, nos dias atuais, é um requisito fundamental de qualquer solução desenvolvida, indicando principalmente respeito e cumplicidade com os clientes. Essa afirmação é especialmente verdadeira para os produtos desenvolvidos para a Internet, porta de acesso para toda a intercomunicação mundial. A Internet se mostrou a tecnologia mais rápida e barata de aquisição de informação, levando tecnologias legadas (serviços bancários, por exemplo) a se adaptarem de forma que pessoas com dificuldades permanentes ou momentâneas consigam interagir com a sociedade. Contudo, fornecer um produto acessível nem sempre é uma tarefa fácil. Além de diversas classes diferentes de deficiências e dificuldades (o que acarreta problemas de acessibilidade diferentes), a falta de treinamento e experiência na área faz com que desenvolvedores cometam erros em vários aspectos, resultando num produto inacessível. Os modelos de processos e frameworks de desenvolvimento de software ainda não se adaptaram de forma consistente e homogênea, em relação a acessibilidade na fábrica de software. A área de Tecnologia da Informação está passando por uma fase de transição entre o HTML 4 e XHTML para o HTML 5, que, entre outras coisas, pretende enfatizar a web semântica e tratar dos problemas específicos de acessibilidade. Por fim, as ferramentas disponíveis aos desenvolvedores não conseguem, de maneira eficaz, auxiliar efetivamente os desenvolvedores a entregarem um produto acessível. Neste trabalho considera-se que os requisitos de acessibilidade devem ser levados em conta durante todas as fases do processo de desenvolvimento de software, ou seja, devem evoluir desde a fase de análise de requisitos até a fase de teste de software para que se obtenha acessibilidade como um atributo de qualidade do produto final de software. Assim, buscou-se, sobretudo, criar uma abordagem que pudesse promover a rastreabilidade dos requisitos de acessibilidade desde sua concepção até a fase de codificação. Esta abordagem associou requisitos, modelos UML e técnicas de implementação de acessibilidade, mapeadas em uma ontologia de acessibilidade. Além disso, foi desenvolvido um plugin para o Eclipse que promoveu a associação das técnicas de implementação de acessibilidade e da matriz de rastreabilidade. Foi criada uma prova de conceito com a proposta de verificar se os objetivos do trabalho foram alcançados. O trabalho demonstrou que é possível realizar, de forma automática, o rastreamento dos requisitos de acessibilidade bem como suas técnicas de implementação, desde a Fase de Engenharia de Requisitos até a Fase de Codificação. |
| Download |
|
|
| Homero: Um framework de apoio ao desenvolvimento de interfaces de aplicações Web acessíveis |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
27/08/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Hana Karina Salles Rubinsztejn
|
| Coorientador(es) |
|
| Orientando(s) |
- Roberto Cícero de Oliveira
|
| Banca |
- André Pimenta Freire
- Debora Maria Barroso Paiva
- Hana Karina Salles Rubinsztejn
- Maria Istela Cagnin Machado
|
| Resumo |
A expansão da internet tornou-se evidente nos últimos anos, tanto pelo número de usuários, que atingiu a marca de 2,4 bilhões de pessoas no final de 2012, quanto pela quantidade de serviços disponíbilizados na rede, como por exemplo, boletim de ocorrência on-line, e-bank, e-commerce, entre outros.
Com tamanha expansão é essencial que o conteúdo seja acessível a todos os usuários, independente das dificuldades e limitações de cada um. Para isso é necessário desenvolver software com acessibilidade.
A concepção do framework Homero foi impulsionada pela necessidade de propiciar acessibilidade aos sistemas desenvolvidos e simplificar a utilização das diretrizes de acessibilidade propostas pelo W3C.
Desenvolvido utilizando a linguagem PHP, e de acordo com as diretrizes automatizáveis da Web Content Accessibility Guidelines (WCAG) 2.0, o framework Homero facilita a criação de interfaces web acessíveis em conformidade com o nível AAA na categorização da WCAG.
Buscando indícios da qualidade do framework proposto, um estudo empírico foi realizado junto a uma amostra controlada da população. Os resultados obtidos durante o estudo comprovaram a eficácia do Homero em auxiliar o desenvolvimento web acessível.
Palavras-chaves: Framework, Acessibilidade, Interfaces Web, WCAG. |
| Download |
|
|
| Orthologsorter: inferindo genotipagem e funcionalidade a partir de famílias de proteínas ortólogas |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
27/06/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Nalvo Franco de Almeida Junior
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Luciana Montera Cheung
- Maria Emilia Machado Telles Walter
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
| Resumo |
Os métodos que permitem identificar e classificar espécies e subespécies de bactérias de maneira homogênea contam com uma variedade de técnicas para obter evidências biológicas. A genotipagem tem sido uma das principais metodologias utilizadas por estudos de epidemiologia, estrutura populacional e filogenética de bactérias. No entanto, tais técnicas apresentam limitações no que diz respeito ao poder de discriminação de cepas, ao tempo e esforço laborial bem como ao custo dos equipamentos e materiais necessários para sua execução. Diante disso, o presente trabalho tem por objetivo desenvolver ferramentas computacionais baseadas em comparação de sequências para a genotipagem de bactérias que contribuem para diminuir tais restrições. Mais especificamente, este trabalho criou um pipeline automático que fornece dois produtos finais. O primeiro consiste em uma ferramenta de busca via web, denominada Orthologsorter, que permite realizar buscas no conjunto de famílias de proteínas obtidas por algum método de clusterização de sequências a fim de obter informações funcionais e evolutivas das espécies analisadas. O segundo consiste em uma árvore filogenética construída através de uma busca específica utilizando Orthologsorter, contribuindo para a inferência da história evolutiva das espécies envolvidas. O pipeline proposto foi testado usando, em especial, os dados biológicos pertencentes a dois complexos bacterianos, Bacillus cereus e Mycobaterium tuberculosis e apresentou resultados satisfatórios, quando comparados com outras técnicas de genotipagem. Desse modo, os resultados obtidos demonstram que a ferramenta criada neste trabalho pode inferir relações filogenéticas entre espécies/cepas proximamente relacionadas baseando-se na comparação direta dos conjuntos de proteínas preditas dos organismos analisados. |
| Download |
|
|
| Moderação de Sítios Utilizando Aprendizado Semissupervisionado Ativo |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
27/06/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Maria Carolina Monard
- Renato Porfirio Ishii
|
| Resumo |
A internet não é um lugar seguro para criancas. Sítios com conteudo adulto e violento podem ser facilmente acessados por meio de qualquer computador, celular ou tablet. Uma possível solução e o uso de sistemas de controle de acesso a internet. Porem, os sistemas disponíveis atualmente necessitam de muita supervisão, nos quais deve-se bloquear sítio por sítio. Como a internet esta em constante mudanca, todos os dias sítios novos são criados, ha muita di ficuldade em fazer o controle do conteudo que se deve bloquear. Com isso em vista, este trabalho propõe um novo sistema moderador de conteudo. Esse sistema foi desenvolvido usando técnicas de Aprendizado de Máquina para facilitar a moderacão de sítios da internet, tornando a moderação menos custosa e mais efi ciente. Para atingir esse objetivo, faz-se uso do Aprendizado Semissupervisionado Ativo combinado com técnicas de seleção de atributos. Neste trabalho, averiguou-se o desempenho de algoritmos supervisionados para serem usados como algoritmos-base em uma técnica semelhante ao CoTesting, porém, ao invés de usar duas visões, usou-se dois algoritmos supervisionados juntamente com técnicas de seleção de atributos. Os resultados experimentais foram obtidos utilizando noveécnicas de escolha de exemplos para o aprendizado ativo com melhorias signi cativas em duas estratégias. Além disso, veri cou-se o uso de seleção de atributos para o problema e foi detectada diferença signi cativa nos resultados, indicando que o uso de seleção de atributos pode melhorar a qualidade da classi cação. As contribuições deste trabalho não fi cam apenas na resolução do problema de moderação de sítios de internet, mas também nas recomendações do uso de aprendizado semissupervisionado ativo e seleção de atributos para o problema.
|
| Download |
|
|
| PBIW-SPARC: Uma estratégia de Codificação de Instruções para Programas SPARC |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
21/06/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Ricardo Ribeiro dos Santos
|
| Coorientador(es) |
|
| Orientando(s) |
- Renato Fernando dos Santos
|
| Banca |
- Edward David Moreno Ordonez
- Luciano Gonda
- Milton Ernesto Romero Romero
|
| Resumo |
Este trabalho apresenta o projeto e implementação da técnica de codificação de instruções PBIW (Pattern Based Instruction Word), baseada em fatoração de padrões, sobre o conjunto de instruções SPARCv8. A técnica PBIW é implementada sobre uma infraestrutura de codificação de instruções que mapeia o código de saída de um compilador para o esquema de codificação PBIW em um processador alvo. Na codificação PBIW-SPARC, as instruções passam a ter o tamanho de 16 bits e novos padrões de instruções possuem tamanho de 24 bits. Mesmo com a sobrecarga dos padrões, pode-se notar que o tamanho dos programas diminui significativamente, gerando, inclusive, impactos no desempenho final dos programas codificados. A fim de possibilitar o endereçamento a uma quantidade maior de padrões, extendeu-se a codificação PBIW-SPARC para instruções de 24 bits. Essa extensão possibilitou codificar programas dos benchmarks MediaBench e MiBench. Os experimentos realizados visam caracterizar detalhadamente a técnica de codificação PBIW-SPARC sobre os efeitos gerados sobre o código do programa e sobre o processador alvo. Os resultados demonstram que a técnica PBIW-SPARC oferece ganhos significativos tanto na compressão do tamanho programa (resultados estáticos) - 42% de redução do cóidigo - quanto no desempenho do código final (resultados dinâmicos) - speedup de 2,06 sobre o código original SPARCv8. Os resultados também permitem notar que a utilização da técnica PBIW-SPARC oferece oportunidades interessantes para exploração do espaço de projeto de decodificadores de código junto à via de dados e controle do processador alvo. |
| Download |
|
|
| Aprendizado de Máquina em Representações Tridimensionais |
|
| Curso |
Mestrado em Ciência da Computação |
| Tipo |
Dissertação |
| Data |
10/05/2013 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Gedson Faria
- Hemerson Pistori
|
| Resumo |
Aprendizado consiste em adquirir novos, ou modificar os existentes, conhecimentos, comportamentos, habilidades, valores ou preferências e pode envolver a síntese de diferentes tipos de informação. O aprendizado está fortemente relacionado à representação do conhecimento. Uma representação de conhecimento está ligada a capacidade de se inferir, ou seja, aprender. Uma representação de dados bastante presente nos últimos tempos se refere à representação tridimensional, associada fortemente a imagens 3D. Neste trabalho apresenta-se um estudo sobre aprendizado 3D com base em dois estudos de caso, imagens 3D adquiridas a partir do Kinect e movimentos adquirido a partir dos dados do wiimote. A visão humana sempre despertou um grande fascínio por ser considerada um dos sensores humanos mais ricos em informação. Sempre existiu um grande interesse em simular a capacidade de visão do ser humano. Com o surgimento e popularização de sistemas RGB-D (RedGreenBlue - Depth), é possível obter informação de profundidade de cada pixel de maneira rápida e confiável. Isto permitiu a aproximação da tecnologia atual com a visão humana, que com dois olhos são capazes de estimar a profundidade aproximada de um objeto. Uma imagem capturada de um sistema RGB-D é muito mais rica em informação do que uma imagem capturada de uma câmera comum. Estudar como este ganho de informação pode ser utilizado para melhorar a capacidade de representação e reconhecimento de objetos em Inteligência Artificial é um dos objetivos deste projeto. Por meio de uma proposta de um pipeline de aprendizado 3D, desde captura dos dados até algoritmos de reconhecimento, será provido um estudo sobre aprendizado em sistemas RGB-D. Assim como o Kinect, o nintendo Wii também revolucionou a indústria de games graças ao seu controle capaz de reconhecer os movimentos do jogador. Neste trabalho apresenta-se um estudo sobre reconhecimento de padrões em estruturas tridimensionais com o objetivo de explicitar que com a utilização da técnica de aprendizado de máquina juntamente com a representação adequada do problema é possível atingir altas taxas de acerto com um baixo tempo de processamento, o que foi realizado com sucesso. |
| Download |
|
|