关于star—cyclic正规算子的一个等价命题

J.B.Conway(1985)在A Course in Functional Analysis.New York Springer-Verlag.(1985)中IX.3中给出了star-cyclic正规算子的一个特性.即当N为star-cyclic正规算子,且λ∈σp(N)时,dimKer(N-λ)=1.本文证明了在复可分无穷维的Hilbert空间中正规算子为diagonalizable时,该性质和star-cyclic正规算子是等价的.     

载人飞船返回段的最优控制

本文介绍空间飞船再入段最优制导方法。纵向制导采用二次型性能指标最优的线性系统,得到最优控制规律。侧向制导利用庞特里亚金最小原理,得到最优开关曲线。结果表明,这些控制规律优于Rodney C.所介绍的制导方法。     

状态空间中的 H∞控制方法研究

本文简要介绍了H_∞控制方法的发展与应用。给出了作者博士论文期间的主要工作。     

薄膜晶体管液晶显示器对空间光调制模式与偏振器方向的关系

薄膜晶体管液晶显示器TFT LCD(Thin Film TransistorLiquidCrystalDevice)是信息光学研究中一种非常重要的电寻址空间光调制器SLM(SpatialLightModulator)。实验中通过调整TFT LCD的起偏器或检偏器的方向,可以分别得到正像、边缘暗突出像、负像等,并结合具有双折射特性的线性扭曲液晶介质对线偏振光的调制理论,对此给出解释。     

基于注意力机制的兵棋对抗态势预测方法

以不可观察算子实时位置预测为例进行兵棋对抗态势预测方法研究。训练基于注意力机制的陆战场战术级兵棋不可观察算子实时位置端到端预测模型。对高维离散兵棋态势特征进行低维嵌入,用多头自注意力机制学习特征交叉,通过把兵棋地图的各个六角格视为单独的类,将算子位置预测转化为稀疏特征下的多分类问题,达到33.47%的top＿1预测准确率,相较其他模型至少提高2.57个百分点,并具有良好的可解释性。     

装备保障兵棋动态评估方法研究

针对装备保障兵棋推演中的方案裁决和分析评估问题,对装备保障效能动态评估方法进行了研究.从分析装备保障兵棋要素入手,构建基于兵棋地图的评估模型.该兵棋地图评估模型能够充分利用地图中的静态地理环境信息和动态战场环境信息,对装备保障方案进行综合分析并给出评估结果,为装备保障方案的制定、调整和执行提供依据.     

基于兵棋推演的联合侦察预警能力评估

联合侦察预警体系的能力指标是联合作战指挥员在作战筹划与指挥控制阶段关注的重要基础信息之一。根据联合作战指挥员对联合侦察预警能力分析评估需求,基于兵棋推演基础想定和实时推演数据,采用体系能力边界静态评估与实时作战效能评估相结合的方法,从宏观整体与局部细节不同层次系统全面地评估联合侦察预警体系作战能力,设计构建了联合侦察预警体系基本作战能力与实时作战效能评估两大类十五个具体评估指标,并对每一个评估指标的内涵、外延和计算方法进行了详细阐述;最后,基于兵棋推演基础想定和推演模型输出结果,设计并实现了联合侦察预警体系能力评估软件工具,为兵棋推演中面向指挥员的联合侦察预警能力评估提供了新思路和新方法。     

基于时空和作战编组的兵棋推演系统轨迹聚类算法

针对兵棋推演系统信息繁杂,不利于用户理解作战态势的问题,提出了基于时空和作战编组的轨迹聚类CTUW算法。该算法分为轨迹压缩、相似性度量、轨迹线段聚类和可视化4个部分,可从繁杂的轨迹信息中提取主要内容并进行概括表达,达到既简洁概述兵棋推演的整体态势变化,又不丢失棋子机动过程中的重要细节信息的目的。实验结果表明,CTUW算法的轨迹聚类效果相比TRACLUS算法和CTECW算法更精细,计算复杂度也较低,即使在处理具有异常机动速度、特殊轨迹形态、路线交叉重叠等特殊轨迹数据时仍能保持较好的聚类效果。     

2005年世界新锐武器扫描

2005年,在新军事变革的推动下,新鲜出炉的各类武器可谓“灿若星河”,但亮彻全年或举世震撼的“大作”却为数不多。本文本着“百里挑一、优中选优”的原则,重点介绍10种新锐武器,涵盖了海、陆、空三维战场空间,并把导弹单列为一类武器加以介绍。之所以选择这些武器,主要是因为它们具有一定的代表性:有的设计独特,放射着军事思想新变革的光辉;有的绝技超群,开创了武器发展新时代;有的另辟蹊径,拓宽了武器改进的新思路;有的影响深远,改变了地区乃至全球安全形势。陆战武器:重新又走热小国亦疯狂由于美国在伊拉克战争中一改科索沃战争全程空袭的…     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。