宁洪
- 作品数：95 被引量：466H指数：12
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划软件工程国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信军事更多>>
- 面向蛋白质组学数据库的元数据提取与导入工具被引量：4
- 2009年
- 本文给出了一种用于提取和导入蛋白质组学元数据的工具,它是"基于元数据的蛋白质组学数据资源共享与整合平台"的一个重要组成部分。该工具被设计为元数据提取、元数据缓存、元数据导入三个模块,为实现从多种蛋白质组学数据源中提取元数据并将其导入元数据库提供了一种有效的解决方案。
- 刘文杰宁洪王挺林毅
- 关键词：元数据数据提取数据导入
- 面向星载操作系统的控制流错误检测方法被引量：2
- 2014年
- 空间高能粒子辐射严重影响航天计算的可靠性,必须采取有效措施对其进行加固。相比使用抗辐射器件,使用软加固的商用器件具有性能高、成本低、开发速度快等优势。然而,目前的软加固研究主要适用于应用程序,对操作系统软加固方法的研究还较少。鉴于此,提出了一种面向星载操作系统的控制流错误检测方法。该方法结合星载操作系统自身特点,着眼于线程执行,将每个线程视为一个函数调用序列,通过在函数入口和出口处插入检测语句,监测各线程的执行,实现控制流错误检测。实验结果表明,该方法能将星载操作系统的控制流错误覆盖率提高约25%。
- 明月伟宁洪邓胜兰
- 关键词：单粒子效应
- RAISE规范语言及其语义特征
- 1993年
- 本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
- 李舟军宁洪刘春林
- 关键词：软件开发规范语言语义特征RAISE
- 基于CWM的元数据管理系统中数据交换格式的研究被引量：7
- 2004年
- 通用数据仓库元模型(CWM)是为数据仓库及商业智能环境间方便地交换元数据而制定的一个标准,可望成为未来数据仓库元数据管理的规范。它采用XMI作为元数据交换的基本格式。该文给出了一个基于CWM的元数据管理原型系统MMS的逻辑框架,并重点介绍了该系统的数据转换功能,其中给出了转换的形式化描述和几种元数据的XMI编码。
- 李姗姗宁洪彭绍亮
- 关键词：XMI数据仓库商务智能
- 基于相似数据集的网络监测数据压缩存储和联合检测方法
- 本发明公开了一种基于相似数据集的网络监测数据压缩存储和联合检测方法，要解决的技术问题是针对存在较多相同数据项的多个数据集提出一种基于表的关系数据库压缩存储和联合检测方法。技术方案是采用关系模型对数据建模，利用关系数据库对...
- 朱培栋宁洪邓文平蔡开裕赵建强周丽涛
- 文献传递
- 关于CWM的扩展机制的研究
- 1 CWM简介数据仓库技术的研究是决策支持和知识管理的一个热点,元数据是数据仓库中的核心部分,是各种数据仓库工具间相互理解各自操作的基础,它贯穿于数据仓库设计、开发、运行和维护的全过程,对元数据组成结构的研究以及统一的管...
- 李姗姗宁洪彭绍亮
- 文献传递
- 安全工具包的设计
- 2005年
- 目前的公开密钥基础设施PKI产品及其它加解密产品在底层的实现上都是利用国外公司提供的安全工具包。这些安全工具包虽然功能强 ,但它们对中国用户削弱了安全强度 ,且屏蔽了内部实现细节。为了突破国外产品的垄断局面 ,我们提出一种新的安全工具包。此安全工具包在整体上采用面向对象技术 ,在内部对象通信方面使用消息处理机制 。
- 朱政坚宁洪
- 关键词：消息处理机制PKI公开密钥基础设施面向对象技术
- 多数据库系统查询计划优化研究
- 基于统一查询模型与单个数据源模式间的映射和由查询条件生成的最简析取范式,将用户基于统一查询模型的查询转化为对成员数据库的查询计划,在此过程中基于关系代数对查询计划进行了优化,保证用户查询信息完整性的同时在一定程度上提高了...
- 张朝阳宁洪王挺郭超
- 关键词：多数据库系统查询转换
- 文献传递
- 高性能路由器BGP路由协议分布并行实现方法
- 本发明公开了一种高性能路由器BGP路由协议分布并行实现方法，目的是为具有多个路由节点的高性能路由器提供域间路由协议的分布并行实现方法。技术方案是每个路由节点独立运行BGP协议以构建基于BGP-Node的BGP分布并行实现...
- 朱培栋宁洪张晓哲杜秀春刘功杰蔡开裕
- 文献传递
- 计算思维教学的内容设计被引量：13
- 2013年
- 针对目前计算机基础通识教育中计算思维教学面临的挑战,在教学内容设计方面对计算思维教学改革进行探讨,提出教学内容设计的原则和适合新生的教学内容,同时阐述在"钱学森创新拓展班"中的实施过程和效果。
- 李暾王挺宁洪刘越
- 关键词：计算机基础通识教育计算思维教学内容设计
