判定的

This paper present the meaning of semantic equivalence and Herbrand equivalence based upon denotational sematics with concrete programming language.Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility.

从指称语义出发，结合具体语言，用形式化的方法讨论了语义等价和H-等价。H-等价的判定条件相对来说更容易得到满足，具有更广泛的可用性。

In chapter 1, the achievement on multiple-valued logic at home andabroad is introduced briefly. In chapter 2, some decisions for theminimal covering of the regular separable sets in partialmultiple-valued logic is studied under the condition of σ=e andm=2 . We reach some conclusions that certain regular separable setsmustn't be the minimal covering of Pk under some conditions.

第一章，简要介绍了国内外在多值逻辑方面的研究成果；第二章，对部分多值逻辑中，当σ=e时，二元正则可离函数集最小覆盖之判定作了研究，并得出了当σ=e时，一些满足一定条件的二元正则可离函数集不是Pk 之最小覆盖成员的结论。

Using the anomalous variety of bioelectric potential of silk tree ,earthquake may be predicted , because there are many complicated influencing factors of bie lectric potentialin...

指出利用合欢树的异常变化可以预测地震的发生，但由于植物体内的生物电影响因素多、机理复杂，在地震预报中要结合其他观测项目综合分析判定其异常。

Mr Chiba, a China expert, said there were sound reasons for tailing off soft loans to Beijing, even though it was still far from reaching a gross domestic product per capita of $5,000, the normal cut-off point for soft loan recipients.

中国问题专家千叶先生表示，逐步终止对华软贷款存在很好的理由，尽管中国的人均国内生产总值还远未达到5000美元，即判定软贷款接受资格的通常标准。

In this paper, through an imaging system , the planar image of the inner sur- face of a pipe is obtained, and the judging creteria of analogy between object and image is given. Then, the geometric shapes of images of planar mirror ,conemirror ,off- axis spherical mirror are analysed in detail .

对管道内表面，通过成像系统在乎面上成像，给出其物像之间几何形状相似的判定标准，并对平面反射镜、圆锥反射镜和离轴球面反射镜在平面上成像的几何形状进行了详细的分析。

Based on history, forensic pathology, blood chemistry (the Sudarium also is reported to have type AB blood stains), and stain patterns, he concluded that the two cloths covered the same head at two distinct, but close moments of time.

他根据历史、法医病理学、血生化（苏答林据说沾有AB型的血斑）和污迹形状判定这两块布包裹的是同一个头的两边，但是时间相近。

Since the beginning of the twentieth century, however, more and more scholars consider him as an intellect who has strong desire for wealth and honor of becoming a government official. They think that the thing, reading poetry aloud before the emperor, which is closed related with his ideas, characters and density all his life is suspectable.

但是二十世纪以来，越来越多的学者将他判定为一个有着强烈仕进之心、热衷于功名的士子，并认定与其思想性格和一生命运密切相关的"御前诵诗"一事不可信。

They think that the thing, reading poetry aloud before the emperor, which is closed related with his ideas, characters and density all his life is suspectable. This essay disputes all the evidences which have proved this thing to be false one by one in order to ascertain the authority of this thing.

但是二十世纪以来，越来越多的学者将他判定为一个有着强烈仕进之心、热衷于功名的士子，并认定与其思想性格和一生命运密切相关的"御前诵诗"一事不可信。

It also has the ability to answer questions about the syntactical function and meaning of certain words used in different contexts.

前者没有词形变化。人们不能根据词的形态来判定一个名词的格或一个动词的时态。

Foul——When the referee judges a violation against an opposing player. The team that suffers the foul is awarded with a direct free kick unless the foul is committed by a defensive player inside his own penalty area, in which case the foul results in a penalty kick.

当主裁判判定某名球员侵犯了他人后，被侵犯的一方就获得了一个直接任意球，如果防守球员在对方的禁区内侵犯对手，这种情况下被侵犯的一方将得到一个点球。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐