基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

核事故应急中紧急防护行动的干预水平及在决策中应用的探讨

本文根据国际,国内最新资料,发表了对国际推荐的紧急防护行动通用干预水平的理解,论述了应急计划了干预水平的确定及其在紧急防护行动决策中的应用等问题,提出了并讨论了建立要操作性干预水平的必要性及存在的困难,简单介绍了芬兰建立可操作性干预水平的实例。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

机载制导武器的武器-目标分配算法研究

机载制导武器的武器-目标分配算法是智能航空指控系统的一个基础研究问题。本文在建立了武器-目标分配的基本概念和对算法要求的基础上,提出了两种武器-目标分配算法;基于决策论的武器-目标分配算法和基于导弹截获区的武器-目标分配算法,并对基于导弹截获区的武器-目标分配算法进行了仿真实验。结果表明,此算法具有高透明性、有限消除最大威肋、杀伤概率最大、充分利用机载武器等特点。     

阵地布防系统中的计算机辅助决策

本文对阵地布防辅助决策系统从其系统结构、信息处理流程及系统实现等方面作了详细介绍。目前已在PC 机及其兼客机上成功地实现了该系统的研制。     

决策系统的信息机理

本文从信息与决策的角度,分析了决策系统信息特性的几个侧面,为研究信息对决策系统的作用机理做了一些基础性的定量工作。     

坐标系与纯角度目标跟踪

纯角度目标跟踪问题一般包括二维纯方位跟踪和三维纯角度跟踪两种情形,其特性与所选用的坐标系有关。广泛采用的坐标系是直角坐标系(二维或三维)、极坐标系(二维)和球坐标系(三维)。本文分别在直角坐标系和改进的极坐标系下建立了二维系统模型,并进行了性能分析,指出了后者的优越性。在三维情况下,作了类似工作。最后还以二维问题为例,建立了机动目标跟踪的直角坐标模型和改进的极坐标模型。     

机动目标运动数学模型评述

近十几年来,人们对机动目标的跟踪问题进行了大量研究。问题的核心是如何建立机动目标运动的数学模型。本文主要对现有的空中机动目标的数学模型进行评述和比较研究。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

有/无人协同探测编队指挥控制系统结构设计

针对有人机动雷达/无人机集群（manned mobile radar/unmanned aerial vehicle cluster,MMR/UAVC）编队指挥控制系统结构设计问题进行了研究。以未来无人机蜂群探测任务为背景,提出MMR/UAVC协同探测作战模式,结合编队组织结构和作战流程,对指挥控制系统总体设计提出具体要求。在此基础上,设计了包括决策规划层、协同控制层和效能评估层的递阶式指挥控制系统结构,概括了各层次主要功能与逻辑关系。对指挥控制系统的关键模块和支撑技术进行了分析。