论高技术武器装备的作用与局限

1．高技术武器装备使空战的作用突出，并可能作为一个单独的战役为尔后的地面作战奠定胜利的基础     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

触摸知识化军人

俄罗斯军事学家苏沃洛夫曾经说过：“无知比敌人还坏，它可能葬送整个军队。”迎接知识军事的挑战，首要的是催生知识化军人，包括人掌握知识的水平、人的创新意识与能力以及所需的物质、技术和人文条件。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

“军事经济人”假设与军事经济学基础

文章从军事经济活动的微观主体对象出发,运用“军事经济人”假设,对军事经济研究提出了新的观点。运用效用最大化理论,从物质和非物质两个方面来分析军事经济微观主体的行为,指出“军事经济人”与一般“经济人”的异同点,界定了“军事经济人”的特性,并概要地论述了“军事经济人”与军事经济学基础理论的内在逻辑关系。     

纯方位目标运动分析的离散时间可观测性和可估计性分析

目前,纯方位跟踪(BOT)的可观测性分析仍然是重要的学术研究课题。与以前的连续时间分析研究不同,我们的研究依赖于离散时间分析。而且还允许我们直接而有效地使用简单的线性代数公式系。使用直接方法,可观测性分析实际上简化为子空间范围的基本研究。虽然这种方法在概念上是相当直接的,但随着源相遇情况复杂性的增加,它会变得越来越复杂。对于复杂情况,由于直接使用多重线性代数方法,对偶方法可能体现某些基本优点。因此得出关于机动源的BOT可观测性的新结果。继而可将可观测性分析扩展到源速度变化的未知时刻。 尽管可观测性分析使我们能更充分地了解BOT问题的代数结构,但观测者机动的最优化实际上是一个控制问题。基本代数研究证明这种控制问题的相关成本函数是费歇尔信息矩阵(FIM)的行列式。因此大部分工作集中在对这个成本泛函的分析上。使用多重线性代数给出了这个泛函的一般近似。这些近似结果表明最感兴趣的事仅涉及到直接可估计参数,即源方位变化率。用这些近似,可导出最优化观测者轨迹的一般框架,这允许我们近似最优控制序列。值得强调的是我们的方法不需要有关源轨迹参数的知识且对机动源仍然有效。     

常态执勤指挥模型关键节点识别及抗毁性研究

在常态执勤指挥模型的基础上,重点对树状指挥网络和级联指挥网络的抗毁性进行研究。通过建模仿真的方法,对三种执勤指挥模型进行随机攻击和蓄意攻击,对比分析最大连通子图规模、网络效率和全局聚集系数等指标,找出抗毁性最强的常态执勤指挥网络模型。应用集体影响力算法识别抗毁性能最好的指挥网络的关键节点,与基于节点度大小的传统关键节点识别方法进行对比,证明基于集体影响力算法识别关键节点更加准确,目的是为未来常规执勤指挥网络的优化和防护提供理论指导。     

坚持思想政治教育内容相对稳定性与随机应变性的统一

思想政治教育内容是相对稳定性和随机应变性的内在统一 ,新时期思想政治教育要增强时代感 ,加强针对性、实效性、主动性 ,必须处理好两者的辩证统一关系     

论实现武警部队思想政治工作信息化的必要性、现实性和应对性

以信息技术为中心的当代科学技术革命,对部队思想政治工作产生了前所未有的影响。部队思想政治工作只有实现信息化,才能使思想政治工作适应新形势,获得高效益。     

联合全资产可视性——美军实现聚焦后勤的基础

美军的联合全资产可见性系统旨在通过资产信息共享,从而促进聚焦后勤的实现,以实现《2010年联合构想》中的目标,使美军在21世纪的战场中取得优势,这对于加强我军后勤可视化建设、提高后勤保障能力具有一定的借鉴意义。