不确定性时间知识推理和验证算法及列车群建模分析

摘要

时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键.本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法.该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题.