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