反物质武器

反物质武器是利用物质与其反物质发生相互作用所释放的能量,产生杀伤破坏作用的武器。本文综述了物质与反物质的概念以及两者之间的湮没反应,分析了反物质武器的军事应用前景     

加强具有电子对抗特色的军事运筹学科建设——并祝贺军事科学院运筹分析研究所成立20周年

作者在军事科学院军事运筹分析研究所成立20周年之际,总结了具有电子对抗特色的军事运筹学科的建设,如研究方向,科研成果,队伍形成及人才培养等。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

总体设计中的系统技术

本文简要地论述了除专业知识外的系统技术知识,包括规划与统筹技术;相容与互补技术;反照与增值技术,协调与粘接技术等。这些都是总体设计的基础知识和基本手段,其中许多内容,目前还没有统一的术语,但它们可能是系统总体深入发展的方向。     

战场抢修任务动态调度的研究综述

迅速高效地实施战场抢修任务动态调度,是实现战时抢修力量任务区分和指挥控制的重要内容之一。从基础研究、法规制定、队伍建设、抢修训练等8个方面对战场抢修的国内外研究现状进行了归纳分析;从应用情况、求解思路、求解方法 3个方面对任务动态调度进行了梳理综述;对战场抢修任务动态研究提出了建设建议和发展方向,为后续解决战场抢修任务动态调度问题提供了方向指引。     

二部图的(g,f)匹配

本文证明了二部图存在(g,f)匹配和f 因子的充要条件以及有关的几个结果,并且给出了求二部图的最大(g,f)匹配、最小(g,f)匹配和最小权最大f 匹配、最小权(g,f)匹配、最大权(g,f)匹配的算法。     

动态武器目标分配问题的马尔可夫性

动态武器目标分配(weapon target assignment,WTA)问题是军事运筹学研究的重要理论问题,也是作战指挥决策中迫切需要解决的现实问题。在对动态WTA问题进行描述分析的基础上,运用随机过程理论证明了动态WTA过程的马尔可夫性;给出了该马尔可夫决策过程的状态转移概率的解析表达式,并对其状态特点进行了简要分析。研究结果可以为动态WTA及相关问题的研究提供理论和方法依据。