Model-based diagnosis has traditionally operated on hardware systems. However, in most complex systems today, hardware is augmented with software functions that influence the system’s behavior. In this paper hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. Capturing the behavior of software is much more complex than...

This paper presents a new improved genetic multi-objective optimization algorithm for generation dispatch problems aiming to minimize two objectives—cost and emission. The Improved Genetic Algorithm (IGA) equipped with an improved evolutionary direction operator and a migration operation can efficiently search and actively explore solutions. The Multiplier Updating technique is introduced to av...

Previous augmented reality displays have rendered crisp virtual walls and virtual objects with finger-surface reactions through haptics feedback devices. The widely used stiffness (or impedance) methods penalize a user’s intrusion into a virtual surface with a force response dependent on the amount of penetration along the contact normal at the virtual proxy location. We present an alternative ...

Many problems from mass transport can be reformulated as variational problems under a prescribed divergence constraint (static problems) or subject to a time dependent continuity equation which again is a divergence constraint but in time and space. A large class of Mean-Field Games introduced by Lasry and Lions may also be interpreted as a generalisation of the time-dependent optimal transport...

Model-based diagnosis has traditionally operated on hardware systems. However, in most complex systems today, hardware is augmented with software functions that influence the system’s behavior. In this paper hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. Capturing the behavior of software is much more complex than...

tion 6. When we have some estimation errors in the autoPractical problems are dealt with for augmented reality calibration, we may have a different perspective view from when the calibration is done through an auto-calibration. what we intended in the embedding step. In Section 7 we Projective motion of the camera is computed and upgradedto investigate the effect of the estimation errors and no...

Constraint diagrams are a visual notation designed to express logical constraints. Augmenting the diagrams with a reading tree (effectively a partial ordering of quantifiers) ensures that each diagram has a unique semantic interpretation. In this paper, we discuss examples of reasoning rules for augmented constraint diagrams which exhibit interesting properties or difficulties that can arise wh...

We propose a neural network model that accounts for the emergence of the taxonomic constraint in early word learning. Our proposal is based on Mayor and Plunkett (2010)’s neurocomputational model of the taxonomic constraint and overcomes one of its limitations, namely the fact that it considers artificially built, simplified stimuli. In fact, while in the original model the visual stimuli are r...

We develop a new notion of second-order complementarity with respect to the tangent subspace associated to second-order necessary optimality conditions by the introduction of so-called tangent multipliers. We prove that around a local minimizer, a second-order stationarity residual can be driven to zero while controlling the growth of Lagrange multipliers and tangent multipliers, which gives a ...

This paper presents a general model for temporal reasoning that is capable of handling both qualitative and quantitative information. This model allows the representation and processing of many types of constraints discussed in the literature to date, including metric constraints (restricting the distance between time points) and qualitative, disjunctive constraints (specifying the relative pos...