判定的

Experiment results show that the extended decision procedure supports most verification formulas met in slicing execution.

我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

The possible modes are judged by spacial and temporal correlation and the procedure of mode decision is simplified.

该算法利用宏块的时间和空间相关性，预先对宏块模式进行判定，从而使模式选择过程大大简化。

Finally we study positive definiteness of product of matrices .

得出了广义正定矩阵的若干刻画和判定。

The Group Method of Data Handling method can be easily applied in practice since it can develop an effective discriminant function.

因此，本研究应用自主性演算法发展出一套多阶段风险评估模型，然后根据各阶段的判别结果，判定借款企业之风险等级与制定放款策略。

So this paper based on Fisher discriminant function estimating images similarity, and determine similarity queue of all images in database and query image.

因此本文依Fisher判别函数来判定图像相似度，决定数据库中所有图像与查询图像的相似队列。

Second, to triangle dissolution of form determination.

二、对三角形解的判定。

Transvaginal color Dopper flow imaging renders a qualitative diagnosing indications between benign and malignant uterˉine tumor.

经阴道彩色多普勒显像可作为判定子宫良恶性肿瘤的可靠指标。

From the experience of actual use to determine the interference of electromagnetic radiation.

从实际使用的经验来判定电磁辐射干扰。

Methods The model of CHF by the intraperitoneal injection of ADR once every two days was established, The indexes of CHF through the observation of behavior, body weight, heart weight, ratio of heart weight and body weight, detection of heart function, observation of pathological changes in liver and lung under the light microscope as well as the myocardial pathological changes under the electroscope were studied.

方法采用ADR给大鼠隔日腹腔注射制作慢性心衰模型，并通过行为体征观察、初体重和终体重、心重及心体比、心功能测定、心、肝和肺病理学光镜以及心肌病理学电镜观察进行心衰指标的判定。

Next produced several kind of matrices similar determinations principle, the matrix equally in value from this has similarly drawn out the elementary divisor with the characteristic matrix, invariant factor two related concepts.

其次给出了几种矩阵相似的判定法则，矩阵相似与特征矩阵等价由此引出了初等因子，不变因子两个相关概念。

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