摘要：針對(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è)置分片長度、確定時(shí)間槽大小以及劃分沖突域的策略。最后,通過試驗(yàn)對(duì)方法的效果進(jìn)行了驗(yàn)證。結(jié)果表明,生成調(diào)度表的時(shí)間較短且調(diào)度表具有良好的分布均勻性。