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.     

Improving the predictiveness of the quasi-d combustion model for spark ignition engines with flexible intake systems

Fast and predictive simulation tools are prerequisites for pursuing simulation based engine control development. A particularly attractive tradeoff between speed and fidelity is achieved with a co-simulation approach that marries a commercial gas dynamic code WAVE™ with an in-house quasi-dimensional combustion model. Gas dynamics are critical for predicting the effect of wave action in intake and exhaust systems, while the quasi-D turbulent flame entrainment model provides sensitivity to variations of composition and turbulence in the cylinder. This paper proposes a calibration procedure for such a tool that maximizes its range of validity and therefore achieves a fully predictive combustion model for the analysis of a high degree of freedom (HDOF) engines. Inclusion of a charge motion control device in the intake runner presented a particular challenge, since anything altering the flow upstream of the intake valve remains “invisible” to the zero-D turbulence model applied to the cylinder control volume. The solution is based on the use of turbulence multiplier and scheduling of its value. Consequently, proposed calibration procedure considers two scalar variables (dissipation constant C _β and turbulence multiplier C _M ), and the refinements of flame front area maps to capture details of the spark-plug design, i.e. the actual distance between the spark and the surface of the cylinder head. The procedure is demonstrated using an SI engine system with dual-independent cam phasing and charge motion control valves (CMCV) in the intake runner. A limited number of iterations led to convergence, thanks to a small number of adjustable constants. After calibrating constants at the reference operating point, the predictions are validated for a range of engine speeds, loads and residual fractions.     

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.     

Spatial variability of the barotropic M2 constituent tidal current over the Rías Baixas Galician shelf (NW Spain)

Using current meters and systematically repeated vessel mounted ADCP data legs, we describe the role of the semidiurnal and diurnal constituents in the tidal currents and investigate the mesoscale variability of the M₂ tidal currents field along three cross-shelf legs over the Galician shelf. We found that the estimated values of the semi-major axes of the main semidiurnal tidal constituents are closely related to those obtained in previous research and that the tidal currents are predominantly semidiurnal. Amplitudes of the M₂ and S₂ semi-major axes constituents are comparable, and important fortnightly variability should thus be expected in the amplitude of the semidiurnal tidal currents. Vertical profiles of the semi-major axes of the main tidal constituents reveal that, in the absence of stratification, and far from the bottom frictional effects, the tidal currents are mostly barotropic. Over the slope, the tidal ellipses tilt from a north–south orientation toward the northeast–southwest direction and, as we go further into the shelf, their amplitude is increased, a feature that is reasonably explained by the transition from the dynamics of a Poincaré wave offshore to the dynamics of a northward alongshore propagating Kelvin wave over the shelf. The Ría de Vigo exerts a notable influence over the tidal currents, acting as an extension of the shelf and introducing a meridional variation in the orientation of the ellipses from the alongshore direction in the southern straight coast toward the northeast–southwest direction at the latitude of the Rías. Finally, the spatial fitting methods we tried have proved to be successful in VMADCP data detiding in this region.     

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.     

Method for obtaining the wheel–rail contact location and its application to the normal problem calculation through ‘CONTACT’

This work presents a robust methodology for calculating inter-penetration areas between railway wheel and rail surfaces, the profiles of which are defined by a series of points. The method allows general three-dimensional displacements of the wheelset to be considered, and its characteristics make it especially suitable for dynamic simulations where the wheel–rail contact is assumed to be flexible. The technique is based on the discretisation of the geometries of the surfaces in contact, considering the wheel as a set of truncated cones and the rail as points. By means of this approach, it is possible to reduce the problem to the calculation of the intersections between cones and lines, the solution for which has a closed-form expression. The method has been used in conjunction with the CONTACT algorithm in order to solve the static normal contact problem when the lateral displacement of the wheelset, its yaw angle and the vertical force applied in the wheelset centroid are prescribed. The results consist of smooth functions when the dependent coordinates are represented as a function of the independent ones, lacking the jump discontinuities that are present when a rigid contact model is adopted. Example results are shown and assessed for the normal contact problem for different lateral and yaw positions of the wheelset on the track.     

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.