国家高技术研究发展计划(2007AA01A127)
- 作品数：12 被引量：92H指数：3
- 相关作者：牛建伟王雷李云春胡凯周兴更多>>
- 相关机构：北京航空航天大学北京大学中国科学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 基于复杂网络的操作系统内核演化与稳定性研究被引量：2
- 2011年
- 出了基于复杂网络研究操作系统内核模块演化的方法.通过研究223个Linux版本(从1.1.0到2.4.35)内核模块函数调用图的度分布和平均路径长度,发现函数调用图具有无标度和小世界特征.根据复杂网络中平均路径长度与网络节点的关系,提出了通过平均路径长度斜率发现演化过程中的异常点,从而发现内核模块结构重大变化的方法.提出了稳定系数,量化描述内核模块在演化过程中的稳定性,最后通过Vasa等人的度量方法对结论进行了验证.
- 王雷王政杨晨张莉
- 关键词：复杂网络操作系统无标度网络小世界网络平均路径长度
- 改进的SSDA并行算法及其在TEM中的应用被引量：1
- 2009年
- 介绍了一种把图像匹配中的序贯相似性检测算法(SSDA,Sequential Similari-ty Detection Algorithm)应用到地形匹配中的方法,把地形匹配系统中的数字高程模型、高程数据和实时剖面数据分别视为SSDA算法中的搜索图、灰度值和模板,同时提出了动态门限序列和分组选取随机点的方法,最后将改进的SSDA算法进行并行化并用消息传递接口(MPI,Message Passing Interface)实现.实验结果表明,改进的SSDA算法能有效地提高地形匹配的速度和计算精度,而相应的并行程序也能取得较好的加速比,从而一定程度上解决了传统的地形匹配算法时间复杂度高、实时性差的问题.
- 胡凯张新宇杨锐刘德卿
- 关键词：序贯相似性检测算法并行化
- k-元n-立方体网络局部通信模式下的性能模型被引量：1
- 2011年
- 大规模并行计算机互连网络的设计对并行应用程序的执行效率有重要影响,k-元n-立方体是广泛使用的拓扑结构.局部通信是并行应用的主要通信模式之一,研究局部通信模式下互连网络的性能有重要意义,已有分析模型缺乏对这方面的充分研究.引入局部通信率和局部通信区域半径组成的二元参数,刻画k-元n-立方体网络节点间通信的空间局部性.利用排队论对网络建模,研究延迟和吞吐量随负载的变化规律,比较局部性参数对网络性能的影响强度,针对长、短消息情况分别进行详细讨论.最后采用改进的网络模拟器,验证分析模型具有较高的准确性.为具有局部通信性质的大规模并行应用,提供了一种有效预测延迟和吞吐量的方法.
- 胡凯王哲蒋树尹宝林
- 关键词：M/G/1排队模型吞吐量
- 基于约束分析与模型检测的代码安全漏洞检测方法研究被引量：6
- 2011年
- 与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23%.对minicom的切片实验显示,检测性能有较大提高.
- 王雷陈归金茂忠
- 关键词：安全漏洞程序切片
- 浅谈超级计算中心的高性能计算机系统面临的挑战及应对被引量：2
- 2010年
- 本文从系统和应用两方面讨论了超级计算中心建设高性能计算机面临的主要挑战,指出可融合多种体系结构和多类处理器优势的异构体系结构已成为应对挑战的一种重要选择,并介绍了为中国科学院超级计算中心研制高性能计算机系统的一些实践和探索。
- 肖利民祝明发
- 关键词：超级计算中心高性能计算机
- 网络设备配置管理软件设计与实现被引量：3
- 2010年
- 为解决校园网络中因网络扩展及设备增加带来的网络配置管理难的问题,对国内外网络设备配置管理相关技术进行分析,提出对网络设备进行配置集中管理的分层软件架构,并在实现该架构配置通讯模块过程中,设计解释性网络配置管理语言(NCML),为该架构提供准确灵活的配置通讯及配置管理.
- 李云春尹殷刘兴昊
- 关键词：校园网络网络管理
- 基于帧间信息度优化的H.264码率控制算法
- 2009年
- 基于视频编码标准H.264提出一种改进的码率控制算法.该算法优化了标准中原算法码率分配趋于平均而且不充分利用已编码帧信息的问题.由于引入了帧的信息度因子,使得码率分配更加准确,根据已编码帧的历史信息更准确地调整当前帧要使用的量化参数.实验结果表明:视频输出序列的峰值信噪比有明显提高,对视频传输取得了更好的码率控制效果.
- 王胜华牛建伟汪孔桥马健陈灿峰
- 关键词：码率控制率失真优化信息度
- 基于传统目录学的古籍文献数据库建设之思考被引量：1
- 2010年
- 文、史、哲等传统学科的学者需要面对浩如烟海的古籍,由于数量庞大和阅读不易,古籍数据库的作用便越来越大,而如何建设古籍数据库便成为一个与传统学术密切相关的问题。以经、史、子、集四部分类为基础的传统目录学仍具有不可或缺的作用,传统目录学与现代数据库技术的结合才能更好地适应新时期的古籍数据库建设,并对传统文史学科的发展提供更好的支持。
- 郑永晓
- 关键词：传统目录学古籍数字化数据库
- 一种基于社区机会网络的消息传输算法被引量：39
- 2009年
- 由人携带的具有短距离通信接口的移动设备所组成的网络具有社区性质.当前机会网络中主流的多拷贝路由算法并没有考虑到节点的社区性质,如果将这些算法直接应用到社区机会网络中会造成传输延迟大、消息丢失率高等问题.针对这些问题,提出了一种基于社区机会网络的消息传输算法(CMTS),能够根据节点之间的通信频繁程度,自动将节点划分成不同的社区,自适应地控制消息的拷贝数量并依靠活跃节点将消息传输到目标社区.仿真结果表明,在延迟要求宽松的社区机会网络中,与Sprayand Focus算法相比,CMTS算法能够在保证较高消息传输成功率的同时,减少了约20%的消息转发次数,有效地降低了网络资源的消耗.
- 牛建伟周兴刘燕孙利民马建
- 关键词：机会网络社区网络多拷贝消息路由自适应传输
- 一种支持事务内I/O操作的事务存储系统结构被引量：3
- 2009年
- 本文提出了一种支持事务内I/O操作的硬件事务存储系统结构.该系统基于多核处理器结构和已有的cache一致性机制,通过增加事务缓冲区和相关硬软件,实现对事务的支持.事务内I/O操作的实现基于事务提交锁的部分提交以及事务线程的阻塞/唤醒机制,解决了事务内I/O操作所面临的回滚、事务迁移和缓冲区溢出等问题.系统在模拟器中实现,并利用5个测试程序对系统的性能进行了评价分析,结果表明事务程序在系统中的性能相对于锁程序得到提升.
- 刘轶李明修张昕李鹤焦林钱德沛
- 关键词：事务存储多核处理器编程模型I/O操作
