Programa de Pós-Graduação em Sistemas e Computação

URI Permanente desta comunidadehttps://repositorio.ufrn.br/handle/123456789/11978

Navegar

Agora exibindo 1 - 20 de 504

Em direção a uma representação para equações algébricas :uma lógica equacional local
(Universidade Federal do Rio Grande do Norte, 2001-07-17) Santos, José Medeiros dos; Santiago, Regivan Hugo Nunes; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4; ; Acióly, Benedito Melo; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2; Bedregal, Benjamin René Callejas; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7
A aritmética intervalar conhecida como aritmética de Moore, não possui as mesmas propriedades dos números reais, e por este motivo, defrontase com um problema de natureza operatória, quando se deseja resolver equações intervalares como extensão de equações reais através da igualdade usual e da aritmética intervalar, por esta não possuir o inverso aditivo, como também, a propriedade da distributividade da multiplicação pela soma não ser válida para qualquer terno de intervalos. A falta dessas propriedades impossibilita a utilização da lógica equacional, tanto para a resolução de uma equação intervalar usando a mesma, como para uma representação de uma equação real, e ainda, para a verificação algébrica de propriedades de um sistema computacional, cujos dados sejam números reais representados através de intervalos. Entretanto, com a noção de ordem de informação e de aproximação sobre intervalos, introduzida por Acióly[6] em 1991, surge a idéia de uma equação intervalar representar satisfatoriamente uma equação real, já que os termos da equação intervalar carregam a informação sobre a solução da equação real. Em 1999, Santiago propôs a noção de igualdade simples e, posteriormente, igualdade local para intervalos [8] e [33]. Baseado nessa idéia, esta dissertação estende os conjuntos locais de Santiago para álgebras locais, seguindo a idéia de Σ-álgebras contidas em (Hennessy[31], 1988) e (Santiago[7], 1995). Uma das contribuições desta dissertação é o teorema 5.1.3.2 que garante que, ao se deduzir uma Σ-equação local ⊢ E t t no sistema SDedLoc(E) proposto, as interpretações de t e t serão localmente iguais em qualquer Σ-álgebra local que satisfaça o conjunto de equações locais E fixado, sempre que t e t tiverem significado em A. Isto garante um tipo de segurança entre a lógica equacional local e as álgebras locais
Uso de replicação móvel para distribuição de vídeo digital em redes de computadores
(Universidade Federal do Rio Grande do Norte, 2003-03-21) Alves, Renata Sofia Pinho de Aquino; Souza Filho, Guido Lemos de; ; http://lattes.cnpq.br/6614550860293610;
A maioria da soluções apresentadas como candidatas à implementação de serviços de distribuição de áudio e vídeo, têm sido projetadas levando-se em consideração determinadas condições de infra-estrutura, formato dos fluxos de vídeo a serem transmitidos, ou ainda os tipos de clientes que serão atendidos pelo serviço. Aplicações que utilizam serviços de distribuição de vídeo normalmente precisam lidar com grandes oscilações na demanda pelo serviço devido a entrada e saída de usuários do serviço. Com exemplo, basta observar a enorme variação nos níveis de audiência de programas de televisão. Este comportamento coloca um importante requisito para esta classe de sistemas distribuídos: a capacidade de reconfiguração como conseqüência de variações na demanda. Esta dissertação apresenta um estudo que envolveu o uso de agentes móveis para implementar os servidores de um serviço de distribuição de vídeo denominada DynaVideo. Uma das principais características deste serviço é a capacidade de ajustar sua configuração em conseqüência de variações na demanda. Como os servidores DynaVideo podem replicar-se e são implementados como código móvel, seu posicionamento pode ser otimizado para atender uma dada demanda e, como conseqüência, a configuração do serviço pode ser ajustada para minimizar o consumo de recursos necessários para distribuir vídeo para seus usuários. A principal contribuição desta dissertação foi provar a viabilidade do conceito de servidores implementados como agentes móveis Java baseados no ambiente de desenvolvimento de software Aglet.
A linguagem de especificação algébrica CASL e o Tipo de Dados Intervalos
(Universidade Federal do Rio Grande do Norte, 2004-04-16) Lopes, Katiane Ribeiro; Santiago, Regivan Hugo Nunes; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4; http://lattes.cnpq.br/9992509167692509; Campos, Marcília Andrade; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783192D1; Moreira, Anamaria Martins; http://lattes.cnpq.br/5861361541278876
Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]
PUPSI :uma proposta de processo unificado para políticas de segurança da informação
(Universidade Federal do Rio Grande do Norte, 2004-04-30) Anjos, Ivano Miranda dos; Souza Filho, Guido Lemos de; ; http://lattes.cnpq.br/6614550860293610; ; Motta, Gustavo Henrique Matos Bezerra; ; http://lattes.cnpq.br/0702597410295726; Silveira, Glêdson Elias da; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782320H5
() trato com os ativos de informação representa hoje principal fator deteminante para o sucesso e, até mesmo, permanência das organizações no mundo globalizado. () número de incidentes de segurança da informação está crescendo nos últimos anos. A implantação de políticas de segurança da informação que busquem manter os requisitos de segurança dos ativos nos níveis desejados, caracteriza-se como prioridade maior para as organizações. Esta dissertação propõe um processo unificado para elaboração, manutenção e desenvolvimento de políticas de segurança da informação, o Processo Unificado para Políticas de Segurança da informação PUPSI. A elaboração dessa proposta foi iniciada com a construção de uma base de conhecimento fundamentada em documentos e normas oficiais, publicados nas últimas duas décadas, que tratam sobre o tema segurança da informação e políticas de segurança. Trata-se de um modelo elaborado a luz dos documentos pesquisados, que define as políticas de segurança necessárias a serem implantadas em uma organização, seus fluxos de trabalho e identifica uma sequência e hierarquia entre elas, bem como é feito uma modelagem das entidades participantes do processo. Diante da dimensão e complexidade do problema que o modelo trata, o qual envolve todas as políticas ele segurança que uma organização deve possuir, o PUPSI possui uma abordagem interativa e incremental. Esta abordagem foi adquirida com a instanciação do modelo ao RUP - Rational Unified Process. O RUP é uma plataforma para desenvolvimento de software orientado a objeto, da Rational Software (grupo IBM) que utiliza as melhores práticas reconhecidas pelo mercado. O PUPSI herdou do RUP uma estrutura de processo que oferece funcionalidade, capacidade de difusão e compreensão, desempenho e agilidade na readequação do processo, possuindo capacidade de se adequar as mudanças tecnológicas e estruturais do mercado e da organização
Contribuições para verificação automática de applets javacard
(Universidade Federal do Rio Grande do Norte, 2004-10-13) Silva, Antonio Augusto Viana da; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5; ; http://lattes.cnpq.br/3769079916577408; Silva, Ivan Saraiva; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780113E2; Perkusich, Angelo; ; http://lattes.cnpq.br/9439858291700830
O grande crescimento do uso de smart cards (por bancos, companhias de transporte, celulares, etc) trouxe um fato importante, que deve ser considerado: a necessidade de ferramentas que possam ser usadas para veriﬁcar os cartões, para que se possa garantir a corretude de seu software. Como a grande maioria dos cartões desenvolvidos hoje em dia usa a tecnologia JavaCard em sua camada de software, o uso da Java Modeling Language (JML) para especiﬁcar os programas aparece como uma solu¸ao natural. JML é uma linguagem de especiﬁcação formal ligada ao Java. Ela foi inspirada pelas metodologias de Larch e Eiffel, e foi largamente adotada como a linguagem de facto em se tratando da especiﬁcação de qualquer programa relacionado à Java. Várias ferramentas que fazem uso de JML já foram desenvolvidas, cobrindo uma grande gama de funcionalidades, entre elas, a veriﬁcação em tempo de execução e estática. Mas as ferramentas existentes até o momento para a veriﬁcação estática não são totalmente automatizadas, e, aquelas que são, não oferecem um nível adequado de completude e segurança. Nosso objetivo é contribuir com uma série de técnicas, que podem ser usadas para alcançar uma veriﬁcação completamente automática e segura para applets JavaCard. Nesse trabalho nós apresentamos os primeiros passos nessa direção. Com o uso de uma plataforma de software composta pelo Krakatoa, Why e haRVey, nós desenvolvemos um conjunto de técnicas para reduzir o tamanho da teoria necessária para veriﬁcar as especiﬁcações. Tais técnicas deram resultados muito bons, com ganhos de quase 100% em todos os testes que realizamos, e se provou como uma técnica que deve ser sempre considerAda, não somente nesse, mas na maioria dos problemas reais relacionado com veriﬁcação automática
Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web
(Universidade Federal do Rio Grande do Norte, 2005-03-24) Gomes, Italo Herbert Santos e; Souza Filho, Guido Lemos de; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5; ; http://lattes.cnpq.br/6614550860293610; ; Pimentel, Maria da Graça Campos; ; http://lattes.cnpq.br/4962820320879891
Este trabalho apresenta o tVoice, software que manipulando linguagens de marcações e extraindo informações, sendo parte integrante do sistema VoiceProxy, auxilia portadores de necessidades especiais no acesso à Web. Esse sistema é responsável pela recuperação e tratamento dos documentos na Web, realizando a extração de informações textuais contidas nos mesmos, sendo ainda, capaz de gerar ao final, através de técnicas de tradução, um script de áudio, a ser utilizado pelo subsistema de interface do VoiceProxy, o iVoice, no processo de síntese de voz dessas informações para portadores de deficiência visual. Nesta etapa o tVoice, além do tratamento da linguagem de marcação HTML, processa outros dois formatos de documentos, o PDF e o XHTML. Para permitir que, além do iVoice, outros subsistemas de interface possam fazer uso do tVoice, através de acesso remoto, são utilizadas técnicas de distribuição de sistemas, que baseadas no modelo cliente-servidor proporcionam um funcionamento assemelhado a um servidor proxy de tratamento de documentos
Comitês de grupamento aplicados a dados de expressão gênica
(Universidade Federal do Rio Grande do Norte, 2006-01-20) Silva, Shirlly Christiany Macedo; Souto, Marcílio Carlos Pereira de; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032E1; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4759785J3; Canuto, Anne Magaly de Paula; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790093J8; Ludermir, Teresa Bernarda; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781122D6
O principal objetivo deste trabalho é investigar a viabilidade da aplicação de técnicas de combinação de agrupamentos (comitês de agrupamento) a dados de expressão gênica. Mais especiﬁcamente, serão realizados experimentos com três métodos diferentes de comitês de agrupamentos que vêm sendo bastante usados na literatura: matriz de coassociação, rerotulagem e vota¸ao, e comitês baseados em particiona mento de grafo. A entrada para esses métodos de combinação serão as partições geradas por três algoritmos de agrupamento, os quais representam diferentes paradigmas: arquico com ligação k médias, ExpectationMaximization (EM), e o algoritmo hierárquico com ligação média. Todos esse algoritmos vêm sendo amplamente utilizados no contexto de dados de expressão gênica. De forma geral, os resultados obtidos indicam um desempenho superior das técnicas de comitês em relação as técnicas de agrupamento individuais, principalmente no contexto de comitês heterogêneos, isto é, comitês formados por partições base geradas por diferentes algoritmos de agrupamentos
Um estudo algorítmico para otimização do plano de tratamento da radioterapia conformal
(Universidade Federal do Rio Grande do Norte, 2006-02-16) Araújo, Frederiko Stenio Luís Neves de; Goldbarg, Marco César; Corso, Gilberto; ; http://lattes.cnpq.br/0274040885278760; ; http://lattes.cnpq.br/1371199678541174; ; http://lattes.cnpq.br/2923824257174712; Gouvêa, Elizabeth Ferreira; ; http://lattes.cnpq.br/2888641121265608; Pozo, Aurora Trinidad Ramirez; ; http://lattes.cnpq.br/2815946827655352
O presente trabalho realiza um Estudo Algorítmico para Otimização do Plano de Tratamento da Radioterapia Conformal. Inicialmente são apresentadas: uma visão geral sobre o câncer, o tratamento com radioterapia e noções sobre a interação do feixe de radiações ionizantes com a matéria. Uma proposta para Otimização do Plano de Tratamento Radioterápico é desenvolvida de modo sistemático. É apresentado o paradigma de problemas multicritério, os conceitos de Pareto otimalidade e Pareto Dominância. Um modelo Genérico de Otimização para o Plano de Tratamento Radioterápico é proposto. São construídas suas entradas, é calculada a dose depositada no corpo do paciente através do conceito de matriz de dose, e é apresentada a função objetivo deste modelo. A complexidade dos problemas de otimização do tratamento radioterápico são classificados como de complexidade NP, este resultado justifica o desenvolvimento de métodos heurísticos para a sua resolução. São propostas três metaheurísticas para a Otimização do Plano de Tratamento Radioterápico: MOGA, MOSA e MOTS de acordo como o modelo genérico de otimização proposto. Os projetos desses procedimentos metaheurísticos são devidamente apresentados. Para cada método se faz uma introdução literária, dos seus algoritmos e a da metodologia usada para a afinação dos parâmetros. Os métodos são aplicados a um caso concreto e confrontados através de medidas de performance. Finalmente é analisado a qualidade dos conjuntos de Pareto produzidos por cada método, são exibidas algumas soluções geradas e as respectivas curvas de Pareto associadas
Visual IMML: um perfil UML para a modelagem de interfaces de usuário
(Universidade Federal do Rio Grande do Norte, 2006-02-17) Machado, Thais Lima; Leite, Jair Cavalcanti; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782411P6; ; http://lattes.cnpq.br/8347125047457724; Baranauskas, Maria Cecília Calani; ; http://lattes.cnpq.br/1750385790843118; Moreira, Anamaria Martins; ; http://lattes.cnpq.br/5861361541278876
Os processos de desenvolvimento de software proposto pelas abordagens mais recentes da Engenharia de Software utilizam modelos e a UML foi proposta como a linguagem padrão para a modelagem. A interface de usuário é uma parte importante do software e fundamental para melhorar a usabilidade. Porém a UML padrão não oferece recursos adequados para a modelagem da interface de usuário. Várias propostas vêm surgindo para solucionar esse problema. Alguns autores têm utilizado modelos no desenvolvimento de interface (Desenvolvimento Baseado em Modelos) e várias propostas de extensões da UML têm sido elaboradas. No entanto, nenhuma delas considera a perspectiva teórica proposta pela engenharia semiótica que considera que através do sistema o designer deve comunicar para o usuário o que ele pode fazer e como ele utiliza o próprio sistema. Este trabalho apresenta um Perfil UML que enfatiza os aspectos da perspectiva da engenharia semiótica. Esse Perfil está baseado na IMML que é uma linguagem textual declarativa. A Visual IMML, como é denominada, é uma proposta que vem melhorar o processo de especificação com a IMML através de uma modelagem visual (diagramática). Ela propõe um conjunto de novos elementos de modelagem (estereótipos) elaborados para a especificação e documentação de interfaces de usuário, considerando os aspectos de comunicação, interação e funcionais de forma integrada
Otimização em braquiterapia de alta taxa de dose com algoritmo transgenético
(Universidade Federal do Rio Grande do Norte, 2006-02-20) Jesus, Ricardo Marx Costa Soares de; Goldbarg, Marco César; ; http://lattes.cnpq.br/1371199678541174; ; Gouvêa, Elizabeth Ferreira; ; http://lattes.cnpq.br/2888641121265608; Luna, Henrique Pacca Loureiro; ; http://lattes.cnpq.br/4967240163248619; Arruda, Lucia Valéria Ramos; ; http://lattes.cnpq.br/8616017152145795
Este trabalho aborda o problema de otimização em braquiterapia de alta taxa de dose no tratamento de pacientes com câncer, com vistas à definição do conjunto de tempos de parada. A técnica de solução adotada foi a Transgenética Computacional apoiada pelo método L-BFGS. O algoritmo desenvolvido foi empregado para gerar soluções não denominadas cujas distribuições de dose fossem capazes de eiminar o câncer e ao mesmo tempo preservar as regiões normais
Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC
(Universidade Federal do Rio Grande do Norte, 2006-03-03) Medeiros, Sergio Queiroz de; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5; ; http://lattes.cnpq.br/0310395336626784; Silva, Ivan Saraiva; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780113E2; Barros, Edna Natividade da Silva; ; http://lattes.cnpq.br/6291354144339437
Novos paradigmas de linguagens de programação vêem sendo comumente testados e geralmente são incorporados depois por linguagens de descrição de hardware. Recentemente, a programação orientada a aspectos (POA) provou ser útil na tentativa de melhorar a modularidade de linguagens estruturadas e orientadas a objeto tais como Java, C++ e C. Diante de tal fato, podemos esperar que o uso de POA pode melhorar o entendimento de sistemas hardware que estão sendo projetados, bem como tornar seus componentes mais reusáveis e fáceis de manter. Iremos abordar então o uso de POA em aplicações desenvolvidas utilizando a biblioteca SystemC. Serão apresentados vários exemplos que ilustram o uso de POA juntamente com SystemC, mostrando alternativas e discutindo os seus benefícios
Projeto e implementação de uma plataforma MP-SoC usando SystemC
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Rego, Rodrigo Soares de Lima Sá; Silva, Ivan Saraiva; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780113E2; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4772721P8; Strum, Marius; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787830P2; Netto, Eduardo Bráulio Wanderley; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4798543Y3; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5
Este trabalho apresenta o conceito, desenvolvimento e implementação de uma plataforma MP-SoC, batizada STORM (MP-SoC DirecTory-Based PlatfORM). A plataforma atualmente é composta pelos seguintes módulos: processador SPARC V8, processador GPOP, módulo de Cache, módulo de Memória, módulo de Diretório e dois diferentes modelos de Network-on-Chip, a NoCX4 e a Árvore Obesa. Todos os módulos foram implementados usando a linguagem SystemC, simulados e validados, tanto separadamente quanto em conjunto. A descrição dos módulos é apresentada em detalhes. Para a programação da plataforma usando C foi implementado um montador SPARC, totalmente compatível com o código assembly gerado pelo compilador gcc. Para a programação concorrente foi implementada uma biblioteca de funções para gerenciamento de mutexes, com o devido suporte por parte do montador. São apresentadas 10 simulações do sistema, de complexidade crescente, para validação de todos os conceitos apresentados. As simulações incluem aplicações paralelas reais, como a multiplicação de matrizes, Mergesort, KMP, Estimação de Movimento e DCT 2D
Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Casillo, Leonardo Augusto; Silva, Ivan Saraiva; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780113E2; ; http://lattes.cnpq.br/0989177039598049; Barros, Marcelo Alves; ; http://lattes.cnpq.br/1101332313551029; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5; Netto, Eduardo Bráulio Wanderley; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4798543Y3
A Computação Reconﬁgurável é uma solução intermediária na resolução de problemas complexos, possibilitando combinar a velocidade do hardware com a ﬂexibilidade do software. Uma arquitetura reconﬁgurável possui várias metas, entre estas o aumento de desempenho. Dentre os vários segmentos em relação às arquiteturas reconﬁguráveis, destacam-se os Processadores Reconﬁguráveis. Estes processadores combinam as funções de um microprocessador com uma lógica reconﬁgurável e podem ser adaptados depois do processo de desenvolvimento. Processadores com Conjunto de Instruções Reconﬁguráveis (RISP -Reconﬁgurable Instruction Set Processors) são um subconjunto dos processadores reconﬁguráveis, que visa como meta a reconﬁguração do conjunto de instruções do processador, envolvendo características referentes aos padrões de instruções como formatos, operandos, e operações elementares. Este trabalho possui como objetivo principal o desenvolvimento de um processador RISP, combinando as técnicas de conﬁguração do conjunto de instruções do processador executadas em tempo de desenvolvimento, e de reconﬁguração do mesmo em tempo de execução. O projeto e implementação em VHDL deste processador RISP tem como intuito provar a aplicabilidade e a eﬁciência de dois conceitos: utilizar mais de um conjunto de instrução ﬁxo, com apenas um ativo em determinado momento, e a possibilidade de criar e combinar novas instruções, de modo que o processador passe a reconhecê-las e utilizá-las em tempo real como se estas existissem no conjunto de instrução ﬁxo. A criação e combinação de instruções é realizada mediante uma unidade de reconﬁguração incorporada ao processador. Esta unidade permite que o usuário possa enviar instruções customizadas ao processador para que depois possa utilizá-las como se fossem instruções ﬁxas do processador. Neste trabalho também encontram-se simulações de aplicações envolvendo instruções ﬁxas e customizadas e resultados das comparações entre estas aplicações em relação ao consumo de potência e ao tempo de execução que conﬁrmam a obtenção das metas para as quais o processador foi desenvolvido
Um serviço de certificação digital para plataformas de middleware
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Batista, Caio Sergio de Vasconcelos; Batista, Thais Vasconcelos; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784543T8; ; http://lattes.cnpq.br/2544354970376003; Souza Filho, Guido Lemos de; ; http://lattes.cnpq.br/6614550860293610; Rosa, Nelson Souto; ; http://lattes.cnpq.br/4220236737158909
Atualmente, plataformas de integração de componentes, também chamadas de plataformas de middleware, têm tido um importante papel no suporte ao desenvolvimento de sistemas distribuídos. Em relação a controle de acesso, plataformas de middleware têm utilizado certificados digitais, para verificar a autenticidade de um elemento, em conjunto com controle de acesso baseado em papéis, para identificar quais operações poderão ser acessadas por tal elemento. Apesar dos certificados terem um papel fundamental no suporte a segurança em plataformas de middleware, a maioria delas não define requisitos para obtenção, manutenção, validação e delegação de certificados. Esse trabalho tem como objetivo propor um serviço genérico para certificação digital em plataformas de middleware. Esse serviço deve oferecer flexibilidade através do uso conjunto de certificados de chave pública e certificados de atributos de forma a distinguir a função de autenticação da função de autorização. Os certificados de atributos dão suporte ao controle de acesso baseado em papéis. A flexibilidade também deve ser endereçada através do suporte a delegação. Na implementação para diferentes plataformas de middleware o controle de acesso baseado em certificados deve funcionar de forma transparente para os objetos. De forma a validar o serviço pretende-se implementá-lo e testá-lo no contexto da plataforma de middleware CORBA, amplamente utilizada atualmente
Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Lyra, Aarão; Bedregal, Benjamin René Callejas; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7; ; http://lattes.cnpq.br/2558569782799336; Acióly, Benedito Melo; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5
A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais
Uma abordagem por nuvem de partículas para problemas de otimização combinatória
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Souza, Givanaldo Rocha de; Gouvêa, Elizabeth Ferreira; Goldbarg, Marco César; ; http://lattes.cnpq.br/1371199678541174; ; http://lattes.cnpq.br/2888641121265608; ; http://lattes.cnpq.br/7293405724205132
Os problemas de otimização combinatória têm como objetivo maximizar ou minimizar uma função definida sobre um certo domínio finito. Já as metaheurísticas são procedimentos destinados a encontrar uma boa solução, eventualmente a ótima, consistindo na aplicação de uma heurística subordinada, a qual tem que ser modelada para cada problema específico. Este trabalho apresenta algoritmos baseados na técnica de otimização por nuvem de partículas (metaheurística) para dois problemas de otimização combinatória: o Problema do Caixeiro Viajante e o Problema da Árvore Geradora Mínima Restrita em Grau Multicritério. O primeiro é um problema em que apenas um objetivo é otimizado, enquanto o segundo é um problema que deve lidar com múltiplos objetivos. Os algoritmos propostos são comparados a outras abordagens para o mesmo problema em questão, em termos de qualidade de solução, a fim de verificar a eficiência desses algoritmos
Agraphs: definição, implementação e suas ferramentas
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Sena, Demóstenes Santos de; Moreira, Anamaria Martins; ; http://lattes.cnpq.br/5861361541278876; ; http://lattes.cnpq.br/3949512835562758; Déharbe, David Boris Paul; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4768856U5; Musicante, Martin Alejandro; ; http://lattes.cnpq.br/6034405930958244; Ierusalimschy, Roberto; ; http://lattes.cnpq.br/0427692772445368
Programas manipulam informações. Entretanto, as informações são essencialmente abstratas e precisam ser representadas, normalmente por estruturas de dados, permitindo a sua manipulação. Esse trabalho apresenta os AGraphs, um formato de representação e transferência de dados que usa grafos direcionados tipados que permitem a simulação de hiperarestas e de grafos hierárquicos. Associado ao formato AGraphs existe uma biblioteca de manipulação com uma interface simples de ser usada, mas dependente da linguagem. O formato AGraphs foi usado de maneira ad-hoc como formato de representação em algumas ferramentas desenvolvidas na UFRN, e, com a possibilidade de uso em outras aplicações, tornou-se necessária uma definição precisa e o desenvolvimento de ferramentas de suporte. A definição precisa e as ferramentas foram desenvolvidas e são descritas neste trabalho. Finalizando, comparações do formato AGraphs com outros formatos de representação e transferência de dados (ATerms, GDL, GraphML, GraX, GXL e XML) são realizadas. O principal objetivo destas comparações é obter as características significantes e em que conceitos o formato e a biblioteca AGraphs deve amadurecer
N2N framework: uma plataforma para desenvolvimento de sistemas calaborativos distribuídos
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Burlamaqui, Aquiles Filgueira de Medeiros; Fernandes, Jorge Henrique Cabral; Souza Filho, Guido Lemos de; ; http://lattes.cnpq.br/6614550860293610; ; http://lattes.cnpq.br/7151669913805328; ; http://lattes.cnpq.br/8670475877813913; Ferraz, Carlos André Guimarães; ; http://lattes.cnpq.br/7716805104151473; Silveira, Glêdson Elias da; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782320H5; Campos, André Mauricio Cunha; ; http://lattes.cnpq.br/7154508093406987
O domínio alvo deste trabalho são os sistemas colaborativos distribuídos onde o foco está na troca dê mensagens entre usuários remotamente distribuídos. Nestes sistemas, há a necessidade das mensagens possuírem conteúdo multimídia e poderem ser entregues tanto a um usuário específico quanto a um grupo ou grupos de usuários. O objetivo deste trabalho é desenvolver um framework que facilite: a construção desse tipo de sistymas e diminua o tempo gasto com desenvolvimento através da técnica de reuso. Este trabalho apresenta o N2N Framework - Uma plataforma para desenvolvimento de Sistemas Colaborativos Distribuídos. O Framework foi concebido através da análise do comportamento de aplicações com características de multimídias colaborativas, como ambientes virtuais multi-usuários, chats, enquetes, e torcidas virtuais. O Framework foi implementado usando-se a plataforma Java. O N2N Framework facilita o design e implementação de sistemas colaborativos distribuídos, implementando a entrega das mensagens, e direcionando o desenvolvedor de aplicações para a preocupação com implementação de suas mensagens específicas e o processamento que delas decorre
Especiﬁcação do tipo intervalar parametrizado em CASL
(Universidade Federal do Rio Grande do Norte, 2006-05-19) Melo, Samara Pereira da Costa; Bedregal, Benjamin René Callejas; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7; ; http://lattes.cnpq.br/6933781856093521; Campos, Marcília Andrade; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783192D1; Santiago, Regivan Hugo Nunes; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4; Moreira, Anamaria Martins; ; http://lattes.cnpq.br/5861361541278876
O uso do tipo intervalar em várias áreas favorece a idéia de se ter uma estrutura básica reutilizável, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente é o conjunto de elementos que estão entre dois extremos, sua construção presupõe a noção de ordem, e portanto é razoável que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer é operar com intervalos de objetos de um certo tipo como se opera com esses objetos, então também é razoável querer que as propriedades algébricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamentação teórica para o tipo intervalo parametrizado, ou seja, intervalos cujo parâmetro é generalizado podendo ser, por exemplo, números reais, complexos, etc. A aplicação do intervalo em certas estruturas algébricas nem sempre garante a preservação de suas características, por exemplo, quando se trabalha com intervalos de números reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto não acontece pois os reais satisfazem as propriedades algébricas de corpo, já os intervalos de reais não (por exemplo, não suporta a propriedade distributiva). Para superar esta diﬁculdade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a noção de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generalização da aritmética intervalar propõe a aplicação do construtor intervalar em estruturas algébricas ordenadas e enfraquecidas pela igualdade local, objetivando a manutenção de suas propriedades algébricas. Como os intervalos são importantes em aplicações que trabalhem com dados contínuos, é interessante descrever esta teoria usando uma linguagem de especiﬁcação que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, conﬁável e seguro. Atualmente, as linguagens de especiﬁcações algébricas, que se baseiam em modelos matemáticos, têm sido muito usadas para este proposito. Dentre as várias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Speciﬁcation Language) por conter diversas características relevantes para especiﬁcação do tipo intervalar parametrizado como, por exemplo, admitir parametrização e parcialidade
GeOntoQuery - um mecanismo de busca em bancos de dados geográficos baseado em ontologias
(Universidade Federal do Rio Grande do Norte, 2006-07-13) Viegas, Renata Fernandes; Soares, Valéria Gonçalves; ; http://lattes.cnpq.br/0187018118567986; ; http://lattes.cnpq.br/7784553622336346; Canuto, Anne Magaly de Paula; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790093J8
Sistemas de Informação Geográfica (SIG) são ferramentas computacionais usadas para capturar, armazenar, consultar, analisar e imprimir dados geo-referenciados. Os SIG são sistemas multidisciplinares, ou seja, podem ser utilizados por diferentes comunidades de usuários, cada uma com seus interesses e conhecimentos próprios, Desta forma, diferentes visões de conhecimento sobre uma mesma realidade precisam ser combinadas de modo a atender às necessidades de cada comunidade. Este trabalho apresenta um mecanismo que permite que diferentes comunidades de usuários acessem o mesmo banco de dados geográfico sem ter conhecimento de sua estrutura interna. Utilizamos ontologias geográficas para permitir um conhecimento comum e compartilhado a estes diferentes usuários sobre um domínio específico: os recifes de corais. Usando as descrições das ontologias, que representam o conhecimento de diferentes comunidades, mecanismos são criados para tratar tais diferentes conceitos. Definimos uma camada semântica que faz um mapeamento entre as classes equivalentes das antologias e interage com o banco de dados geográfico, retornando ao usuário as respostas às suas consultas, independente dos termos utilizados

SIGAA

Navegar

Navegando Programa de Pós-Graduação em Sistemas e Computação por Data de Publicação