胡小勤
- 作品数：2 被引量：0H指数：0
- 供职机构：广西民族大学更多>>
- 发文基金：广西民族大学研究生教育创新计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 多目标量子遗传算法在低功耗状态分配中的应用
- 量子进化算法是一种新型的进化算法,它基于最新量子原理,并引入量子位编码和量子旋转门更新染色体群体的方法搜索全局最优解。因此量子进化算法具有全局搜索能力强,收敛速度快和染色体群体规模小的特点。而遗传算法是模仿生物界的进化法...
- 胡小勤
- 关键词：低功耗
- 文献传递
- 可满足模理论在软硬件划分领域的应用
- 2016年
- 软硬件划分是评价软硬件协同设计优劣,甚至影响设计成败的关键技术之一.文章首次将可满足模理论应用于软硬件划分问题,借助Z3、CVC4与MathSAT5可满足问题解决器求得最优的软硬件划分方案,使得系统的软硬件实现代价最小,经实验验证,针对软硬件划分问题,Z3的综合性能要优于另外两种解决器.采用可满足性问题求解方案,不仅克服了传统启发式算法陷入局部最优解的弊端,同时也弥补了规划类算法不适应于大规模划分问题的不足.
- 毛乐乐胡小勤卢晨
- 关键词：软硬件协同设计软硬件划分
