Comparison of PBO solvers in a dependency solving domain

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

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

On the Floquet Theory of Delay Differential Equations

We present an analytical approach to deal with nonlinear delay differential equations close to instabilities of time periodic reference states. To this end we start with approximately determining such reference states by extending the Poincar'e Lindstedt and the Shohat expansions which were originally developed for ordinary differential equations. Then we systematically elaborate a linear stability analysis around a time periodic reference state. This allows to approximately calculate the Floquet eigenvalues and their corresponding eigensolutions by using matrix valued continued fractions

Verification of Item Usage Rules in Product Configuration

In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and analyze IURs manually. In this paper we present an automated approach for verifying IURs, which guarantees the presence of exactly one item from a predefined set in each product, as well as that an IUR can be reformulated without changing the set of products for which the item was included

Spatiotemporal communication with synchronized optical chaos

We propose a model system that allows communication of spatiotemporal information using an optical chaotic carrier waveform. The system is based on broad-area nonlinear optical ring cavities, which exhibit spatiotemporal chaos in a wide parameter range. Message recovery is possible through chaotic synchronization between transmitter and receiver. Numerical simulations demonstrate the feasibility of the proposed scheme, and the benefit of the parallelism of information transfer with optical wavefronts.Comment: 4 pages, 5 figure

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.Comment: 10 pages, 2 figures, 2 tables. To be published in 21st International Conference on Principles and Practice of Constraint Programming 201

Experimental observation of spatial antibunching of photons

We report an interference experiment that shows transverse spatial antibunching of photons. Using collinear parametric down-conversion in a Young-type fourth-order interference setup we show interference patterns that violate the classical Schwarz inequality and should not exist at all in a classical description.Comment: 4 pages, 7 figure

Frequency selection by soliton excitation in nondegenerate intracavity downconversion

We show that soliton excitation in intracavity downconversion naturally selects a strictly defined frequency difference between the signal and idler fields. In particular, this phenomenon implies that if the signal has smaller losses than the idler then its frequency is pulled away from the cavity resonance and the idler frequency is pulled towards the resonance and {\em vice versa}. The frequency selection is shown to be closely linked with the relative energy balance between the idler and signal fields.Comment: 5 pages, 3 figures. To appear in Phys Rev Let

Generation of spatial antibunching with free propagating twin beams

We propose and implement a novel method to produce a spatial anti-bunched field with free propagating twin beams from spontaneous parametric down-conversion. The method consists in changing the spatial propagation by manipulating the transverse degrees of freedom through reflections of one of the twin beams. Our method use reflective elements eliminating losses from absorption by the objects inserted in the beams.Comment: Submitted for publication in Phys. Rev.

Phase-Locked Spatial Domains and Bloch Domain Walls in Type-II Optical Parametric Oscillators

We study the role of transverse spatial degrees of freedom in the dynamics of signal-idler phase locked states in type-II Optical Parametric Oscillators. Phase locking stems from signal-idler polarization coupling which arises if the cavity birefringence and/or dichroism is not matched to the nonlinear crystal birefringence. Spontaneous Bloch domain wall formation is theoretically predicted and numerically studied. Bloch walls connect, by means of a polarization transformation, homogeneous regions of self-phase locked solutions. The parameter range for their existence is analytically found. The polarization properties and the dynamics of walls in one- and two transverse spatial dimensions is explained. Transition from Bloch to Ising walls is characterized, the control parameter being the linear coupling strength. Wall dynamics governs spatiotemporal dynamical states of the system, which include transient curvature driven domain growth, persistent dynamics dominated by spiraling defects for Bloch walls, and labyrinthine pattern formation for Ising walls.Comment: 27 pages, 16 figure