查询词典 unambiguity

Because of its compactness, fineness and unambiguity, formal analysis of security protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和准确的途径。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。

The advantages of applying logic means to represent semantic information is not only due to its unambiguity and accuracy, but also the attempt of computational implementation of the relevant semantic analysis.

应用逻辑的方法来表现语义，其优势不仅体现为描写本身的严谨性和精确性，并且更进一步地体现在使得语义描写的计算机语言实现成为可能。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by ste...

本文主要研究了基于颜色Petri网的密码协议分析方法，开展了以下方面的研究工作：(1)对常见的密码协议进行了总结，阐述了各自的特点。

Many new detection techniques are proposed, that include: To overcome the faults of cross-terms and short unambiguity range for the common Wigner-Ville Distribution , short-time Fourier transform and Gabor transform are applied to SAR moving target detection. To improve the detection performance of WVD in noise environment, a new technique based on the Cross-WVD is proposed. The application of fractional Fourier transform to chirp signal detection is analyzed and extended to SAR moving target detection. To eliminate the restriction of chirp-Fourier transform, a new modified definition is proposed and applied to SAR moving target detection. To detect multiple moving targets whose scattering intensities are different heavily, the CLEAN technique is combined with the above techniques and the ideal detection performance is achieved. At last, the whole dissertation is concluded.

具体的研究成果如下：针对常用的Wigner-Ville分布在多目标情况下存在交叉项，并且多普勒不模糊范围小的缺点，提出将短时Fourier变换和Gabor变换应用于SAR运动目标检测，分析了其优势所在；为进一步提高Wigner-Ville分布低信噪比条件下的信号检测能力，提出基于互Wigner-Ville分布的运动目标检测方法；分析了分数阶Fourier变换在线性调频信号检测中的应用，提出基于分数阶Fourier变换的运动目标检测算法；对离散Chirp-Fourier变换的定义进行了修正，提出修正的离散Chirp-Fourier变换，克服了限制其应用的约束条件，并用于SAR运动目标检测当中；强度相差较大的多运动目标检测历来是机载SAR技术的一个重点和难点，我们将CLEAN思想融入上述多种算法当中，良好地解决了该问题。

Hindu schools started to expand the meaning of the term 砈amadhi?by adding to it various prefixes. Various schools used these composite words and because of this the term 砈amadhi?got 砫 iffused?and lost its unambiguity.

与其使用涅磐这个术语，印度学派更着手于通过在&三摩地&这个词前面加上前缀来把&三摩地&这个术语的意义扩展，意义变得更加清晰，失去了它的含糊性。

Considering a measurement example at PTB′s Precision Interferometer, the uncertainty of the individual length measurement is small enough so that the range of unambiguity is about 0.6 mm, i.e. a rough estimate of the length is sufficient for ultra precise length measurements.

德国联邦工程物理研究所&PTB&；德国联邦工程物理研究所&PTB&；德国联邦工程物理研究所&PTB&；德国联邦工程物理研究所&PTB&布朗斯维克D38116；德国；布朗斯维克D38116；德国；布朗斯维克D38116；德国；布朗斯维克D38116；德国

Fancy gold-plated dangling earrings with facetted White Opal crystals.

花式镀金悬垂耳环与facetted白欧泊水晶。

This essay chooses the study aim from biology teachers in middle school in Shi Jiazhuang which tells us that most of the middle school biology teachers in Shi Jiazhuang have the"burnout", lower successfulness, individualize.

本文选取石家庄市初中生物教师作为研究对象，运用问卷调查的方法对石家庄市初中生物教师职业倦怠的现状进行调查，调查结果发现，石家庄市初中生物教师这一群体普遍存在职业倦怠，情感枯竭程度偏高，成就感偏低，去个性化程度最为严重。