基于Petri網(wǎng)的時(shí)間知識(shí)推理算法的研究.pdf

1、本文在前人研究的Petri網(wǎng)理論的基礎(chǔ)上，針對(duì)一類復(fù)雜系統(tǒng)形式化建模過程中存在的時(shí)間不確定性問題，構(gòu)建了相應(yīng)時(shí)間知識(shí)的表示方法及分析方法，即將Petri網(wǎng)理論和模糊集合理論相結(jié)合，在對(duì)系統(tǒng)進(jìn)行建模的基礎(chǔ)上，進(jìn)行時(shí)間知識(shí)的定量分析。首先，本文定義一種對(duì)復(fù)雜系統(tǒng)進(jìn)行形式化建模的模糊時(shí)間Petri網(wǎng)(FTPN)，該網(wǎng)引入四個(gè)時(shí)間的模糊集理論函數(shù)，即模糊時(shí)間片、模糊使能時(shí)間、模糊發(fā)生時(shí)間和模糊延遲，來(lái)處理時(shí)間的不確定性；然后基于時(shí)間模糊集理論函

2、數(shù)的相關(guān)運(yùn)算提出FTPN時(shí)間知識(shí)推理算法的基本思想，詳細(xì)討論了最遲時(shí)間可能性分布latest，最早時(shí)間可能性分布earliest以及最小操作Min的運(yùn)算方法；最后，用列車運(yùn)行算例驗(yàn)證算法的有效性，并與已有的基于時(shí)間Petri網(wǎng)的時(shí)間知識(shí)推理算法進(jìn)行了對(duì)比分析，對(duì)比結(jié)果表現(xiàn)出該算法具有定量分析、計(jì)算簡(jiǎn)單、簡(jiǎn)化系統(tǒng)，便于系統(tǒng)集成的特點(diǎn)?！　”疚牡哪：龝r(shí)間Petri網(wǎng)能夠有效表示一類復(fù)雜系統(tǒng)在形式化建模過程中存在的時(shí)間不確定性知識(shí)，相應(yīng)的時(shí)