Petri網(wǎng)的一類禁止?fàn)顟B(tài)問(wèn)題的混合型監(jiān)控器算法設(shè)計(jì)

研究了petri網(wǎng)的柔性制造加工系統(tǒng)中的死鎖避免問(wèn)題。為了保證死鎖避免和資源最大允許利用,提出了基于廣義互斥約束的petri網(wǎng)最優(yōu)監(jiān)控器的設(shè)計(jì)方法,探尋以線性不等式的形式表示的初步約束集,通過(guò)可達(dá)性分析和初步約束集建立可達(dá)樹(shù)得出合法標(biāo)識(shí)集和死鎖標(biāo)識(shí)集,對(duì)分離出的標(biāo)識(shí)建立混合整數(shù)線性規(guī)劃模型,運(yùn)用分支定界法得到補(bǔ)充監(jiān)控庫(kù)所的廣義互斥約束模型作為最優(yōu)監(jiān)控器。最后,以某柔性制造系統(tǒng)為例,建立了petri網(wǎng)模型,結(jié)合零件加工過(guò)程中資源的占用和釋放,對(duì)柔性制造系統(tǒng)進(jìn)行控制器設(shè)計(jì),設(shè)計(jì)的控制器擁有更嚴(yán)格的約束和更簡(jiǎn)化的模型,對(duì)死鎖標(biāo)識(shí)的避免是充分的,驗(yàn)證了該算法的有效性。

基于混雜系統(tǒng)理論的petri網(wǎng)遞階監(jiān)控器設(shè)計(jì)方法,對(duì)間歇過(guò)程的故障傳播和診斷進(jìn)行了研究,建立了具有兩層遞階結(jié)構(gòu)的petri網(wǎng)故障診斷系統(tǒng),上層采用賦時(shí)petri網(wǎng)協(xié)調(diào)間歇時(shí)序操作步驟,下層采用混合模糊petri網(wǎng)進(jìn)行故障監(jiān)測(cè)和診斷。針對(duì)一個(gè)實(shí)驗(yàn)級(jí)應(yīng)用例子建立了故障傳播和診斷的混合模糊petri網(wǎng)模型,實(shí)驗(yàn)和仿真結(jié)果表明了方案的可行性和有效性。

提出了一種非線性系統(tǒng)自適應(yīng)狀態(tài)觀測(cè)器的設(shè)計(jì)方法。根據(jù)系統(tǒng)工作點(diǎn)的變化在線配置極點(diǎn),選取合適的反饋增益矩陣,無(wú)論如何選取狀態(tài)觀測(cè)器的初值,都能保證觀測(cè)器在大范圍內(nèi)穩(wěn)定工作。理論分析了存在模型誤差和噪聲干擾時(shí)觀測(cè)器的魯棒性。在cstr上的仿真結(jié)果證明,用該方法設(shè)計(jì)的觀測(cè)器能夠穩(wěn)定收斂到狀態(tài)真值,并且對(duì)模型失配和噪聲干擾有一定的抑制能力

采用兩種不同的方法設(shè)計(jì)了一類狀態(tài)時(shí)滯連續(xù)時(shí)間系統(tǒng)的控制器,并通過(guò)構(gòu)造lyapunov函數(shù)研究了在控制器作用下這類系統(tǒng)的穩(wěn)定性.最后通過(guò)仿真,比較了兩種控制器的優(yōu)劣.

解耦一直是控制系統(tǒng)中比較難解決的實(shí)際問(wèn)題,為了消除控制系統(tǒng)中耦合的成分,從一個(gè)實(shí)際的模型出發(fā),通過(guò)建立系統(tǒng)模型的傳遞函數(shù),利用多變量頻率設(shè)計(jì)理論中靜態(tài)解耦的思想,產(chǎn)生一個(gè)解耦器,從而消除系統(tǒng)中耦合的成分,使系統(tǒng)變成兩個(gè)單輸入單輸出的模型,然后在此模型基礎(chǔ)上,設(shè)計(jì)出一個(gè)解耦的pid控制器。仿真結(jié)果驗(yàn)證了該解耦器能夠減少系統(tǒng)中耦合的成分,達(dá)到解耦的目的。該方法簡(jiǎn)單實(shí)用,可以推廣到許多實(shí)際的耦合系統(tǒng)中。

工程問(wèn)題是初中代數(shù)教學(xué)的重要內(nèi)容,在傳統(tǒng)教學(xué)中,幾乎采取了同一種模式,即甲完成的工作量與乙完成的工作量之和等于全部工作量.這無(wú)疑限制了學(xué)生的思維,不利其數(shù)學(xué)素質(zhì)的提高,現(xiàn)提出一類工程問(wèn)題的另一種統(tǒng)一解法,供參考.

一類工程問(wèn)題的巧妙解法

研究了一類狀態(tài)可測(cè)仿射非線性系統(tǒng)的擾動(dòng)抑制問(wèn)題,針對(duì)局部漸近穩(wěn)定的非線性系統(tǒng)受到未知有界的周期性擾動(dòng),以h∞狀態(tài)反饋標(biāo)準(zhǔn)控制方法為基礎(chǔ),給出這類問(wèn)題的設(shè)計(jì)方法,得到了控制器的參數(shù)化描述.

該文通過(guò)實(shí)例分析,探索了分別采用動(dòng)能定理和機(jī)械能守恒定律來(lái)解答有關(guān)彈力做功及彈性勢(shì)能的問(wèn)題,筆者認(rèn)為,仔細(xì)審題,熟練掌握高中物理力學(xué)知識(shí)中的重要規(guī)律,靈活選取研究過(guò)程是解答這類問(wèn)題的關(guān)鍵。

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

競(jìng)業(yè)禁止協(xié)議 甲方：xxxx電訊有限公司 乙方：　　 甲乙雙方在平等、自愿基礎(chǔ)上協(xié)商一致，簽訂本協(xié)議，雙方必須共同遵守： 　　第一條　競(jìng)業(yè)禁止 　本協(xié)議所稱競(jìng)業(yè)禁止，是指乙方在規(guī)定的期限和地域內(nèi)，不得到與甲方從事類似業(yè)務(wù)的、有競(jìng)爭(zhēng)關(guān)系的其他單位工作或者自己開(kāi)業(yè)經(jīng)營(yíng)與甲方相類似的業(yè)務(wù)，這些工作或業(yè)務(wù)包括但不限于： 　　(一)以投資、參股、合作、承包、租賃、委托經(jīng)營(yíng)或其他任何方式參與與甲方相同或者類似的工作； 　　(二)直接或間接受聘于其他單位從事與甲方相同或者類似的工作； 　　(三)直接或間接地從與甲方相競(jìng)爭(zhēng)的單位獲取經(jīng)濟(jì)利益。 　　第二條　禁止期限 　　競(jìng)業(yè)禁止的期限包括勞動(dòng)合同履行期間及勞動(dòng)合同終止后2年內(nèi)。 　　第三條　禁止行業(yè) 　　本協(xié)議所指相同和類似的工作為下列行業(yè)的工作： 　　(一)、

11111 硬度計(jì)的單位選擇 硬度單位金屬材料抵抗硬的物體壓陷表面的能力，稱為硬度。根據(jù)試驗(yàn)方法和適 用范圍不同，硬度又可分為布氏硬度、洛氏硬度、維氏硬度、肖氏硬度、顯微硬 度和高溫硬度等。對(duì)于管材一般常用的有布氏、洛氏、維氏硬度三種。 a、布氏硬度(hb)硬度單位 用一定直徑的鋼球或硬質(zhì)合金球，以規(guī)定的試驗(yàn)力(f)壓入式樣表面，經(jīng)規(guī)定保 持時(shí)間后卸除試驗(yàn)力，測(cè)量試樣表面的壓痕直徑(l)。布氏硬度值是以試驗(yàn)力除 以壓痕球形表面積所得的商。以hbs(鋼球)表示，單位為n/mm2(mpa)。 其計(jì)算公式為：硬度單位 式中：f--壓入金屬試樣表面的試驗(yàn)力，n； d--試驗(yàn)用鋼球直徑，mm； d--壓痕平均直徑，mm。 硬度單位測(cè)定布氏硬度較準(zhǔn)確可靠，但一般hbs只適用于450n/mm2(mpa)以下的 金屬材料，對(duì)于較硬的鋼或較薄的板材不適用。在鋼管標(biāo)

構(gòu)建并定義了基于時(shí)間petri網(wǎng)的分級(jí)施工網(wǎng)絡(luò)計(jì)劃模型,定義了分級(jí)庫(kù)所與任務(wù)變遷。在此基礎(chǔ)上,對(duì)進(jìn)度計(jì)劃優(yōu)化進(jìn)行了研究。根據(jù)我國(guó)工程項(xiàng)目管理模式,為滿足建筑施工進(jìn)度計(jì)劃優(yōu)化需求,基于hnpc模型建立了一個(gè)二級(jí)網(wǎng)絡(luò)計(jì)劃優(yōu)化模型;對(duì)資源約束工期優(yōu)化進(jìn)行了研究,給出了一種遺傳算法的解決策略;以petri網(wǎng)模型的變遷激發(fā)序列作為染色體進(jìn)行計(jì)算,使算法和petri網(wǎng)模型統(tǒng)一起來(lái),并通過(guò)實(shí)例證明了采用本方法的有效性。

針對(duì)建筑產(chǎn)品設(shè)計(jì)過(guò)程工作流的動(dòng)態(tài)性和不確定性的管理與控制,提出基于擴(kuò)展petri網(wǎng)的建筑產(chǎn)品設(shè)計(jì)過(guò)程工作流模型,并以一般商用辦公樓的設(shè)備設(shè)計(jì)過(guò)程為例構(gòu)建模型,應(yīng)用cpntools仿真軟件進(jìn)行仿真分析和過(guò)程優(yōu)化。結(jié)果表明,提出的工作流模型對(duì)建筑產(chǎn)品設(shè)計(jì)過(guò)程管理和優(yōu)化具有明顯效果。

利用變化的山路引理,證明了一類超線性dirichlet問(wèn)題的存在性和多重性,特別地,我們既不假設(shè)f滿足(ar)條件,也不假設(shè)f(x,t)/|t|p-1關(guān)于t不減.

西北水資源與水工程第三卷1992年第三期 ’ⅳaterresources＆waterengineering 一 一類水電能源系統(tǒng)優(yōu)化問(wèn)題 的代數(shù)解法 王計(jì)平楊德昌 、— ——一—— ——～ (太原工業(yè)大學(xué)研究生部)(太原化工教育中心)／2f／ 提要 針對(duì)一類水電能源系統(tǒng)問(wèn)題的特性，本文利用極大極小代數(shù)理論中的有關(guān)概念．提出該類問(wèn) 題 嗍列聰c原美鍵譚極大極小代數(shù)系統(tǒng)優(yōu)化同題代數(shù)葬法lt、j寸／樂(lè) 一 、引言 水電能源系統(tǒng)是涉及到水電能源規(guī)劃、設(shè)計(jì)、運(yùn)行、管理的水資源系統(tǒng)．在水電能源系 統(tǒng)優(yōu)化問(wèn)題中，由于人流的隨機(jī)性，時(shí)間因素的影響，目標(biāo)函數(shù)和約柬方程的菲線性，眾多 的決策變量、狀態(tài)變量和技術(shù)經(jīng)濟(jì)指標(biāo)等特點(diǎn)較為突出；加之水電能源系統(tǒng)的規(guī)盤(pán)f．設(shè)計(jì)、 運(yùn)行和管理問(wèn)題通常都是一個(gè)多階段序列決策過(guò)程．

針對(duì)一類水電能源系統(tǒng)問(wèn)題的特性,本文利用極大極小代數(shù)理論中的有關(guān)概念,提出該類問(wèn)題的一種代數(shù)優(yōu)化算法。

介紹了一個(gè)基于web的工作流監(jiān)控工具wfmonitor,給出了wfmonitor的基本結(jié)構(gòu)和實(shí)現(xiàn)機(jī)制,對(duì)wfmonitor中若干關(guān)鍵技術(shù)進(jìn)行了研究,包括總體架構(gòu)、xml數(shù)據(jù)模型、flash與j2ee交互技術(shù)。該監(jiān)控器已在多個(gè)項(xiàng)目的流程監(jiān)控中試用。

針對(duì)一類與傳統(tǒng)一階慣性環(huán)節(jié)傳遞函數(shù)結(jié)構(gòu)類似的分?jǐn)?shù)階系統(tǒng),推導(dǎo)出該類分?jǐn)?shù)階系統(tǒng)穩(wěn)定的參數(shù)取值范圍,并給出了不同時(shí)間響應(yīng)與分?jǐn)?shù)階階次的對(duì)應(yīng)關(guān)系.然后基于該類分?jǐn)?shù)階系統(tǒng)同時(shí)設(shè)計(jì)了分?jǐn)?shù)階piλ控制器和整數(shù)階pi控制器,控制器參數(shù)采用粒子群優(yōu)化算法得到.結(jié)果表明:在控制該類對(duì)象時(shí)兩者均能取得很好的控制效果,證明了本文所提方法的有效性.但由于整數(shù)階pi控制器比分?jǐn)?shù)階piλ控制器簡(jiǎn)單且便于實(shí)現(xiàn),因此在工程應(yīng)用中針對(duì)該類分?jǐn)?shù)階對(duì)象選擇pi控制器即可滿足要求.

對(duì)于含有不可控變遷的petri網(wǎng)監(jiān)控問(wèn)題,允許狀態(tài)空間可能需要一組"或"的允許約束來(lái)描述,而庫(kù)所不變量的監(jiān)控方法只將給定約束轉(zhuǎn)換為單個(gè)的允許約束,其監(jiān)控器將系統(tǒng)行為限制在允許標(biāo)識(shí)狀態(tài)空間的較小子集內(nèi),其限制性過(guò)于嚴(yán)格,且該方法無(wú)法解決某些監(jiān)控問(wèn)題。針對(duì)上述問(wèn)題,給出了一種基于關(guān)聯(lián)矩陣代數(shù)運(yùn)算的約束轉(zhuǎn)換方法,能夠?qū)⒔o定約束轉(zhuǎn)換為一組"邏輯或"的允許約束,進(jìn)而給出了邏輯型監(jiān)控器的設(shè)計(jì)方法,其控制策略的在線計(jì)算可以在多項(xiàng)式時(shí)間內(nèi)完成,能夠滿足實(shí)時(shí)性的要求,并且該監(jiān)控器比方法的監(jiān)控器允許性更大。需要指出的是該方法的約束轉(zhuǎn)換算法的離線計(jì)算量具有指數(shù)級(jí)的計(jì)算復(fù)雜性。

設(shè)計(jì)了一種應(yīng)用于基于光纖傳感技術(shù)的物聯(lián)網(wǎng)系統(tǒng)中的網(wǎng)絡(luò)視頻監(jiān)控器。基于c/s模型,采用集成了高速arm9處理核和高效mpeg-4編解碼引擎的fic8120芯片,并優(yōu)化設(shè)計(jì)了嵌入式linux驅(qū)動(dòng)程序和用戶程序。測(cè)試表明,該系統(tǒng)具備完善的控制功能和高效的編碼性能,能聯(lián)合光纖傳感網(wǎng)絡(luò)和中心控制服務(wù)器對(duì)各種侵入進(jìn)行實(shí)時(shí)的定位、監(jiān)控、錄像和報(bào)警,滿足物聯(lián)網(wǎng)的需求。

一類新型的散粒型土體本構(gòu)理論——詳細(xì)地介紹了國(guó)際上近30才發(fā)展起來(lái)的具有獨(dú)特建模思想的一類新型的散粒型土體本構(gòu)建模理論——亞塑性本構(gòu)理論。將該理論與經(jīng)典的彈塑性理論進(jìn)行比較后發(fā)現(xiàn)，亞塑性理論的本構(gòu)表達(dá)式自動(dòng)隱含了彈塑性理論中相對(duì)應(yīng)的一些基本概念...