验证

At last,it is verified that the protocol has the properties of boundedness,liveness,reversibleness and etc.

最后，对协议的有界性、活性和回归性等性质进行了验证关键词Petri网，网络协议，有界性SPECIFICATIONANDVERIFICATIONOFOSINETWOR

Under the optimized conditions, the relative fluorescence intensity decreased linearly with the copper ions concentration in the range from 2 to 200μg·L~(-1) and the detection limit could reach 0.29μg·L~(-1). Based on the charge-transfer quenching mechanism, the copper ions bounding onto the surface of qdots could absorb electrons from valance band, which results in the quenching of fluorescence.

用电荷转移机制解释了量子点荧光猝灭的原因，主要是由于价带电子激发到导带以后被表面结合的Cu~(2+)离子捕获而产生的结果，在此基础上，用光解实验进行了进一步的验证。

This article elaborates the full-scale test at present electric railway bow net system, designs a new control system to fall the Pantograph fall and introduces a home unusual, controlled Pantograph fall in the busy host skeleton line. This research provides reference for the furthur study of bow net protection system by artificially creating the real appearance of bow net relations.

从实际试验出发，阐述了在目前电气化铁路弓网系统中，对弓网保护装置所起作用的一种验证方法，同时构思和设计了一种新型的受电弓滑板掉块控制系统，并介绍了一次国内少有的、在繁忙主干线上控制受电弓滑板掉块造成人为弓网关系再现的真实过程，为进一步开展弓网保护系统研究提供参考。

His argument was bolstered by the performance of Gael Clichy against Wolves on Boxing Day.

克里奇在对狼队比赛时的表现更验证了温格的话。

Furthermore, it shows the superiority of improved BP Neural Network.

此外，验证了改进模型的优越性和合理性。

It's time to test your br*ery and generosity.

"（"验证你的勇敢和慷慨的时间到了。

These responses are tested in different extents using the brachiopod fossils Rhynchospirifer and Stringocephalus, as well as their surrounding rocks.

上述认识不同程度地在Rhynchospirifer属和Stringocephalus属为代表的腕足动物及其围岩的研究中得到验证。

For excluding poorly preserved shells, a shell alteration index is suggested to estimate the state of preservation of brachiopod shells through examination under cathodoluminescence and scanning electron microscopes. This study shows brachiopod taxa e.

基于壳体保存程度的详细分析，以阴极发光程度、壳体显微结构为参数建立了壳体成岩作用改造程度的量化模式，经化石壳体氧、碳同位素值的验证，这一模式基本可以用来对不同保存环境下的样品进行筛选。

We obtain D3 brahe dual of 1/2 BPS Wilson-t Hooft loop, its vacuum expectation value and SL(2,Z)duality.

我们求解了一类1/2 BPS的Wilson-'t Hooft loop算符，得到了它的真空期望值，并验证了它具有严格的SL(2，Z)对称性。

The designated verifier signature scheme was proposed using the root problem and conjugacy search problem in the braid group. Analysis shows that it is a simple, fast and efficient scheme with security features.

介绍了辫群的基本概念和辫群中的困难问题，在此基础之上，利用辫群中左右子群的元素可交换性，提出了一个基于辫群上的共轭查找问题和p次根问题的指定验证者的签名方案，通过分析可知，该方案具有简单实用、算法速度快和高效安全的特性。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！