周密
- 作品数：18 被引量：15H指数：2
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- 给定余度下可重构计算系统的可靠性最优化研究被引量：1
- 2009年
- 研究在给定余度及给定配置版本数量的约束下,以可靠性及平均失效时间为优化目标,多个配置版本在可重构器件中所占据资源的面积分配问题。上述问题使用论域划分模型来建模,并转化为非线性规划问题进行求解。给出了可靠性一阶近似最优化的充分必要条件。提出了使用二阶近似规划求解上述问题的方法与流程。选择ITC99中的部分基准电路进行了仿真试验。理论计算和仿真试验均表明,大多数情况下采用现提出的二阶近似最优化方法的可重构系统在可靠性和平均失效时间等指标上优于以往的研究。
- 周密尚利宏胡瑜
- 关键词：可重构计算容错故障恢复
- 一种面向大规模并行系统的分组协同检查点算法
- 随着大规模并行系统使用着越来越多的处理器,相应地其容错能力也变得越来越重要.协同检查点设置和卷回恢复是此类系统中广泛使用的重要容错技术,但它面临着日益严峻的可扩展性问题.随着处理器数目增加导致设置检查点时需要保存更多的检...
- 黄琼尚利宏周密金惠华
- 文献传递
- 一种面向大规模并行系统的分组协同检查点算法被引量：1
- 2010年
- 随着大规模并行系统使用着越来越多的处理器,相应地其容错能力也变得越来越重要.协同检查点设置和卷回恢复是此类系统中广泛使用的重要容错技术,但它面临着日益严峻的可扩展性问题.随着处理器数目增加导致设置检查点时需要保存更多的检查点文件,这使得其开销率显著增加.提出一种新的基于分组的协同检查点算法,它使用更好的调度策略使得某一组进程在设置检查点时,其他的进程能够更多地处于计算状态,从而有效地减少了检查点开销.实验表明该算法在系统规模增加时具有良好地可扩展性.
- 黄琼尚利宏周密金惠华
- 一种可配置的EDA仿真验证方法
- 2007年
- 介绍了一种适用于5000逻辑单元以上规模电路的可配置EDA仿真验证方法.它由可配置的测试台生成器自动产生测试台,并管理测试向量的注入和仿真状态的存储.与以往研究采用的定时触发的激励信号注入方式不同,本方法采用事件触发,从而保持了与被测电路仿真过程的实时交互.自动生成测试台代码可避免设计人员进行重复性编码并提高了可靠性.事件触发的仿真状态保存机制大大节省了存储空间.
- 周密尚利宏金惠华
- 关键词：仿真验证EDA可配置
- 高可靠性数字集成电路设计方法
- 一种高可靠性数字电路的设计方法，在用传统EDA设计流程得到网表文件后，将网表转换为超图，并基于超图的细粒度划分方法，允许设计者仅通过按传统EDA方法描述电路，以及指定某种故障防卫技术以及某种可靠性指标，即可以自动的完成向...
- 周密尚利宏张炯金惠华
- 文献传递
- ARINC629航空数据总线在以太网上的仿真
- 做为新一代的民用客机机载数据总线,ARINC629总线在大型民用客机上得到了越来越广泛的应用,目前我国要大力发展大飞机,对ARINC629总线进行系统仿真和验证是非常重要的工作。但是由于总线价格昂贵,用实际的总线进行仿真...
- 张文轩尚利宏金惠华周密
- 关键词：以太网民用客机MAC层协议
- 文献传递
- 基于自主1553B协议芯片PC-MBI通信软件的设计与实现被引量：2
- 2006年
- 本文简要介绍航空电子通信系统的层次结构和基于自主1553B协议芯片PC-MBI的硬件设计,针对所设计接口卡提出了一种基于VxWorksPC-MBI通信软件的设计实现方法。所设计的MBI通信软件完成传输层的功能,使接口卡具有智能性,减少了子系统主机的干预,符合航空电子工程要求。
- 李化云周密尚利宏金惠华
- 可重构计算系统中的容错技术研究
- 周密
- 关键词：容错可重构计算故障恢复
- 基于非干涉测试和多核的面向应用调节架构
- 资源受限的嵌入式系统中运行的应用程序与运行于桌面系统的应用程序有显著的不同,需要考虑应用本身的需求,也要更多的关注体系结构对于计算所提供的指令级和微指令级的支持.具体来说,根据应用而定制的硬件计算逻辑对于提高应用程序的性...
- 张炯周密吕紫旭金惠华
- 关键词：嵌入式系统可配置处理器
- 文献传递
- ARINC 629航空数据总线MAC层协议分析
- 2008年
- 做为新一代的民用客机机载数据总线,ARINC 629总线在大型民用客机上得到了越来越广泛的应用。在介绍ARINC 629航空数据总线的基础上,对总线MAC层使用的两种协议包括基础协议BP和混合协议CP的协议规则进行了详细描述,分析了两种协议的时间特性,对两种协议的特点和使用情况进行了对比。
- 尚利宏张文轩周密
- 关键词：ARINCBPCP
