Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

一种新的自相互作用修正势

本文提出一种对具有相同角量子数的壳层取平均的自相互作用修正势,保证了单电子波函数之间的正交性,计算结果好于x_a方法和作者本人及其他作者提出的单一平均自相互作用修正势的计算结果。     

在非高斯马尔可夫噪声中的Robust检测

文中探讨了在仅已知噪声边缘分布族和相关系数的条件下非高斯马尔可夫噪声中确知信号的Robust检测问题。设噪声样本可表示为一阶AR过程:n_i=ρn_(i-1)+Y_i,(i=1,2,…,N),其中Y_i为独立同分布的随机序列。当p较小时,以检测器效验为性能指标并对ρ取一级和二级近似,分别得到了对应的有记忆和无记忆Robust检测器的结构。     

微元内破片平均杀伤概率估算的新方法

本文提供了一种在弹药破片杀伤面积的估算中,求取微元内破片平均杀伤概率估值的新方法,这种方法可以保证在较小工作量的条件下提高估值精度.     

冲激雷达实验系统与测量数据处理技术

本文介绍一种冲激雷达实验系统。它是设置在微波暗室内的全空间实验系统,天线、录取电路和数据处理器是专门设计的,能录取各种目标的回波数据,给出实时处理结果。文中讨论了数据处理技术,提出用规则化方法求解目标冲激响应、估计AR模型参数,给出了实际结果,表明该算法的有效性。测量了涂覆RAM目标的回波,对比分析结果证实了冲激雷达具有良好的反隐身能力。     

正规战中作战效率变化初探

本文以描述常规战最基本的模型——Lanchester方程为基础,就影响作战效率的一些因素进行了分析并定量化地表现在作战模型中,然后运用有关系统学理论讨论了作战效率变化对战斗进程的影响程度。     

高速核在高温热平衡等离子体中的非平衡弛豫过程对热核反应率参数的影响

高速核入射到高温热平衡等离子体背景中,由于入射核动能远大于背景等离体中带电粒子之平均动能,入射核在与背景等离子体达到热平衡之前,会存在一段逐渐损失能量的非平衡弛豫过程。本文以高速氘核入射到高温氘化锂等离子体为例,在计及氘核的这种非平衡弛豫过程时,给出了一种计算热核反应D(t,n)~4He之反应率参数的方法。氘核在弛豫过程中的能量损失考虑了氘核与各种带电粒子的库仑散射过程,其能量损失率采用快速带电粒子的慢化理论来计算;氘与背景等离子体中的原子核发生的核反应过程,考虑了非平衡状态下束靶机制的D(t,n)~4He反应和热平衡状态下的D(t.n)~4He反应。在暂未考虑核散射的情况下,计算结果表明,当等离子体温度在7.5KeV～20KeV范围内变化时,氘核的非平衡弛豫过程对热平衡状态下D(t,n)~4He反应率参数的修正因子大致在1.0062～1.0943范围内变动,且温度越高,修正因子越小。计算还表明,当温度一定时,修正因子随等离子体中粒子的数密度变化不明显。     

激光测距系统漏测点分布规律的研究

本文将激光测距系统漏测点分为两类:连续漏测点少于1个的漏测点称为可补的;否则,称为不可补的。本文给出了不可补漏测点概率的定义,计算公式及计算实例,为寻求降低这种概率提供了条件。通常意义下的漏测率与回波率均为本文所讨论的概念的一种特例。     

竞争性采购装备合同监管创新方法体系之（十五）交叉评价法

针对竞争性采购合同监管双评工作存在主观随意性的隐患,为确保双评工作的严谨性和公正性,本文提出交叉评价法,阐述了其方法背景、设计思路、实施流程、需注意的问题,对创新开展竞争性采购合同监管工作有一定参考价值。     

基于非合作博弈的栅栏信息覆盖虚拟节点组合算法

邻近节点通过协作感知和信息融合组成虚拟节点,能够增加信息覆盖栅栏长度.基于非合作博弈模型,设计了一种完全分布式的虚拟节点组合算法DVSF算法.DVSF算法面向栅栏信息覆盖应用,以尽量增加整个网络的信息覆盖栅栏长度为目标,将合适的邻近节点组合成虚拟节点,提升了整个网络的栅栏信息覆盖性能.仿真实验验证了DVSF算法的有效性...