SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。     

防空导弹兵力规划模型

借助兵力交换的思想,从宏观层次上研究不同类型的防空导弹火力单元对空中目标的优化分配问题;分析在最优目标分配策略下区域防空中各类型防空导弹火力单元的火力分配问题,并建立了递阶优化的求解模型.该模型可为区域防空部署的决策与分析提供科学依据.     

武器装备的生命线——数据链

数据链”是采用无线网络通信技术和应用协议,实现机载、陆基和舰载战术数据系统之间的数据信息交换,从而最大限度地发挥战术系统效能的系统。“数据链”不是什么神秘武器,而是将数字化战场上的指挥中心、作战部队、武器平台链接到一起,并提供一种信息处理、交换和分发的系统。它并不只是像我们平常看到的互联网或区域网,通俗地说,它是网络、在网络上跑的数据以及处理这些数据的软件系统的总称。目前,一些国家和地区军队装备的“标准密码数字链”、“战术数字情报链”、“联合战术信息分发系统”、“多功能信息分配系统”等,都属于“数据链”…     

简谐外磁场环境下海森堡XXZ模型的热力学纠缠

研究了在简谐外磁场环境下的海森堡XXZ模型,并通过计算解出热力学纠缠度。模拟表明,取不同的各向异性参数时,系统的热力学纠缠度对外部磁场和环境温度的变化比较敏感,并随简谐磁场的变化表现出周期性。固定各向异性参数时,热纠缠度随温度的增加呈现衰减趋势;增大各向异性参数时,热纠缠度则很快地趋于零,其对应临界温度也迅速降低。     

连续变量三体纠缠态的纠缠交换及量子远距离克隆

寻找合适的连续变量三体纠缠源,并利用它来讨论连续变量的三体纠缠交换过程,使得没有任何相互作用的遥远的三体之间产生纠缠;同时研究纠缠态的量子远距离克隆过程,从而使连续变量纠缠态的1对纠缠模被远距离克隆成2对纠缠模,实现纠缠性质的远距离克隆。     

编队战斗机超视距空战效能评估

第三代战斗机主要空战模式是超视距空战,对编队战斗机超视距空战的全过程进行分析,建立了战斗机编队和导弹的运动模型,以领先发射概率和空战交换比作为评估指标,对编队战斗机超视距空战效能进行评估,最后给出了算例,重点分析了地面防空火力和编队战斗机数量、携带导弹总数等因素对空战交换比的影响.     

基于UML的作战信息交换建模

简要介绍了统一建模语言UML(Unified Modeling Language)的基本特点和主要内容,给出了基于UML的作战信息交换建模过程,对常用的静态模型和动态模型及其应用进行了分析,结合营进攻战斗实例进行了基于UML的作战信息交换建模。     

对第四层交换技术的分析

针对网络技术发展的现状 ,确定了第四层交换的定义 ,阐述了第四层交换应用的优势     

希特勒的“高贵战利品”

二战期间,位于德国萨克森州的科尔迪茨堡曾被纳粹德国当作特殊的集中营,专门关押俘获的英国王室成员和官员亲属,希特勒试图拿他们当谈判筹码,谋求与英国实现利益交换。前不久,《军事画册》记者帕特里克·威尔森采访到当年科尔迪茨堡的幸存者,他们讲述了当年在科尔迪茨堡的遭遇。