SpaceWire-D的調(diào)度表生成方法
作者：姜宏; 楊孟飛; 劉波; 劉鴻瑾; 龔健 北京控制工程研究所; 北京100190; 中國(guó)空間技術(shù)研究院; 北京100094
摘要：針對(duì)航天高速SpaceWire-D提出了一種調(diào)度表生成方法。該方法基于貪婪算法和SMT求解器。貪婪算法是主體,在每次迭代中以調(diào)度表的分布均勻性為優(yōu)化原則產(chǎn)生一個(gè)約束集作為SMT求解器的輸入?yún)?shù),然后調(diào)用SMT求解器。SMT求解器是重要工具,用于對(duì)輸入?yún)?shù)的可滿足性進(jìn)行判定,如果可滿足則將輸出的模型作為生成的調(diào)度表。此外,還提出了設(shè)置分片長(zhǎng)度、確定時(shí)間槽大小以及劃分沖突域的策略。最后,通過試驗(yàn)對(duì)方法的效果進(jìn)行了驗(yàn)證。結(jié)果表明,生成調(diào)度表的時(shí)間較短且調(diào)度表具有良好的分布均勻性。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社。
中國(guó)空間科學(xué)技術(shù)雜志
中國(guó)空間科學(xué)技術(shù)雜志， 雙月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：綜述、其他、論文等。于1981年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 北大期刊
- CSCD期刊
- 統(tǒng)計(jì)源期刊
- 1-3個(gè)月審核
