本文關(guān)鍵詞：并發(fā)系統(tǒng)中基于優(yōu)先級(jí)的調(diào)度分析

  更多相關(guān)文章： 優(yōu)先級(jí) 調(diào)度策略 分解 正確性

【摘要】：當(dāng)前復(fù)雜的并發(fā)系統(tǒng)多采用模塊化、逐步求精和信息隱藏等非形式化的原則來指導(dǎo)系統(tǒng)的開發(fā),而這些指導(dǎo)原則抽象且無法保證分解系統(tǒng)的正確性。為此,對(duì)基于優(yōu)先級(jí)控制的系統(tǒng)分解方法展開研究,提出一種系統(tǒng)分解的方法,并在理論上證明該分解方法的正確性。首先采用基于事件的行為模型對(duì)系統(tǒng)進(jìn)行建模;接著定義調(diào)度、調(diào)度策略和調(diào)度策略正確性的概念;然后研究調(diào)度策略的分解方法,并證明了調(diào)度策略分解方法的正確性;最后根據(jù)該方法,開發(fā)出一種支持依賴模型建模和調(diào)度策略分解的原型工具,通過實(shí)例的演示,說明了使用該方法可以把系統(tǒng)分解成若干個(gè)子系統(tǒng),從而設(shè)計(jì)出正確和有效的調(diào)度策略,以達(dá)到正確分解系統(tǒng)的目的。
【作者單位】： 福建師范大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院福建省網(wǎng)絡(luò)安全與密碼技術(shù)重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 優(yōu)先級(jí) 調(diào)度策略 分解 正確性
【基金】：國家高技術(shù)研究發(fā)展計(jì)劃(863)(2012AA011205) 國家自然科學(xué)基金(61175123) 上海知識(shí)服務(wù)平臺(tái)項(xiàng)目(ZF1213) 上海高可信計(jì)算重點(diǎn)實(shí)驗(yàn)室開放課題(07dz22304201401) 福建省自然科學(xué)基金(2014J01221) 福建師范大學(xué)優(yōu)秀骨干教師基金(fjsdjk2012047)資助
【分類號(hào)】：TP277
【正文快照】： 本文受國家高技術(shù)研究發(fā)展計(jì)劃(863)(2012AA011205),國家自然科學(xué)基金(61175123),上海知識(shí)服務(wù)平臺(tái)項(xiàng)目(ZF1213),上海高可信計(jì)算重點(diǎn)實(shí)驗(yàn)室開放課題(07dz22304201401),福建省自然科學(xué)基金(2014J01221),福建師范大學(xué)優(yōu)秀骨干教師基金(fjsdjk2012047)資助。1引言隨著并發(fā)系統(tǒng)功

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉愛珍;王嘉禎;彭德云;文家福;;一種高效的基于拍賣背包機(jī)制的移動(dòng)Agent調(diào)度策略[J];計(jì)算機(jī)應(yīng)用研究;2007年06期

2 喬非;李莉;王遵彤;過純中;;面向半導(dǎo)體生產(chǎn)的改進(jìn)的混合重調(diào)度策略研究[J];計(jì)算機(jī)集成制造系統(tǒng);2007年03期

3 陳琳,胡澤新,邵惠鶴;多段多品種間歇過程混合型生產(chǎn)調(diào)度策略及應(yīng)用研究[J];信息與控制;1992年01期

4 朱海平;邵新宇;張國軍;;不確定信息條件下的車間調(diào)度策略研究[J];計(jì)算機(jī)集成制造系統(tǒng);2006年10期

5 胡國珍;王文君;;基于μC/OS-II的無線調(diào)度策略分析與實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2008年17期

6 于華;王雷;;作業(yè)車間批量調(diào)度策略研究[J];井岡山大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年01期

7 程鵬;高慶;金磊;;地物模型調(diào)度策略技術(shù)淺析[J];中國新技術(shù)新產(chǎn)品;2010年22期

8 王遵彤,喬非,吳啟迪;基于CBR的半導(dǎo)體生產(chǎn)線組合調(diào)度策略研究[J];計(jì)算機(jī)工程;2005年07期

9 宮琳;孫厚芳;胥騫;;數(shù)字化生產(chǎn)車間動(dòng)態(tài)生產(chǎn)環(huán)境復(fù)雜調(diào)度策略[J];航空制造技術(shù);2007年09期

10 倫永亮;程良倫;;一種基于反饋的CPS上層資源動(dòng)態(tài)分配與優(yōu)化調(diào)度策略[J];科技通報(bào);2012年12期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前4條

1 王冰;谷寒雨;席裕庚;;大規(guī)模單機(jī)靜態(tài)調(diào)度的終端約束滾動(dòng)策略[A];第二十二屆中國控制會(huì)議論文集（下）[C];2003年

2 趙千川;鄭大鐘;;一類HDS的事件反饋型最優(yōu)調(diào)度策略[A];1996年中國控制會(huì)議論文集[C];1996年

3 趙千川;鄭大鐘;;CLB調(diào)度策略的性能估計(jì)[A];1998年中國控制會(huì)議論文集[C];1998年

4 方劍;席裕庚;;動(dòng)態(tài)環(huán)境下的Job Shop周期性滾動(dòng)調(diào)度策略[A];1996中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1996年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 周瀏陽;網(wǎng)絡(luò)控制系統(tǒng)中調(diào)度策略的設(shè)計(jì)與延時(shí)的處理[D];哈爾濱工業(yè)大學(xué);2015年

2 何忠賀;切換服務(wù)網(wǎng)絡(luò)的穩(wěn)定性及交通信號(hào)控制應(yīng)用[D];北京工業(yè)大學(xué);2013年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 修俊僑;云計(jì)算資源調(diào)度策略的研究[D];長春工業(yè)大學(xué);2015年

2 殷洪海;云環(huán)境下基于改進(jìn)蟻群算法的資源調(diào)度策略[D];電子科技大學(xué);2014年

3 張浩榮;云環(huán)境下基于蟻群算法的資源調(diào)度策略研究[D];廣東工業(yè)大學(xué);2014年

，

本文編號(hào)：682840