清单8:定位订阅令牌符号元素,提取证书数据并检验它。
Listing 8: Locate the subscription token element, extract the certificate data and have it verified.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
本文根据符号检验的特点,给出了求解其拒绝域的方法,并作出相应的判断。
According to the characteristic of symbolic inspection, this work gives the ways of obtaining its rejection region and the corresponding judgement.
在研究图像中值滤波及其快速算法的基础上,设计并实现了一种新的基于符号检验改进算法的中值滤波快速算法。
This paper studies image median filtering and several fast algorithm, then designs and implements a novel median filtering algorithm based on proved sign test method.
结果表明,利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
检验你选择的符号来保证它的百分百准确,这一点很重要。
Testing the hell out of your typeface is vital to ensure its 100 per cent right.
相位统计矩方法利用MPSK信号符号初相位偶阶统计矩为M的单调递增函数的特性,并进行M进制识别复合假设检验。
In the SPM method the composite hypothesis test is performed by means of the monotonic characteristic of the even order statistical phase moments of MPSK signals.
给出了检验疏失误差是否存在的符号检验法和游程数检验法。并给出了存在疏失误差时如何调整实验数据协方差矩阵的方法。
The methods of sign test and runs number test of negligence error and adjustment of experimental covariance matrix are given in the work.
新算法可行解定义范围增大,求解过程检验数不局限为一种符号。
The definition of feasibility solution in the new algorithm is expended. The checkout number does not need to be same sign in the process of finding solution.
非基于严格的数据分布假设而进行的统计推断方法,如符号检验、秩和检验等。
Nonparametric test will be a good choice for this kind of data in testing the distribution of the population.
目的计算配对符号秩检验的确切概率。
Purpose To compute the exact p-value of Wilcoxon matched-pairs signed-ranks test.
利用广义似然比检验(GLRT)解码算法,导出了成对符号错误概率(PEP)上限和码的设计准则。
The chernoff upper bound of the pairwise error probability(PEP) and the code design criteria are derived by means of the generalized likelihood-ratio test(GLRT) decoding algorithm.
利用广义似然比检验(GLRT)解码算法,导出了成对符号错误概率(PEP)上限和码的设计准则。
The chernoff upper bound of the pairwise error probability(PEP) and the code design criteria are derived by means of the generalized likelihood-ratio test(GLRT) decoding algorithm.
应用推荐