Coalgebraic models, Prototyping, and Higher-order programming
Construction and observation are two basic notions in Computer Science corresponding to precise dual mathematical concepts: those of algebra and coalgebra. This paper introduces a simple coalgebraic model for concurrent processes and discusses its animation in the declarative language Charity. It is argued that the ability to reason in an uniform way about data and behaviour, provides an unifying approach to functional prototyping of software speci cations.
Brancalião, Laiany Suganuma, Gonçalves, José, Lima, José, and Duarte, Luís
Prototyping, Low-cost stroboscope, and Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
In the industry is very common the applying of resources and machines for implementation of the processes and creation of the products. For this reason, the measurement and control of such processes are essential to achieve better performance, efficiency, and consequently best quality, as well as, monitor the operation of the equipment, identify failures and ensure the security for the industry and the employees. The measure instruments are the set of tools used with the objective of obtaining data about the particular processes. In general, these devices measure features like pressure, temperature, velocity, humidity, vibration, and are widely applied in machines such as motors, heaters, reactors, refrigerators, air conditioners, compressors, ovens, and other equipment. It’s important to obtain the periodic calibration of these instruments so that the results obtained through them be reliable and accurate .
Meruje, Manuel, Samaila, Musa Gwani, Franqueira, Virginia, Freire, Mario, and Inácio, Pedro R. M.
Internet of Things, Design, Prototyping, IoT hardware development platforms, Arduino, and Raspberry Pi
The dramatic drop in the price of computing hardware, coupled with the recent breakthroughs in embedded systems design that enabled the integration of high-level software and low-level electronics, have created a paradigm shift in embedded systems development. This has led to the development of different varieties of user-friendly Internet of Things (IoT) hardware development platforms for IoT prototyping. The ubiquity of such prototyping platforms has undoubtedly contributed towards the explosive growth of the IoT, which is already seeping into all areas of human endeavor, including transportation, logistics, business, and healthcare. Building IoT projects that can be controlled over the Internet can be challenging, especially for beginners. This chapter discusses the design and development of prototypes for IoT applications with focus on Arduino and Raspberry Pi platforms. The aim is to provide insightful information on best practices for designing and prototyping IoT projects, as well as to serve as step-by-step guidelines for beginners.
Silva, Ana Rita, Santos, Fernando, Espírito Santo, António, Páscoa, J. C., and Fael, Cristina Maria Sena
Renewable Energy, Energy Maximization, Optimization of Integrated Systems, and Prototyping
Currently, the concept of smart cities and renewable energy are more consolidated and developed. With each passing day, new technological advances are emerging within both themes. At the same time, the water sector has becoming increasingly demanding in terms of quality and compliance with all existing legislation. That said, it is understandable that both sectors and their management entities come together in search of more sustainable operations that go against the reduction of greenhouse gas emissions, decentralization of energy production and the improvement of efficiency, quality and use of resources. It is important to understand the synergies between water and energy to contradict what has been said so far about the increasing demand for energy, its exponential trend and the negative repercussions on freshwater resources. As such, this article aims to address the interconnection between both sectors to promote alternative scientific and technological improvements to the management and development of Integrated Water-Energy systems, while studying the dynamics between the theoretical development of the problem and the challenges of prototyping of such complex systems in real and urban context.
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell