国家高技术研究发展计划(2006AA01Z173)
- 作品数：6 被引量：47H指数：2
- 相关作者：熊光泽常政威桑楠雷航谢晓娜更多>>
- 相关机构：电子科技大学郑州大学体育学院成都信息工程大学更多>>
- 发文基金：国家高技术研究发展计划广东省粤港关键领域重点突破项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 用角轮廓结构实现基于O-Tree表示法的模块快速放置算法
- 2008年
- 在VLSI物理设计中,O-Tree是一种高效简洁的布局表示法,但其对应的模块放置算法因为基于水平和垂直约束图及其操作而复杂且费时(算法时间复杂度为O(n2)).文中算法利用模块放置过程中右上端边沿形成的角轮廓结构的阶梯下降性,结合O-Tree编码结点间的父子关系,快速确定模块的放置位置.在模块的放置过程中不需要约束图,只保持一个角轮廓,使模块的放置更加简单高效,算法时间复杂度降低为O(nlogn).在MCNC Benchmark上的实验结果验证了该算法的有效性.
- 李康虞厥邦于永斌
- 可信计算发展综述被引量：25
- 2009年
- 可信计算是当前计算机科学的一个研究热点,对可信计算的发展进行了综述。阐述了可信性的起源与内涵,总结了可信计算领域的国内外研究进展。针对安全关键系统,着重介绍了各种高可信保障技术。最后,探讨了可信计算的发展趋势。
- 熊光泽常政威桑楠
- 关键词：可信计算安全关键系统
- 梯度相关的无线传感器网络成簇路由协议被引量：1
- 2009年
- 分析了梯度和成簇无线传感器网络路由协议,确定了协议中存在的缺陷,设计了一种基于梯度的高效节能成簇路由协议(GBCRP)。采用基于跳数的梯度建立、能量相关的成簇算法、关键节点转发和功率自适应的簇头路由等技术,解决了无线传感器网络的节点能耗和路由失败而导致的数据传输可靠性问题。仿真实验表明,该协议有效地延长了网络的生命周期。针对不同密度的传感器节点,网络生命周期具有很好的稳定性,同时该协议也具有较好的可靠性保障。
- 郭文生廖勇熊光泽
- 关键词：成簇算法
- 片上网络映射问题的改进禁忌搜索算法被引量：19
- 2008年
- 为求解通信时延受约束的低能耗片上网络(NoC)映射问题,提出一种改进禁忌搜索算法.该算法由局部搜索和精英重组2个步骤经过多次迭代完成,局部搜索采用简化的robust tabu search(RoTS),精英重组步骤选用CO-HX交叉操作.实验结果表明:文中算法与RoTS相比具有优化性能好、搜索空间小的优点,映射结果比分支限界法平均节能16.1%,适于求解大规模NoC映射问题.
- 常政威谢晓娜桑楠熊光泽
- 关键词：能耗时延禁忌搜索
- 基于中间件的实时可信构件的开发框架研究与实现被引量：2
- 2007年
- 针对普适计算模式下安全关键系统对实时性和可信性的需求,从提高软件质量和开发效率的角度出发,首先讨论了实时可信构件的内涵,接着提出了一个基于中间件的实时可信构件的开发模型,最后以提出的模型为基础,阐述一个构件化的可定制实时可信构件的开发框架,并给出框架的实现方法。
- 魏乐雷航
- 关键词：中间件
- 一种推广化符号轨迹赋值中伪报错的改进算法被引量：1
- 2008年
- 介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.
- 郑德生杨国武雷航
- 关键词：形式化验证
