卢晨
- 作品数：5 被引量：3H指数：1
- 供职机构：广西民族大学信息科学与工程学院更多>>
- 发文基金：广西民族大学研究生教育创新计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于扩展ambient ASM的云计算形式化模型
- 随着社会进步和互联网技术发展,网络数据量飞速增长且规模日渐庞大。传统数据处理方法存在数据存储成本过高、海量数据管理较困难、可靠性较低、效率低下、并行处理程序编写困难等诸多缺点。人们需要一种新的技术思想来解决这些问题。云计...
- 卢晨
- 关键词：抽象状态机云计算
- 文献传递
- 基于混合蛙跳算法的软硬件划分方法
- 2016年
- 软硬件划分问题是嵌入式系统软硬件协同设计的关键问题,划分结果的好坏直接影响着系统性能的优劣.将软硬件划分问题转化成0-1背包问题,提出了一种基于混合蛙跳算法求解软硬件划分问题的方法.该方法在求解软硬件划分问题的过程中,不断地寻找更优可行解,逐渐达到搜索全局最优解,使得系统的软硬件实现总代价最小.实验结果表明,该方法能很好求解软硬件划分问题,所应用算法的收敛速度明显优于对比算法.
- 卢晨毛乐乐黄勇
- 关键词：软硬件协同设计软硬件划分混合蛙跳算法启发式算法
- 一种改进的分布式存储系统节点动态扩展策略
- 2016年
- 分布式存储系统经常面临数据的均衡分布和扩容问题,针对现有一致性哈希动态扩展算法的不足,提出一种基于访问概率的动态扩展策略.该策略基于热点数据访问概率大的思想改进原算法虚拟节点的分配方法,能够有效改善扩容后造成请求命中率下降和负载均衡的问题.实验结果表明,在系统添加新存储节点时,改进策略有效地优化了系统的性能,缩短了系统到达新的负载平衡状态的时间.
- 裴沛黄勇卢晨
- 关键词：数据存储负载均衡
- 一种基于Verilog的任意整数分频器实现方法被引量：2
- 2015年
- 在分析基于Verilog的偶数分频程序和奇数分频程序的基础上,提出了一种基于Verilog的任意整数分频器的实现方法,并在QuartusⅡ平台上完成了基于这种实现方法的任意整数分频器的编程和综合,在Modelsim中完成了任意整数分频器的仿真获得通过.该文的Verilog程序可以直接引用,为此类程序实际提供借鉴.
- 谷涛黄勇卢晨
- 关键词：VERILOG
- 可满足模理论在软硬件划分领域的应用
- 2016年
- 软硬件划分是评价软硬件协同设计优劣,甚至影响设计成败的关键技术之一.文章首次将可满足模理论应用于软硬件划分问题,借助Z3、CVC4与MathSAT5可满足问题解决器求得最优的软硬件划分方案,使得系统的软硬件实现代价最小,经实验验证,针对软硬件划分问题,Z3的综合性能要优于另外两种解决器.采用可满足性问题求解方案,不仅克服了传统启发式算法陷入局部最优解的弊端,同时也弥补了规划类算法不适应于大规模划分问题的不足.
- 毛乐乐胡小勤卢晨
- 关键词：软硬件协同设计软硬件划分
