面向企业人事档案管理数据的概率相似度补齐方法

针对人事档案管理的信息化需求,设计了一套依据多种因素数字化建档的方法,借鉴粗糙集理论中不完备信息系统数据补齐策略,提出了一种改良的概率相似度分析算法,可用于人事档案数据的补充完善,方便对所有人员的分类管理。典型实验验证了方法的可行性。     

多天线AF中继系统的中断概率性能分析

由于反馈时延、信道估计误差和频率复用的存在严重影响中继系统性能,研究了不准确信道状态信息(CSI)下,存在同信道干扰(CCI)的多天线双跳放大转发(AF)中继系统的中断概率性能。首先基于发射端存在反馈时延、接收端存在信道估计误差的波束成形(BF)模型,得到中继系统的输出等效信干噪比(SINR)。然后推导出输出信干噪比中断概率(OP),计算机仿真不仅验证了所提出的中断概率性能分析方法的正确性,并且在不同信道参数下,对系统中断概率性能的影响进行了分析。     

基于概率假设密度滤波和动力学方程约束的空间群目标数量和位置分辨

空间目标具有射程远、速度快等特点,为了有效解决密集性高、可分性差的高速空间目标群饱和攻击问题,实现非合作空间群目标数量和位置的尽早分辨,该文基于随机有限集(RFS)理论和动力学方程约束研究了空间“团状”目标数量和位置分辨问题,提出目标监测早期解决大量距离靠近、运动特征差异不明显的高速空间群目标数量和位置估计的相关算法,该算法利用概率假设密度(PHD)滤波器能够解决未知时变环境下目标个数与状态估计的特点,将高斯混合PHD (GM-PHD)滤波和空间目标动力学方程相结合,在解决不可分辨空间群目标数量和位置估计问题的同时,充分利用空间目标动力学方程对群内目标状态进行实时调整,提高空间目标位置状态估计精度,解决不可分辨空间目标群边跟踪边分辨问题,相关算法可为空间群目标数量和群内特殊价值个体目标位置尽快分辨、连续稳定跟踪和可靠动向预报等提供数据基础。     

基于 MV 代数语义的格值逻辑的程度化方法

基于MV代数（Many-Valued algebra ）语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度。由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理。本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法。     

MTL代数语义上逻辑公式的概率真度

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.     

Lukasiewicz命题逻辑中命题的Choquet积分真度理论

将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.     

基于Frank T/S范数的柔性概率逻辑算子研究

 Frank算子簇满足相容性定理,基于Frank T/S范数构造柔性概率逻辑算子,是在逻辑框架内解决概率逻辑不确定性推理问题的一种有效探索.论文针对传统概率逻辑算子在相关性方面存在的缺陷,用广义相关系数h建立起与相关性的联系,并基于Frank T/S范数构造了一套运算关系可以随h连续变化的柔性概率逻辑算子.理论证明,该算子既可满足概率测度的基本公理,又具有连续单调可变性.     

基于剩余格语义的格值逻辑系统的程度化方法

基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.     

(3n+1)值逻辑系统Ro(L)中公式的真度性质

基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0(L)中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统Ro(L)中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0(L)中建立近似推理理论提供了一种可能的框架...     

函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用

提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R₀命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R₀命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理,在连续值R₀命题逻辑中建立了相对于局部有限理论的公式的广义真度理论,为在R₀命题逻辑中建立基于局部有限理论的近似推理,广义积分语义理论等奠定了基础.     

整数阶电路基本定理到分数阶电路推广及分析

近几十年来,对分数阶电路的研究逐渐深入,但对其中电路定理的分析较少,因此针对分数阶电路需要进一步探究其规律,将一些经典的电路定理推广到分数阶电路中,使得在以后的分析过程中能直接使用。本文在整数阶电路定理的基础上,运用基尔霍夫定律在分数阶电路中证明了叠加定理、替代定理、等效电源定理和互易定理,并进行了应用分析。     

基于进化规划的网络安全协议的自动生成

提出了基于进化规划的安全协议生成方法,并用BAN逻辑来描述和验证协议,为进一步提高协议生成效率,降低协议消息的冗余度,加入了协议优化模块.该方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议.实验表明,本文方法能够成功、高效地生成安全协议,保证所生成协议的安全性.     

对称逻辑公式在经典逻辑度量空间中的分布

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠...