查询词典 shown

By the characteristic coloration reactions of the flavaonoids in comparison to UV and visible spectrum shown between the exWacted substance and turin.

采用不同的提取剂处理春花胡枝子叶，所得提取物与芦丁在紫外、可见光区的光谱对照及黄酮类化合物的特征显色反应，证明了春花胡枝子含有黄酮类化合物。

Boundednesses of population and toxin in population and in the environment are shown by comparison theorem.

通过比较定理得到了种群的有界性，及种群体内毒素和环境中毒素的有界性。

James Gould and his colleagues have shown that honeybees make use of at least three different sets of back-up cues in addition to their Sun compass; these include the plane of polarization of light, a magnetic compass and a memory for the Sun's position at different times on previous days.

詹姆斯。古尔德及其同仁都证实，除了太阳罗经以个，蜜蜂至少利用了三套不同的后备信号，包括光的偏振平面，磁罗盘及对几天前太阳在不同时间的位置的记忆能力。

The public had shown complaisance, but it was certainly not yet taken by storm.

观众对这出戏已经表现出了兴趣，但肯定没有达到被它扣住心弦的程度。

With two transmit antennas, based on lower bound for LS channel estimation, it is shown that the periodic complementary set is optimal over frequency-selective fading channels.

针对基于循环前缀的单载波系统，提出了联合Alamouti-like STBC和最小均方信道估计方案。

We have also shown that the collection of prime event structures on N can be endowed with the structure of a complete metric space, and in this space the collection of all universal homogeneous prime event structures is topologically large: it is the complement of a meager set.

我们也表明，集的主要事件结构对N可以赋予一个完整的度量空间结构，在该空间的主要活动是普遍均匀结构拓扑大：它是相辅相成的微薄的集合。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

This independence is shown by the completeness and originality of the plan of the book.

这种独立性是所表现出的完整性和原创性的计划书。

By utilizing the complex multiplication property of the curves and using a modulo reduction and Frobenius expansion technique, it is shown that there is a fast point multiplication method without precomputation on the curves, which is 6 times faster than the ordinary repeated-double-add method.

结果显示，利用这类曲线的复乘性质，使用模约减和Frobenius展开技巧，这类曲线上存在一种不带预计算的快速点乘算法，其运算速度是通常的重复加倍-点加算法的6倍。

The reason of this phenomenon is studied. Continuous changes of cutting component force perpendicular to cleavage plane are found to be main causes of this phenomenon. The measurement result of machined surface microtopography by AFM is shown to be a good agreement with this viewpoint.

本文主要对该现象的产生原因进行了研究，认为车削过程中垂直解理面的切削分力的连续变化是产生这种分布特征的主要因素，用AFM对加工表面微观形貌的检测结果充分地证明了该观点的正确性。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。