2 resultados para systèmes de transitions bien structurés
em Greenwich Academic Literature Archive - UK
Resumo:
This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.
Resumo:
Ce chapitre s’intéresse à plusieurs pays de l’UE et souligne les principaux aspects de leur cadre institutionnel respectif concernant les activités d’appro-visionnement en eau et d’assainissement. Il fournit également des exemples de cas où la participation du secteur privé dans le domaine de l’eau a posé un pro-blème, et d’autres où le secteur public est en charge du réseau de distribution. Le choix des pays évoqués vise à présenter diverses expériences et divers contextes géopolitiques, de l’Europe méditerranéenne à l’Europe du Nord en passant par les pays d’Europe centrale et orientale. En outre, les pays choisis comptent à la fois d’anciens membres de l’Europe des 15 et des membres plus récents. La dernière partie du chapitre traite de l’infuence de la législation européenne sur la gestion et la fourniture de services de distribution en eau. [Introductory paragraph to paper - see Additional Information].