34 research outputs found

    Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

    Full text link
    We show how to automatically construct a system that satisfies a given logical specification and has an optimal average behavior with respect to a specification with ratio costs. When synthesizing a system from a logical specification, it is often the case that several different systems satisfy the specification. In this case, it is usually not easy for the user to state formally which system she prefers. Prior work proposed to rank the correct systems by adding a quantitative aspect to the specification. A desired preference relation can be expressed with (i) a quantitative language, which is a function assigning a value to every possible behavior of a system, and (ii) an environment model defining the desired optimization criteria of the system, e.g., worst-case or average-case optimal. In this paper, we show how to synthesize a system that is optimal for (i) a quantitative language given by an automaton with a ratio cost function, and (ii) an environment model given by a labeled Markov decision process. The objective of the system is to minimize the expected (ratio) costs. The solution is based on a reduction to Markov Decision Processes with ratio cost functions which do not require that the costs in the denominator are strictly positive. We find an optimal strategy for these using a fractional linear program.Comment: In Proceedings iWIGP 2011, arXiv:1102.374

    Ländliche Räume in NRW - Räume mit Zukunftsperspektiven: Rahmen-Positionspapier

    Get PDF
    Together with four parallel thematically focussed sub-position papers, the framework position paper presented here sets the presentation framework in which the results of the working group "Future perspectives of rural areas in NRW" of the ARL, LAG NRW are presented. The four main topics are "Economy and Work", "Housing and Settlement Development", "Civic Engagement and Volunteering" and "Services of General Interest, Focus: Fire Department/Fire Protection and Health/Care". The framework position paper provides introductory information on the task at hand. It is based on the structural-functional definition of "Types of rural areas" by the Thuenen Institute (Federal Research Institute for Rural Areas, Forests and Fisheries) and describes the working group's self-conception in "dealing" with rural areas. In their great heterogeneity and with regard to their development perspectives, these are seen less as problem areas than as regions of opportunities. A future-oriented approach is linked to this perspective. The framework position paper explains the derivation of the focused priority topics, which are processed in greater detail and on the basis of core-requirements and recommendations for action in the sub-position papers, and condenses the results obtained there in the form of four summarising core claims. The challenges and opportunities for the development of rural areas in NRW on which the framework position paper is based have been derived from current specific rural problems, but above all also from generally valid megatrends which will shape the future and do not only apply to rural areas. These include demographic change, digital transformation, socio-economic and cultural changes in society and work, and changing lifestyles, as well as climate change. Furthermore, the paper emphasises the role of urban development qualities and regional building culture as qualitative location factors not to be neglected in the context of local and regional development. In terms of the heterogenity of rural areas and their initial situations, sustainability means taking up the influences outlined above and developing and providing tailor-made strategies for steering and programmatic approaches to supporting rural development paths. The framework position paper, together with the thematic sub-position papers and the core-requirements and recommendations for action formulated therein, provides a basis for discussion.Das vorgelegte Rahmen-Positionspapier bildet zusammen mit vier parallel erarbeiteten thematisch fokussierten Teil-Positionspapieren den Darstellungsrahmen, in dem die Ergebnisse der Arbeitsgruppe "Zukunftsperspektiven ländlicher Räume in NRW" der LAG NRW der ARL vorgestellt werden. Die vier fokussierten Schwerpunktthemen sind "Wirtschaft und Arbeit", "Wohn- und Siedlungsentwicklung", "Bürgerschaftliches Engagement und Ehrenamt" sowie "Daseinsvorsorge, Fokus: Feuerwehr/Brandschutz und Gesundheit/Pflege". Das Rahmen-Positionspapier gibt einführende Informationen zur gestellten Aufgabe. Es legt den strukturell-funktionalen Definitionsansatz "Typen ländlicher Räume" des Thünen-Institutes (Bundesforschungsinstitut für Ländliche Räume, Wald und Fischerei) für die Arbeit zugrunde und beschreibt das Selbstverständnis der Arbeitsgruppe im "Umgang" mit "ländlichen Räumen": Diese werden in ihrer großen Heterogenität und hinsichtlich ihrer Entwicklungsperspektiven weniger als Problem- als vielmehr als Chancenräume begriffen. Mit dieser Blickrichtung ist eine zukunftsorientierte Herangehensweise verknüpft. Das Rahmen-Positionspapier erläutert die Ableitung der fokussierten Schwerpunktthemen, die mit größerer Detailtiefe und anhand von Kernforderungen und Handlungsempfehlungen in den Teil-Positionspapieren aufbereitet werden, und kondensiert die dort gewonnenen Ergebnisse in Form von vier zusammenfassenden Kernforderungen. Die im Rahmen-Positionspapier zugrunde gelegten Herausforderungen und Chancen für die Entwicklung ländlicher Räume in NRW wurden dabei aus aktuellen spezifischen "ländlichen" Problemlagen, v.a. aber auch aus allgemeingültigen Megatrends abgeleitet, die die Zukunft prägen werden und nicht nur für ländliche Räume gelten. Dazu gehören v.a. der demographische Wandel, die digitale Transformation, sozioökonomische und kulturelle Veränderungen von Gesellschaft und Arbeit und sich wandelnde Lebensstile wie auch der Klimawandel. Darüber hinaus wird im Papier die Rolle von städtebaulichen Qualitäten und regionaler Baukultur als nicht zu vernachlässigende qualitative Standortfaktoren im Kontext von örtlicher und regionaler Entwicklung hervorgehoben. Zukunftsfähigkeit bedeutet, im Sinne der Heterogenität ländlicher Räume und ihrer Ausgangslagen, die skizzierten Einflüsse aufzugreifen und passgenaue Strategien zur Steuerung wie auch programmatische Handlungsansätze zur Unterstützung von ländlichen Entwicklungswegen zu erarbeiten und bereitzuhalten. Das Rahmen-Positionspapier stellt zusammen mit den thematischen Teil-Positionspapieren und den dort formulierten Kernforderungen und Handlungsempfehlungen dafür eine Diskussionsgrundlage dar

    Le programme de l'Unesco sur l'homme et la biosphère

    No full text

    Archives orales de la Convention du patrimoine mondial : entrevues menées avec Bernd von Droste par Christina Cameron et Mechtild Rössler

    Full text link
    Bernd von Droste a étudié la foresterie à l’Université de Göttingen puis à l’Université de Munich, en Allemagne, où il a complété son doctorat en écologie forestière en 1969. Arrivé à l’UNESCO en 1973, il sera directeur de la Division des sciences écologiques et Secrétaire du programme intergouvernemental sur l’Homme et la biosphère (MAB) de 1983 à 1991. Dès 1976, il se porte volontaire afin d’assurer le Secrétariat pour le volet naturel de la Convention du patrimoine mondial. En 1992, il devient le premier directeur du Centre du patrimoine mondial. Après sa retraite en 1999, il a servi en tant que conseiller du Sous-Directeur général de l’UNESCO pour la culture et comme expert indépendant à la Commission européenne. En 2002, il a également reçu le titre de professeur honorifique à l’Université européenne Viadrina de Francfort-sur-l’Oder, où il enseigne toujours. Membre de la Commission mondiale des aires protégées de l’UICN depuis plus de vingt ans, Bernd von Droste a conseillé de nombreux pays et organismes internationaux concernant différents aspects de l’implantation de la Convention du patrimoine mondial. Parmi ses publications, on compte notamment «A Gift from the Past to the Future: Natural and Cultural World Heritage», paru dans Sixty Years of Science at UNESCO: 1945-2005 (UNESCO, 2006) et Cultural Landscapes of Universal Value. Components of a Global Strategy (Fischer Verlag, 1995). Les extraits audio suivants sont issus de deux entrevues menées avec Bernd von Droste par Christina Cameron et Mechtild Rössler en avril 2007 et en février 2008 au siège de l’UNESCO à Paris. Celui-ci y relate son implication et son rôle au sein du Secrétariat de l’UNESCO et sa vision du Centre du patrimoine mondial. Il souligne par ailleurs les inévitables enjeux politiques liés à la Convention, qu’il illustre par de nombreux cas concrets. Finalement, il observe d’un œil critique les défis d’une Liste du patrimoine mondial qui ne cesse de s’allonger et commente la performance des organes consultatifs.1. La Convention du patrimoine mondial ; 1a. Implication et participation de Bernd von Droste au patrimoine mondial ; 1b. Valeur universelle exceptionnelle et liste du patrimoine mondial ; 1c. Article 6 de la Convention : responsabilités des États parties et défis internationaux en matière de protection du patrimoine ; 2. Le Comité du patrimoine mondial ; 3. Les organes consultatifs ; 3a. Désignation des organes consultatifs au sein de la Convention ; 3b. Les performances de l’ICOMOS et de l’UICN ; 4. Les paysages culturels et la formulation des critères naturels et culturels ; 5. Suivi de la gestion des sites du patrimoine mondial (monitoring) ; 6. L’éducation pour le patrimoine mondia
    corecore