董龙明

作品数：6被引量：27H指数：3
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：内存泄漏检测本体基于语义存储开销词法分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《载人航天》《计算机研究与发展》《计算机应用》《计算机科学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划载人航天领域预先研究项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
任务驱动的一体化作战指挥信息系统高效协同技术被引量：9
《火力与指挥控制》2017年第5期79-83,共5页董龙明 高天成 邱瑞波 马连淼 
针对一体化网络中心战下各参与方作战指挥信息系统的异构性、自治性、多样性等特点给联合协同作战带来的问题,提出了任务驱动的一体化作战指挥信息系统高效协同技术。以作战目标为导向将各作战力量和资源按需聚合和自主协同,引入自主个...
关键词：一体化作战指挥信息系统 任务驱动 协同 自主个体 
基于语义发布订阅系统的战场态势实时分发技术被引量：10
《火力与指挥控制》2017年第4期110-113,共4页董龙明 高天成 邱瑞波 马连淼 
随着战争形态的多样化和范围的越来越广,战场态势呈现信息量大、复杂性、无规则性、多变性。针对现有的发布/订阅系统不能支持复杂结构的态势来进行事件发布和订阅的语义匹配,提出了基于语义发布订阅系统的战场态势实时分发技术。采用...
关键词：战场态势 本体 发布订阅系统 匹配算法 
基于局部堆内存抽象表示的堆操作程序内存泄露检测被引量：4
《计算机研究与发展》2012年第9期1832-1842,共11页董龙明 王戟 陈立前 董威 
国家自然科学基金项目(61120106006;90818024);国家"八六三"高技术研究发展计划基金项目(2011AA010106)
堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上...
关键词：堆操作程序 指针扩展类型 堆局部抽象 内存泄漏检测 数据流迭代 静态分析 
一种面向堆操作程序内存安全性的域敏感内存模型被引量：2
《计算机科学》2012年第9期109-114,151,共7页董龙明 王戟 陈立前 刘江潮 
国家自然科学基金(61120106006;90818024)资助
堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作...
关键词：堆操作程序 内存安全性 k-limit内存抽象模型 动态可调节 
面向载人航天软件安全性的标准、方法及工具综述被引量：2
《载人航天》2012年第3期65-71,共7页李仁见 董威 董龙明 吴学光 
载人航天领域预先研究项目(000301)
调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了...
关键词：载人航天 软件安全性标准 软件开发方法 分析验证工具 
基于语义Web服务的Agent规划方法研究
《计算机应用》2007年第B12期216-218,共3页董龙明 姚莉 
国家自然科学基金(70371008)
结合人工智能Agent规划的方法,提出如何在语义web上对web资源提供的各种服务进行规划,设计出能够达到自身目标的行为序列。
关键词：语义WEB 本体 OWL-S WEB服务 Agent规划 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部