本文主要研究内容
作者姜宏,杨孟飞,刘波,刘鸿瑾,龚健（2019）在《SpaceWire-D的调度表生成方法》一文中研究指出：针对航天高速SpaceWire-D提出了一种调度表生成方法。该方法基于贪婪算法和SMT求解器。贪婪算法是主体,在每次迭代中以调度表的分布均匀性为优化原则产生一个约束集作为SMT求解器的输入参数,然后调用SMT求解器。SMT求解器是重要工具,用于对输入参数的可满足性进行判定,如果可满足则将输出的模型作为生成的调度表。此外,还提出了设置分片长度、确定时间槽大小以及划分冲突域的策略。最后,通过试验对方法的效果进行了验证。结果表明,生成调度表的时间较短且调度表具有良好的分布均匀性。
Abstract
zhen dui hang tian gao su SpaceWire-Ddi chu le yi chong diao du biao sheng cheng fang fa 。gai fang fa ji yu tan lan suan fa he SMTqiu jie qi 。tan lan suan fa shi zhu ti ,zai mei ci die dai zhong yi diao du biao de fen bu jun yun xing wei you hua yuan ze chan sheng yi ge yao shu ji zuo wei SMTqiu jie qi de shu ru can shu ,ran hou diao yong SMTqiu jie qi 。SMTqiu jie qi shi chong yao gong ju ,yong yu dui shu ru can shu de ke man zu xing jin hang pan ding ,ru guo ke man zu ze jiang shu chu de mo xing zuo wei sheng cheng de diao du biao 。ci wai ,hai di chu le she zhi fen pian chang du 、que ding shi jian cao da xiao yi ji hua fen chong tu yu de ce lve 。zui hou ,tong guo shi yan dui fang fa de xiao guo jin hang le yan zheng 。jie guo biao ming ,sheng cheng diao du biao de shi jian jiao duan ju diao du biao ju you liang hao de fen bu jun yun xing 。
论文参考文献
论文详细介绍
论文作者分别是来自中国空间科学技术的姜宏,杨孟飞,刘波,刘鸿瑾,龚健，发表于刊物中国空间科学技术2019年01期论文，是一篇关于调度表论文,可满足性模理论论文,实时通信论文,贪婪算法论文,中国空间科学技术2019年01期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自中国空间科学技术2019年01期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：调度表论文; 可满足性模理论论文; 实时通信论文; 贪婪算法论文; 中国空间科学技术2019年01期论文;