论文部分内容阅读
针对列车群行为分析中的不确定性时间信息推理问题，结合线性逻辑和扩展模糊时间Petri网（EFTPN）等理论，提出了一种基于EFTPN的线性推理方法．该方法不但能对不确定性时间信息进行精确的、定量的建模和推理；而且效率高，可在线性时间复杂度内完成推导；另外其适用面广，可用于解决其它领域内时间推理和验证问题．