随着科学技术的发展,尤其是信息技术的发展,人们所研究的系统规模越来越大,内容更加丰富,同时不确定因素层出不穷。目前所研究的内容一般包括:定性和定量的行为、确定性和不确定性问题、多系统的混合问题等。时间知识具有一定的不确定性,在许多应用系统中起着重要作用。现有的时间知识表示方法中,单一时间点的表示既不实际也不完整,常用的时间区间的表示缺少定量的分析;已有的基于时间Petri网的时间知识推理算法过程较为复杂。 本文在前人研究的Petri网理论的基础上,针对一类复杂系统形式化建模过程中存在的时间不确定性问题,构建了相应时间知识的表示方法及分析方法,即将Petri网理论和模糊集合理论相结合,在对系统进行建模的基础上,进行时间知识的定量分析。首先,本文定义一种对复杂系统进行形式化建模的模糊时间Petri网(FTPN),该网引入四个时间的模糊集理论函数,即模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性;然后基于时间模糊集理论函数的相关运算提出FTPN时间知识推理算法的基本思想,详细讨论了最迟时间可能性分布latest,最早时间可能性分布earliest以及最小操作Min的运算方法;最后,用列车运行算例验证算法的有效性,并与已有的基于时间Petri网的时间知识推理算法进行了对比分析,对比结果表现出该算法具有定量分析、计算简单、简化系统,便于系统集成的特点。 本文的模糊时间Petri网能够有效表示一类复杂系统在形式化建模过程中存在的时间不确定性知识,相应的时间知识推理算法能够对时间不确定性问题进行定量分析,可以应用于智能交通、计算机的通讯控制等领域。另外,模糊时间Petri网模型可以与Agent技术结合,与各种Petri网分析工具进行集成,对各种智能专家系统的研究也有很大现实意义。