《基於Petri網的CIM信息系統設計方法》是依託東南大學，由羅軍舟擔任項目負責人的面上項目。
5.4立足於Petri網的各種表現法 5.4.1MFC 5.4.2sCR 5.4.3順序設計支持系統 第六章 順序控制系統的設計方法 6.1設計步驟 6.2需求分析 6.2.1把握系統所需求的最終目標 6.2.2對設備、器件等檢測對象的了解 6.2.3關於控制裝置、控制器件等控制系統知識的整理 6.2.4設備器件的運行方式及監視方式等控制...
6.2.6 UML在系統開發中的套用 6.3 IDEF系列建模方法 6.3.1 IDEF0方法 6.3.2 IDEF1X信息建模方法 6.4 Petri網建模 6.4.1 Petri網概述 6.4.2 Petri網建模 6.5 企業集成建模 6.5.1 企業集成建模及目標 6.5.2 企業集成參考模型和建模方法 主要參考文獻 第7章 柔性信息集成平台設計與實現 7.1 ...
本課題針對智慧型製造系統的基礎理論展開了一系列研究。首先參考CIM-OSA體系結構並利用分形的思想，建立了IMS的嵌套式知識模型。然後用面向對象的框架語言對IMS知識模型進行仿真。結合IMS的底層組成單元FMS的調度問題，採取Petri網和啟發式算法結合的方法來解決。進一步為了提高IMS 的自組織性，我們提出了基於FBS模型的經營...
同時，採用面向對象技術，在已有標準CIM模型的基礎上進行擴展建模，實現多源異構輸變電設備信息的規範、擴展與共享，使不同系統之間針對異構高壓設備信息的互聯、互通、互操作，為設備的狀態評估和全壽命周期管理等高級套用提供模型支持。利用Petri網理論，針對設備信息重複建模和信息不全面等問題，初步驗證了擴展模型的合理性...
3．5．1 Petri網 3．5．2 排隊論 3．5．3 隨機進程代數 3．5．4 形式化規範說明語言 3．6 形式化方法的套用 3．6．1 形式化方法在軟體開發中的套用 3．6．2 形式化方法在軟體再工程的套用 3．6．3 基於形式化方法的模型檢驗 3．6．4 其他套用 第4章 企業信息系統的形式化 4．1 企業...
第8章是裝備採購風險評估軟體系統的設計與實現。第9章裝備採購過程風險評估案例。《裝備採購風險管理理論和方法》可作為軍事裝備學、軍事運籌學等專業的研究生教材，也可供科研單位和院校的研究人員以及從事裝備發展論證、裝備採購、裝備管理保障等工作的人員參考。目錄 第1章 裝備採購風險管理概述 1.1 研究的背景 1....
9.4 Petri Net 9.5 GRAI Method 9.6 Business Process Modeling Notation References Part Five Object Oriented Modeling and Analysis 10 IDEF4 Object-Oriented Design Method 10.1 Introduction to IDEF4 10.2 Syntax and Semantics of IDEF4 10.2.1 IDEF4 Object-Oriented Concepts 10.2.2 Static Model ...
5.3.3 Petri網建模 5.3.4 複雜系統建模的實現方法 5.4 工作流在水利樞紐信息集成中的套用設計方案 5.4.1 基於工作流管理技術的系統總體集成方案 5.4.2 基於面向對象工作流技術的水利樞紐信息集成系統設計 第六章 基於信息融合的企業信息綜合集成套用設計 6.1 企業信息綜合集成 6.1.1 企業信息特徵及處理...
4．4．1 離散事件動態系統 4．4．2 Petri網理論 4．4．3 基於Petri網的流程建模方法 第5章 業務流程模型的分析及執行 5．1 面向流程執行的工作流建模 5．1．1 工作流建模過程 5．1．2 流程定義模板 5．1．3 資源分類及標註 ……第6章 業務模型驅動的軟體配置實現 第7章 軟體前端開發技術 第8章 軟體...
就工作流管理技術的企業需求、工作流建模、工作流執行、套用集成機制、過程集成方法和過程自動化、工作流技術在企業經營過程重組以及CIMS中的套用等問題提出了自己的見解，並詳細介紹了作者設計開發的基於CORBA和Web技術的分散式工作流管理系統CIMFlow的設計與實現技術。
基於Petri網技術的故障診斷方法 Petri網是德國科學家Carl Adam Petri於1960到1965年提出的一種數學模型，它利用目標系統中元件之間的關係來構建有向圖的組合模型，從而能夠準確地表示離散事件發生的順序、並發和衝突的關係。印度學者 Jenkensl和Khincha在1992年首先將Petri網技術套用於電網的建模中，在這之後Petri網在...
40. 俞國燕,何真，鄭時雄，孫延明。基於人機一體的混合智慧型創新設計。計算機工程與套用，2003，7 41. 周南德,孫延明。基於ASP模式企業信息系統技術改造的研究。計算機套用研究，2003，4 42. 吳少琴，孫延明，鄭時雄，江勇.CIM-OSA在ASP模式套用服務系統建模中的套用研究. 現代製造工程，2003，6 43. 吳少琴，孫延明，...
31.鄂明成,李建勇,查建中,薩殊利. 基於高級Petri網的企業模型的建立. 計算機集成製造系統,2000,(6)2.32.李建勇,鄂明成,曹月東. 利用混沌人工神經元網路進行布局最佳化計算. 製造業自動化,2000,(22）2.33.王春喜,李建勇,孫孟慶. CAN匯流排在CIM中的套用研究.製造業自動化,1999,(21）6.34.E mingcheng, Li ...
2.4.3.4 Petri網方法 2.4.4 軟體設計方法 2.4.4.1 IDEF方法 2.4.4.2 結構化設計方法 2.4.4.3 面向數據流的設計方法——Yourdon法 2.4.4.4 面向數據結構的設計方法——Jackson設計方法 2.4.4.5 面向對象的設計方法 2.4.5 軟體工具與軟體工程環境 2.4.5.1 軟體工具 2.4.5.2 軟體工程...
蘭州石化總廠晴綸分廠計算機集成製造系統可行性研究 蘭化公司 7.5萬 舒炎泰，查建中 智慧型製造系統基礎理論研究 國家科學基金委 5萬 查建中 最最佳化方法在港口裝卸規劃中的套用 天津市科委 1.5萬 戴佐 CIM-OSA集成基礎結構技術方案研究 國家863計畫 0.5萬 查建中 集成基礎結構的設計、開發與實現方法 國家863計畫...
系統集成與集成平台技術。面向對象與柔性軟體系統技術。Petri網建模與分析技術。車間管理與控制技術。出版圖書 主要貢獻 課題 [1]．FMS可靠性建模與分析的Petri網方法，國家自然科學基金項目，1993年10月至1995年12月。[2]．製造業CIMS套用集成平台，863重點，1997年6月至2000年1月。[3]．面向企業CIMS實施的企業建模...
開發MOF是為了提供一個用於CORBA體系結構的類型系統，一組模式，通過它們可以定義對象的結構，含義和行為，以及一組CORBA接口，通過這些接口可以創建，存儲和操作這些模式。MOF設計為四層架構。它在頂層提供了一個元元模型，稱為M3層。這個M3模型是MOF用來構建元模型的語言，稱為M2模型。第2層MOF模型最突出的例子是UML...
