判定的

It is very difficult to discrimnate a natural number to be a prime number by J Wilson s theorem This paper presents another method for discriminating prime number .

本文给出关于质数一个判定准则：数P为质数，当且仅当P不能表示为四个自然数之和，使其中的两数之积等于其余两数之积

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

constant ; propositional variable ; generalized literal ;α-resolution field

文献[1]中给出的α-归结方法，是一种半可判定算法，能够归结出一类格值

A Review of Western Public Space Theories and A Evaluation of the "Publicness" of Pubilc Space

西方城市公共空间理论与空间公共性的判定

Objective To research the precise location algorithm of onset and end of one wave for QRS in ECG.

目的 研究心电信号QRS复波检测中单个波形起始和终止位置的精确判定。

Through the use of"COSMO"DF-2810Detector big traffic and the LFM-10-flowexhaust pipe on the 4-channel testing them one by one;final"Advantech"industrial computer through the RS232passage of teh exhaust manifold 4 emissions if qualifide,storage and automatically detect parameters,equipment failure through the tri-color light and buzzer alarm prompted the operator.

通过采用"COSMO"DF-2810大流量检测仪及 LFM-10层流量管对4个排气通道逐一进行检测；最后采用"研华"工控电脑通过 RS232数据接口采集检测参数，并进行分析处理，最终判定排气歧管4个通道的排气量是否合格，并自动存储检测参数，不合格设备通过三色灯及蜂鸣器报警提示操作者。

If current element ' s type is number and any radix point is found in token, we can determine that this element ' s type is DOUBLE.

如果当前元素类型为 number，并且在整个 token 中检查到小数点，可以判定这个元素的类型是 double 。

If current element ' s type is number and no any radix point is found in the token, we can determine that this element ' s type is INT.

如果当前元素类型为 number，并且在整个 token 中没有检查到小数点，可以判定这个元素的类型是 int 。

Furthermore, the principle of target interaction model between protein and imprinting substrate in the level of molecular structure were used to investgate the optimized environmental conditions and the specific rebinding properties corresponding to the process of gelling, removing template and rebinding.

论文中进一步应用目标作用模式原理研究并判定了不同蛋白质印迹海藻酸钙基杂化聚合物微球的最优环境条件及其影响规律。

The examination of the steel bar corrosion and the determination of the corrosion condition may provides the foundation data of the reinforced concrete structure residuary load and the structure durability.

钢筋腐蚀检测和腐蚀状况判定可为钢筋混凝土结构的剩余载荷和结构耐久性提供基础数据。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐