LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Todo Brasileiro merece nível A : habitação multifamiliar para o programa minha casa minha vida energeticamente eficiente

This thesis describes the theoretical, methodological and programmatic proposal for a multifamily residential building located in the urban expansion area of Parnamirim/RN, inserted in the program Minha Casa Minha Vida and level of energy efficiency "A", as the RegulamentoTécnico de Qualidade (RTQ-R/INMETRO) for residential buildings. The development project initially consists of procedures as the study of theoretical, architectural programming and cases studies. With the delimitation of a field solution, situated between the reference and the context, proposals are studied to determine the solution and architectural detailing of the proposal. The architectural program was built based on the method of Problem Seeking (Peña and Parshall, 2001) and research has highlighted aspects of reducing the environmental impact and of the program Minha Casa Minha Vida , among others. The design process was characterized by the incorporation of aspects reviewed and programmed, seeking them compatible and have an economically viable building, socio-spatial quality and energy efficient. The results show that it is possible to obtain a building that meets the constraints of the program that provides housing and energy efficiency level A - and many other environmental qualities and constructive, particularly through architectural design

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

Acelerando algoritmos de baixo nível em visão robótica com hardware reconfigurável

A challenge that remains in the robotics field is how to make a robot to react in real time to visual stimulus. Traditional computer vision algorithms used to overcome this problem are still very expensive taking too long when using common computer processors. Very simple algorithms like image filtering or even mathematical morphology operations may take too long. Researchers have implemented image processing algorithms in high parallelism hardware devices in order to cut down the time spent in the algorithms processing, with good results. By using hardware implemented image processing techniques and a platform oriented system that uses the Nios II Processor we propose an approach that uses the hardware processing and event based programming to simplify the vision based systems while at the same time accelerating some parts of the used algorithms

Um Framework para criação de jogos voltados para o ensino de lógica de programação

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Todo Brasileiro merece nível A : habitação multifamiliar para o programa minha casa minha vida energeticamente eficiente

This thesis describes the theoretical, methodological and programmatic proposal for a multifamily residential building located in the urban expansion area of Parnamirim/RN, inserted in the program Minha Casa Minha Vida and level of energy efficiency "A", as the RegulamentoTécnico de Qualidade (RTQ-R/INMETRO) for residential buildings. The development project initially consists of procedures as the study of theoretical, architectural programming and cases studies. With the delimitation of a field solution, situated between the reference and the context, proposals are studied to determine the solution and architectural detailing of the proposal. The architectural program was built based on the method of Problem Seeking (Peña and Parshall, 2001) and research has highlighted aspects of reducing the environmental impact and of the program Minha Casa Minha Vida , among others. The design process was characterized by the incorporation of aspects reviewed and programmed, seeking them compatible and have an economically viable building, socio-spatial quality and energy efficient. The results show that it is possible to obtain a building that meets the constraints of the program that provides housing and energy efficiency level A - and many other environmental qualities and constructive, particularly through architectural design