您的位置: 专家智库 > >

宁洪

作品数:95 被引量:465H指数:12
供职机构:国防科学技术大学更多>>
发文基金:国家高技术研究发展计划软件工程国家重点实验室开放基金国家自然科学基金更多>>
相关领域:自动化与计算机技术文化科学电子电信军事更多>>

文献类型

  • 68篇期刊文章
  • 13篇会议论文
  • 12篇专利

领域

  • 67篇自动化与计算...
  • 17篇文化科学
  • 2篇电子电信
  • 2篇军事
  • 1篇经济管理
  • 1篇生物学
  • 1篇交通运输工程
  • 1篇自然科学总论
  • 1篇理学

主题

  • 14篇教学
  • 13篇元数据
  • 12篇数据库
  • 12篇计算机
  • 10篇CWM
  • 9篇网络
  • 8篇课程
  • 8篇查询
  • 7篇教育
  • 6篇软件工程
  • 6篇软件开发
  • 6篇控制流
  • 6篇程序控制
  • 5篇数据集
  • 5篇面向对象
  • 4篇信息检索
  • 4篇引擎
  • 4篇元数据管理
  • 4篇源程序
  • 4篇数据管理

机构

  • 91篇国防科学技术...
  • 4篇湖南第一师范...
  • 3篇湖南第一师范
  • 1篇长沙航空职业...
  • 1篇武警医学院
  • 1篇中国人民解放...
  • 1篇北京铁路局
  • 1篇湖南省医学信...
  • 1篇太原铁路局

作者

  • 93篇宁洪
  • 15篇谭庆平
  • 11篇王挺
  • 10篇陈怀义
  • 8篇徐建军
  • 6篇齐治昌
  • 6篇李姗姗
  • 6篇邓胜兰
  • 6篇董威
  • 6篇王建军
  • 6篇李建立
  • 6篇周会平
  • 5篇李暾
  • 4篇蔡开裕
  • 4篇朱培栋
  • 4篇谭兰芳
  • 4篇徐锡山
  • 3篇尹俊文
  • 3篇王志英
  • 3篇罗宇

传媒

  • 16篇计算机工程与...
  • 7篇计算机应用
  • 6篇计算机工程
  • 6篇计算机教育
  • 5篇高等教育研究...
  • 3篇中国大学教学
  • 3篇计算机工程与...
  • 3篇计算机科学
  • 2篇现代计算机
  • 2篇计算机应用研...
  • 1篇计算机安全
  • 1篇计算机光盘软...
  • 1篇铁道通信信号
  • 1篇计算机研究与...
  • 1篇南京大学学报...
  • 1篇电脑与信息技...
  • 1篇计算机应用与...
  • 1篇微机发展
  • 1篇计算机工程与...
  • 1篇计算机与现代...

年份

  • 1篇2019
  • 2篇2017
  • 1篇2016
  • 2篇2015
  • 3篇2014
  • 2篇2013
  • 5篇2012
  • 4篇2011
  • 11篇2010
  • 7篇2009
  • 2篇2008
  • 6篇2007
  • 12篇2006
  • 9篇2005
  • 9篇2004
  • 3篇2003
  • 3篇2002
  • 2篇2001
  • 6篇2000
  • 2篇1999
95 条 记 录,以下是 1-10
排序方式:
面向蛋白质组学数据库的元数据提取与导入工具被引量: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年
针对目前计算机基础通识教育中计算思维教学面临的挑战,在教学内容设计方面对计算思维教学改革进行探讨,提出教学内容设计的原则和适合新生的教学内容,同时阐述在"钱学森创新拓展班"中的实施过程和效果。
李暾王挺宁洪刘越
关键词:计算机基础通识教育计算思维教学内容设计
共10页<12345678910>
聚类工具0