国家高技术研究发展计划(2009AA012200) 作品数:29 被引量:73 H指数:4 相关作者: 江成顺 崔颖 王奕森 韩国栋 郭玉东 更多>> 相关机构: 解放军信息工程大学 中国人民解放军信息工程大学 国家数字交换系统工程技术研究中心 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 更多>>
虚拟化系统中的攻击与防护模型研究 被引量:2 2013年 针对目前的攻击模型不能充分表达虚拟化系统所面临的威胁,可信基设计忽略虚拟机监控器(virtual machine monitor,VMM)完整性,客户机资源保护不充分等问题,设计了基于协作型VMM的安全模型.采用非对称的地址映射和访问权限使安全部件及监控点隔离于易受感染代码,建立了双系统间引用监控机制验证VMM内存完整性,并根据恶意行为的语义映射在关键路径上保护系统资源.实验结果表明协作型VMM安全模型能够捕获到客户机中完整的信息流,并能准确识别出其中的异常系统调用序列. 王晓睿 王清贤 郭玉东 卢建平关键词:虚拟化 安全防护 资源监控 基于UML的SoC层次化设计模型研究 被引量:2 2010年 为了进一步提高基于统一建模语言(unified modelinglanguage,UML)的系统集成芯片(systemon achip,SoC)设计技术的开发效率,提出一种层次化设计模型。该模型在软硬件协同设计之前先建立与系统实现方式无关的逻辑功能模型;然后使用设计空间搜索技术决策系统最佳实现方案,为系统设计者提供系统实现方式选择平台。同时通过定义4个设计模型概念层及相应的层间接口建立层次化的设计模型,方便设计模型数据在开发组内交互,减少重复工作。最后介绍了层次化设计模型在多种开发模型及设计模式中的应用,表明了层次化模型的灵活性。 马钊坤 韩国栋关键词:系统集成芯片 统一建模语言 基于平衡理论的P2P信任模型的建构与设计 被引量:1 2015年 当前P2P网络中存在着大量的恶意节点攻击和共谋团体欺骗等问题,已存在的信任模型在一定程度上完善了P2P网络环境;但模型的侧重点不同,无法全面解决大规模的恶意攻击和欺骗。为此,提出了基于平衡理论的P2P信任模型。该模型由信任结构的构建、恶意节点检测和信任推测等三部分完成。模型首先根据平衡理论构建信任网络;针对恶意节点的攻击,利用平衡理论定义节点的平衡因子,通过计算恶意行为对网络平衡性的影响来检测恶意节点;最后利用信任推测算法来推测信任节点,防止网络加入不信任的节点,降低网络的安全性。实验结果表明该模型可靠完善,算法有效和健壮。 丁颖 左艳力关键词:P2P 信任模型 恶意攻击 锥束CT图像重建算法在DSP上的加速方法研究 被引量:2 2010年 随着CT技术的发展,重建速度已成为CT系统的重要指标之一,图像重建加速的研究也成为CT研究的热点之一。DSP由于采用哈佛结构,具有专门的硬件乘法器以及广泛采用流水线操作等特点,已开始应用于图像重建加速。本文针对近年来开始应用的三维锥束CT的图像重建算法进行了DSP加速方法研究。首先介绍了DSP应用于图像重建的研究现状,其次,通过对三维重建的典型算法——FDK的算粒分解分析,结合DSP的硬件结构的特点,提出了一种基于DSP的CT图像重建的综合加速技术。该方法通过C的优化、汇编优化和编译优化的综合使用,充分利用了硬件结构和软件流水技术,采用TMS320C6455芯片实现了CT图像重建的加速计算,实验结果表明,该方法取得了较高加速比。 王超 李建新 王大会 闫镔 李磊关键词:CT图像 三维重建 DSP 两相图像变分分割凸松弛模型快速算法 被引量:1 2013年 主要研究两相图像分割凸模型的三类快速数值算法.首先,分别针对无约束和有约束的图像分割凸模型分别提出相应的具有O(1/k)阶收敛速率的梯度投影算法,并结合快速迭代收缩算法的加速收敛策略,将所提出的梯度投影算法的收敛速率从O(1/k)阶提高到O(1/k2)阶;其次,基于分块协调下降的思想,对无约束的图像分割凸模型采用Newton法求解,该算法不仅是单调下降的,而且具有二阶收敛性;然后,根据交互式迭代算法的思想,在约束模型的Fenchel原始-对偶形式的基础上,提出了一种通过原始变量和对偶变量交互式混合迭代求解的算法,所提出的算法在求解过程中避免了梯度算子和散度算子作用于未知变量,使得迭代形式更简单;最后,仿真实验表明了这3类算法的有效性和在收敛速率上的优势. 江成顺 汪先超关键词:图像分割 梯度投影算法 原始-对偶 协同仿真中的精确异常保证技术 2015年 为降低系统仿真软件在精确异常方面的性能开销,提高系统仿真效率,提出一种软硬件协同处理的方法。通过建立基本块与翻译块之间的映射关系,生成BTMT表,利用开源平台的开源特性,修改硬件描述语言,定义新指令并对BTMT表逆向查找,使系统仿真软件对异常的处理更加快速准确。测试结果表明,通过精确异常的协同实现,能够使系统仿真器更好支持精确异常,在性能上比纯软件实现精确异常有9.16%~14.32%的提升,验证了其可行性与有效性。 庄宽 蒋烈辉 李轶民 王飞龙关键词:系统仿真 软硬件协同 自定义指令 Multiple helical scans and the reconstruction of over FOV-sized objects in cone-beam CT 被引量:1 2012年 In cone-beam computed tomography (CBCT), there are often cases where the size of the specimen is larger than the field of view (FOV) (referred to as over FOV-sized (OFS)). To acquire the complete projection data for OFS objects, some scan modes have been developed for long objects and short but over-wide objects. However, these modes still cannot meet the requirements for both longitudinally long and transversely wide objects. In this paper, we propose a multiple helical scan mode and a corresponding reconstruction algorithm for both longitudinally long and transversely wide objects. The simulation results show that our model can deal with the problem and that the results are acceptable, while the OFS object is twice as long compared with the FOV in the same latitude. 韩玉 闫镔 李磊 宇超群 李建新 包尚联跨平台仿真系统的远程调试器设计 被引量:2 2014年 远程调试器是排除跨平台仿真系统错误的有效工具。介绍了x86到申威处理器的跨平台仿真系统ARCH-BRIDGE及其动态二进制翻译机制,给出了其远程调试器设计和实现方法,并解决了动态二进制翻译优化条件下的断点设置、单步执行等调试命令的处理问题。 董卫宇 姜鲲鹏 曾韵 何红旗 常瑞关键词:动态二进制翻译 远程调试器 调试代理 可重构计算的硬件任务调度算法 被引量:2 2010年 提出一种可以减少数据传输量的调度算法RDMS。通过在调度过程中综合考虑任务中数据的关联性、硬件任务的资源利用率及内部任务之间的通信量,采用动态编程方法,减少微处理器和FPGA可重构协处理器之间的通信量及FPGA可重构资源的消耗。实验结果表明,RDMS能提高映射在FPGA器件上硬件任务的整体性能,有效降低通信开销和重构开销。 李文君 杭德全 张果关键词:可重构计算 基于静态寄存器分配的系统仿真协同优化方法 2014年 针对X86系统仿真中基于静态寄存器分配的代码翻译机制导致的目标代码膨胀率高、翻译引擎和执行引擎间切换开销大两方面问题,提出了以寄存器映射、自定义指令和影子寄存器为基础的软硬协同优化方法。寄存器映射优化将对内存中模拟的源机器寄存器的操作转化为对本地机器寄存器操作,降低了翻译后目标代码膨胀率;自定义指令和影子寄存器优化将引擎切换时上下文的备份和恢复操作简化为2条自定义指令,提升了引擎切换效率。相比协同优化前,X86仿真系统Linux-0.2的翻译后目标代码膨胀率降低了21.9%,开关机时间获得了1.35的加速比。测试结果表明了该协同优化方法对于提升系统仿真效率具有可行性和有效性。 蒋烈辉 陈慧超 董卫宇 张彦文关键词:系统仿真 自定义指令