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.     

T��l��phoner au volant : impact sur la conduite et risque d��accident, une revue de la litt��rature

This paper gives a literature review from experimental, epidemiological and naturalistic studies, having tried to measure on the one hand, the impact of mobile phone use on driving and, on the other hand, the risk of accident associated with this practice. The overview of these studies allowed first of all to show that the driving task is altered during the period of mobile phone use, and to quantify the disturbance (experimental studies), then to verify that this disturbance can be at the origin of accidents and quantify this risk (epidemiological studies). The naturalistic studies, consisting in following-up fleet vehicles, give some more explanations and tend to confirm the results. Advantages and limits of each approach are also discussed.     

Initiatives in Philippine Coastal Management: An Overview

Standardized and free-format questionnaires on the state of coastal management were fielded to coastal management practitioners during three workshops and a national feedback and recommendation workshop. The most commonly cited responses were identified for each of 13 political regions and overall trends were identified. Management frameworks frequently included research, community organizing, education, livelihood, resource enhancement, resource protection, regulation, and networking components. Gender issues, documentation, and infrastructure investment were rare. The most commonly perceived environmental problem was illegal/ destructive fishing and its associated overfishing and low fish catch. The most commonly cited socioeconomic problem was the inadequacy of law enforcement. The best monitored variables were usually those related to environmental management: status and change of habitats, resources, and degree of enforcement/patrolling activities. The most common nonregulatory enhancement, aside from environmental education (which is the most popular), was mangrove reforestation. In terms of regulations, the majority of the respondents have reportedly formulated an integrated coastal management plan. In practice, regulating destructive and illegal fishing practices and then the establishment of fish sanctuaries are the next most implemented. The most popular quality-of-life enhancement strategies focused on the improvement of sustainable fishing as a livelihood and on a variety of supplementary livelihoods. The most usual institutional intervention being implemented was the setting up of local community people's organizations. Major factors which may influence success or failure of coastal management and recommendations on research, community organizing and livelihood, legislation and policies, implementation and coordination, and networking are also summarized.     

In-car power line communications: Advanced transmission techniques

The increasing number of electronic control units (ECUs) inside a vehicle implies the need to develop and deploy on board robust, low latency and low complex telecommunication systems. In this respect, power line communications (PLC) is an attractive solution. The benefits provided by the introduction of power line communications in the in-car environment are multiple and they are related to the possibility of exploiting the existing and capillary wiring infrastructure to simplify the design of the in-vehicle data network (IVN) and, more importantly, to save weight and cost of the wiring harness. In this paper, we deal with the analysis of the performance achievable by applying innovative advanced modulation techniques to in-car measured power line channels, i.e., multicarrier (MC) and impulsive ultra wideband (I-UWB) modulation. We show that for low speed command and control applications, I-UWB is suitable since it requires lower power and lower computational efforts w.r.t. MC systems. Furthermore, we study the design of the optimal transmitted pulse to further improve the performance of I-UWB.     

Effect of rear slant angle on vehicle crosswind stability simulation on a simplified car model

It is important to know the effect of the aerodynamic forces and moments on driving stability because it is responsible for the excitation and influences the response of the vehicle. The purpose of this paper is to study the effect of rear slant angle of a surface vehicle on crosswind sensitivity for stability analysis. The vehicle mathematical model used to conduct a dynamic simulation was based on a simple reduced order lateral dynamics of sideslip and yaw rate motion coupled with aerodynamics model. The intention here is to compare the effect of rear slant angles response to crosswind and to rank the crosswind sensitivity ratings. The aerodynamic loads are defined as the function of the aerodynamic derivatives from the static wind tunnel tests. Result shows a 20° rear slant angle demonstrates the highest rating of crosswind sensitivity, while zero degree slant exhibits the least.     

Study of the helicopter blade running elevation measurement system

Helicopter blade running elevation measurement is an important measure target in helicopter blade dynamic balance experimentation. The elevation influences the helicopter＇ s security and other performance capabilities. In testing, however, it has been difficult to measure the elevation when the rotor reaches high speeds. To get a simple, fast and highly accurate measurement system, photo electricity technology was applied to measuring the blade running elevation. Discussed is the measurement principle of blade running elevation, tire design of the measurement system and analysis of the measurement precision.     

机械电子技术在未来铁道车辆中的应用与发展(续完)

倾摆方式的引入显现出冰山的一角,一旦主动控制系统被铁道车辆所采用,那么引进其他主动控制系统从技术方面讲将变得越来越简单。在转向架和车体之间的倾摆系统是一种特殊的二系主动悬挂系统。因此本文接下去将探讨如何将二系主动悬挂系统进行推广,基本目的在于改善由于轨道不平顺带来的干扰,也     

内置式永磁同步电动机无传感器速度控制和转子初始位置估计方法的应用及实验研究

针对内置式永磁同步电动机传动提出了一种新的无速度传感器控制和转子初始位置估计方法.在内置式永磁同步电动机旋转过程中,采用扩展卡尔曼滤波方法,仅需测量电机定子的电压和电流,便可得到转速和转子位置的估计值.对内置式永磁同步电动机,采用扩展卡尔曼滤波方法的主要困难在于在静止坐标系中其动态模型的复杂性.由于磁路的不对称性,在静止坐标系中建内置式永磁同步电动机的模型比建表面式永磁同步电动机模型更复杂.在无传感器的传动系统中,电机的起动过程是一个问题,因为在起动之前没有任何信息可以获得.转子初始位置估计是在电机静止时,在瞬间对定子绕组施加合适的电压脉冲序列,通过测量峰值电流获得转子位置信息.利用磁饱和效应对凸极性的影响来区分南北磁极.给出基于浮点数字信号处理器TMS320C31平台得到的内置式永磁同步电动机实验结果.     

Course-keeping control of underactuated hovercraft

The course-keeping control of underactuated hovercraft with two aft propellers was considered. The control of the heading error and cross-track error was accomplished by the yaw torque merely in this case. The hovercraft dynamic model is nonlinear and underactuated. At first the Controllability of course-keeping control for hovercraft was proved, then a course-keeping control law was derived that keeps hovercraft heading constant as well as minimizes the lateral movement of hovercraft. The proposed law guarantees heading error and sway error all converge to zero exponentially. Simulation tests were carried out to illustrate the effectiveness of the proposed control law. For further research, the disturbance influence would be considered in the dynamic equations.     

Special requirements for alumina ceramic of ESG electrode bowl

At present ESG (Electrostatic Suspended Gyro) is the most precise inertia element in the world. The electrode bowl, which has direct effect on the precision of ESG, is a key part to ESG. Through the analysis of the function and characteristic of the electrode bowl in hollow rotor ESG and the present situation of new material development in the world, the alumina ceramic is regarded as the best material for the electrode bowl of hollow rotor ESG. By analyzing the present situation of alumina ceramic in the world, main technique requirements have been put forward for the alumina ceramic of ESG electrode bowl which is also fit for solid rotor ESG.