Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Uma abordagem comportamental para inserção de robôs em ambientes culturais

In this work, we propose methodologies and computer tools to insert robots in cultural environments. The basic idea is to have a robot in a real context (a cultural space) that can represent an user connected to the system through Internet (visitor avatar in the real space) and that the robot also have its representation in a Mixed Reality space (robot avatar in the virtual space). In this way, robot and avatar are not simply real and virtual objects. They play a more important role in the scenery, interfering in the process and taking decisions. In order to have this service running, we developed a module composed by a robot, communication tools and ways to provide integration of these with the virtual environment. As welI we implemented a set of behaviors with the purpose of controlling the robot in the real space. We studied available software and hardware tools for the robotics platform used in the experiments, as welI we developed test routines to determine their potentialities. Finally, we studied the behavior-based control model, we planned and implemented alI the necessary behaviors for the robot integration to the real and virtual cultural spaces. Several experiments were conducted, in order to validate the developed methodologies and tools

Saguis (Callithrix jacchus) sob ciclo claro-escuro de 21 h: um modelo de dessincronização forçada em primata diurno

The circadian system consists of multiple oscillators organized hierarchically, with the suprachiasmatic nucleus (SCN) as the master oscillator to mammalians. There are lots of evidences that each SCN cell is an oscillator and that entrainment depends upon coupling degree between them. Knowledge of the mechanism of coupling between the SCN cells is essential for understanding entrainment and expression of circadian rhythms, and thus promote the development of new treatments for circadian rhythmicity disorders, which may cause various diseases. Some authors suggest that the dissociation model of circadian rhythm activity of rats under T22, period near the limit of synchronization, is a good model to induce internal desynchronization, and in this way, enhance knowledge about the coupling mechanism. So, in order to evaluate the pattern of the motor activity circadian rhythm of marmosets, Callithrix jacchus, in light-dark cycles at the lower limit of entrainment, two experiments were conducted: 1) 6 adult females were submitted to the LD symmetric cycles T21, T22 and T21.5 for 60, 35 and 48 days, respectively; 2) 4 male and 4 female adults were subjected to T21 for 24 days followed by 18 days of LL, and then back to T21 for 24 days followed by 14 days of LL. Vocalizations of all animals and motor activity of each one of them were continuously recorded throughout the experiments, but the vocalizations were recorded only in Experiment 1. Under the Ts shorter than 24 h, two simultaneous circadian components appeared in motor activity, one with the same period of LD cycle, named light-entrained component, and the other in free-running, named non-light-entrained component. Both components were displayed for all the animals in T21, five animals (83.3%) in T21.5 and two animals (33.3%) in T22. For vocalizations both components were observed under the three Ts. Due to the different characteristics of these components we suggest that dissociation is result of partial synchronization to the LD cycle, wherein at least one group oscillator is synchronized to the LD by relative coordination and masking processes, while at least another group of oscillators is in free-running, but also under the influence of masking by the LD. As the T21 h was the only cycle able to promote the emergence of both circadian components in circadian rhythms of all Callithrix jacchus, this was then considered the lower entrainment limit of LD cycle promoter of dissociation in circadian rhythmicity of this species, and then suggested as a non-human primate model for forced desynchronization