DoMAIns: Domain-based Modeling for Ambient Intelligence

Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households, causing an ever-increasing users’ awareness of the capabilities of such innovative environments. To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification. Several research efforts have already addressed the design of expressive modeling tools, mostly based on Semantic Web technologies, as well as of suitable platforms for adding interoperation and rule-based intelligence to home environments. This paper proposes a new modeling methodology designed to fit the different phases of Intelligent Environments design, with a particular focus on validation and verification of the whole system. Carefully designed separation of modeled entities permits to exploit the DoMAIns framework during all phases of the environment design, from early abstract conception to the final in-field deployment. The DoMAIns design methodology is applied to a sample use case that involves comprehensive modeling and simulation of a Bank Security Booth, including the environment, the control algorithms, the automation devices and the user. Results show that the approach is feasible and that can easily handle different types of environment modeling, required in the different design phases, and for each of them it may support simulation, emulation, or other verification techniques

La descrizione del mondo. Reportage immaginari dalla città asiatica

Il volume elettronico raccoglie una selezione dei "reportage immaginari" elaborati negli anni 2011/12 e 2012/13 dagli studenti dell'atelier storia/progetto del Politecnico di Torino "Progettare la città asiatica", diretto da Michele Bonino e Filippo De Pieri. Con un'introduzione dei due curator

Review on the leveraging of design information in 3D CAD models for subassemblies identification

In industrial manufacturing, both in the design and the production phase, the management of modern mechanical assemblies is becoming demanding due to their increasing complexity. The use of stable subassemblies concept constitutes a better alternative, which allows to independently treat smaller groups of the assembly's parts, also to achieve a parallel production. At this regard, several methods for automatic subassemblies identifi-cation, starting from the assembly CAD model, have been provided. However, most of the methodologies proposed rely on human intervention, especially in the model processing to make available essential data, while other details are ignored. After giving the definition of stable subassembly, this paper focuses on the application of stable subassemblies identification to industrial CAD models and highlights the issues arising. With the aim of ensuring a reliable CAD model analysis, starting point of the identification, the possible real engineering situations, both related to assembling methods and modelling techniques, are presented. Ap-proaches to algorithmically address them are then described, with the help of two examples of mechanical assemblies

SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

Adsorption Properties of Ce5(BDC)7.5(DMF)4 MOF

In this article we report on the spectroscopic and adsorptive studies done on Ce(III)-based MOF possessing, upon desolvation, open metal sites, and a discrete surface area. The Ce-based MOF was synthesized from terephthalic acid linker (H2BDC) and Ce3+ cations by the classical solvothermal method. Preliminary powder X-ray diffraction analysis showed that the obtained materials corresponded to the ones reported by other authors. Spectroscopic techniques, such as XAS and in situ FTIR with probe molecules were used. In situ FTIR spectroscopy confirmed the successful removal of DMF molecules within the pore system at temperatures above 250 \ub0C. Moreover, the use of CO as a probe molecule evidenced the presence of a Ce3+ open metal sites. Detailed volumetric and calorimetric CO2 adsorption studies are also reported