您的位置: 专家智库 > >

国家自然科学基金(70771109)

作品数:7 被引量:57H指数:5
相关作者:刘忠张维明钱猛姚莉武小悦更多>>
相关机构:国防科学技术大学深圳信息职业技术学院清华大学更多>>
发文基金:国家自然科学基金中国人民解放军总装备部预研基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 7篇期刊文章
  • 1篇会议论文

领域

  • 8篇自动化与计算...

主题

  • 2篇信息安全
  • 2篇本体
  • 1篇信息安全风险
  • 1篇战术数据链
  • 1篇数据链
  • 1篇数据清洗
  • 1篇数据质量
  • 1篇体系结构
  • 1篇条件函数依赖
  • 1篇作战
  • 1篇作战计划
  • 1篇作战效能
  • 1篇网格
  • 1篇网格服务
  • 1篇网络
  • 1篇网络模型
  • 1篇可扩展
  • 1篇可扩展性
  • 1篇扩展性
  • 1篇基于HLA

机构

  • 7篇国防科学技术...
  • 1篇清华大学
  • 1篇深圳信息职业...

作者

  • 4篇刘忠
  • 3篇张维明
  • 2篇姚莉
  • 2篇王桢珍
  • 2篇武小悦
  • 2篇黄金才
  • 2篇钱猛
  • 1篇胡艳丽
  • 1篇吴家明
  • 1篇谭旭
  • 1篇杨磊
  • 1篇姜欣
  • 1篇张勇

传媒

  • 2篇计算机科学
  • 1篇系统工程与电...
  • 1篇火力与指挥控...
  • 1篇电子学报
  • 1篇计算机工程与...
  • 1篇Journa...
  • 1篇2009系统...

年份

  • 4篇2010
  • 4篇2009
7 条 记 录,以下是 1-8
排序方式:
条件依赖理论及其应用展望被引量:8
2009年
介绍了条件函数依赖理论及如何用于检测不一致数据。首先介绍了条件函数依赖的概念及其推理系统,以及如何通过依赖传播实现视图的规范化;阐述了条件函数依赖的一致性和蕴含判定问题,并在此基础上介绍了基于条件函数依赖检测关系数据库数据一致性的技术;最后讨论了条件函数依赖的扩展及应用。
胡艳丽张维明
关键词:数据质量数据清洗条件函数依赖
基于HLA的防空反导仿真系统的设计与实现
基于HLA建立仿真应用系统是提高作战仿真活动效率的有效途径。本文分析了防空反导仿真系统的结构功能,并依据HLA的基本概念、方法和原理对分布式防空反导仿真系统进行系统设计,建立了系统体系结构,对联邦成员进行了划分并定义了各...
吴家明黄金才
关键词:HLA/RTI体系结构FOM/SOM
文献传递
本体技术在作战计划系统中的应用被引量:14
2009年
作为人工智能研究成果在军事领域的应用,本体技术逐渐成为作战计划系统中基础而核心的组成部分。针对本体技术在作战计划系统中的应用,从作战计划系统中本体的内容、表示、应用和扩展等方面,对两个重要的作战计划系统(DICIPLE和PLANET)中如何应用作战计划本体模型、如何管理作战计划本体等方面进行了分析。分析结果为作战计划建立本体提供必要的准备,为进一步设计基于本体的作战计划生成和验证系统提供了有益的指导。
钱猛刘忠姚莉张维明
关键词:本体模型本体管理
战术数据链作战效能定量评估方法被引量:6
2010年
首先考虑战术数据通信对传统作战模型的约束,提出了一种基于战术数据通信的作战模型约束描述方法,并以航空兵对空作战为例,对作战能力指数模型进行了形式化描述。然后以目标发现能力来评估战术数据链协同通信对飞机对空作战能力的提升效果。最后采用EINSTein模拟检验了战术数据通信对飞机作战效能的增强作用,验证方法有效性。
黄金才张勇杨磊刘忠
关键词:数据链作战效能航空兵
Coordination-theoretic approach to modelling grid service composition process
2010年
A grid service composite process is made up of complex coordinative activities.Developing the appropriate model of grid service coordinative activities is an important foundation for the grid service composition.According to the coordination theory,this paper elaborates the process of the grid service composition by using UML 2.0,and proposes an approach to modelling the grid service composition process based on the coordination theory.This approach helps not only to analyze accurately the task activities and relevant dependencies among task activities,but also to facilitate the adaptability of the grid service orchestration to further realize the connectivity,timeliness,appropriateness and expansibility of the grid service composition.
Meng QianZhong LiuJing WangLi YaoWeiming Zhang
关键词:网格服务可扩展性UML
作战计划的本体建模研究被引量:14
2010年
作战计划为指挥员提供先进的决策辅助,需要明确有关作战过程相应的信息需求,并依赖于作战过程的形式化领域模型(本体)的开发。研究了相关文献中的作战行动规划过程模型,综述了若干通用计划本体的开发,如计划概念要素、知识表示技术等,为进一步研究作战行动过程提供了足够的、不同模型的信息。
钱猛刘忠姚莉张维明
关键词:作战计划本体
信息安全风险概率计算的贝叶斯网络模型被引量:19
2010年
构建了一个基于贝叶斯网络的信息安全风险概率计算模型,并保证其可扩展性、精确性和客观性.模型的网络结构以规划渗透图表现,模型网络参数由专家知识确定并利用贝叶斯学习对其进行更新.实例分析表明构建的模型可以正确量化评估信息安全风险概率.
王桢珍姜欣武小悦谭旭
关键词:风险评估贝叶斯网络贝叶斯学习
信息安全风险过程的规划渗透图模型
2009年
提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图。
王桢珍武小悦刘忠
共1页<1>
聚类工具0