证明性的

Then,based on IBS,we propose two ID-based blind signatures called BIBS1 and BIBS2, respectively, and prove their security from blindness and unforgeability in the random oracle model.

首先设计了一种基于ID的签名方案IBS，然后在此基础上设计了两种基于ID的盲签名方案，称为BIBS1和BIBS2；在随机预言模型中证明了它们的盲性和不可伪造性。

Based on the scheme mentioned above, a restrictive partially blind signature is proposed and proved to be efficient, correct, unforgeable, as well as restrictive and partially blind.

在此方案基础上提出了一个高效的基于身份的受限部分盲签名体制，证明了该方案的正确性、不可伪造性、限制性和部分盲性。

While uninjurious stress to animals is very similar to psychic stress of human, restraint has been proved as a kind of very effective measn that can induce typical and uninjurious stress.

而动物的非直接损伤性应激和人类精神性应激十分相似，束缚已被证明一种能引起典型的非直接损伤性应激很有效的方法。

The Bengtsson-Jacobson conjecture that "degenerate phase boundaries are always null" is studied by the mapping language in Chapter 4. By distinguishing a "phase boundary" from its image in the "covariant approach", the nulless of the image is proved. Time-like and null hypersurfaces in the degenerate space-times in the Ashtekar theory are denned, and then the phase boundary obtained by the "covariant approach" is shown to be always null.

我们在第四章用映射的语言分析了Bengtsson和Jacobson关于&相边界为类光&的猜想；通过区分&协变方法&中的&相边界&和它的像，我们证明了像的类光性；在定义了Ashtekar退化时空中的类时和类光超曲面之后，我们证明了&协变方法&得到的相边界必定是类光的。

Such features are typical of ancient lower continental crust, e.g., Archean granulite terranes that experienced extensive U-Th loss and developed time-integrated low radiogenic Pb compositions. The occurrence of the west Ujimqin andesites indicates the existence of ancient continental lower crust beneath the NE China fold belt.4 The Mesozoic granitoids in the Zhangguangcai Range and Jiamusi block have lower Nd ε_(Nd =-3.5～+ 2.1, T_ = 1.0～1.27Ga and highly radiogenic Pb and Sr isotopic composition ~(206Pb/~(204)Pb = 18.4～18.9,~(87)Sr/~(86)Sr = 0.705～0.711, suggesting that the pelagic sediments of the Paleo-Asian Ocean or their metamorphosed derivates were an important component in the region.5 The Pb isotope mapping results show that the mafic rocks in the northern Hinggan Mountains have higher and weakly variable ~(206)Pb/~(204)Pb ratios than those from the southern Hinggan Mountains and the Liaoyuan-Yanji area.

该套岩石的出现为证明东北地区存在古老大陆下地壳提供了重要证据。4张广才岭-佳木斯地区中生代花岗岩表现出低ε_(-3.5～+2.1)、高T_(1.0～1.27Ga)和高放射成因Sr~(87Sr/~(86)Sr=0.705～0.711和Pb同位素组成~(206Pb/~(204)Pb=18.4～18.9，反映了古亚洲洋远洋沉积物或变沉积岩为区域地壳的重要组分之一。5同位素填图结果表明，大兴安岭北区基性火山岩表现出较高且变化小的~(206)Pb/~(204)Pb比值；而南兴安岭-辽源-延吉地区中生代基性火山岩整体上表现出相对北区低~(206)Pb/~(204)Pb同位素比值特征。

For geometrical propositions are one and all apodeictic, that is, are bound up with the consciousness of their necessity; for instance, that space has only three dimensions.

几何命题都是矛盾性证明的。因此这些命题取决于对他们必然性质的理解。比如空间的三纬性。

"These results support a prenatal origin to sexual orientation development in men and indicate that the fraternal birth-order effect is probably the result of a maternal 'memory' for male gestations or births," Bogaert writes in his report in PNAS.

美国国家科学院院刊刊登了博格特这一调查报告，报告中写道，&这些研究结果证明了男性的性取向由先天因素决定，同时暗示，哥哥影响未出生弟弟的性取向，可能源于怀孕妈妈对男婴的生理记忆。&

Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL, this paper proposes a tableau decision algorithm for the logic EDDL and proves that this algorithm is terminating, sound and complete.

以 X 为描述逻辑ALCQO(attributive language with complements，qualified number restrictions and nominals)的情况为例，给出了EDDL的表判定算法，并证明了算法的可终止性、可靠性和完备性。

Using this theorem, we proved the existence of traveling wave solutions in cooperative Lotka-Voterra system with stage structure.

本文用这个存在性定理证明了带时滞分年龄段的Lotka-Volterra模型的两个平衡点之间行波解的存在性。

The data show the following ages: 1894±17 Ma and 1847±59 Ma for garnet pyroxenite of the Tiantangshan Group complex, indicating a Paleoproterozoic age; 1462±28 Ma for the metabasic volcanic rocks of the Yunkai Group complex, indicating the presence of fragments of the Meso- and Neoproterozoic oceanic crust in the Yunkai area; 906±24 Ma for the granitic gneiss intrusion is, which should be the product of the global Grenville collisional orogeny occurring around 1000 Ma BP. In addition, an inherited detrital zircon age of 2702±13 Ma was also obtained, which is the oldest age in the Yunkai area and even in Cathaysia, proving the presence of Neoarchean continental crustal material in Cathaysia.

获得天堂山岩群石榴辉石岩的形成年龄为1894Ma±17Ma和1847Ma±59Ma，表明其时代为古元古代；云开岩群洋中脊型变质基性火山岩的喷发年龄为1462Ma±28Ma，证明该地区存在中元古代的古洋壳残片；获得花岗质片麻岩的侵入年龄为906Ma±24Ma，应为1000Ma前后发生的全球性Grenville期造山作用的产物，并获得2702Ma±13Ma的继承碎屑锆石年龄，这是云开地区乃至华夏古陆目前获得的最古老年龄，证明华夏古陆曾存在新太古代陆壳物质。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。