摘要：針對航天高速SpaceWire-D提出了一種調度表生成方法。該方法基于貪婪算法和SMT求解器。貪婪算法是主體,在每次迭代中以調度表的分布均勻性為優化原則產生一個約束集作為SMT求解器的輸入參數,然后調用SMT求解器。SMT求解器是重要工具,用于對輸入參數的可滿足性進行判定,如果可滿足則將輸出的模型作為生成的調度表。此外,還提出了設置分片長度、確定時間槽大小以及劃分沖突域的策略。最后,通過試驗對方法的效果進行了驗證。結果表明,生成調度表的時間較短且調度表具有良好的分布均勻性。