基于攻击图的网络安全概率计算方法

针对基于攻击图的概率计算中循环路径导致的攻击图难以理解和概率重复计算问题以及渗透之间的相关性导致的概率错误计算问题,通过将攻击图与通用安全脆弱点评估系统结合,删除攻击图中的不可达路径,简化了攻击图,提出了适用于大规模网络的最大可达概率的概念和计算方法,解决了概率重复计算问题,有效避免了相关性导致的概率错误计算问题,并通过真实实验和模拟实验验证了所提方法的合理性和有效性.与相关的研究成果相比,最大可达概率计算方法可以适应于更复杂的攻击图,具有很好的扩展性.     

单光子捕获概率仿真计算方法的研究

星地量子密钥分配的保密性在全球信息的安全传递方面将起巨大作用.本文采用蒙塔卡洛方法对星地量子密钥实验进行仿真,主要研究同步激光脉冲和单光子在大气中的传输,探讨在大气环境的作用下单光子探测系统开门持续时间和开门精度对单光子捕获概率的影响,该结果对量子密钥试验系统的设计提供重要的参考和依据.     

进化计算的一种变异概率自适应方法

1引言 进化计算的不足之一是可能陷入局部极小,变异操作正是为解决局部极小问题而使用的.若变异概率pm取值较大的话,能够产生出较多的新个体,搜索空间相应也大,进化过程中产生全局次优解(near-optimality)的机会也就会大,但也有可能破坏掉很多较好的模式,变异操作的概率过大会引起进化过程不稳定,使得遗传算法的性能近似于随机搜索算法的性能;若变异概率pm取值太小的话,则变异操作产生新个体的能力和抑制早熟现象的能力就会较差.     

网格工作流中转移概率的计算方法研究

网格工作流的转移概率指的是工作流中一个活动发生之后另外一个活动发生的概率或者该活动再次发生的概率。转移概率广泛地应用在工作流的分析中,如过程重组、工作流服务质量管理等。基于一种网格工作流模型GPEL,分析了计算转移概率的不同的场景,并讨论了这些场景中转移概率的计算方法。     

基于自动机的概率计算树逻辑验证方法

根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。     

基于实测数据的雷达探测概率计算方法

基于对雷达情报自动化系统日常积累的情报数据进行预处理提出了一种基于实测数据的雷达探测概率计算方法.首先对各个高度层上的航迹按距离取样间隔分段,统计各分段内的观测点数和发现点数,从而计算各距离取样间隔内的发现概率,再利用局域插值方法进行补点,最后使用最小二乘多项式曲线拟合方法修正雷达探测威力图.Matlab仿真结果表明了该方法的实用性.     

一种改进的数据包丢弃概率计算方法PRED

针对传统RED算法数据包丢弃概率计算方法的不足,提出一种RED改进算法-分段随机早期检测（Partitioned Random Early Detection,PRED）算法。为了更好地调控网络拥塞,算法通过调整数据包丢弃概率计算函数,以两种不同趋势曲线分段增长方式代替原RED算法包丢弃概率与平均队列长度之间单一的线性关系。系列仿真实验结果验证了改进算法的有效性,一定程度地提高了网络性能。     

基于概率和可信度方法的普适计算信任模型

根据普适计算环境下信任的特点以及现有信任模型存在的不足,提出一种基于概率和可信度方法的信任模型。模型综合考虑影响信任的主观和客观因素,通过主观信任、直接信任和推荐信任得到总体信任。计算推荐信任时引入基于可信度的匹配度算法对多个推荐实体进行取舍,在计算前就把不符合推荐条件的实体排除,再结合对推荐链路的更新,能够更有效地避免恶意推荐的影响,计算出来的信任值可靠度更高。     

大规模网络中攻击图的节点概率计算方法

针对基于攻击图的概率计算中节点之间的相关性导致的概率错误计算问题,通过将攻击图与通用安全脆弱点评估系统结合,提出攻击图各节点概率的精确计算方法和近似计算方法,在保证各节点概率精度的同时,较快地计算攻击图中各节点的概率值,有效地解决了节点之间的相关性所导致的概率错误计算问题。通过真实实验和模拟实验验证了所提方法的合理性和有效性,与相关的研究成果相比,可以适应于更复杂的攻击图,具有很好的扩展性。     

基于邻居节点数目的洪泛概率计算方法*

概率洪泛路由协议中洪泛概率的确定多依赖于实验,缺乏理论性。在无线传感器网络中,应用概率洪泛路由时,每个传感器节点收发信息具有随机性,在合理假设下,将网络中信息传输过程建立为一个分支过程模型,利用分支消亡概率和节点产生后代概率的关系,给出一种基于邻居节点数目的洪泛概率计算方法,在此基础上提出一种动态概率洪泛算法,并以信息覆盖率与节点利用率的差值为标准评价了算法的性能。本方法较现有的其他方法对节点利用更加有效,且对节点要求低,适用于各种网络。     

概率计算神经网络硬件架构

概率计算(逻辑)是一种将二进制转换为概率编码的数字脉冲码流的逻辑计算,以计算精度与时延为代价,具有低功耗、高能效的计算优势.阐释了概率计算的基本概念,设计了单通道与多通道的概率计算电路,有效提高了概率计算的速度与精度.基于所提出概率计算电路,设计了概率脉冲神经元,从而实现了神经网络的可重构计算架构——北航筹算.该设计采用KINTEX-7(FPGA)实现,相较于传统二进制阵列乘法器构成的乘加器计算单元,概率计算的逻辑资源开销(LUT)降低80％.在SCNN网络计算实验中,测试运行了LeNet与AlexNet,时钟频率350 MHz条件下,均值能效可达0.536 TSOPS/W,PE利用率可达90％以上.     

基于概率推演的动态程序切片优先度计算方法

为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计,得到程序静态语句的正确概率。使用具有优先度的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率。实验表明本方法平均可将实际错误排名在切片结果的前20.2%。     

基于EPTM模型的电路信号可靠性概率的计算方法

电路元件在工作时很容易受到外界信息的干扰,如电磁、噪声、辐射等,在设计电路信号最初阶段有必要计算出电路信号的可靠性概率。传统的计算方法为故障注入方法与解析模型方法,但是这两种方法在投入成本和计算精度上都不能满足人们的要求。基于EPTM模型提出了一种新的电路信号可靠性计算方法,介绍了计算步骤,并对每一步进行了具体解析,实践证明给出的方法能够精确且快速地实现对电路信号可靠性的概率评估,提高设计阶段电路拓扑结构的效率,降低故障发生的概率,值得推广使用。     

综合业务系统中切换呼叫损失概率的计算方法

准确、快速地得出通信系统中的呼叫损失概率是实现实时呼叫接入控制的前提。该文提出一种新的无线综合业务系统信道预留策略,基于该策略给出在给定系统小区的信道数、预留信道数、新呼叫与切换呼叫负荷以及接入控制策略前提下,能快速、准确地计算新呼叫及切换呼叫的呼叫损失概率的方法。仿真结果与算法得到的结果是相符的。     

概率计算脉冲神经网络异步架构

概率计算是将二进制数编码为概率脉冲序列进行运算,具有功耗低、资源消耗少的优势,将概率计算应用于脉冲神经网络(spiking neuron network,SNN)的硬件电路设计,有利于实现类脑模式的运算.为了实现神经网络的低功耗边缘计算,本文提出一种基于概率计算的SNN异步架构.使用异步微流水线控制的交叉阵列实现LIF...     

航天器碰撞概率计算对比分析

为了研究航天器碰撞概率计算的主要方法,通过航天器状态矢量、位置误差协方差计算碰撞概率,和蒙特卡罗法计算碰撞概率.给出了蒙特卡罗方法并行化的实现方法.比较了七种概率密度计算方法的优缺点和计算时间.分析了碰撞概率计算的影响因素和不同方法中对碰撞概率计算的影响因素.最后通过数值计算验证了七种计算方法的特点和正确性,并与国际空间站例子进行对比.对比结果表明,三维数值积分方法计算碰撞概率,可使计算简洁,并且所用时间短.     

小位移光流计算的对偶方法

基于光流计算的通用变分模型,建立小位移光流场计算的对偶方法。变分能量泛函中的数据项使用稳健估计的L1范数,规则项采用边缘保持的总变差项。采用对偶变量表示总变差项,克服基于传统总变差计算须引入小规则参数的问题,并得到较好的实验结果。该方法可应用到大位移光流计算和光流计算的高阶模型中。     

模2n加的异或差分概率的快速计算方法

分析模2n加变换的异或差分概率计算算法的计算复杂性,利用以空间换时间的思想,将该算法中的矩阵乘积运算预先计算并予以存储,从而以查表运算替代多个矩阵乘积运算等方法对模2n加变换的异或差分概率计算算法进行改进,改进后算法的计算复杂性小于现有方法计算复杂性的7.7%。