决策支持系统新技术的研究

分析了传统决策支持系统开发中存在的问题 ,探讨数据仓库技术在决策支持系统建立中的应用 ,提出基于决策支持系统的基本结构 ,讨论系统建立中数据仓库的数据组织与设计、数据开采层次空间的建立等技术关键 ;将界面智能体、移动智能体和信息智能体应用于决策支持系统中 ,分析了各种智能体的工作原理 ,并讨论了基于网络上的系统实现方法     

移动智能设备军事化采办研究

针对移动化发展浪潮可能在军事上引起的变革,研究了移动智能设备的军事化采办问题。界定了移动智能设备的概念,介绍了移动智能设备军事化应用现状,提出移动智能设备军事化采办的概念和内涵,并分析了其采办模型、开发方法与体系结构。最后,针对我军开展移动智能设备军事化采办的相关问题提出4点对策建议。     

面向作战决策智能体的融合赋权评估方法

在兵棋等对抗性作战实验环境下,通过使用基于强化学习方法训练的智能体进行仿真推演,能够检验作战决策效果,达到辅助决策的目的。针对当前作战决策智能体评估往往采用胜率这一单一数据指标的局限,提出了一种基于融合赋权的综合评估方法。通过构建涵盖作战决策有效性、作战意图实现性、作战环境适应性、智能体训练效率、智能体训练体系和智能体训练方法等技战术效果指标的评估体系,然后使用主客观方法对不同类型指标进行赋权,再根据指标性质将权值融合进入评估体系,实现基于融合权重的智能体决策效果评估。构建了陆上合成分队进攻作战场景,利用该方法对6个智能体进行评估验证,能够获得智能体的综合排名,有效避免了单一指标的评估局限。该方法对作战决策智能体评估提供了新的思路,符合作战环境需要,具有一定的应用价值。     

智能临机规划技术要点研究

本文从临机规划当前面临的难点问题出发,提出临机规划的智能发展需求,初步描述了临机规划问题,根据“快算”“盲评”“会变”三项能力要求,指出智能临机规划技术研究的关键特征是智能体设计与应用两个阶段的人机耦合,并明确了构建典型场景下可分层调度的任务框架、从军事专家到智能体的知识传导路径、兼容人工算法调用与机器自主学习的分层深度强化学习算法框架三点核心技术要求,基于当下智能博弈技术进展,提出了深度嵌入指挥员临机规划决策“OODA”回路各环节的智能临机规划技术设想。最后,从智能临机规划技术实现角度出发,提出了研究的总体目标、重点研究问题以及研究路线建议,并展望了未来智能临机规划技术的应用前景。     

带保障智能体的多智能体战斗模型仿真研究

为了研究基于复杂适应系统理论的多智能体仿真模型的演化和涌现规律,在Swarm平台上建立了一个多智能体的战斗保障模拟仿真系统,并对战斗过程双方兵力耗损和弹药消耗进行了仿真研究,其结果和现实情况比较吻合.基于复杂适应系统理论的多智能体仿真模型可以模拟复杂系统的微观行为,进而能够显现出系统的宏观涌现现象,对作战研究有着非常重要的方法论意义.     

高超声速临近空间作战智能体攻击模型与仿真

通过对高超声速临近空间智能体攻击模型的概念描述和逻辑描述,抽象出攻击模型的数学模型,提出了一种基于作战智能体的行为模型框架和高超声速临近空间智能体攻击模型.基于Swarm复杂性仿真平台,仿真分析了高超声速临近空间智能体攻击的态势和效果,验证了建模方法的可行性,为研究高超声速临近空间飞行器提供了一种有效方法.     

基于MAS的末端防御网络化作战系统指控网

在简要介绍末端防御防空导弹网络化作战系统的基础上,分析了其指控网的结构和功能,并利用多智能体系统中的BD I模型对指控网的单个智能体进行描述,并重点研究了基于BD I结构的智能体的环境感知模型、作战意图模型、决策模型和通讯行为。     

海空跨域协同兵棋AI架构设计及关键技术分析

以深度强化学习为核心的智能博弈技术在游戏领域内的突破和进展为海空兵棋AI的研究提供了借鉴。智能体架构设计是需要解决的关键问题,良好的架构能够降低算法训练的复杂度和难度,加快策略收敛。提出基于随机博弈的海空跨域协同决策博弈模型,分析了相关的均衡解概念;在分析典型智能体框架基础上,针对海空兵棋推演决策博弈过程,提出基于多智能体分层强化学习的智能体双层架构,能够有效解决智能体间协作和维度灾难问题;从兵力协同、智能体网络设计、对手建模和训练机制共4个方面分析了关键技术。期望为海空兵棋AI设计实现提供架构指导。     

基于移动自组网的智能战场架构理论研究

提出了一种基于移动自组网的智能战场网络架构模型,对基于移动自组网的网络架构模型及软件平台结构进行了描述,并将该模型和传统的通信模型进行了对比。分析结果表明,该智能战场架构模型将对实现智能战场起到积极的推动作用。     

协同空战指挥控制系统智能体模型研究

建立了由多个智能体(Multi-AgentSystem)组成的多机协同空战指挥控制系统的总体结构模型及基于信念、期望、意图(BDI)结构的单个智能体的结构模型,并针对多机协同空战指挥控制的特点,对基于BDI框架的智能体结构、智能体的内部行为、触发事件和结合作战效能的BDI解释器等形式化建模问题进行了研究。最后,指出需完成的后续工作以及相关技术问题。     

多Agent系统中Agent计算的能力理论

能力是规范Ａｇｅｎｔ的一个重要抽象概念。本文提出了规划树概念以刻划在动态、不确定的多Ａ－ｇｅｎｔ系统中Ａｇｅｎｔ如何通过对其规划进行合理、有效的组织来实现其任务、维护某些条件。基于规划树概念,本文给出了能力概念的形式化语义定义,获取和描述了它的一些重要属性。     

基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

一种基于智能代理的分布式网络监控系统

各种网络攻击事件正频繁发生,如何阻止来自网络外部和网络内部的攻击,显得越来越重要。文中首先分析了现有的网络信息安全系统存在的不足,然后应用智能代理技术,提出一种分布式网络监控系统结构,并进行了形式化分析和实现。由于该网络监控系统克服了现有网络信息安全系统的一些不足,因而具有广泛的应用前景。     

多Agent系统计算的意愿理论

意愿是规范和描述多Ａｇｅｎｔ系统的一个重要抽象认知概念。本文提出了多Ａｇｅｎｔ系统计算的意愿理论以支持多Ａｇｅｎｔ系统计算的理论研究。基于多Ａｇｅｎｔ系统计算的动作模型理论，我们给出了意愿概念新的语义定义，获取和描述了它的一些重要逻辑属性。     

Small world,big guns: globalization,interstate security networks and conventional weapons imports

With the burgeoning influence of emerging markets in Asia, a tectonic shift is taking place in the global security landscape. Asian states are concomitantly arming as their economic clout grows. In light of these developments, security analysts would benefit from a formal means of placing these arms acquisitions in a structural context. Are arms acquisitions on par with the expectations of Asian states, given their structural dispositions, or are recent acquisitions beyond anticipated levels? By using a dynamic panel regression of 187 states from 1950 to 2011, this research predicts arms import volume using the degree of interstate arms linkages, the size of a state's military, and its level of economic development. The technique offers analysts a formal means of distinguishing orthodox behavior in importing conventional weapons from extraneous security motivations. The article concludes by generating near-term forecasts of Asian arms imports and discussing the implications of the technique.     

卤代烃灭火剂产生酸性气体的毒害性

作为哈龙灭火剂气体替代物之一的卤代烃类灭火剂用于灭火时会产生大量的卤化氢酸性气体。以层流扩散火焰实验数据为基础,对灭火过程中酸性气体的产生进行了研究,对不同卤代烃类灭火剂的酸性气体产量进行了比较,并对酸性气体的毒害性进行了详细讨论。从灭火过程中副产物的毒害性出发,为灭烃类火灾时灭火剂的选择提供理论依据。     

国内“专利代理”研究热点与趋势分析

运用信息计量学、自研软件和以CiteSpaceⅡ为代表的知识图谱工具相结合的方法对1987至2016年国内"专利代理"领域内的基本情况和研究热点与趋势进行了初步分析与可视化展现。通过对数据的处理和分析得出了国内"专利代理"研究领域的期刊、作者、机构、高被引用文献等基本情况,并利用关键词共现、突现词检测等方法对国内"专利代理"研究的热点和未来的研究趋势进行了初步预测,对国内"专利代理"研究具有一定的借鉴意义。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

The Un-Holy Russo-Chinese alliance

ABSTRACT

This essay argues that a Sino-Russian alliance has come into being over many years of the two states’ evolutionary policies. Although Vladimir Putin has emphasised that this is a multi-faceted relationship, this essay focuses exclusively on its military dimension. It comprises extensive inter-ministerial and inter-governmental cooperation, arms sales, joint exercises, and shared political orientation. While it may not be a formal alliance like NATO research, e.g. by Alexander Korolev, indicates that in general experts argue that what they have achieved is even better than an alliance.