1) probabilistic model checking
概率模型检测
1.
The Analysis of Three Key Issues in Ad Hoc Network Based on Probabilistic Model Checking;
Ad Hoc网络三个关键问题的概率模型检测分析
2.
By using probabilistic model checking,this paper proves that anonymous protocol ANODR cannot provide anonymity under statistical disclosure attack.
应用概率模型检测工具PRISM证实统计暴露攻击能够破坏ANODR协议的匿名性。
3.
A probabilistic finite state machine and Discrete Time Markov Chains(DTMCs) for this mobility model are established using probabilistic model checking.
应用概率模型检测技术,在M anhattan移动模型和街道单元移动模型的基础上,提出城市街道移动模型,将其建模成离散时间马尔可夫链DTM C s,然后运用概率模型检测工具PR ISM分析节点位置及移动情况对A d Hoc网络通信的影响。
2) probability of detection model
检测概率模型
1.
Based on the comparison of several existing probability of detection (PoD) models, a new probability of detection model was proposed for the updating of crack size distribution.
在对现有的检测概率模型比较的基础上,提出了一种用于更新裂纹尺寸分布的检测概率模型,并且从理论上证明了大部分现有的检测概率模型都是新检测概率模型的特例。
3) detection probability
检测概率
1.
A recursive algorithm of detection probability for random phase signals;
随机相位信号检测概率的递推算法
2.
According to the narrowband detection theory, the detection probability of single passive sonar is educed on the premise of false alarm probability.
根据被动声呐窄带检测理论,在给定虚警概率PF的前提下推导出了单部被动声呐的检测概率PD,并利用数据关联算法对2部被动声呐组成的双基地声呐系统的性能,如检测概率、作用距离进行了分析计算。
3.
This paper analyzes the signal noise ratio(SNR) received by radar under the jamming condition,builds the detection probability model of radar net to the penetration aircraft and the survival probability model of the penetration aircraft,which can provide the reference for the penetration combat to the radar net under the jamming condition.
分析了干扰条件下雷达的接收信干比,建立了干扰条件下雷达网对突防飞机的检测概率模型和突防飞机的生存概率模型,可为在干扰下对雷达网进行突防作战提供参考。
4) probability of detection
检测概率
1.
The three variables of the probability of detection,the false call probability and the probability of presence of a crack are adopted for completely characterizing nondestructive inspection performances.
针对上述问题,本文提出了基于风险的船舶结构无损检测功能分级方法,采用检测概率、错误识别概率和裂纹出现概率度量检测功能,并修正了错误识别概率的取值范围。
2.
The three variables of the probability of detection, the false call probability and the probability of presence of a crack are adopted for completely characterizing nondestructive inspection performances.
提出了基于风险的海洋结构物无损检测功能分级方法,采用检测概率、错误识别概率和裂纹出现概率度量检测功能,并修正了错误识别概率的取值范围。
3.
A computation model of radar detection probability with respect to various distance is derived from the relationship between radar detection range and signal-to-noise radio, signal-to-noise ratio and probability of detection as well as the false alarm probability.
基于雷达探测距离与信噪比,信噪比与检测概率、虚警概率之间的关系,推导并提出了一种不同距离的雷达检测概率计算模型,并对该模型的适用范围进行了充分的讨论。
补充资料：跳汰分层的概率—统计模型
跳汰分层的概率—统计模型
probability-statistic model of jigging stratification
t Iootol feneeng de ga一l已一tongj一m0Xing跳汰分层的概率一统计模型(probability-statistie model of Jigging stratifieation)应用概率一统计方法研究跳汰选矿分层规律的数学表达式。该项研究不再考虑分层作用机理，而将跳汰分层视作不同密度和杠度的颗粒向各自平衡层迁移的过程。在这一过程中颗粒之间的碰撞和紊流扰动使颗粒的运动带有随机性。同样性质的颗粒也会有不同的运动轨迹。因此对同一性质颗粒的分层运动可以用其分布中心的迁移和向邻层扩散来表述。重矿物进入下层的概率要比进入上层的为大，在床层的d，微层中，某种颗粒的概率分布密度aJ对时间的变化率可用颗粒的沉降量与扩散量之和表示: 瓮一，窦+:穿、l)式中x为床层厚度，m;A为颗粒在重力和阻力作用下向下运动的速度系数，m/s;B为颗粒的随机扩散运动系数，m/s“。由概率一统计原理知，某种性质颗粒分布中心的迁移速度以及颗粒围绕这个中心的离散均正比于颗粒从一层转入另一层的概率。随着时间的延长，颗粒接近自己的平衡层，层间转移的概率随之降低。某种性质粒群分布中心随时间变化的关系式为 夕、一夕ma、(1一e一k‘)(2)围绕该分布中心颗粒的离散(标准离差)武mZ)为 。2一令，急a、、e一‘!(3) 2“JJ___式中y为某种性质颗粒在时间为t时的分布中心距床层上表面的高度，m;yma、为该性质颗粒群的平衡层距上表面高度，m;K为表征移动比速度的系数;对一定性质的给料和一定的水力学参数，k值不变，其单位为l/S。 该概率一统计模型是一种普遍的规律式，它只能定性地说明跳汰过程中各密度层的形成过程。式中系数k与给料性质和水流特性存在一定关系，通过试验进一步建立起它们之间的关系后，有可能表示出原料性质对操作条件的要求和在一定时间内达到的分选指标，这项研究还有待继续完善。 (孙玉波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条