关键词
综合模块化航空电子多约束分区调度方法
作者: 杨骏峰   李峭   来源: 电子测量技术 年份: 2017 文献类型 : 期刊 关键词: 分区约束条件   调度   图论   IMA   SMT工具   航空电子  
描述: 。根据系统硬件资源和应用的要求,定义分区的多类型约束条件,使得分区到在各个模块上的分配和时分访问调度成为复杂的组合优化问题。通过将分区分配的预处理与满足性模理论(satisfiability
< 1
Rss订阅