https://ri.ufs.br/jspui/handle/riufs/196 Mon, 06 Apr 2026 11:52:44 GMT 2026-04-06T11:52:44Z https://ri.ufs.br/jspui/handle/riufs/1107 Tí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. Thu, 01 Jan 2004 00:00:00 GMT https://ri.ufs.br/jspui/handle/riufs/1107 2004-01-01T00:00:00Z https://ri.ufs.br/jspui/handle/riufs/703 Tí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. Mon, 01 Oct 2012 00:00:00 GMT https://ri.ufs.br/jspui/handle/riufs/703 2012-10-01T00:00:00Z https://ri.ufs.br/jspui/handle/riufs/702 Título: Proposta de modelo para o desenvolvimento de interface de controle manual em ambiente de simulação utilizando os softwares Player e Stage Autor(es): Almeida, Thiago da Silva; Vasconcelos, Nathanael Oliveira; Fonseca, Fabricio de Oliveira; Benicasa, Alcides Xavier Abstract: Este trabalho tem como principal objetivo apresentar todas as etapas necessárias para o controle da navegação de um robô inserido em um mundo criado a partir de um ambiente de simulação. Para isso foi necessário realizar estudos teóricos relacionados à pesquisa, importância e funcionamento do ambiente de simulação escolhido. Sendo finalizado com desenvolvimento do software cuja navegação é controlada manualmente através de botões desenvolvidos em uma interface gráfica. Mon, 01 Oct 2012 00:00:00 GMT https://ri.ufs.br/jspui/handle/riufs/702 2012-10-01T00:00:00Z https://ri.ufs.br/jspui/handle/riufs/701 Título: Inteligência artifical aplicada à navegação autônoma de robôs Autor(es): Almeida, Thiago da Silva; Vasconcelos, Nathanael Oliveira; Fonseca, Fabricio de Oliveira; Benicasa, Alcides Xavier Abstract: Este artigo possui como objeto apresentar o trabalho voltado ao desenvolvimento e utilização de algoritmos inteligentes para o controle da navegação do robô. O principal objetivo foi desenvolver mecanismos capazes de guiar o robô, partindo de dois pontos previamente definidos, sendo o primeiro a posição inicial de partida do robô e, o segundo, o local para o qual o robô deverá se deslocar, considerando para isso um ambiente complexo, composto de várias salas. Os métodos inteligentes implementados para a navegação serão validados e comparados ao final. Mon, 01 Oct 2012 00:00:00 GMT https://ri.ufs.br/jspui/handle/riufs/701 2012-10-01T00:00:00Z