應(yīng)用Petri Net方法建模分析物流系統(tǒng)的實(shí)施工程

針對在網(wǎng)絡(luò)選座系統(tǒng)中,沒有涉及的需要購買同一隔間兩張臥鋪的問題,提出了網(wǎng)絡(luò)選座系統(tǒng)模型并進(jìn)行了優(yōu)化.首先利用petri網(wǎng)描述了網(wǎng)絡(luò)選座系統(tǒng)模型,然后添加相關(guān)的活動變遷和庫所,根據(jù)提出的網(wǎng)絡(luò)購票公式,判斷每個隔間所剩硬臥的個數(shù),當(dāng)剩余硬臥的個數(shù)大于等于2時,系統(tǒng)自動分配當(dāng)前隔間兩張硬臥給乘客；當(dāng)剩余硬臥的個數(shù)小于2時,則自動分配下一間的兩張硬臥給乘客,從而達(dá)到同行人能夠購買同一隔間硬臥的目的.最后,通過示例分析,說明了網(wǎng)絡(luò)選座模型的有效性和實(shí)用性.

連鑄生產(chǎn)過程與狀態(tài)的實(shí)時跟蹤記錄,對提高鋼廠生產(chǎn)效率與鑄坯產(chǎn)品質(zhì)量非常重要,但由于連鑄過程的復(fù)雜性和不確定性,很難建立精確的數(shù)學(xué)模型來對連鑄的生產(chǎn)條件、生產(chǎn)狀態(tài)進(jìn)行有效的分析.采用帶抑止弧的p賦時有色petrinet,建立了連鑄前鋼包爐次傳遞模型和連鑄中鋼坯狀態(tài)跟蹤模型,并對生產(chǎn)條件與狀態(tài)進(jìn)行了簡單有效的分析.結(jié)合模型分析結(jié)果與采用ge的proficyhmi/scada-ifix軟件現(xiàn)場實(shí)時采集的生產(chǎn)數(shù)據(jù),在visualstudio平臺中開發(fā)出一套完整的鋼鐵連鑄鑄坯信息跟蹤系統(tǒng).

敏捷制造是一種新型的組織制造模式,以實(shí)現(xiàn)企業(yè)間的集團(tuán)協(xié)作,實(shí)行不同廠家之間的優(yōu)化組合,提高企業(yè)運(yùn)行效率為目標(biāo)。本文通過工作流技術(shù)和petri網(wǎng)方法的有機(jī)結(jié)合,進(jìn)行模具敏捷制造過程的建模,為制造過程的分析和優(yōu)化提供依據(jù)。

土建工程是房屋建筑工程中一項(xiàng)重要工程,它的構(gòu)造及施工工藝流程對整個房屋結(jié)構(gòu)及安全系數(shù)起到至關(guān)重要作用,它是一個工作流過程.petir網(wǎng)使用網(wǎng)狀圖形表示系統(tǒng)模型,能夠表達(dá)順序與并發(fā)事件,實(shí)現(xiàn)自動化,對該項(xiàng)工程進(jìn)行petri網(wǎng)建模,有效的組織管理施工,組建科學(xué)的施工工藝流程.

用petri網(wǎng)建立了建筑施工流程的優(yōu)化模型,模型形象描述了建筑過程中施工流程的因果關(guān)系,并以總工期為優(yōu)化目標(biāo),給出了優(yōu)化算法,判別出整個施工過程中的關(guān)鍵流程,對關(guān)鍵流程進(jìn)行優(yōu)化,從而達(dá)到對整個建筑施工流程的優(yōu)化,并可以計(jì)算出其它非關(guān)鍵流程的緩沖時間。

敏捷制造是一種新型的組織制造模式，以實(shí)現(xiàn)企業(yè)間的集團(tuán)協(xié)作，實(shí)行不同廠家之間的優(yōu)化組合，提高企業(yè)運(yùn)行效率為目標(biāo)。本文通過工作流技術(shù)和petri網(wǎng)方法的有機(jī)結(jié)合，進(jìn)行模具敏捷制造過程的建模，為制造過程的分析和優(yōu)化提供依據(jù)。

介紹了一種混合petri網(wǎng)的基本原理,在分析了復(fù)雜地下工程智能化系統(tǒng)的復(fù)雜性、交互性、混合性的基礎(chǔ)上,提出了利用混合petri網(wǎng)對復(fù)雜地下工程智能化系統(tǒng)進(jìn)行建模的一般方法,進(jìn)而為復(fù)雜地下工程智能化系統(tǒng)的性能指標(biāo)定量分析和系統(tǒng)結(jié)構(gòu)優(yōu)化提供了理論依據(jù)。

通過分析離散制造系統(tǒng)的基本組成元素和離散制造過程的特點(diǎn)，將有色時間ｐｅｔｒｉ網(wǎng)中的顏色元素進(jìn)行面向?qū)ο蟮臄U(kuò)展，分別對離散制造系統(tǒng)的硬件組成，行為方式的控制方式建立模型。通過模型的仿真運(yùn)行模擬離散制造過程的控制信息和數(shù)據(jù)的流動情況，為離散制造系統(tǒng)的設(shè)計(jì)，規(guī)劃，調(diào)度，控制等問題的研究提供了一個有效的工具。

以petri網(wǎng)為建模工具,針對木材柔性加工系統(tǒng)(woodflexiblemanufacturingsystem,wfms)中的離散事件建立賦時著色petri網(wǎng)(timedcoloredpetri-net,tcpn)模型.該模型不僅可以反映木材柔性加工系統(tǒng)中待加工產(chǎn)品的工藝加工路線,對系統(tǒng)的特性進(jìn)行描述,還能夠根據(jù)生產(chǎn)任務(wù)的變化進(jìn)行快速重構(gòu).應(yīng)用軟件對該模型進(jìn)行仿真,結(jié)果表明該模型是有效的.根據(jù)仿真結(jié)果,對系統(tǒng)進(jìn)行簡單的優(yōu)化調(diào)度,提高了機(jī)床的利用率.

petri網(wǎng)通過工作流系統(tǒng)來處理一些大型案例。每個案例有一個唯一的標(biāo)識,案例在出現(xiàn)和消失之間總是處于某個特定狀態(tài),可以充分運(yùn)用案例的相關(guān)屬性使用petri網(wǎng)建立工作流。高校創(chuàng)收項(xiàng)目全程跟蹤審計(jì)系統(tǒng)就是一個典型的工作流案例,主控模塊項(xiàng)目立項(xiàng)、項(xiàng)目實(shí)施和項(xiàng)目結(jié)算,每個模塊內(nèi)部和模塊與模塊之間涉及到流程,都需要審批,是工作流的過程。

petri網(wǎng)絡(luò)模擬方法是通過應(yīng)用petri網(wǎng)的基本特性對施工系統(tǒng)進(jìn)行建模,描述模型中資源等施工參數(shù)隨施工進(jìn)度的變化,其網(wǎng)絡(luò)模型能夠較好地描述實(shí)際施工系統(tǒng)的動態(tài)變化情況,優(yōu)選施工組織方案和施工機(jī)械設(shè)備的配置。本文系統(tǒng)分析隧洞施工過程及其程序,建立了基于petri網(wǎng)絡(luò)的施工過程模擬模型以及可行施工方案的多目標(biāo)決策模型。實(shí)例分析說明了模擬方法、模擬模型和決策模型是有效的、可行的。

高校設(shè)備采購本身是一項(xiàng)復(fù)雜的活動,是一個多任務(wù)、多角色參與的流程化執(zhí)行過程。在該過程中,如何合理設(shè)計(jì)所涉及到的各個環(huán)節(jié),以及如何對各個環(huán)節(jié)進(jìn)行優(yōu)化和合理的資源配置是需要解決的重要問題。本文采用基于petri網(wǎng)的工作流技術(shù)對高校設(shè)備采購流程進(jìn)行工作流建模,并提出一種工作流合理性驗(yàn)證算法和工作流的優(yōu)化算法。通過實(shí)踐表明,這一方法取得了較好的應(yīng)用效果,同時這將為采購軟件的開發(fā)提供很好的理論支持。

本文針對物流的運(yùn)輸問題,用系統(tǒng)工程的方法進(jìn)行了分析,以便為今后的研究提供思路。

科研項(xiàng)目管理是高校科研信息系統(tǒng)的核心部分之一,利用petri網(wǎng),對復(fù)雜的科研項(xiàng)目管理工作流程建模,解決高校信息化中較為復(fù)雜的科研項(xiàng)目管理工作流問題。以高校科研項(xiàng)目申請流程為例,給出了相關(guān)定義,分析和解決建模中遇到的幾個問題。

科技項(xiàng)目管理是企業(yè)信息系統(tǒng)的重要組成部分,利用petri網(wǎng),對復(fù)雜的科技項(xiàng)目管理工作流程建模,解決企業(yè)信息化中較為復(fù)雜的科技項(xiàng)目管理工作流問題。同時,以企業(yè)科技項(xiàng)目申請流程為例,給出了相關(guān)定義,分析和解決設(shè)計(jì)流程中遇到的幾個問題。

分析了火災(zāi)報(bào)警與聯(lián)動控制過程,并利用petri網(wǎng)對這一過程中事件的異步、并行、沖突等重要特征進(jìn)行描述,并實(shí)施分析、研究,對數(shù)據(jù)處理算法予以優(yōu)化,最后給出了基于petri網(wǎng)的火災(zāi)報(bào)警控制系統(tǒng)模型。

文中分析了電梯門系統(tǒng)的組成結(jié)構(gòu),描述了電梯門系統(tǒng)的運(yùn)行過程。文中利用有色petri網(wǎng)中不同顏色的token可以表示系統(tǒng)的不同類型的狀態(tài)的原理建立了基于有色petri網(wǎng)的電梯門系統(tǒng)模型,避免了傳統(tǒng)petri網(wǎng)建模模型時引起的狀態(tài)空間爆炸問題。然后利用cpntools對模型進(jìn)行動態(tài)分析并生成狀態(tài)空間報(bào)告以分析模型的回歸性、有界性、活性及公平性?；钚苑治龃嬖谒罉?biāo)識時,提出基于ask-ctl模型檢驗(yàn)理論的死標(biāo)識合理性算法驗(yàn)證模型中不存在自循環(huán)終端和死鎖標(biāo)識,進(jìn)而驗(yàn)證了死標(biāo)識存在的合理性,證實(shí)了電梯門系統(tǒng)cpn模型的正確性。

隨著企業(yè)中it應(yīng)用復(fù)雜程度的提高,企業(yè)信息化的高風(fēng)險(xiǎn)性和高失敗率問題日益突出,嚴(yán)重阻礙了信息化的進(jìn)行.文章通過對上述問題的分析和研究,提出實(shí)施前用結(jié)果鏈模型(rc)和著色petri網(wǎng)對其實(shí)施過程建模,找出最佳實(shí)施途徑;在實(shí)施過程中利用結(jié)果鏈模型和評價(jià)系統(tǒng)實(shí)時/階段性地監(jiān)測實(shí)施過程中出現(xiàn)的問題,及時進(jìn)行判斷并予以解決,以確保信息化過程始終與企業(yè)的利益及戰(zhàn)略吻合.擬通過上述手段為企業(yè)信息化提供一種定量分析和模擬的工具.這是降低信息化過程的風(fēng)險(xiǎn),提高成功率的一種探索.

簡述了鋼筋混凝土結(jié)構(gòu)中常用的加固方法及其適用范圍,通過具體工程實(shí)例,介紹了增大截面和粘貼碳纖維等加固方法在某物流工程中的綜合應(yīng)用,并提出了設(shè)計(jì)施工建議,以確保建筑物使用安全。

針對鐵路貨物快運(yùn)組織流程,文章為分析其中可能存在的不合理環(huán)節(jié)并進(jìn)行優(yōu)化,以京津冀貨物快運(yùn)列車為例,建立petri網(wǎng)模型,通過建立關(guān)聯(lián)矩陣,尋找流程中\(zhòng)"沖突\"和\"同步\"關(guān)系并進(jìn)行優(yōu)化,最后從理論上分析構(gòu)建的模型對流程起到的優(yōu)化效果;提出貨物快運(yùn)流程優(yōu)化補(bǔ)充建議:構(gòu)建接取送達(dá)網(wǎng)絡(luò),完善信息管理平臺,拓寬繳費(fèi)渠道,提前發(fā)出領(lǐng)貨通知。

項(xiàng)目管理是一類典型的離散并發(fā)不確定系統(tǒng),經(jīng)典petri網(wǎng)及其擴(kuò)展可以很好的對項(xiàng)目工序邏輯關(guān)系、時間約束、資源約束、項(xiàng)目執(zhí)行過程監(jiān)控等進(jìn)行可視化建模的同時,提供形式化理論支撐.在綜合研究現(xiàn)有petri網(wǎng)項(xiàng)目管理模型基礎(chǔ)上,提出了基于著色時間約束petri網(wǎng)的項(xiàng)目動態(tài)管理模型,并對該模型的變遷激發(fā)規(guī)則、狀態(tài)空間、可達(dá)性及可調(diào)度性進(jìn)行分析.該模型能夠?qū)?xiàng)目管理中時間約束及資源約束進(jìn)行建模,為項(xiàng)目動態(tài)管理提供可視化、形式化建模工具.

針對asp.net傳統(tǒng)教學(xué)中存在的一些問題,基于.net框架,c#為主要編程語言,以銀行服務(wù)系統(tǒng)為例介紹uml建模在asp.net教學(xué)中的應(yīng)用,通過真實(shí)的案例教學(xué),培養(yǎng)學(xué)生對系統(tǒng)進(jìn)行需求分析和面向?qū)ο蠼５哪芰?提高學(xué)生的實(shí)踐動手能力。