Sentence examples for railway specifications from inspiring English sources

Systems' models will be developed and formally analyzed to determine, when possible, the compliance between ERTMS and National railway specifications.

GNSS are a powerful tool to enhance railway efficiency when its adequacy with railway specifications will be proved.

The PERFECT Performing Enhanced Rail Formal Engineering Constraints Traceabilityy) project is a French scientific project that aims to formalize railway specifications and validate various systems.

To conduct such an analysis, the specifications defined in Galileo documentation are examined and their equivalence with railway specifications is explained (the first point).

On the other hand, this work leads to question on how it is possible to link different B machines obtained from different input models, and those established by means of diverse formalisms, such as Petri Nets and UML in the case of the PERFECT project, with the purpose of checking the consistency between ERTMS and national railway specifications using the B tools [3, 4, 23].

The values of m i are obtained from the Highway and Railway Construction Specification and Standards of Guangdong Province, China.

As a result of the estimation, it was found that around the natural period of the elevated bridge (0.7 s), the acceleration and velocity response spectra exceeded the design response spectrum of the Specifications for Railway Structures.

Finally, the response spectra of the evaluated strong motions at the derailment site were compared with the design response spectrum of the Specifications for Railway Structures (Railway Technical Research Institute (RTRI) 1999) based on an effect of very soft ground (G5 ground; RTRI 2012).

Figures 10a, b and 11a, b show the absolute acceleration spectra and the relative velocity spectra (damping: 5%) based on the observed foreshock records at JKM with respect to the design response spectrum of the Specifications for Railway Structures (RTRI 2012) and the surface ground conditions at JKM (see Table 3c).

The m i values for railways are decided by the specifications for the First Class single route electric power railway.

In the railway community, there is no specifications table shared by the entire community, in particular for the localisation function.