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

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

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

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

l壳层状态的QSL分类与耦合波函数的计算

本文从准旋、自旋、轨道角动量算符的二次量子化形式出发,讨论了l壳层状态的QSL分类,推导了QSL分类的递推公式并给出了p,d,f壳层的分类结果。应用计算单体、二体算符矩阵元的Slater-Condon规则和解线代数本征值问题子程序,编制了计算l壳层QSL耦合波函数的计算程序,在VAX-11/730机上,对p-壳层和d-壳层共约需半分钟,对f-壳层约需24分钟。     

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

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

强脉冲 CO2 激光与靶的相互作用

在真空背景下的实验表明,当微秒量级的强脉冲激光与靶材相互作用时,由于靶材的升华,激光维持爆震波依然存在。爆震波产生的压缩波传入靶内,该应力波的作用是材料破坏的重要因素。而强脉冲激光引起的汽化反冲压力、热应力和烧蚀破坏也是不可忽视的因素。实验还表明,在真空背景下维持爆震波足以将后续激光屏蔽。     

多层模糊综合评判的装备保障效果评估方法北大核心

通过分析装备保障过程中的主要影响因素,构建了信息化条件下涵盖装备保障过程关键环节的装备保障效果评估指标体系,并采用基于层次分析法和熵权法相结合的方法来确定指标的权重。而后通过建立多层模糊综合评判模型,进一步提出了基于多层模糊综合评判的装备保障效果评估方法。大量的实例分析表明:该方法在当前信息化条件下装备保障效果评估及装备保障模式转变中具有很好的推广应用前景。