论文部分内容阅读
时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键。本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法。该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题。
The reasoning and verification of time knowledge is of great significance to the train group behavior modeling and analysis and is the key to its implementation. Based on the original work, this dissertation introduces fuzzy time interval, extended fuzzy time Petri net (EFTPN) and possibility value operation, and proposes an EFTPN-based uncertain time knowledge reasoning and verification algorithm. The algorithm is efficient and takes up less space. It can not only make accurate inference of uncertain time information, but also has wider applicability, which can solve the problem of time reasoning and verification in complex situations.