国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

Track electronic map data is the basic data for realizing train satellite positioning, and ensuring its correctness is the premise of realizing accurate train positioning. The electronic map basic data designed in the early stage is the input basis for track surveying and generating electronic map files, so it is very important to ensure the correctness of the basic data. Aiming at the status quo of basic data with many contents and frequent changes, this paper proposes a basic data modeling and verification method for electronic maps. In-depth analysis of basic data, combined with relevant specifications and domain expertise, extract basic data validation rules, describe data and validation rules in Prolog language, and build its validation model. Finally, the actual line data is taken as an example to prove the efficiency and accuracy of the verification method.