查询词典 normal

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Exposure to 100 days would be grouped mice:treatment 1,treatment 2 group,model group,a separate normal group,a group with administration of polygonum multiflorum thunb oral treatment of compound preparation,rule 2 group traditional Chinese Medicine Haierfu row metal treatment as a treatment for oral gavage control group,model group and normal group administered with distilled water for volume control.100 days after treatment and exposure at the same time until the end of the experiment.

染毒到100d开始将染毒小鼠分组：治疗1组、治疗2组、模型组，另设一正常组，治疗1组用何首乌复方制剂灌胃治疗，治疗2组用排重金属中药制剂海尔福口服液灌胃治疗作为治疗对照组，模型组和正常组用等体积蒸馏水灌胃作正常对照。100d后治疗与染毒同时进行，直到实验结束。

In addition,we show that the transformed conditional distribution function is of the same family as that of the original one as long as the moment generating function of the original distribution function exists,which is illustrated by two special cases:Normal distribution and Normal Inverse Gaussiandistribution.

此外，本文还通过两个特殊情况(正态分布和正态逆高斯分布)说明了：只要初始分布函数的母函数存在，转化后的条件分布函数保持原有的分布类型。

Cinnamaldehyde and citral have directly or indirectly interfered the conventional synthesis of fungal hereditary DNA and RNA and normal differentiation of conidiophore in A. flavus and A. fumigatus, thus inhibiting the normal cell cycle and the growth and propagation of fungi.

肉桂醛、柠檬醛直接或间接影响了真菌细胞遗传物质的正常合成，以至不能完成正常细胞周期，影响分生孢子梗的正常分化，从而抑制真菌生长、繁殖。

Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

以及双枝模糊逻辑的析取范式与合取范式。

Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non-empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多属性约简算法都是由构造决策表的差别矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non－empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多约简算法都是由构造决策表的区分矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。