国家高技术研究发展计划(2009AA01Z40)
- 作品数：6 被引量：15H指数：2
- 相关作者：姚金魁施祖清王金双宋金玉张涛更多>>
- 相关机构：解放军理工大学陆军航空兵学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于列数据库的RDF数据管理实现被引量：3
- 2012年
- 随着语义网的发展,Web上越来越多的开放数据以RDF格式发布,对海量RDF的有效管理是实现语义网的一个重要条件。文中讨论并分析了现有的几种RDF数据存储方法,针对垂直划分的方法,基于列数据库MonetDB,实现了一个RDF数据管理方案。该方案将RDF和RDFS信息分开存储,并在Barton数据集上,设计了包含几种连接的基准查询,对比RDF管理系统Sesame的三元组模式,分别进行了存储空间和查询效率测试。实验结果验证了基于列数据库的垂直划分方案的有效性。
- 王星宋金玉陈爽陈萍
- 关键词：资源描述框架三元组
- 基于HDLC和FR分析通信环境对协议设计的影响
- 2012年
- 协议设计质量的好坏直接关系到所开发出来的协议功能、性能等是否满足用户需求,以及协议后期维护成本。通信环境是协议设计需要优先考虑的问题。只有充分了解和定义了协议运行的通信环境,才能准确地设计出协议的其它元素,保证协议在功能上和性能上满足用户的需求。基于此,重点讨论了高级数据链路控制协议(HDLC)和帧中继(FR)两种协议的运行环境和特点,通过与其他协议的对比,总结了通信环境对协议设计可能产生的影响。只有从通信环境中的用户需求、(n-1)层通道性质等各方面去把握协议将来的运行环境,才能设计出实际可行的协议。
- 蒋绍林姚金魁施祖清王金双陆晓雯
- 关键词：通信环境帧中继
- 军事通信领域本体构建与分析被引量：10
- 2011年
- 构建军事通信领域本体主要是用于支持基于领域本体的数据库语义查询。基于本体模型的知识表示技术,概述了军事领域本体的整体结构,分析了军事通信领域本体的特点。对军事通信领域本体的构建方法进行了阐述,详细描述了定义类和类的属性和关系,并根据领域知识中提取公理,说明了领域本体知识进行一致性分析和推理的方法。根据这些方法,采用Stanford大学开发的protégé的本体编辑工具实现了一个军事通信本体模型。对下一步将该本体应用到数据库语义查询的问题,提出了一种解决方案。
- 陈立峰宋金玉石坚
- 关键词：领域本体军事通信本体构建数据库检索
- 指挥控制软件质量模型的分析与建立
- 2011年
- 本文总结和分析了目前现有的一些质量模型的内容和特点,指出了现有的指控软件质量模型建立存在的一些问题,并且提出了一种新的适合指控软件的质量模型建立方法框架,其优势在一定程度上有助于提升软件模型的准确性和客观性。
- 余为峰黄松王海超
- 关键词：指控系统软件质量模型
- 一种不依赖TPM的安全引导方式的设计与实现被引量：2
- 2012年
- 在深入研究可信平台模块(TPM)和kexec相关技术的基础上,针对未安装TPM芯片的计算终端设计并实现了一种安全引导方式。该引导方式参考了可信平台模块的安全引导机制,在操作系统启动前,预先启动一个受保护的小型Linux系统,对操作系统的运行环境进行信任度量,验证BIOS和操作系统的完整性,为操作系统的启动提供一个可信赖的计算环境,然后使用kexec工具切换到磁盘操作系统。经过实验验证,文中设计的引导方式可以为Windows和Linux等多种平台的计算机终端提供安全引导支持,预引导系统验证系统运行环境的时延对系统启动总耗时的影响不明显。该引导方式是一种在不改变现有计算机硬件的基础上实现安全引导,是对现有计算机系统的安全增强措施。
- 姚金魁张涛王金双陈融施祖清
- 关键词：信息安全
- 基于ARM架构的信息流追踪系统的设计与实现
- 2012年
- 当前,智能手机平台面临着众多的安全威胁。动态信息流追踪是一种能够检测缓冲区溢出等安全威胁的有效技术。文中分析了动态信息流追踪技术的基本原理,设计并实现了基于ARM架构的信息流追踪系统。该系统通过在页表项上扩展添加污点标记位来标识来自不可信数据源的数据,扩充ARM架构指令集,在指令层追踪数据的传播过程并相应地完成污点传播。当系统跳转到来自不可信数据源的内存段执行时,CPU将产生异常通知用户,根据系统安全策略决定是否允许该操作继续执行。研究表明该系统能够有效实现ARM架构智能平台的安全防护。
- 施祖清张涛王金双姚金魁袁志坚
- 关键词：ARM架构污点
