Repositório Digital da UFRGS
(12.601 recursos)
Repositório Digital de la Universidad Federal de Rio Grande do Sul, reúne los documentos digitales generados en su ámbito, para su preservación y divulgación.
Mostrando recursos 1 - 20 de 624
1.
Uma abordagem multiagente para dinâmica de pedestres - Toyama, Marcelo Costa
Este trabalho propôe a melhoria Walker para o modelo de Schadschneider e colaboradores, esta é uma melhoria que transforma o modelo de Schadschneider em um modelo baseado em sistema multiagentes. Diferentemente dos autômatos celulares e modelos contínuos, Walker apresenta pedestres com diferentes características: sexo, velocidade, conhecimento do ambiente, comportamento de grupo. Além disto, é realizada também a implementação de um protótipo de Walker. Modelos de simulação da dinâmica de pedestres têm chamado a atenção por diversas razões. Primeiro, os pesquisadores descobriram que modelar fluxo de pedestres é desafiante e complexo. Por exemplo, os corredores de pedestres podem ter diversas entradas,...
2.
Semantics for an algebraic specification language - Azevedo Terceiro, Antonio Soares de
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica devidamente definida. Os trabalhos desenvolvidos até...
3.
Design of a soft-error robust microprocessor - Bastos, Rodrigo Possamai
O avanço das tecnologias de circuitos integrados (CIs) levanta importantes questões relacionadas à confiabilidade e à robustez de sistemas eletrônicos. A diminuição da geometria dos transistores, a redução dos níveis de tensão, as menores capacitâncias e portanto menores correntes e cargas para alimentar os circuitos, além das freqüências de relógio elevadas, têm tornado os CIs mais vulneráveis a falhas, especialmente àquelas causadas por ruído elétrico ou por efeitos induzidos pela radiação. Os efeitos induzidos pela radiação conhecidos como Soft Single Event Effects (Soft SEEs) podem ser classificados em: Single Event Upsets (SEUs) diretos em nós de elementos de armazenagem que...
5.
Escalonamento Work-Stealing de programas Divisão-e-Conquista com MPI-2 - Pezzi, Guilherme Peretti
Com o objetivo de ser portável e eficiente em arquiteturas HPC atuais, a execução de um programa paralelo deve ser adaptável. Este trabalho mostra como isso pode ser atingido utilizando MPI, através de criação dinâmica de processos, integrada com programação Divisão-e-Conquista e uma estratégia Work-Stealing para balancear os processos MPI, em ambientes heterogêneos e/ou dinâmicos, em tempo de execução. Este trabalho explica como implementar uma aplicação segundo o modelo de Divisão-e-Conquista com MPI, bem como a implementação de uma estratégia Work-Stealing. São apresentados resultados experimentais baseados em uma aplicação sintética, o problema das N-Rainhas (N-Queens). Valida-se tanto a adaptabilidade e...
6.
Um serviço de geração de metadados compatível com o padrão OAI para o sistema JEMS - Contessa, Diego Fraga
A publicação de trabalhos científicos é uma das principais formas de avanço da Ciência, dando aos autores o reconhecimento de seu trabalho por parte da comunidade científica. A divulgação de trabalhos publicados é de grande interesse tanto da parte de quem os desenvolve (autores), quanto de quem pode vir a se beneficiar dos resultados (a comunidade científica em geral). Neste contexto, as bibliotecas digitais surgem como uma alternativa para simplificar o processo de publicação de artigos. Nelas encontram-se repositórios de dados que possuem informações sobre os artigos publicados bem como links para os próprios artigos, ou mesmo os arquivos propriamente...
7.
Distribuição de dados para implementações paralelas do Método de Lattice Boltzmann - Schepke, Claudio
A Dinâmica de Fluidos Computacional é uma importante área de pesquisa no contexto da Computação Científica. Através da modelagem e simulação das propriedades de líquidos e gases é possível obter resultados numéricos para diferentes estruturas e fenômenos físicos cotidianos e de grande importância econômica. A evolução dos sistemas computacionais possibilitou a essa área o surgimento de novas técnicas e abordagens de simulação. Uma das técnicas computacionais atualmente empregadas é o Método de Lattice Boltzmann, um método numérico iterativo para a modelagem e simulação mesoscópica da dinâmica de fluxos de fluidos. Diferentes tipos de sistemas físicos podem ser tratados através dessa...
8.
Projeto de sistemas digitais complexos : uma aplicação ao decodificador H.264 - Staehler, Wagston Tassoni
A evolução dos processos de fabricação de circuitos microeletrônicos coloca um número cada vez maior de dispositivos à disposição do projetista de circuitos integrados. Mais e mais funcionalidades são adicionadas aos equipamentos eletrônicos com um aumento correspondente no esforço de projeto. Aplicações de multimídia e comunicação digital, por exemplo, são muito populares e integram funções cada vez mais complexas. As janelas de mercado diminuem com a grande competição por novos produtos. Este cenário desafia os projetistas: são necessárias novas metodologias. Para aumentar a produtividade de uma equipe de projeto, é imprescindível a utilização de um nível de abstração mais alto....
9.
Análise comparativa das formas e métodos de embutimento de linguagens para manipulação de banco de dados - Ahlert, Hubert
Este trabalho visa estabelecer uma análise comparativa das formas e métodos de embutimento de linguagens de manipulação de banco de dados em linguagens convencionais de programação a fim de que possa ser usada como ferramenta de auxílio ao desenvolvimento de futuros projetos nesta área. Este estudo procurou analisar as preocupações existentes no projeto do embutimento. Paralelamente foram abordadas alternativas para interface com um banco de dados, considerando os aspectos humanos envolvidos, a fim de que fosse possível extrair alguns parâmetros de comparação. Uma análise foi feita, sobre os S.G.B.D. mais expressivos em cada uma das abordagens de estruturação de dados,...
10.
Um prototipo de sistema especialista para projeto logico de blocos operacionais de circuitos digitais - Cortinovi, Sandra Luzia
O PROTO é um protótipo de sistema especialista voltado para a solução de problemas que possam ser resolvidos pelo metodo de transformção da redes. A aplicação que motivou o seu desenvolvimento foi o projeto lógico de blocos operacionais de circuitos digitais no nível RT. O PROTO compõe-se de dois subsistemas: um subsistema de projeto lógico, que gera uma rede estrutural do bloco operacional de um circuito a partir de sua descrição algoritmica-comportamental; e um subsistema de aquisição de conhecimento, que permite a construção, exame e modificação dae bases de conhecimento do sistema.
11.
Uma metodologia para análise e especificação de sistemas de informações de escritórios - Vieira, Ricardo
Este trabalho apresenta uma metodologia para análise e projeto de Sistemas de Informações de Escritórios, a qual está baseada em ferramentas consolidadas tanto na area de Processamento de Dados (Grafos de Abstrações, Modelos Canal/Agência e Pragramação estruturada) quanto na área de O&M (Notação Gráfica de Gilbreth). São descritos alguns aspectos que justificam a existência de metodologias próprias para análise e projeto de Sistemas de Informações de Escritórios. Os diversos elementos de um escritório são identificados em termos de suas propriedades estáticas, dinâmicas e de evalução, e perspectivas na modelagem de escritórios são comentadas. Um estudo de caso é apresentado objetivando...
12.
Proposta de uma arquitetura especial para simulação lógica - Rey, Leandro Fortes
O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem...
13.
Implementação de objetos replicados usando java - Ferreira Filho, Joao Carlos
Este trabalho busca a implementação da replicação de objetos através da linguagem Java e de seu sistema de invocação remota de métodos (Remote Method Invocation - RMI). A partir deste sistema, define-se uma classe de replicação - a máquina de replicação onde a implementação de grupos de objetos é estruturada de acordo com a arquitetura cliente/servidor, sendo o cliente o representante (a interface) de um grupo de objetos e os servidores representam os demais componentes do grupo. A classe de replicação atende a uma necessidade importante dos sistemas distribuídos - o desenvolvimento de aplicações tolerantes a falhas. Fundamentalmente, a...
14.
Em direção a agentes pedagógicos com dimensões afetivas - Bercht, Magda
O contexto desta tese é a Inteligência Artificial aplicada à Educação, especificamente a área dos Sistemas Tutores Inteligentes (STI). Apesar das características multidisciplinares e interdisciplinares, a preocupação maior do trabalho se dá quanto aos aspectos computacionais. A multidisciplinaridade está na relação entre os aspectos educacionais, filosóficos e psicológicos inerentes a toda construção de um software educacional, e a interdisciplinaridade acontece no relacionamento da IA com a Informática na Educação. Esta tese propõe o uso de aspectos afetivos como apoio à decisão de ação por parte de um STI. As nossas hipóteses fundamentais são: um sistema de ensino e aprendizagem computacional...
15.
Uma interface visual para modelos de bancos de dados orientados a objetos com suporte para versões - Silva, Juliano Tonezer da
Este trabalho apresenta o projeto de uma interface visual para modelos de bancos de dados orientados a objetos, com suporte para versões. Um requisito importante, não atendido pelas interfaces visuais específicas e genéricas para sistemas orientados a objetos, é a capacidade de definir e manipular versões de um objeto nos vários níveis da hierarquia de classes (herança por extensão, adotada pelo modelo de versões [GOL 95]). As interfaces, que manipulam versões, suportam essa característica no nível mais especializado da hierarquia (herança por refinamento, adotada pelos principais SGBDOOs). Procurando prover a possibilidade do versionamento de objetos nos vários níveis da hierarquia...
16.
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing - Izquierdo, Vaneci Brusch
Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated...
17.
Tolerância a falhas e reflexão computacional num ambiente distribuído - Pavan, Willingthon
O modelo de objetos apresenta-se como um modelo promissor para o desenvolvimento de software tolerante a falhas em virtude de características inerentes ao próprio modelo de objetos, tais como abstração de dados, encapsulamento, herança e reutilização de objetos (componentes). O uso de técnicas orientadas a objetos facilita o controle da complexidade do sistema porque promove uma melhor estruturação de seus componentes e também permite que componentes já validados sejam reutilizados [LIS96]. Técnicas básicas para tolerância a falhas em software baseiam-se na diversidade de projeto e de implementação de componentes considerados críticos. Os componentes diversitários são gerenciados através de alguma técnica...
18.
Incorporando suporte a restrições espaciais de caráter topológico ao modelo abstrato do consórcio Open GIS - Bogorny, Vania
Os Sistemas de Informação Geográfica (SIG) são construídos, especificamente, para armazenar, analisar e manipular dados geográficos, ou seja, dados que representam objetos e fenômenos do mundo real, cuja localização em relação à superfície da Terra seja considerada. A interoperabilidade desses sistemas, que constitui-se na capacidade de compartilhar e trocar informações e processos entre ambientes computacionais heterogêneos, se faz necessária, pois, devido ao elevado custo de aquisição dos dados geográficos, as comunidades de informação precisam compartilhar dados de fontes existentes, sem a necessidade de fazer conversões. Porém, pela complexidade e incompatibilidades de representação, de estrutura e de semântica das informações geográficas,...
19.
Geração de sombras em objetos modelados por geometria sólida construtiva - Cassal, Marcos Luis
Atualmente os sistemas computacionais mais sofisticados são aqueles que apresentam imagens gráficas. Devido às características de alta velocidade de processamento e excelente resultado na geração de imagens o uso da Computação Gráfica se dá em diversas áreas como a indústria, pesquisa, publicidade, entretenimento, medicina, treinamento, dentre outras. Este trabalho aborda dois assuntos clássicos na Computação Gráfica, Geometria Sólida Construtiva (CSG) e Sombras Projetadas. Ambos são muito importantes para esta linha de pesquisa da Ciência da Computação. A Geometria Sólida Construtiva é utilizada na modelagem de objetos e as sombras projetadas são necessárias para aumentar o realismo das imagens. Geometria sólida...
20.
Aprendizado relacional por um modelo neural - Hernandez, Juliana Delgado Santos
As técnicas que formam o campo da Descoberta de Conhecimento em Bases de Dados (DCBD) surgiram devido à necessidade de se tratar grandes volumes de dados. O processo completo de DCBD envolve um elevado grau de subjetividade e de trabalho não totalmente automatizado. Podemos dizer que a fase mais automatizada é a de Mineração de Dados (MD). Uma importante técnica para extração de conhecimentosa partir de dados é a Programação Lógica Indutiva (PLI), que se aplica a tarefas de classificação, induzindo conhecimento na forma da lógica de primeira ordem. A PLI tem demonstrado as vantagens de seu aparato de aprendizado...
1.
