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