Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T04:52:04Z (GMT). No. of bitstreams: 1 238675.pdf: 860340 bytes, checksum: 00c1c8aa0d78472158850eb25bcedfd5 (MD5) / Um sistema embarcado pode ter todos os seus componentes eletrônicos implementados em um único circuito integrado, dando origem ao assim chamado System-on-a-Chip (SoC). Um SoC é composto de uma ou mais CPUs e por componentes não programáveis, tais como memória(s), barramento(s) e periférico(s). A CPU escolhida pode ser um processador dedicado, denominado Application-Specific Instruction-Set Processor (ASIP). O projeto de SoCs requer ferramentas para a inspeção de código, a fim de se explorar a corretude do software embarcado a ser executado em cada CPU. Isto pode ser feito através da geração automática de ferramentas a partir de um modelo formal de CPU, cujas características podem ser descritas através do uso de Linguagens de Descrição de Arquiteturas (Architecture Description Language - ADLs). Como o redirecionamento manual das ferramentas para cada CPU explorada seria inviável devido à pressão do time-to-market, o redirecionamento automático é mandatório. Esta dissertação contribui com a expansão do módulo de geração de ferramentas de manipulação de código binário associado à ADL ArchC, através da geração automática de desmontadores e depuradores de código. As ferramentas de desmontagem e depuração de código foram validadas por meio de comparação com ferramentas nativas congêneres para modelos de arquiteturas RISC e CISC (i8051, MIPS, SPARC e PowerPC). Para fins de experimentação, foram usados os benchmarks MiBench e Dalton, evidenciando a corretude e a robustez das ferramentas. Além disso, mostra-se a integração do gerador de desmontadores no âmbito de um tradutor binário, proposto como resultado de trabalho cooperativo (também reportado em outras duas dissertações correlatas).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T03:23:03Z (GMT). No. of bitstreams: 1 262342.pdf: 660822 bytes, checksum: 20d4a5e1fe3ccf4f7e05dc3288b9c7a9 (MD5) / O escopo tradicional da veri¯ca»c~ao funcional foi ampliado com o surgimento dos °uxos de projeto em n¶³vel de sistema eletr^onico (ESL). Nesses °u-xos, logo ap¶os o particionamento hardware-software, a veri¯ca»c~ao precisa lidar com tipos abstratos de dados, com artefatos de implementa»c~ao e com a poss¶³vel n~ao-preserva»c~ao, no dispositivo sob veri¯ca»c~ao (DUV), da ordem dos comportamentos no modelo de refer^encia (golden model ). As t¶ecnicas existentes para veri¯ca»c~ao p¶os-particionamento est~ao limitadas pelo uso de heur¶³sticas (que colocam em risco as garantias de veri¯ca»c~ao) ou por abordagens black-box (que restringem a observabilidade). Este trabalho adota uma abordagem white-box e prop~oe uma nova t¶ecnica que opera sobre amostras de dados capturadas por monitores e armazenadas na forma dos assim-chamados logs. Para cada ponto a ser veri¯cado, inserem-se monitores espelhados: um no modelo de refer^encia, outro no DUV. A veri¯ca»c~ao autom¶atica dos logs ¶e formulada com um problema de casamento (matching) em um grafo bipartido. O problema cl¶assico foi modi¯cado para capturar n~ao apenas a compatibilidade de valores monitorados, mas tamb¶em a preced^encia de eventos, de forma a viabilizar o tratamento da n~ao-preserva»c~ao da ordem no DUV. A formula»c~ao adotada permitiu provar v¶arias propriedades, as quais foram utilizadas como base te¶orica para determinar as garantias de veri¯ca»c~ao da t¶ecnica proposta. A implementa»c~ao dos monitores utilizou infra-estrutura pr¶e-existente baseada em re°ex~ao computacional. S~ao apresentados resultados experimentais que validam a formula»c~ao e os algoritmos propostos. The traditional scope of functional veri¯cation has been extended with the rise of electronic-system-level (ESL) design °ows. In those °ows, immediately after hardware-software partitioning, veri¯cation has to deal with abstract data, with implementation artifacts, and, possibly, with the non-preservation, by the device under veri¯cation (DUV), of the the order of behaviors at the golden model. Existing approaches are limited either by the use of greedy heuristics (jeopardizing veri¯cation guarantees) or by black-box approaches (impairing observability). This work adopts a white-box approach and proposes a new technique that operates on data samples captured by monitors and stored in the form of so-called logs. For each point to be veri¯ed, mirrored monitors are inserted: one at the golden model, another at the DUV. The automatic veri¯cation of the logs of a pair of mirrored monitors is cast as a bipartite graph matching problem. The classical problem was modi¯ed to capture not only value compatibility, but also event precedence, so as to allow the treatment of the non-preserved event order at the DUV. The adopted formulation allowed us to prove several properties, which were used as stepping stones for determining the veri¯cation guarantees of the proposed technique. The implementation of monitors relied on pre-existing infrastructure based upon computational re°ection. Experimental results validate the formulation and the proposed algorithms.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T06:02:11Z (GMT). No. of bitstreams: 1 250359.pdf: 1066223 bytes, checksum: 42eb8250860021af51831e4fa088e440 (MD5) / Este trabalho apresenta um estudo da gerência de reservas de recursos de Grade. Reservas são fundamentais para QoS em Grades. São propostos uma arquitetura onde usuários, gerenciador de reservas e gerenciadores de recursos são entidades separadas e que se relacionam, e um modelo de representação de recursos e reservas para escalonamento de reservas, baseado em empacotamento em ?ta. São trabalhados quatro requisitos necessários para uma gerência adequada de reservas de recursos: abrangência, ?exibilidade, e?ciência e utilização dos recursos. A solução proposta é ?exível o bastante para suportar reservas imediatas, antecipadas e sob-demanda, e relaxamento. É também abrangente o bastante para suportar diversos recursos, por meio de reservas de um recurso, de múltiplos recursos simultaneamente, e de parte da capacidade de um recurso. São também propostos três algoritmos de escalonamento de reservas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2013-07-16T02:28:28Z (GMT). No. of bitstreams: 1 221668.pdf: 1081545 bytes, checksum: 3d0383151b13cceae16de501da67f1a6 (MD5) / Esta dissertação de mestrado contém uma proposta para o projeto de um provedor de serviços criptográficos embarcado para uso em infra-estruturas de chaves públicas -ICP- e suas aplicações. O projeto consiste na especificação de um modelo de gerenciamento de chaves apoiado por um equipamento especialmente projetado para este fim

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2012-10-22T12:44:31Z (GMT). No. of bitstreams: 1 236127.pdf: 2840062 bytes, checksum: 96d0ab42f0f18ec83fa5a0e00cc18547 (MD5) / Ambientes de grade computacional são configurações reconhecidas para fornecer alto desempenho para vários tipos de aplicações, através do compartilhamento de uma grande escala de recursos geograficamente distribuídos. Por outro lado, dispositivos móveis são equipamentos interessantes para fornecer aos usuários acesso em qualquer hora e lugar a recursos, informações e serviços. Desta forma, a interação entre estes dois ambientes (isto é, computação em grade e computação móvel) está sendo considerada como uma solução eficiente por diversos usuários, para a obtenção de alto desempenho e fornecimento de uma maior mobilidade na execução de suas aplicações complexas. Entretanto, devido ao crescente volume e distribuição dos dados, e também a necessidade de execução de inúmeras tarefas para tratar estes dados, tornam-se cada vez mais complexos os processos e aplicações para a resolução de problemas a partir de dispositivos móveis. A execução coordenada e combinada de várias tarefas, que trabalham juntas acessando esta grande quantidade de dados, pode facilitar na solução destes problemas complexos que utilizam a infra-estrutura contida em configurações de grade. No entanto, na maioria das pesquisas relacionadas existe a possibilidade de submissão e monitoração de uma tarefa por vez na interface do dispositivo. Nestas, usuários precisam controlar e ordenar a submissão destas tarefas que trabalham juntas para resolver um problema em uma configuração de grade. Desta forma, a falta de um mecanismo automatizado que também forneça uma submissão e monitoração coordenada e organizada dessas várias tarefas torna mais difícil para os usuários de dispositivos móveis resolverem seus problemas, utilizando o poder computacional disponibilizado pela grade. Com o objetivo de proporcionar uma forma melhorada de submissão e monitoração de várias tarefas em grades computacionais, a partir do dispositivo móvel, esta dissertação apresenta como alternativa a utilização do mecanismo de workflow. Este mecanismo oferece uma abordagem diferencial que permite aos usuários de dispositivos móveis submeterem e monitorarem suas aplicações em ambientes de grade de uma maneira automatizada e coordenada. Um protótipo foi projetado e implementado para validar a proposta. Em nossos experimentos, o mecanismo de workflow provou ser eficiente. A utilização do workflow nestes dispositivos, nos permitiu concluir que a junção destas duas áreas traz melhorias para os usuários destes aparelhos, permitindo uma melhor utilização da configuração de grade. Exemplos das melhorias alcançadas com a adoção desta abordagem são: uma maior agilidade e um menor consumo de energia de bateria para submeter e monitorar várias tarefas do que a forma utilizada nas pesquisas relacionadas. Exemplos de workflows de bioinformática foram empregados, onde usuários foram capazes de acompanhar passo a passo seu progresso de execução transparentemente. Por fim, foram desenvolvidas novas funcionalidades e informações detalhadas da execução workflow.

Submitted by PGCOMP UFBA (pgcomp@ufba.br) on 2016-05-04T19:17:20Z No. of bitstreams: 1 bruno-cabral-dissertacao-mestrado.pdf: 2471192 bytes, checksum: d79f658a3d0ad9e64c9e6e2daff4b069 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-05-04T20:08:16Z (GMT) No. of bitstreams: 1 bruno-cabral-dissertacao-mestrado.pdf: 2471192 bytes, checksum: d79f658a3d0ad9e64c9e6e2daff4b069 (MD5) / Made available in DSpace on 2016-05-04T20:08:16Z (GMT). No. of bitstreams: 1 bruno-cabral-dissertacao-mestrado.pdf: 2471192 bytes, checksum: d79f658a3d0ad9e64c9e6e2daff4b069 (MD5) / Improving Recommender Systems Precision with Multiple Metadata using Ensemble Methods

Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2016-05-31T16:31:15Z No. of bitstreams: 1 Dissertacao_MMCC_Luiz_Otavio.pdf: 6874214 bytes, checksum: f2b823fc741e9778c02cd914c96b2769 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-03T23:22:26Z (GMT) No. of bitstreams: 1 Dissertacao_MMCC_Luiz_Otavio.pdf: 6874214 bytes, checksum: f2b823fc741e9778c02cd914c96b2769 (MD5) / Made available in DSpace on 2016-06-03T23:22:26Z (GMT). No. of bitstreams: 1 Dissertacao_MMCC_Luiz_Otavio.pdf: 6874214 bytes, checksum: f2b823fc741e9778c02cd914c96b2769 (MD5) / Opiniões são centrais em quase todas as atividades humanas, porque exercem relevante influência sobre o comportamento das pessoas. A internet e a web criaram mecanismos que tornaram possível que as pessoas pudessem compartilhar suas opiniões e para que eias, e também organizações, pudessem encontrar facilmente mais informações sobre as opiniões e experiências de outros indivíduos para ajudar em tomadas de decisão. Ainda assim, opiniões envolvem sentimentos que são descrições textuais vagas e imprecisas. Devido à natureza destes dados, a Lógica Fuzzy pode ser uma abordagem promissora para lidar com esses tipos de informações. Assim, este trabalho propõe a criação e a avaliação de sistema fuzzy para realizar um processo de mineração e classificação de opinião em diferentes domínios. Diversas características foram extraídas dos documentos e algoritmos de seleção de características foram aplicados para selecionar as mais aptas para representar e classificar os documentos. Com base nas características selecionadas, o método de Wang-Mendel (WM) e variados métodos de inferência foram utilizados para gerar as regras fuzzy e classificar documentos. Os resultados obtidos mostraram que a proposta é promissora, pois o desempenho das regras geradas se equipararam ou superaram trabalhos correlatos na literatura, demonstraram bons resultados entre domínios diferentes e ainda se igualaram a resultados de métodos clássicos de aprendizado de máquina, como o Support Vector Machine.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciências da Computação. / Made available in DSpace on 2012-10-19T23:15:00Z (GMT). No. of bitstreams: 1 222844.pdf: 419014 bytes, checksum: f5cceae83818b67b8ea41ccd385fb9d9 (MD5) / As novas tecnologias podem ser alternativas revolucionadoras para o mundo moderno, oportunizando o aparecimento de novos softwares aplicados a todas as áreas. Isto solicita que o desenvolvimento de software seja cada vez mais de qualidade e eficiente, exigindo assim um instrumental mais eficaz na definição. A definição deve conter clareza na definição do problema, a fim de propiciar os fundamentos para uma solução de software compatível com a realidade do ambiente organizacional, e, principalmente, ter a definição de prioridade de implementação, resultante da comparação de relacionamento e interpretação entre eles. O foco do trabalho é, identificar objetivamente o papel que a fonte responsável pela declaração ocupa no contexto organizacional como formadora de opinião e quais suas necessidades; também, identificar a funcionalidade a partir da informação e qual a sua aplicabilidade. O conteúdo desta dissertação refere-se à fase inicial do desenvolvimento de software, especialmente centrado no conhecimento do problema. Seu objetivo central é abordar o problema de análise não funcionais em Engenharia de Software.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T23:34:34Z (GMT). No. of bitstreams: 1 186753.pdf: 850566 bytes, checksum: 4993604aeb19696408ddda37ddd0b258 (MD5) / Pesquisas em Computação Paralela realizadas na Universidade Federal de Santa Catarina, resultaram no desenvolvimento da arquitetura de um multicomputador com rede de interconexão configurável dinamicamente, conhecida como arquitetura Crux. Resultados experimentais, obtidos através de simulações, mostraram fortes evidências de um desempenho superior a arquiteturas paralelas clássicas. A chave desse ganho em desempenho é a escolha de uma rede de interconexão deliberamente simples, pois a simplicidade elimina o "overhead" devido ao conflito de mensagens nos meios de conexão. Vários trabalhos já foram desenvolvidos tendo o Crux como arquitetura-alvo. Em particular, foram desenvolvidos trabalhos de projeto do sistema de interconexão dos elementos de processamento da arquitetura utilizando Links Transputer. No entanto, os Links Transputer apresentaram uma alta complexidade e dificuldade de prototipação. No intuito de encontrar uma solução mais simples para a implementação da rede de interconexão, resolveu-se buscar uma alternativa de menor complexidade, baseada em componentes de fácil aquisição no mercado, tornando a prototipação mais simples e rápida. O presente trabalho apresenta uma alternativa que utiliza interfaces seriais padrão. Embora diminuindo a velocidade de comunicação em relação aos Links Transputer, a alternativa proposta mantém a simplicidade dos meios de conexão. Assim, apesar da diminuição da velocidade de comunicação, espera-se que a degradação do desempenho seja pequena, pois se continua garantindo a ausência de "overhead" devido a conflitos entre mensagens. Este trabalho apresenta o projeto do protótipo de um "crossbar" e apresenta componentes auxiliares de hardware para a rede de interconexão alternativa. São apresentados diagramas esquemáticos do sistema digital que implementa tal "crossbar". O sistema digital foi validado através de simulação temporal e mapeado para lógica programável. A descrição esquemática do sistema digital foi feita em uma ferramenta de projeto auxiliado por computador, o que permite sua futura implementação através de mapeamento automático para um dispositivo lógico programável (e.g. FPGA).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T06:56:36Z (GMT). No. of bitstreams: 1 185050.pdf: 586480 bytes, checksum: b3d3d2130847c5692e2b2324aa45bddd (MD5) / Levando-se em conta a necessidade de um maior conhecimento sobre a situação da rastreabilidade como ferramenta da garantia da qualidade e conquista de novos mercados, propôs-se a realização de uma pesquisa baseada em publicações que tratem do assunto rastreabilidade focado na área agroindustrial. Tendo como objetivo, tomar conhecimento de políticas oficiais e iniciativas privadas que garantam a rastreabilidade, aplicação de conceitos pré-definidos; e também conhecer métodos e sistemas já implantados com sucesso na indústria, utilizando diversas tecnologias que favoreçam o controle e sirvam como base de sustentação do processo.