您的位置: 专家智库 > >

张晨东

作品数:10 被引量:10H指数:3
供职机构:中国人民解放军空军指挥学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术理学军事更多>>

文献类型

  • 8篇期刊文章
  • 2篇会议论文

领域

  • 8篇自动化与计算...
  • 2篇理学
  • 1篇军事

主题

  • 4篇概率逻辑
  • 3篇计算机
  • 2篇一致性
  • 2篇专家系统
  • 2篇逻辑公式
  • 1篇多目标规划
  • 1篇异构
  • 1篇语言
  • 1篇原子
  • 1篇知识库
  • 1篇智能体
  • 1篇人工智能
  • 1篇作战
  • 1篇作战模拟
  • 1篇系统开发
  • 1篇系统开发方法
  • 1篇线性规划
  • 1篇相容性
  • 1篇逻辑
  • 1篇聚类

机构

  • 5篇国防科学技术...
  • 5篇中国人民解放...
  • 2篇长沙工学院
  • 2篇空军指挥学院

作者

  • 10篇张晨东
  • 7篇陈火旺
  • 4篇王兵山
  • 3篇徐光
  • 3篇徐光
  • 1篇谢冰
  • 1篇刘凤岐
  • 1篇张寒松

传媒

  • 3篇软件学报
  • 1篇系统工程与电...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇国防科技大学...
  • 1篇计算机科学

年份

  • 4篇1999
  • 3篇1998
  • 3篇1997
10 条 记 录,以下是 1-10
排序方式:
概率逻辑公式集分解的合并聚类算法被引量:3
1997年
为使概率逻辑的不确定性推理方法能应用于较大规模的知识库,本文基于一个实际专家系统知识库的开发经验,在概率逻辑公式一致性区间的一般算法基础上,为概率逻辑公式集的分解设计了一种合并聚类算法.对于不同背景的概率逻辑知识库,只要公式集具有一定的分层结构性质,该算法就能保证Dantzig-Wolfe分解的联合计算模型适用于概率逻辑推理.测试结果表明,该算法对于数10个变量和子句的实例可收到很好的效果.
张晨东陈火旺刘凤岐
关键词:概率逻辑一致性聚类专家系统
概率性逻辑异构分解模式的相容性
1999年
文章讨论概率性逻辑异构分解模式的相容性问题.对于不同结构的分解模式,只要两两之间满足单边缘一致性,则可互相结合,构成异构的分解模式,并且由此设计的分解算法所形成的推理系统保持相对于原Nilsson
张晨东徐光陈火旺王兵山
关键词:相容性
目标选择中的相关性问题
探讨目标选择和兵力分配问题中的目标相关性问题,提出存在于目标之间的正、负相关性,根据不同的相关类型,给出相应的数学模型,并给出一个综合解决目标选择和兵力分配的近似算法。
张寒松唐毅宏张晨东
关键词:兵力分配多目标规划
文献传递
基于控件的作战模拟系统开发方法
控件是一种可重用的软部件,在作战模拟系统中采用控件技术的开发方法,是一种高效率的途径.本文在作战模拟系统开发经验的基础上,对单机和网络环境中用于作战模拟的控件进行研究,并给出了具体实用的作战模拟控件开发实例.
张晨东徐光
关键词:作战模拟控件计算机模拟
文献传递
推理树概率逻辑公式集有效赋值列数计算
1997年
本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。
张晨东陈火旺王兵山徐光
关键词:概率逻辑线性规划
概率逻辑含多重原子交集分解模型的可靠性被引量:1
1998年
文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明.若概率逻辑公式集可被划分为含多重原子交集的子集,且交集的原子个数较少,则分解算法将明显地缩小概率逻辑自动推理线性规划模型的规模.
张晨东谢兵陈火旺徐光
关键词:概率逻辑
概率逻辑推理的弱相关分解方法被引量:4
1997年
本文给出了一种新的概率逻辑推理的分解计算模型.若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性,则可分解为多个公式子集.大规模线性规划的Dantzig-Wolfe分解方法可用于对这种分解的问题求解.
张晨东陈火旺王兵山徐光
关键词:一致性知识库专家系统
一个人-机协作智能体环境模型被引量:6
1999年
以计算机协同工作环境和人工智能技术为基础 ,提出了一个人 -机智能体协作环境的结构模型 ,其中包括两类智能体 ,独立的机器智能体和人 -机协作智能体。该模型的优点是对所求解问题随时提供可行解 ,并对参与工作的专家提供以可视化工具为主导的强有力的支持。
徐光张晨东
关键词:人工智能计算机
分布式系统的LOTOS规范及其实现
1998年
分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。
谢冰张晨东陈火旺
关键词:分布式系统LOTOS语言规范语言分布式计算机
概率逻辑类超树结构分解计算模型的完备性被引量:1
1998年
针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.
张晨东陈火旺王兵山王兵山
关键词:概率逻辑
共1页<1>
聚类工具0