| 基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用 |
| |
| 引用本文： | 杜彦华,刘春煌.基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用[J].小型微型计算机系统,2006,27(10):1918-1922. |
| |
| 作者姓名： | 杜彦华 刘春煌 |
| |
| 作者单位： | 铁道科学研究院,电子计算技术研究所,北京,100081 |
| |
| 摘 要： | 针对列车群行为分析中的不确定性时间信息推理问题，结合线性逻辑和扩展模糊时间Petri网（EFTPN）等理论，提出了一种基于EFTPN的线性推理方法．该方法不但能对不确定性时间信息进行精确的、定量的建模和推理；而且效率高，可在线性时间复杂度内完成推导；另外其适用面广，可用于解决其它领域内时间推理和验证问题．
|
| 关 键 词： | 线性逻辑 扩展模糊时间Petri网 列车群 |
| 文章编号： | 1000-1220（2006）10-1918-05 |
| 收稿时间： | 07 25 2005 12:00AM |
| 修稿时间： | 2005-07-252005-10-26 |
Linearly Reasoning Method Based on EFTPN for Fuzzy Temporal Knowledge and its Application in Analyzing Operations of Train Group |
| |
| DU Yan-hua,LIU Chun-huang.Linearly Reasoning Method Based on EFTPN for Fuzzy Temporal Knowledge and its Application in Analyzing Operations of Train Group[J].Mini-micro Systems,2006,27(10):1918-1922. |
| |
| Authors: | DU Yan-hua LIU Chun-huang |
| |
| Affiliation: | Institute of Computing Technologies, China Academy of Railway Sclence, Beljing 100081, China |
| |
| Abstract: | To deal with the fuzzy temporal knowledge reasoning problems in analyzing operations of train group, in the paper we combining with linear logic and EFTPN, put forward a linearly reasoning method based on EFTPN. This method not only can accurately reason and validate the fuzzy temporal knowledge, but also is more efficient, namely solve the inference problems within linear time complexity; Furthermore, it is suitable to more situations, and can solve complicated problem of temporal knowledge reasoning in other researching fields. |
| |
| Keywords: | linear logic extended fuzzy timing Petri nets train group |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
