Third Party Access pricing to the network, secondary capacity market and economic optimum : the case of natural gas

The gas deregulation process implies crucial choices concerning access to transportation networks. These choices deal with the nature, the structure and the level of access fees. This paper proposes an evaluation of different systems implemented both in Europe and North America, in relation to normative pricing references. The rules according to which shippers can buy or sell capacity represent another kind of choice that Regulators have to make. This paper proposes a simple model which demonstrates that secondary market prices should not be subject to a cap and emphasizes the need of a 'use-it-or-lose-it' rule on this market.DEREGLEMENTATION; INVESTISSEMENT; OPTION REELLE; FINANCEMENT OPTIMAL; PRIX DE REVIENT; ELECTRICITE

Les enjeux du transport pour le gaz et l'électricité : la fixation des charges d'accès

ATR ; GAZ NATUREL ; ELECTRICITE

Verifying Monadic Second-Order Properties of Graph Programs

The core challenge in a Hoare- or Dijkstra-style proof system for graph programs is in defining a weakest liberal precondition construction with respect to a rule and a postcondition. Previous work addressing this has focused on assertion languages for first-order properties, which are unable to express important global properties of graphs such as acyclicity, connectedness, or existence of paths. In this paper, we extend the nested graph conditions of Habel, Pennemann, and Rensink to make them equivalently expressive to monadic second-order logic on graphs. We present a weakest liberal precondition construction for these assertions, and demonstrate its use in verifying non-local correctness specifications of graph programs in the sense of Habel et al.Comment: Extended version of a paper to appear at ICGT 201

L'énergie en sursis : scénarios 1985-2000

294 p., tabl., fig.Fruit d'une collaboration internationale exemplaire, ce rapport, publié sous les auspices du Massachusetts Institute of Technology, résume toute une série d'études sur la crise de l'énergie dans le monde non communiste. Une cinquantaine d'experts, détachés d'institutions diverses appartenant à douze pays industrialisés et à trois pays producteurs de pétrole (Iran, Mexique, Venezuela), ont examiné tous les problèmes touchant à l'énergie, au cours de séances de travail réparties sur plus de deux années. Le résultat est donc, d'abord, un vaste tableau d'ensemble de l'état présent de l'exploitation des diverses sources d'énergie commerciales ; ensuite, en utilisant la méthode des scénarios, les auteurs ont établi la liste de plusieurs avenirs possibles. Il en ressort que, dans le meilleur des cas ― aucune des hypothèses ne prenant en compte l'éventualité de guerres ou de révolutions ― la production de pétrole commencera à décliner dès 1985. Il n'est pas exclu que ce déclin se produise encore plus tôt. Le « sursis » que nous sommes en train de vivre sera bref. Nous sommes au moment des choix décisifs. Il est évident que la crise ne se manifeste pas de la même manière selon que les divers pays touchés appartiennent au bloc communiste, aux pays producteurs, aux pays occidentaux ou aux pays en développement. Mais, d'ores et déjà, le système énergétique mondial est entré dans une phase de transition et les décisions qu'impose l'avenir immédiat sont urgentes autant que délicates. Quelles seront en effet les énergies qui remplaceront le pétrole ? Le nucléaire, le charbon, le solaire, l'hydro-électricité ? Une combinaison de ces diverses énergies ? Et dans quelles proportions ? Le cri d'alarme que lance le WAES doit nous faire comprendre que l'avenir n'est pas tracé et que les surprises qu'il nous réserve ne seront pas forcément agréables. Pour préparer les mutations structurelles dont il est urgent d'esquisser le cadre, l'analyse et la réflexion qu'il nous propose se révèlent indispensables