The Balise Transmission Module(BTM)unit of the on-board train control system is a crucial component.Due to its unique installation position and complex environment,this unit has a higher fault rate within the on-board...The Balise Transmission Module(BTM)unit of the on-board train control system is a crucial component.Due to its unique installation position and complex environment,this unit has a higher fault rate within the on-board train control system.To conduct fault prediction for the BTM unit based on actual fault data,this study proposes a prediction method combining reliability statistics and machine learning,and achieves the fusion of prediction results from different dimensions through multi-method interactive validation.Firstly,a method for predicting equipment fault time targeting batch equipment is introduced.This method utilizes reliability statistics to construct a model of the remaining faultless operating time distribution considering uncertainty,thereby predicting the remaining faultless operating probability of the BTM unit.Secondly,considering the complexity of the BTM unit’s fault mechanism,the small sample size of fault cases,and the potential presence of multiple fault features in fault text records,an individual-oriented fault prediction method based on Bayesian-optimized Gradient Boosting Regression Tree(Bayes-GBRT)is proposed.This method achieves better prediction results compared to linear regression algorithms and random forest regression algorithms,with an average absolute error of only 0.224 years for predicting the fault time of this type of equipment.Finally,a multi-method interactive validation approach is proposed,enabling the fusion and validation of multi-dimensional results.The results indicate that the predicted fault time and the actual fault time conform to a log-normal distribution,and the parameter estimation results are basically consistent,verifying the accuracy and effectiveness of the prediction results.The above research findings can provide technical support for the maintenance and modification of BTM units,effectively reducing maintenance costs and ensuring the safe operation of high-speed railway,thus having practical engineering value for preventive maintenance.展开更多
In the case of composite girders, an effective cooperation of both parts of the section is influenced by deformability of connectors. Limited flexural stiffness of welded studs, used commonly in bridge structures, doe...In the case of composite girders, an effective cooperation of both parts of the section is influenced by deformability of connectors. Limited flexural stiffness of welded studs, used commonly in bridge structures, does not provide full interaction of a steel beam and a concrete slab. This changes strain distribution in cross-sections of a composite girder and results in redistribution of internal forces in steel and concrete element. In the paper partial interaction index defined on the basis of a neutral axis position, which can be used for verification of steel-concrete interaction in real bridge structures rather than in specimens is proposed. The range of the index value changes, obtained during load testing of a typical steel-concrete composite beam bridge, is presented. The investigation was carried out on a motorway viaduct, consisting of two parallel structures. During the testing values of strains in girders under static and quasi-static loads were measured. The readings from the gauges were used to determine the index, characterizing composite action of the girders. Results of bridge testing under movable load, changing position along the bridge span is presented and obtained in-situ influence functions of strains and index values are commented in the paper.展开更多
This paper presents a new model of scenarios, dedicated to the specification and verification of system be- haviours in the context of software product lines (SPL). We draw our inspiration from some techniques that ...This paper presents a new model of scenarios, dedicated to the specification and verification of system be- haviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and mod- els to bridge the gap between both worlds.展开更多
基金supported by the Integrated Rail Transit Dispatch Control and Intermodal Transport Service Technology Project(Grant No.2022YFB4300500).
文摘The Balise Transmission Module(BTM)unit of the on-board train control system is a crucial component.Due to its unique installation position and complex environment,this unit has a higher fault rate within the on-board train control system.To conduct fault prediction for the BTM unit based on actual fault data,this study proposes a prediction method combining reliability statistics and machine learning,and achieves the fusion of prediction results from different dimensions through multi-method interactive validation.Firstly,a method for predicting equipment fault time targeting batch equipment is introduced.This method utilizes reliability statistics to construct a model of the remaining faultless operating time distribution considering uncertainty,thereby predicting the remaining faultless operating probability of the BTM unit.Secondly,considering the complexity of the BTM unit’s fault mechanism,the small sample size of fault cases,and the potential presence of multiple fault features in fault text records,an individual-oriented fault prediction method based on Bayesian-optimized Gradient Boosting Regression Tree(Bayes-GBRT)is proposed.This method achieves better prediction results compared to linear regression algorithms and random forest regression algorithms,with an average absolute error of only 0.224 years for predicting the fault time of this type of equipment.Finally,a multi-method interactive validation approach is proposed,enabling the fusion and validation of multi-dimensional results.The results indicate that the predicted fault time and the actual fault time conform to a log-normal distribution,and the parameter estimation results are basically consistent,verifying the accuracy and effectiveness of the prediction results.The above research findings can provide technical support for the maintenance and modification of BTM units,effectively reducing maintenance costs and ensuring the safe operation of high-speed railway,thus having practical engineering value for preventive maintenance.
文摘In the case of composite girders, an effective cooperation of both parts of the section is influenced by deformability of connectors. Limited flexural stiffness of welded studs, used commonly in bridge structures, does not provide full interaction of a steel beam and a concrete slab. This changes strain distribution in cross-sections of a composite girder and results in redistribution of internal forces in steel and concrete element. In the paper partial interaction index defined on the basis of a neutral axis position, which can be used for verification of steel-concrete interaction in real bridge structures rather than in specimens is proposed. The range of the index value changes, obtained during load testing of a typical steel-concrete composite beam bridge, is presented. The investigation was carried out on a motorway viaduct, consisting of two parallel structures. During the testing values of strains in girders under static and quasi-static loads were measured. The readings from the gauges were used to determine the index, characterizing composite action of the girders. Results of bridge testing under movable load, changing position along the bridge span is presented and obtained in-situ influence functions of strains and index values are commented in the paper.
文摘This paper presents a new model of scenarios, dedicated to the specification and verification of system be- haviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and mod- els to bridge the gap between both worlds.