Méthode de validation formelle d’un poste d’aiguillage informatique

In this article, we discuss on how to solve the following problems: the checks and tests before putting the safety facilities into service, and the results of these tests which are essential, time consuming and may show great variations among each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process. In practice, a reduction of the test cover rate is observed. The method presented in this article makes it possible to formally validate the new computerized mechanisms of the existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project was to provide SNCF with an operating method for the formal validation of interlocking systems. A formal proof method by assertion, applicable to our interlocking system, which covers equally the specification and its real software implementation, is presented in this article. With the proposed method and its associated tools, we completely verify that the system follows all safety procedures at all times and does not show superfluous conditions. This replaces all plateform tests checks. It is included in the existing testing procedures. The advantages of using this method are the following: a significant reduction of testing time and of the related costs, an increase of the test coverage rate (determinisitic safety vs. probabilistic safety), and an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. The mastery of formal methods by infrastructure engineers is surely a key to prove that additional safety is not expensive.     

Hydrographic conditions affecting two fishing grounds of Mallorca island (Western Mediterranean): during the IDEA Project (2003–2004)

This paper describes the hydrographic conditions observed during six surveys carried out during 2003 and 2004, in the framework of the “IDEA Project” (acronym for “Influence of oceanographic structure and dynamics on demersal populations in waters of the Balearic Islands”). The surveys were developed on the shelf and slope of Mallorca Island, in particular in two fishing grounds at the north and south of the Mallorca channel. Periodic movements of the fishing fleet between these two areas have been regularly reported, suggesting a seasonal variability of the resources which could be in turn associated with the hydrodynamic variability. With this motivation, water masses affecting these grounds have been identified and their seasonal variability has been studied. Different oceanographic and environmental conditions have been found between the two fishing grounds. These differences are related to the presence of mesoscale structures, associated with the Western Mediterranean Intermediate Water (WIW) at the north of the Ibiza channel and big gyres detached from the Algerian Current. The former has been shown to have influence on the regional oceanic circulation and the latter could affect the progress of fresh Atlantic Water (AW) towards the channels and make possible the presence of high salinity values at intermediate waters at the south of Mallorca Island. Historical data from other oceanographic cruises carried out in the region are finally used to discuss the interannual variability of these mesoscale structures.     

Primary productivity and export fluxes on the Canadian shelf of the Beaufort Sea: A modelling study

We present a coupled sea ice–ocean-biological (including ice algae) model in the Arctic Ocean. The 1D model was developed and implemented on the Canadian Beaufort Sea shelf to examine the importance of different physical processes in controlling the timing and magnitude of primary production and biogenic particle export over an annual cycle (1987). Our results show that the snow and sea ice cover melt and/or break-up controls the timing of the phytoplankton bloom but primary producers (ice algae and phytoplankton) on the outer shelf are essentially nutrient limited. The total annual primary production (22.7 to 27.7 g-C m^? 2) is thus controlled by nutrient “pre-conditioning” in the previous fall and winter and by the depth of wind mixing that is controlled in part by the supply of fresh water at the end of spring (ice melt or runoff). The spring bloom represents about 40% of the total annual primary production and occurs in a period of the year when sampling is often lacking. Time interpolation of observed values to obtain total annual primary production, as done in many studies, was shown to lead to an underestimation of the actual production. Our simulated ratios of export to primary production vary between 0.42 and 0.44.     

Combustion development of a Bi-Fuel engine

Environmental improvement and energy issues are increasingly becoming more important as worldwide concerns. Natural gas is a good alternative fuel that can help to improve these issues because of its large quantity and clean burning characteristics. This paper provides the experimental performance results of a Bi-Fuel engine that uses Compressed Natural Gas as its Primary fuel and gasoline as its secondary fuel. This engine is a modification of the basic 1.4-liter gasoline engine. Generally, on the unmodified base engine, torque and power for CNG fuel are considerably lower than gasoline fuel. In this paper, the influence of fuels on wall temperature, performance and emissions are investigated.     

New approach for performing failure analysis of fuel cell-powered vehicles

Safety of hybrid-electric and fuel cell vehicles is a critical aspect of these new technologies, since any accident exposing occupants of such vehicles to unconventional hazards may result in significant setbacks to successful market penetration. Fuel cell and hybrid-electric drive systems are complex, and it is essential to perform a thorough analysis to determine critical failure conditions. There are several safety concerns for routine operation of such systems, particularly for hydrogen-fueled vehicles. A modified Failure Modes and Effect Analysis (FMEA) has been developed, along with a Criticality Analysis (CrA), to identify potentially hazardous conditions for crash and non-crash situations. A mathematical model of fuel cell operation has been developed and used here in conjunction with the FMEA. Component failures during the event modes are simulated using vehicle models developed with Matlab Simulink tools. Six simulation models were created using the software. In addition, a preliminary finite element model of a fuel cell vehicle, using a Ford Taurus (91′) model year sedan, has been developed and implemented. This finite element model is used as a demonstration of the crash simulation of the vehicle.     

Experimental investigation using CFD for thermal performance of ventilated disc brake rotor

In the present work, different ventilated disc brake rotor configurations were analysed to enhance the heat transfer rate and obtain the uniform temperature distribution in the rotor. CFD code used in this work was validated at using experimental results obtained by conducting experiments on a test rig. The experimental analysis was performed to calculate the mass flow rate and heat dissipation through the rotor. Further, different types of rotor configurations viz. straight radial vane (SRV), tapered radial vane (TRV), alternate long and short vane (ALSV), variable diameter circular pillars (VDCP) were considered for the analysis. A rotor segment of 20° was considered for the numerical analysis due to its rotational symmetry. CFD results were in good agreement with the experiments. The maximum deviation of the numerical results were about 12 % from the experimental results. It is found from the analysis that among the different types of rotor configurations; variable diameter circular pillars (VDCP) rotor gives better rate of heat dissipation with more uniform temperature distribution in the flow passages. Hence for modern high speed vehicles VDCP rotor may be more appropriate.     

Prospects for plug-in hybrid electric vehicles in the United States and Japan: A general equilibrium analysis

The plug-in hybrid electric vehicle (PHEV) may offer a potential near term, low-carbon alternative to today’s gasoline- and diesel-powered vehicles. A representative vehicle technology that runs on electricity in addition to conventional fuels was introduced into the MIT Emissions Prediction and Policy Analysis (EPPA) model as a perfect substitute for internal combustion engine (ICE-only) vehicles in two likely early-adopting markets, the United States and Japan. We investigate the effect of relative vehicle cost and all-electric range on the timing of PHEV market entry in the presence and absence of an advanced cellulosic biofuels technology and a strong (450 ppm) economy-wide carbon constraint. Vehicle cost could be a significant barrier to PHEV entry unless fairly aggressive goals for reducing battery costs are met. If a low-cost PHEV is available we find that its adoption has the potential to reduce CO₂ emissions, refined oil demand, and under a carbon policy the required CO₂ price in both the United States and Japan. The emissions reduction potential of PHEV adoption depends on the carbon intensity of electric power generation. Thus, the technology is much more effective in reducing CO₂ emissions if adoption occurs under an economy-wide cap and trade system that also encourages low-carbon electricity generation.     

Access control policies without inside queues: Their properties and public policy implications

An access control policy that eliminates all queues beyond the entry points to a network has obvious benefits, which include smooth travel and predictable travel times inside the network. Yet it has never been proven, to the best of our knowledge, whether excluding inside queues yields sub-optimal network performance or, in other words, allowing inside queues can actually further reduce the system travel cost. Moreover, it is not clear whether an optimal control policy derived from efficiency considerations can also be a fair policy to all road users. This paper provide answers to these questions in the context of a monocentric network. By analyzing the structure of the access control problem considering all feasible policies (with/without inside queues), we show that the minimal system cost realizable by access control can be obtained without directly solving a non-convex optimization program, and can indeed always be achieved by a control policy excluding all of the inside queues. These optimal policies are defined by a polyhedral set and a Finite Generation Algorithm can be applied to derive the analytical form of this set. The optimal policies are not unique in general, thus making it possible to achieve both minimal system cost and fairness simultaneously.