Communication-efficient and crash-quiescent Omega with unknown membership

The failure detector class Omega (Ω) provides an eventual leader election functionality, i.e., eventually all correct processes permanently trust the same correct process. An algorithm is communication-efficient if the number of links that carry messages forever is bounded by n, being n the number of processes in the system. It has been defined that an algorithm is crash-quiescent if it eventually stops sending messages to crashed processes. In this regard, it has been recently shown the impossibility of implementing Ω crash quiescently without a majority of correct processes. We say that the membership is unknown if each process pi only knows its own identity and the number of processes in the system (that is, i and n), but pi does not know the identity of the rest of processes of the system. There is a type of link (denoted by ADD link) in which a bounded (but unknown) number of consecutive messages can be delayed or lost. In this work we present the first implementation (to our knowledge) of Ω in partially synchronous systems with ADD links and with unknown membership. Furthermore, it is the first implementation of Ω that combines two very interesting properties: communication-efficiency and crash-quiescence when the majority of processes are correct. Finally, we also obtain with the same algorithm a failure detector () such that every correct process eventually and permanently outputs the set of all correct processes.

Participatory modeling for sustainable development in water and agrarian systems: potential and limits of stakeholder involvement

Public participation is increasingly advocated as a necessary feature of natural resources management. The EU Water Framework Directive (WFD) is such an example, as it prescribes participatory processes as necessary features in basin management plans (EC 2000). The rationale behind this mandate is that involving interest groups ideally yields higher-quality decisions, which are arguably more likely to meet public acceptance (Pahl-Wostl, 2006). Furthermore, failing to involve stakeholders in policy-making might hamper the implementation of management initiatives, as controversial decisions can lead pressure lobbies to generate public opposition (Giordano et al. 2005, Mouratiadou and Moran 2007).

Variable Speed Limits. Review and development of an aggregate indicator based on floating car data.

Changing factors (mainly traffic intensity and weather conditions) affecting road conditions require a suitable optimal speed at any time. To solve this problem, variable speed limit systems (VSL) ? as opposed to fixed limits ? have been developed in recent decades. This term has included a number of speed management systems, most notably dynamic speed limits (DSL). In order to avoid the indiscriminate use of both terms in the literature, this paper proposes a simple classification and offers a review of some experiences, how their effects are evaluated and their results This study also presents a key indicator, which measures the speed homogeneity and a methodology to obtain the data based on floating cars and GPS technology applying it to a case study on a section of the M30 urban motorway in Madrid (Spain).

Limits of the power of Tissue P systems with cell division

Tissue P systems generalize the membrane structure tree usual in original models of P systems to an arbitrary graph. Basic opera- tions in these systems are communication rules, enriched in some variants with cell division or cell separation. Several variants of tissue P systems were recently studied, together with the concept of uniform families of these systems. Their computational power was shown to range between P and NP ? co-NP , thus characterizing some interesting borderlines between tractability and intractability. In this paper we show that com- putational power of these uniform families in polynomial time is limited by the class PSPACE . This class characterizes the power of many clas- sical parallel computing models

Limits of the frequency response for the analysis of ripple-based controllers

Advanced control techniques like V2, Vout hysteresis or V2Ic can strongly reduce the required output capacitance in PowerSoC converters. Techniques to analyze power converters based on the analysis of the frequency response are not suitable for ripple-based controllers that use fast-scale dynamics to control the power stage. This paper proves that the use of discrete modeling together with Floquet theory is a very powerful tool to model the system and derive stable region diagrams for sensitivity analysis. It is applied to V 2Ic control, validating experimentally that Floquet theory predicts accurately subharmonic oscillations. This method is applied to several ripplebased controllers, providing higher accuracy when it is compared with other techniques based on the frequency response. The paper experimentally validates the usefulness of the discrete modeling and the Floquet theory on a 5 MHz Buck converter with a V 2Ic control.

Beyond the Regional Development Paradigm: The Limits of Transport-Based Policies in Spain

This paper reviews the transport and economic development trends for the last 20 years in Spain at a detailed (province or NUTS3) level. As Spain has sustained a significant transport investment effort in this period, with the support of EU funding, this review offers an excellent perspective to put some further light on how the transport-and-regional-development paradigm has shaped decision-making in the transport sector. The paper reviews changes in gross domestic product (GDP), population and motorway endowment for the 47 provinces in mainland Spain. Regional development trends seem to be closely associated to particular local conditions, not clearly associated to transport (motorway) infrastructure endowment. This is consistent with the fact that transport infrastructure has not generally been a critical bottleneck for trade and economic activity during this period. The paper concludes that, in general terms, transport infrastructure investment does not seem to be clearly associated to the otherwise substantial differences in regional development among Spanish mainland provinces during this period.

Homogeneization effects of variable speed limits.

Changing factors (mainly traffic intensity and weather conditions) affecting road conditions require a suitable optimal speed at any time. To solve this problem, variable speed limit systems (VSL) - as opposed to fixed limits - have been developed in recent decades. This term has included a number of speed management systems, most notably dynamic speed limits (DSL). In order to avoid the indiscriminate use of both terms in the literature, this paper proposes a simple classification and offers a review of some experiences, how their effects are evaluated and their results. This study also presents a key indicator which measures the speed homogeneity and a methodology to obtain the data based on floating cars and GPS technology applying it to a case study on a section of the M30 urban motorway in Madrid (Spain). It also presents the relation between this indicator and road performance and emissions values.

How lowering speed limits in an urban highway affects traffics performance and emissions: the case of Madrid M-30 ring-road

The city of Madrid keeps not meeting the GHG and air pollutant limits set by the European legislation. A broad range of strategies have being taken into account to reduce both types of emissions; however traffic management meas ures are usually consigned to the sidelines. In 2004, Madrid City Council launched a plan to re-design its inner ring-road supported by a socioeconomic study that evaluated the environmental and operational benefits of the project. For safety reasons the planned speed limit for the tunnel section was finally reduced from 90km/h to 70km/h. Using a Macroscopic Traffic Model and the European Air Pollutant and Emissions Inventory Guidebook (EMEP/EEA), this paper examines the environmental and traffic performance consequences of this decision. Results support the thesis that reduced speed limits leads to GHG and air pollution reductions in the area affected by the measure without substantially altering traffic performance. The implementation of the new speed limit policy brings about a 15% and 16% reduction in both CO2 and NOx emissions respectively. Emissions’ reduction during off-peak hours is larger than during peak hours.

Fundamental finite key limits for information reconciliation in quantum key distribution

The security of quantum key distribution protocols is guaranteed by the laws of quantum mechanics. However, a precise analysis of the security properties requires tools from both classical cryptography and information theory. Here, we employ recent results in non-asymptotic classical information theory to show that information reconciliation imposes fundamental limitations on the amount of secret key that can be extracted in the finite key regime. In particular, we find that an often used approximation for the information leakage during one-way information reconciliation is flawed and we propose an improved estimate.

Minimum volume stability limits for axisymmetric liquid bridges subject to steady axial acceleration

In this paper the influence of an axial microgravity on the minimum volume stability limit of axisymmetric liquid bridges between unequal disks is analyzed both theoretically and experimentally. The results here presented extend the knowledge of the static behaviour of liquid bridges to fluid configurations different from those studied up to now (almost equal disks). Experimental results, obtained by simulating microgravity conditions by the neutral buoyancy technique, are also presented and are shown to be in complete agreement with theoretical ones.

Stability limits of minimum volume and breaking axisymmetric liquid bridges between unequal disks

This paper deals with the stability limits of minimum volume and the breaking of axisymmetric liquid columns held by capillary forces between two concentric,circular solid disk of different radii. The problem has been analyzed both theoreti-cally and experimentally. A theoretical analysis concerning the breaking of liquid bridges has been performed by using a one-dimensional slice model already used in liquid bridge problems. Experiments have been carried out by using milli-metric liquid bridges, and minimum volume stability limits as well as the volumes of the drops resulting after breaking have been measured for a large number of liquid bridge configurations. Experimental results being in agreement with theoretical prediction.

On the stability limits of long nonaxisymmetric cylindrical liquid bridges

There is a self-similar solution for the stability limits of long, almost cylindrical liquid bridges between equal disks subjected to both axial and lateral accelerations. The stability limits depend on only two variables; the so-called reduced axial, and lateral Bond numbers. A novel experimental setup that involved rotating a horizontal cylindrical liquid bridge about a vertical axis of rotation was designed to test the stability limits predicted by the self-similar solution. Analytical predictions compared well with both numerical and experimental results.