PETRI網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，是離散事件系統(tǒng)建模的一種強(qiáng)有力工具，但是在使用基本PETRI網(wǎng)來(lái)為復(fù)雜系統(tǒng)建模時(shí)會(huì)出現(xiàn)“節(jié)點(diǎn)爆炸”問(wèn)題，有色時(shí)間PETRI網(wǎng)CTPN是克服該問(wèn)題的有效途徑之一。多范式建模通過(guò)耦合和轉(zhuǎn)換以整合不同方法建立的模型來(lái)綜合...
下載價(jià)格：5 賞幣 / 發(fā)布人： 話題 / 發(fā)布時(shí)間：2024-03-09 / 21人氣
PETRI網(wǎng)的可覆蓋性圖可達(dá)標(biāo)識(shí)圖是分析PETRI網(wǎng)的最常用方法之一，它能很好的分析PETRI網(wǎng)的安全性、有界性、守恒性和可覆蓋性等問(wèn)題，但由于無(wú)界量符號(hào)Ω的引入引起信息丟失，因而PETRI網(wǎng)的可覆蓋性圖不能完全模擬PETRI網(wǎng)的運(yùn)行。向量加法系統(tǒng)和向量置換系統(tǒng)能完全模擬...
下載價(jià)格：5 賞幣 / 發(fā)布人： 情笙 / 發(fā)布時(shí)間：2024-03-10 / 11人氣
當(dāng)PETRI網(wǎng)的變遷與一個(gè)時(shí)間延遲相關(guān)聯(lián)，我們就稱它為賦時(shí)PETRI網(wǎng)。在賦時(shí)PETRI網(wǎng)中從輸入庫(kù)所到輸出庫(kù)所耗時(shí)最短的路徑被稱為主干路徑。它是貫穿系統(tǒng)的效率最高的路徑，在很大程度上決定著系統(tǒng)的性能。在許多應(yīng)用中我們都必須通過(guò)系統(tǒng)的主干路徑來(lái)研究系統(tǒng)。PETRI網(wǎng)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 幾念 / 發(fā)布時(shí)間：2024-03-10 / 4人氣
PETRI網(wǎng)作為系統(tǒng)模擬與分析的工具已在眾多領(lǐng)域得到應(yīng)用同其他分析方法一樣PETRI網(wǎng)對(duì)于大系統(tǒng)的分析是非常復(fù)雜的因此通過(guò)一些較為簡(jiǎn)單的小網(wǎng)利用某種運(yùn)算或組合而得到較為復(fù)雜的大網(wǎng)且在組合過(guò)程中保持網(wǎng)的某些性質(zhì)不變或者對(duì)于一個(gè)大系統(tǒng)利用PETRI網(wǎng)的分解技術(shù)把大系...
下載價(jià)格：5 賞幣 / 發(fā)布人： 愛你如深海 / 發(fā)布時(shí)間：2024-03-10 / 19人氣
PETRI網(wǎng)是建模和分析的工具，它的主要特性包括并行，不確定性，異步和分步描述能力和分析能力。它既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)。PETRI網(wǎng)的結(jié)構(gòu)理論的思想是以某種特定結(jié)構(gòu)比如SIPHONSIPHON是這樣一些庫(kù)所的集合關(guān)聯(lián)的流入變遷，一定也是關(guān)聯(lián)的流出...
下載價(jià)格：5 賞幣 / 發(fā)布人： 落紅 / 發(fā)布時(shí)間：2024-03-10 / 12人氣
在因特網(wǎng)技術(shù)飛速發(fā)展的今天，信息安全問(wèn)題已經(jīng)成為日益突出的問(wèn)題。安全協(xié)議的出現(xiàn)雖然在很大程度上提高了網(wǎng)絡(luò)信息傳輸?shù)陌踩?，但同時(shí)因?yàn)樵O(shè)計(jì)上的缺陷性，安全協(xié)議也存在著很多漏洞。在當(dāng)前，安全協(xié)議的形式化分析已經(jīng)成了一個(gè)熱點(diǎn)研究問(wèn)題。目前安全協(xié)議的形式...
下載價(jià)格：5 賞幣 / 發(fā)布人： 側(cè)臉 / 發(fā)布時(shí)間：2024-03-09 / 5人氣
時(shí)間和價(jià)格是大多數(shù)應(yīng)用系統(tǒng)模型的兩項(xiàng)主要參數(shù)，因此如何將時(shí)間和價(jià)格信息有效地在建模工具中表示出來(lái)并加以應(yīng)用成為一個(gè)有意義的問(wèn)題。目前各種擴(kuò)展了時(shí)間信息的PETRI網(wǎng)可以有效地建模系統(tǒng)的時(shí)間參數(shù)，但是對(duì)價(jià)格參數(shù)卻無(wú)能為力，所以為PETRI網(wǎng)擴(kuò)展價(jià)格信息是一個(gè)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 厭煩 / 發(fā)布時(shí)間：2024-03-10 / 6人氣
作為一種定義良好、功能強(qiáng)大的圖形化建模語(yǔ)言UML因?yàn)槿狈_的語(yǔ)義描述因此對(duì)系統(tǒng)的建模無(wú)法進(jìn)行形式化的分析和驗(yàn)證目前已經(jīng)有很多UML形式化的研究成果但都存在一定的局限性本文在分析UML建模圖特點(diǎn)的基礎(chǔ)上選擇PETRI網(wǎng)作為UML建模圖轉(zhuǎn)換的形式化規(guī)范一是因?yàn)镻ETRI...
下載價(jià)格：5 賞幣 / 發(fā)布人： 病情加劇 / 發(fā)布時(shí)間：2024-03-10 / 17人氣
PETRI網(wǎng)以其簡(jiǎn)捷、直觀、潛在模擬能力強(qiáng)等特點(diǎn)被廣泛用于離散事件系統(tǒng)的模擬和分析中。PETRI網(wǎng)的主要特點(diǎn)包括并行、不確定性、異步和分布描述能力和分析能力。活性、有界性，又稱為N安全性、家態(tài)、公平性等性質(zhì)是PETRI網(wǎng)的系統(tǒng)分析中最重要的幾個(gè)性質(zhì)。自PETRI網(wǎng)的概...
下載價(jià)格：5 賞幣 / 發(fā)布人： 渾然潦草 / 發(fā)布時(shí)間：2024-03-10 / 15人氣
現(xiàn)代電力系統(tǒng)網(wǎng)絡(luò)規(guī)模不斷擴(kuò)大，發(fā)輸電步入高電壓、大機(jī)組時(shí)代，區(qū)域間電網(wǎng)聯(lián)網(wǎng)程度更加緊密。一旦發(fā)生故障，需要快速的診斷出故障元件并恢復(fù)供電，以保證電力系統(tǒng)安全穩(wěn)定運(yùn)行，避免造成更大的損失。同時(shí)，隨著電網(wǎng)監(jiān)控裝置越來(lái)越多、越來(lái)越智能化，故障時(shí)將會(huì)有大...
下載價(jià)格：5 賞幣 / 發(fā)布人： 成熟 / 發(fā)布時(shí)間：2024-03-09 / 15人氣
太原理工大學(xué)碩士學(xué)位論文流程再造PETRI網(wǎng)方法研究姓名董晉申請(qǐng)學(xué)位級(jí)別碩士專業(yè)管理科學(xué)與工程指導(dǎo)教師王漢斌20060501太原理工大學(xué)碩士研究生學(xué)位論文第五章給出了模型分析的計(jì)算機(jī)系統(tǒng)實(shí)現(xiàn)的總體思路，并且對(duì)PETRI網(wǎng)方法進(jìn)行了評(píng)價(jià)。關(guān)鍵詞流程再造，PETRI網(wǎng)，建立...
下載價(jià)格：5 賞幣 / 發(fā)布人： 別害怕 / 發(fā)布時(shí)間：2024-03-03 / 0人氣
該論文將PETRI網(wǎng)理論與面向?qū)ο笙嘟Y(jié)合提出了一種新的面向?qū)ο驪ETRI網(wǎng)模型NOOPN該模型基于面向?qū)ο笳Z(yǔ)言SMALLTALK的面向?qū)ο笮约由喜l(fā)性和多態(tài)變遷而組成它允許消息傳遞、等待和接收響應(yīng)、創(chuàng)建新的對(duì)象、執(zhí)行原始操作等在NOOPN中把對(duì)象看作活動(dòng)的服務(wù)器對(duì)象提供的服務(wù)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 時(shí)間太漫長(zhǎng) / 發(fā)布時(shí)間：2024-03-12 / 5人氣
南京航空航天大學(xué)碩士學(xué)位論文有色PETRI網(wǎng)的行為研究姓名王珊珊申請(qǐng)學(xué)位級(jí)別碩士專業(yè)計(jì)算機(jī)軟件與理論指導(dǎo)教師王建東20081201有色PETRI網(wǎng)的行為研究IIABSTRACTCOLEDPETRICPNISONEOFTHEHIGHLEVELSYSTEMSBASEDONTHECLASSICPETRIWHICHISAGRAPHICMATHEMATICTOOLAPPLIEDTO...
下載價(jià)格：5 賞幣 / 發(fā)布人： 又只能觀望 / 發(fā)布時(shí)間：2024-03-03 / 22人氣
迭代控制算法是一種PETRI網(wǎng)死鎖預(yù)防方法?；镜目刂扑枷霝?，對(duì)于一個(gè)PETRI網(wǎng)，求取可被清空的極小信標(biāo)，通過(guò)添加控制庫(kù)所，直至找不到可被清空的極小信標(biāo)或者檢測(cè)不到死狀態(tài)為止。但是，對(duì)于可被清空的信標(biāo)添加控制庫(kù)所，從而使原網(wǎng)受控，僅適用于普通網(wǎng)。由于柔性...
下載價(jià)格：5 賞幣 / 發(fā)布人： 只想要你 / 發(fā)布時(shí)間：2024-03-09 / 9人氣
活性是PETRI網(wǎng)的基本的動(dòng)態(tài)性質(zhì)之一，在實(shí)際系統(tǒng)中，尤其在火箭控制系統(tǒng)、醫(yī)學(xué)上的生命維護(hù)系統(tǒng)、核電站的安全系統(tǒng)等有關(guān)生命、財(cái)產(chǎn)安全的系統(tǒng)中更為至關(guān)重要，在這些系統(tǒng)中死鎖的檢驗(yàn)與避免（即活性問(wèn)題的一個(gè)方面弱活性的判斷）是系統(tǒng)控制研究中的一個(gè)重要課題。因...
下載價(jià)格：5 賞幣 / 發(fā)布人： 那一片靜 / 發(fā)布時(shí)間：2024-03-10 / 4人氣
平臺(tái)識(shí)別是目標(biāo)識(shí)別的關(guān)鍵技術(shù)，針對(duì)平臺(tái)識(shí)別具有不確定性和難于進(jìn)行并行推理的特點(diǎn)，將模糊PETRI網(wǎng)的形式化推理方法應(yīng)用于平臺(tái)識(shí)別，利用它的并行處理能力對(duì)平臺(tái)識(shí)別進(jìn)行高速處理。主要研究?jī)?nèi)容如下首先，研究目標(biāo)識(shí)別技術(shù)、PETRI網(wǎng)理論、PETRI網(wǎng)的分析方法、模糊PE...
下載價(jià)格：5 賞幣 / 發(fā)布人： 所有 / 發(fā)布時(shí)間：2024-03-11 / 7人氣
隨著軟件在人們生活中起著越來(lái)越重要的作用，如何提高軟件的質(zhì)量，保證軟件的可靠性和安全性成為一個(gè)重要的問(wèn)題。在軟件設(shè)計(jì)領(lǐng)域，UML成為廣泛運(yùn)用的軟件建模工具，但是UML作為一種半形式化語(yǔ)言，缺乏精確的描述和形式化定義，很難驗(yàn)證模型的正確性。PETRI網(wǎng)既是一種...
下載價(jià)格：5 賞幣 / 發(fā)布人： 能夠相遇 / 發(fā)布時(shí)間：2024-03-12 / 24人氣
PETRI網(wǎng)適合于描述異步并發(fā)行為的系統(tǒng)。首先，PETRI網(wǎng)直接展現(xiàn)并發(fā)系統(tǒng)的物理結(jié)構(gòu)層次及資源狀態(tài)的初始分布狀況。其次，在PETRI網(wǎng)引發(fā)規(guī)則的作用下將間接展現(xiàn)出該并發(fā)系統(tǒng)的動(dòng)態(tài)行為機(jī)理。這兩個(gè)層面相互關(guān)聯(lián)，形成了一個(gè)集物理結(jié)構(gòu)和行為機(jī)理于一體的集成模型。它提...
下載價(jià)格：5 賞幣 / 發(fā)布人： 阮郎歸 / 發(fā)布時(shí)間：2024-03-11 / 4人氣
CARLADAMPETRI于1962年在他的博士論文KOMMUNPCATIONMITAUTOMATION中正式提出了PETRI網(wǎng)論。PETRI網(wǎng)是一種適合描述離散的、分布式系統(tǒng)的數(shù)學(xué)建模工具。目前世界各地已有許多科研人員專注于PETRI網(wǎng)的研究并有不少學(xué)者在PETRI網(wǎng)的仿真軟件這一領(lǐng)域進(jìn)行了深入研究。本課題...
下載價(jià)格：5 賞幣 / 發(fā)布人： 心儀你 / 發(fā)布時(shí)間：2024-03-10 / 18人氣
密碼協(xié)議安全性分析是網(wǎng)絡(luò)安全的一個(gè)難題，從20世紀(jì)30年代到現(xiàn)在，運(yùn)用形式化方法對(duì)安全協(xié)議進(jìn)行分析一直是計(jì)算機(jī)安全領(lǐng)域的研究熱點(diǎn)。并產(chǎn)生了一些比較有影響的驗(yàn)證方法，如BAN邏輯方法、GSP方法、串空間模型方法、PAULSON歸納法、PETRI網(wǎng)方法等。形式化分析由于其...
下載價(jià)格：5 賞幣 / 發(fā)布人： 狗 / 發(fā)布時(shí)間：2024-03-10 / 6人氣
copyright@ 2011-2023 聯(lián)系方式qq：9411152
本站所有資料均屬于原創(chuàng)者所有，僅提供參考和學(xué)習(xí)交流之用，請(qǐng)勿用做其他用途，轉(zhuǎn)載必究！如有侵犯您的權(quán)利請(qǐng)聯(lián)系本站，一經(jīng)查實(shí)我們會(huì)立即刪除相關(guān)內(nèi)容!
機(jī)械圖紙?jiān)创a,實(shí)習(xí)報(bào)告等文檔下載
備案號(hào)：浙ICP備20018660號(hào)
