https://ri.ufs.br/jspui/handle/riufs/193 2026-05-20T20:14:19Z 2026-05-20T20:14:19Z Silva, André Luís Meneses Menezes, Manoel Messias Silva, Leila https://ri.ufs.br/jspui/handle/riufs/1106 2014-09-01T20:40:39Z 2004-05-01T00:00:00Z

Tí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:00Z Benicasa, Alcides Xavier https://ri.ufs.br/jspui/handle/riufs/704 2013-10-22T23:32:49Z 2012-01-01T00:00:00Z

Tí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:00Z