SpaceWire-D的调度表生成方法

• 作者: 刘波 刘鸿瑾 姜宏 杨孟飞 龚健
• 来源期刊: 中国空间科学技术
• 学科: 工学
• 关键词: SpaceWire-D 调度表 可满足性模理论 实时通信 贪婪算法
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 研究探讨
• 页码范围: 11-18
• 页数: 8页
• 分类号: T P301
• 字数: 5543字
• 语种: 中文
• DOI: 10.16708／j.cnki.1000-758X.2018.0065

摘要

针对航天高速SpaceWire-D提出了一种调度表生成方法.该方法基于贪婪算法和SM T 求解器.贪婪算法是主体,在每次迭代中以调度表的分布均匀性为优化原则产生一个约束集作为SM T求解器的输入参数,然后调用SM T 求解器. SM T 求解器是重要工具,用于对输入参数的可满足性进行判定,如果可满足则将输出的模型作为生成的调度表.此外,还提出了设置分片长度、确定时间槽大小以及划分冲突域的策略.最后,通过试验对方法的效果进行了验证.结果表明,生成调度表的时间较短且调度表具有良好的分布均匀性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚健		11	58	5.0	7.0
2	杨孟飞		45	222	10.0	12.0
3	刘鸿瑾		13	72	5.0	8.0
4	刘波		22	69	5.0	8.0
5	姜宏		10	12	2.0	3.0