国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 中文期刊> 《微計(jì)算機(jī)信息》 >Petri網(wǎng)的正向推理算法

Petri網(wǎng)的正向推理算法

     

摘要

提出了一種建立在petri網(wǎng)的基本結(jié)構(gòu)上的形式化正向推理算法,通過建立petri網(wǎng)的關(guān)聯(lián)矩陣、標(biāo)識(shí)向量和激發(fā)向量,將petri網(wǎng)與矩陣運(yùn)算結(jié)合,可以在petri網(wǎng)模型中抽取一個(gè)子模型,從而把一個(gè)大的、復(fù)雜的系統(tǒng)轉(zhuǎn)化為一個(gè)只與問題相關(guān)的小的系統(tǒng)來處理。該算法充分利用了petri網(wǎng)的并行處理能力,縮小了后續(xù)應(yīng)用的范圍,加速了后續(xù)應(yīng)用的效率。

著錄項(xiàng)

相似文獻(xiàn)

  • 中文文獻(xiàn)
  • 外文文獻(xiàn)
  • 專利
獲取原文

客服郵箱:kefu@zhangqiaokeyan.com

京公網(wǎng)安備:11010802029741號(hào) ICP備案號(hào):京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有
  • 客服微信

  • 服務(wù)號(hào)