Partial order and contextual net semantics for atomic and locally atomic CC programs

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

Gestión del boil off gas en la planta de regasificación de Cartagena

Este proyecto trata sobre la gestión del boil-off gas, o BOG (vapor de gas natural que se produce en las instalaciones de gas natural licuado de las plantas de regasificación), generado en la planta de regasificación de Gas Natural Licuado de Cartagena, tanto en las situaciones en las que se opera por debajo del mínimo técnico, como en las cargas y descargas de buques, en las cuales se ha de gestionar una cantidad del boil-off adicional. Para recuperar el boil-off, las plantas cuentan con un relicuador (intercambiador de calor) en el que el BOG es relicuado por el GNL que se envía a los vaporizadores para ser regasificado y emitido a la red. De forma complementaria cuentan también con una antorcha/venteo donde se quema el exceso de boil-off que no puede ser tratado por el relicuador. Se procede a un análisis de la situación actual, y de cómo la baja demanda de regasificación dificulta la gestión del boil-off. Se simula el proceso de relicuación actual en distintas situaciones de operación. Ante la situación de baja demanda, ha aumentado considerablemente el número de días en los que las plantas españolas en general, y la planta de Cartagena en particular, operan por debajo del mínimo técnico, que es el nivel de producción mínimo para recuperar todo el boil-off generado en cualquier situación de operación al tiempo que mantiene en frío todas las instalaciones, y garantiza el 100% de disponibilidad inmediata del resto de los equipos en condiciones de seguridad de funcionamiento estable. Esta situación supone inconvenientes tanto operativos como medioambientales y acarrea mayores costes económicos, a los cuales da solución el presente proyecto, decidiendo qué alternativa técnica es la más adecuada y definiéndola. Abstract This project is about the management of the boil-off gas (BOG), natural vapour gas that is produced in liquefied natural gas (LNG) regasification plants. Specifically, the study is focused on the LNG regasification plant located in Cartagena, when it operates both below the technical minimum level of regasification and in the loading/unloading of LNG carriers, situations when it is needed to handle additional BOG. In order to make the most of BOG, the plants have a re-condenser (heat exchanger). Here, the BOG is re-liquefied by the LNG that is submitted to the vaporizers and delivered to the grid. The plants also have a flare/vent where the excess of BOG that cannot be treated by the re-condenser is burned. An analysis of the current situation of the demand is performed, evaluating how low markets demand for regasification difficult the BOG management. Besides, it is simulated the current re-liquefaction operating in different environments. Due to the reduction of the demand for natural gas, the periods when Spanish LNG regasification plants (and particularly the factory of Cartagena) are operating below the technical minimum level of regasification are more usual. This level is the minimum production to recover all the BOG generated in any operating situation while maintaining cold all facilities, fully guaranteeing the immediate availability from other equipment in a safely and stable operation. This situation carries both operational and environmental drawbacks, and leads to higher economic costs. This project aims to solve this problem, presenting several technical solutions and deciding which is the most appropriate.

Trade-off aproaches for the vibroacoustic analysis of trains

Passengers’ comfort in terms of acoustic noise levels is a key design driver for train design. The problem is especially relevant for high speed trains, where the aerodynamic induced noise is dominant, but it is also important for medium speed trains where the mechanical sources of noise may have more influence. The numerical interior noise prediction inside the train is a very comp lex problem, involving many different parameters: complex geometries and materials, different noise sources, com- plex interactions among those sources, broad range of frequencies where the phenomenon is important, etc. In this paper, the main findings of this work developed at IDR/UPM (Instituto de Microgravedad “Ignacio Da Riva”, Universidad Politécnica de Madrid) are presented, concentrat ing on the different modelling methodologies used for the different frequency ranges of interest, from FEM-BEM models, hybrid FEM-SEA to pure SEA models. The advantages and disadvantages of the different approaches are summarized. Different modelling techniques have also been evaluated and compared, taking into account the various and specific geometrical configurations typical in this type of structures, and the material properties used in the models. The critical configuration of the train inside a tunnel is studied in order to evaluate the external loads due to noise sources of the train. In this work, a SEA-model composed by periodic characteristic sections of a high spee d train is analysed inside a tunnel.

Portugal. In economics, we call it conflict of interest! CEPS Commentary, 12 April 2013

Faced with limited options for coming up with the funds needed to pay off the next instalment on its bailout loan, Portugal is advised in this Commentary by economist Leonor Coutinho to trim the number of public sector employees, in combination with an increase in public sector working hours, among the lowest in Europe. In her view, these measures will have the best long-term implications both in terms of fiscal sustainability and of labour productivity, and may finally allow the country to resume the catching-up process that has been stalled since the start of EMU.

Alkenone data of sediment core GeoB9508-5 from the continental slope off Senegal

In order to investigate a possible link between tropical Northeast (NE) Atlantic sea-surface temperature (SST), Atlantic meridional overturning circulation (AMOC), and drought in the Sahel during the past 44 thousand years (kyr) we used alkenone paleothermometry and d13C of C. wuellerstorfi of a marine sediment core from the continental slope off Senegal. Our data show periods of low SST and reduced AMOC that coincided with drought in the Sahel during North Atlantic Heinrich stadials (HS). The coldest period was HS1 (ca. 15-18 kyr before present, BP) when SST decreased by more than 2°C. Moreover, the SST off Senegal lagged variations in Sahel aridity, which is in agreement with results from a freshwater hosing experiment. We conclude that variations in tropical NE Atlantic SST were not the initial trigger of millennial-scale Sahel droughts of the past 44 kyr. Instead, it is thought that these droughts were induced by substantial coolings of the extratropical North Atlantic.

Report regarding investigation directed to be made by the President in his Executive order of November 27, 1933, approving the Code of fair competition for the motion picture industry.

Mode of access: Internet.

Report to the President by the Emergency Board appointed September 10, 1948, by Executive order 9996 pursuant to section 10 of the Railway labor act as amended, to investigate an unadjusted dispute concerning a grievance involving the Public Belt Railroad Commission for the City of New Orleans and certain of its employees represented by the Brotherhood of Locomotive Firemen and Enginemen and the Brotherhood of Railroad Trainmen. New Orleans, Louisiana, September 18, 1948. No. 65.

Signed: Harry H. Schwartz, chairman, Floyd McGown, A. Langley Coffey.

Report to the President by the Emergency Board appointed June 16, 1945 Pursuant to section 10 of the Railway Labor Act as amended to investigate an unadjusted dispute between the Georgia & Florida Railroad, a carrier, and certain of its employees represented by the Brotherhood of Locomotive Firemen and Enginemen, Order of Railway Conductors of America, and Brotherhood of Railroad Trainmen. Augusta, Ga., July 7, 1945.

Mode of access: Internet.

L. C. printed cards : how to order and use them /

Mode of access: Internet.

Report to the President by the Emergency Board created August 26, 1948 by Executive order 9991 pursuant to section 10 of the Railway labor act, to investigate a dispute between the Pittsburgh and West Virginia Railway Company and certain of its employees represented by the Brotherhood of Railroad Trainmen. Pittsburgh, Pa. Sept. 13, 1948. No. 64.

Signed: John W. Yeager, chairman, John T. McCann, Thomas J. Reynolds.

Report to the President by the Emergency Board created July 27, 1946 pursuant to section 10 of the Railway labor act to investigate an unadjusted dispute between the Pullman Company and certain of its employees represented by the Order of Railway conductors. Chicago, Illinois, August 23, 1946. No. 40.

Mode of access: Internet.

Report to the President by the Emergency Board created February, 14, 1949, by Executive order 10037 pursuant to section 10 of the Railway labor act, to investigate and report in respect to a dispute involving the Denver and Rio Grande Western Railroad Company and certain of its employees represented by the Switchmen's Union of North America. Denver, Colorado. March 5, 1949. No. 69.

Mode of access: Internet.

Labor-management relations in the Federal Service : answers to questions about Executive Order 11491.

Mode of access: Internet.

Report of the commissioners appointed to inquire into the existing state of the corporation of the city of London, and to collect information respecting its constitution, order, and government, &c., together with the minutes of evidence and appendix.

Mode of access: Internet.

A Call for action : the Illinois State Justice Commission final report, June 1996.

Report consists of (1) a description of issues identified by the Commission as important to future efforts to improve the quality of justice in Illinois, (2) a review and compilation of previous studies of the Illinois justice system, (3) highlights of national, state and local findings and (4) a guide for future action in Illinois.