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

Optimum feedback patterns in multivariable control systems

The following problem is considered: 'Given a multivariable system with nl inputs and r outputs and an external matrix whose non-negative (i, j)th element represents the cost of setting LIP a feedback link from the, jth output to the ith input, find a set of feedback links with minimum total cost, which does not give rise to fixed modes'. Utilizing the graph-theoretic churiicterization of structurally fixed modes, the problem is decomposed into two subproblems. which are then solved by using concepts and results from network theory. A combination of the optimum solutions of the subproblems provides a suboptimal solution to the original problem. © 1989 Taylor & Francis Group, LLC

Water Stress Strengthens Mutualism Among Ants, Trees, and Scale Insects

Abiotic environmental variables strongly affect the outcomes of species interactions. For example, mutualistic interactions between species are often stronger when resources are limited. The effect might be indirect: water stress on plants can lead to carbon stress, which could alter carbon-mediated plant mutualisms. In mutualistic ant–plant symbioses, plants host ant colonies that defend them against herbivores. Here we show that the partners\u27 investments in a widespread ant–plant symbiosis increase with water stress across 26 sites along a Mesoamerican precipitation gradient. At lower precipitation levels, Cordia alliodora trees invest more carbon in Azteca ants via phloem-feeding scale insects that provide the ants with sugars, and the ants provide better defense of the carbon-producing leaves. Under water stress, the trees have smaller carbon pools. A model of the carbon trade-offs for the mutualistic partners shows that the observed strategies can arise from the carbon costs of rare but extreme events of herbivory in the rainy season. Thus, water limitation, together with the risk of herbivory, increases the strength of a carbon-based mutualism

Dynamic phase transition properties and hysteretic behavior of a ferrimagnetic core-shell nanoparticle in the presence of a time dependent magnetic field

We have presented dynamic phase transition features and stationary-state behavior of a ferrimagnetic small nanoparticle system with a core-shell structure. By means of detailed Monte Carlo simulations, a complete picture of the phase diagrams and magnetization profiles have been presented and the conditions for the occurrence of a compensation point $T_{comp}$ in the system have been investigated. According to N\'{e}el nomenclature, the magnetization curves of the particle have been found to obey P-type, N-type and Q-type classification schemes under certain conditions. Much effort has been devoted to investigation of hysteretic response of the particle and we observed the existence of triple hysteresis loop behavior which originates from the existence of a weak ferromagnetic core coupling $J_{c}/J_{sh}$, as well as a strong antiferromagnetic interface exchange interaction $J_{int}/J_{sh}$. Most of the calculations have been performed for a particle in the presence of oscillating fields of very high frequencies and high amplitudes in comparison with exchange interactions which resembles a magnetic system under the influence of ultrafast switching fields. Particular attention has also been paid on the influence of the particle size on the thermal and magnetic properties, as well as magnetic features such as coercivity, remanence and compensation temperature of the particle. We have found that in the presence of ultrafast switching fields, the particle may exhibit a dynamic phase transition from paramagnetic to a dynamically ordered phase with increasing ferromagnetic shell thickness.Comment: 12 pages, 12 figure

Under the influence::Using natural language in interactive storytelling

Interacting in natural language with virtual actors is an important aspect of the development of future Interactive Storytelling systems. We describe a paradigm for speech interfaces in interactive storytelling based on the notion of influence. In this paradigm, the user is mainly a spectator who is however able to interfere with the course of action by issuing advice to the characters. This is achieved by recognising corresponding speech acts and mapping them to the plans which implement characters' behaviours in the story. We discuss some examples based on a preliminary, yet fully implemented, prototype

Pruning Edge Research with Latency Shears

Edge computing has gained attention from both academia and industry by pursuing two significant challenges: 1) moving latency critical services closer to the users, 2) saving network bandwidth by aggregating large flows before sending them to the cloud. While the rationale appeared sound at its inception almost a decade ago, several current trends are impacting it. Clouds have spread geographically reducing end-user latency, mobile phones? computing capabilities are improving, and network bandwidth at the core keeps increasing. In this paper, we scrutinize edge computing, examining its outlook and future in the context of these trends. We perform extensive client-to-cloud measurements using RIPE Atlas, and show that latency reduction as motivation for edge is not as persuasive as once believed; for most applications the cloud is already 'close enough' for majority of the world's population. This implies that edge computing may only be applicable for certain application niches, as opposed to a general-purpose solution.Peer reviewe

Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning

Programming goal-oriented behavior in collective adaptive systems is complex, requires high effort, and is failure-prone. If the system's user wants to deploy it in a real-world environment, hurdles get even higher: Programs urgently require to be situation-aware. With our framework Maple, we previously presented an approach for easing the act of programming such systems on the level of particular robot capabilities. In this paper, we extend our approach for ensemble programming with the possibility to address virtual swarm capabilities encapsulating collective behavior to whole groups of agents. By using the respective concepts in an extended version of hierarchical task networks and by adapting our self-organization mechanisms for executing plans resulting thereof, we can achieve that all agents, any agent, any other set of agents, or a swarm of agents execute (swarm) capabilities. Moreover, we extend the possibilities of expressing situation awareness during planning by introducing planning variables that can get modified at design-time or run-time as needed. We illustrate the possibilities with examples each. Further, we provide a graphical front-end offering the possibility to generate mission-specific problem domain descriptions for ensembles including a lightweight simulation for validating plans

A survey of localization in wireless sensor network

Localization is one of the key techniques in wireless sensor network. The location estimation methods can be classified into target/source localization and node self-localization. In target localization, we mainly introduce the energy-based method. Then we investigate the node self-localization methods. Since the widespread adoption of the wireless sensor network, the localization methods are different in various applications. And there are several challenges in some special scenarios. In this paper, we present a comprehensive survey of these challenges: localization in non-line-of-sight, node selection criteria for localization in energy-constrained network, scheduling the sensor node to optimize the tradeoff between localization performance and energy consumption, cooperative node localization, and localization algorithm in heterogeneous network. Finally, we introduce the evaluation criteria for localization in wireless sensor network

Dynamic phase transition of the Blume-Capel model in an oscillating magnetic field

We employ numerical simulations and finite-size scaling techniques to investigate the properties of the dynamic phase transition that is encountered in the Blume-Capel model subjected to a periodically oscillating magnetic field. We mainly focus on the study of the two-dimensional system for various values of the crystal-field coupling in the second-order transition regime. Our results indicate that the present non-equilibrium phase transition belongs to the universality class of the equilibrium Ising model and allow us to construct a dynamic phase diagram, in analogy to the equilibrium case, at least for the range of parameters considered. Finally, we present some complementary results for the three-dimensional model, where again the obtained estimates for the critical exponents fall into the universality class of the corresponding three-dimensional equilibrium Ising ferromagnet.Comment: 27 pages, 1 table, 15 figures, minor corrections (updated figures 3 and 4