DSpace Communidade:https://ri.ufs.br/jspui/handle/riufs/1922026-04-06T10:58:25Z2026-04-06T10:58:25ZImplementando uma estratégia de redução para o contexto de Sistemas Embarcados usando CafeOBJSilva, André Luís MenesesMenezes, Manoel MessiasSilva, Leilahttps://ri.ufs.br/jspui/handle/riufs/11072014-09-01T20:38:38Z2004-01-01T00:00:00ZTítulo: Implementando uma estratégia de redução para o contexto de Sistemas Embarcados usando CafeOBJ
Autor(es): Silva, André Luís Meneses; Menezes, Manoel Messias; Silva, Leila
Abstract: The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original description of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how the rewriting system CafeOBJ can be used to automatically prove the partitioning rules, as well as to implement the reduction strategy that guides the application of these rules. In this way,
rewriting systems can be regarded as supporting tools for the construction of
partitioning environments, whose emphasis is correctness. _________________________________________________________________________________________ RESUMO: Este artigo insere-se no âmbito da verificação formal do particionamento de sistemas em componentes de hardware e software. A abordagem adotada usa occam como linguagem de especificação e raciocínio. A descrição do sistema particionado é derivada da descrição original do sistema, mediante o emprego de regras de transformação, estas
provadas usando-se as leis básicas de occam. O objetivo principal deste trabalho é explorar o uso do sistema de reescrita CafeOBJ na mecanização das provas das regras para o particionamento, bem como da estratégia de redução que gera a aplicação destas regras. Desta forma, sistemas de
reescrita podem ser considerados ferramentas de suporte para a construção de um ambiente para o particionamento, cuja ênfase é o rigor formal.2004-01-01T00:00:00ZUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningSilva, André Luís MenesesMenezes, Manoel MessiasSilva, Leilahttps://ri.ufs.br/jspui/handle/riufs/11062014-09-01T20:40:39Z2004-05-01T00:00:00ZTítulo: Using CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioning
Autor(es): Silva, André Luís Meneses; Menezes, Manoel Messias; Silva, Leila
Abstract: The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original de- scription of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how the rewriting system CafeOBJ can be used to automatically prove the partitioning rules, as well as to implement the reduction strategy that guides the application of these rules. In this way, rewriting systems can be regarded as supporting tools for the construction of partitioning environments, whose emphasis is correctness.2004-05-01T00:00:00ZNavegação autônoma de robôs baseada em técnicas de mapeamento e aprendizagem de máquinaBenicasa, Alcides Xavierhttps://ri.ufs.br/jspui/handle/riufs/7042013-10-22T23:32:49Z2012-01-01T00:00:00ZTítulo: Navegação autônoma de robôs baseada em técnicas de mapeamento e aprendizagem de máquina
Autor(es): Benicasa, Alcides Xavier
Abstract: Este artigo tem como objetivo principal apresentar um método de navegação autônoma para robôs móveis utilizando uma arquitetura híbrida, composta por técnicas probabilísticas de mapeamento e aprendizado por reforço. O robô deverá aprender inicialmente os limites do ambiente e como se locomover de forma inteligente entre pontos distintos. Para a simulação do ambiente foram utilizados os softwares Player/Stage, que tornaram possível verificar o comportamento do robô móvel através do mapa utilizado. O método de mapeamento utilizado para a representação do ambiente foi baseado em grade de ocupação que, a seguir, foi utilizado para delimitar o ambiente no processo de aprendizado por reforço. As técnicas de aprendizado Q-Learning e R-Learning foram implementadas e comparadas. Os métodos demonstraram a capacidade de aprendizado pelo robô de forma a cumprir com sucesso os objetivos deste trabalho._____________________________________________________________________________________________ ABSTRACT: This article presents a method of autonomous navigation for mobile robots using a
hybrid architecture, composed of mapping and probabilistic techniques of reinforcement learning
(RL). The robot must first learn the limits of the environment and how to move intelligently between
distinct points. For the simulation environment we used the software Player and Stage, which made
it possible to verify the behavior of the mobile robot used across the map. The mapping method used
for the representation of the environment was based on grade of occupation, then was used to define
the environment in the process of reinforcement learning. The both learning techniques Q-Learning
and R-Learning have been implemented and compared. The methods demonstrated the ability of
learning by the robot in order to successfully accomplish the goals of this work.2012-01-01T00:00:00ZModelo de sistema fuzzy para apoio ao processo de decisão sobre áreas de pesquisaSantos, Jessica da SilvaBenicasa, Alcides Xavierhttps://ri.ufs.br/jspui/handle/riufs/7032013-09-04T05:00:10Z2012-10-01T00:00:00ZTítulo: Modelo de sistema fuzzy para apoio ao processo de decisão sobre áreas de pesquisa
Autor(es): Santos, Jessica da Silva; Benicasa, Alcides Xavier
Abstract: Este artigo objetiva o desenvolvimento de um
modelo a ser utilizado como ferramenta de apoio ao processo de decisão sobre áreas de pesquisa para a elaboração de trabalhos
de conclusão de curso, utilizar a interdisciplinaridade e o censo comum para a análise do aproveitamento de disciplinas e,
finalmente, fornecer resultados adequados a perfis específicos usando como alicerce a lógica Fuzzy. Para desenvolvimento
e validação do sistema proposto utilizamos como alimentação dados de egressos do curso de Sistemas de Informação, porém o modelo proposto pode ser direcionado a qualquer área de domínio.2012-10-01T00:00:00Z