A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Reducing the gap between mobile and intelligent software agents

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an appropriate inference engine of small size to reduce migration costs. The main goal is combine two lines of agent research, First, the engineering oriented approach on mobile agent architectures, and, second, the AI related approach on inference engines driven by rules expressed in a restricted subset of first-order predicate logic (FOPL). In addition to size reduction, the main functions of this type of engine were isolated, generalized and implemented as dynamic components, making possible not only their migration with the agent, but also their dynamic migration and loading on demand. A set of classes for representing and exchanging knowledge between rule-based systems was also proposed.

Power Electronics course: Analysis and evaluation of the educational software and the environment learning

This paper presents the analysis and evaluation of the Power Electronics course at So Paulo State University-UNESP-Campus of Ilha Solteira(SP)-Brazil, which includes the usage of interactive Java simulations tools and an educational software to aid the teaching of power electronic converters. This platform serves as an oriented course for the lectures and supplementary support for laboratory experiments in the power electronics courses. The simulation tools provide an interactive and dynamic way to visualize the power electronics converters behavior together with the educational software, which contemplates the theory and a list of subjects for circuit simulations. In order to verify the performance and the effectiveness of the proposed interactive educational platform, it is presented a statistical analysis considering the last three years. © 2011 IEEE.

TAO - A software platform for autonomous mobile robots

To date, different techniques of navigation for mobile robots have been developed. However, the experimentation of these techniques is not a trivial task because usually it is not possible to reuse the developed control software due to system incompabilities. This paper proposes a software platform that provides means for creating reusable software modules through the standardization of software interfaces, which represent the various robot modules. © 2012 ICROS.

Software de rastreamento de embarcações e plataforma eletrônica para ensaios hidrodinâmicos em túnel de vento

Pós-graduação em Engenharia Elétrica - FEIS

Utilizando o software GeoGebra como recurso didático para o ensino do movimento oscilatório de pêndulos

Pós-graduação em Educação para a Ciência - FC

Desenvolvimento de software aplicativo para controle de custeios por atividades identificáveis nos processos de fabricação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Software: o esquema de uma ferramenta de análise ergonômica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Avaliação da ferramenta de visualização de software SoftVisOAH como apoio à depuração de programas: um experimento controlado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

SW-V: modelo de streaming de software baseado em técnicas de virtualização e transporte peer-to-peer

Pós-graduação em Ciência da Computação - IBILCE

Uma abordagem pedagógica baseada na análise de modelos para alunos de biologia: qual o papel do software?

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Software em língua portuguesa/Libras com tecnologia de realidade aumentada: ensinando palavras para alunos com surdez

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Gerenciamento integrado de rede local com software livre

Pós-graduação em Engenharia Elétrica - FEIS

Mapeamento de ontologias empresariais para modelos de processos de negócio em BPMN, com aplicação em processos de software

Pós-graduação em Ciência da Computação - IBILCE

Um estudo de retas do plano e uma abordagem para o ensino médio com o software GeoGebra

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)