董龙明
- 作品数：9 被引量：26H指数：3
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划载人航天领域预先研究项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向堆操作程序的内存泄漏检测方法
- 本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分...
- 王戟董龙明陈立前董威刘万伟李仁见
- 基于过程本体的异质Agent协作模型的研究
- 开放环境下实现系统间的互操作和资源共享成为近年来众多领域研究的热点,随着人工智能和多Agent系统技术的发展,采用Agent作为系统对外服务功能的代理成为首先方案,因此,异质Agent协作技术对实现系统互操作和资源共享具...
- 董龙明
- 关键词：OWL-S多AGENT系统
- 基于局部堆内存抽象表示的堆操作程序内存泄露检测被引量：4
- 2012年
- 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.
- 董龙明王戟陈立前董威
- 关键词：内存泄漏检测
- 基于语义发布订阅系统的战场态势实时分发技术被引量：9
- 2017年
- 随着战争形态的多样化和范围的越来越广,战场态势呈现信息量大、复杂性、无规则性、多变性。针对现有的发布/订阅系统不能支持复杂结构的态势来进行事件发布和订阅的语义匹配,提出了基于语义发布订阅系统的战场态势实时分发技术。采用本体描述战场态势的概念模型,采用RDF图表示需求方订阅条件,基于该战场态势本体设计高效的发布订阅匹配算法。实验结果表明,该技术能够支持复杂战场态势实时分发和具有较高的订阅匹配效率。
- 董龙明高天成邱瑞波马连淼
- 关键词：战场态势本体发布订阅系统
- 基于语义Web服务的Agent规划方法研究
- 2007年
- 结合人工智能Agent规划的方法,提出如何在语义web上对web资源提供的各种服务进行规划,设计出能够达到自身目标的行为序列。
- 董龙明姚莉
- 关键词：语义WEB本体OWL-SWEB服务
- 一种面向堆操作程序的内存泄漏检测方法
- 本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分...
- 王戟董龙明陈立前董威刘万伟李仁见
- 文献传递
- 任务驱动的一体化作战指挥信息系统高效协同技术被引量：9
- 2017年
- 针对一体化网络中心战下各参与方作战指挥信息系统的异构性、自治性、多样性等特点给联合协同作战带来的问题,提出了任务驱动的一体化作战指挥信息系统高效协同技术。以作战目标为导向将各作战力量和资源按需聚合和自主协同,引入自主个体、虚拟任务共同体和虚拟任务执行体,构建一体化虚拟作战指挥环境,为各作战单位提供高效、协同、透明的一体化服务。分别从核心元素、系统框架分别介绍高效协同体系结构,结合陆军合成营指挥信息系统案例对高效协同技术各组成部分进行深入分析,验证该技术的可行性。
- 董龙明高天成邱瑞波马连淼
- 面向载人航天软件安全性的标准、方法及工具综述被引量：2
- 2012年
- 调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状,给出了一种建议的载人航天软件安全性保障框架,可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。
- 李仁见董威董龙明吴学光
- 关键词：载人航天软件开发方法
- 一种面向堆操作程序内存安全性的域敏感内存模型被引量：2
- 2012年
- 堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作方面介绍了该内存模型,然后结合内存安全性的定义,在基于该模型的操作语义框架内定义了4种与内存安全性相关的错误类型,最后设计了基于该模型内存安全性检测的数据流迭代算法。
- 董龙明王戟陈立前刘江潮
