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