Reasoning and validating of temporal knowledge are very important in modeling and analyzing operations of a train group, and are the key technology of its implementation.
时间知识的推理和验证技术对列车群行为建模分析具有重要意义，是其实施关键。
Reasoning and validating of temporal knowledge are very important in modeling and analyzing operations of a train group, and are the key technology of its implementation.
时间知识的推理和验证技术对列车群行为建模分析具有重要意义，是其实施关键。
应用推荐