查询词典 sentential form

Just like Earth and the Great Central Sun are creating a concurrent form of evolution, this sector of All That Is is being reabsorbed by Source of All in preparation for a concurrent form of evolution to be made manifest with all other sources therein.

就像地球和大中枢太阳正在创造一个进化的同步形态，神的此部分也在被一切之源来重新吸收，为和其它源头一起来显示的同步进化形态做好准备。

This is due to the large amount of water, the polymer has a high degree of branching structure, adding a small amount of water so that they can support each other elements of the polymer condensation to form larger, supporting a higher degree of macromolecules, Generate up to form a mesh structure on the gel.

这是由于水用量较大时，聚合物已经呈现较高支化度的结构，少量水的加入就可以使这些支化的聚合物分子相互缩聚形成更大、支化度更高的大分子，直到生成网状结构时就形成凝胶。

Structures of Na~+-AD ion-complexes with 1 or 2 H2O molecules were obtained. It was found that H2O can bond with Na~+ in the structure of Na~+-AD to form Na-O van der Waals bond. H2O molecule can also bond with N or O atoms in AD moiety to form H-bonds as N-H…Ow or O…Hw-Ow. The former process takes place more easily. The most stable structures of Na~+-AD ion-complexes with 1 and 2 H2O molecules are W-C7AB and 2W-C7AB, respectively.αB conformer of Na~+-AD can not exist in the presence of 2 H2O molecules.

研究发现水分子可以结合在Na~+-AD络合离子中的Na~+附近形成Na-OW范德华键，也可以与Na~+-AD络合离子骨架结构中电负性较强的N或O原子结合形成N-H…OW或O…HW-OW氢键，相对而言，水分子更容易结合在Na~+-AD络合离子中的Na~+位置，Na~+-AD最稳定的带1个或2个水分子的结构分别为W-C7AB和2W-C7AB，Na~+-AD络合离子的αB构象在2分子水存在的情况下完全消失。

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.

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

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

A short-amplitude cycloid is used to be the primary gear form for stator and the conjuration gear form using on rotor on the basis of the analysis and compare of all kinds of cycloids.

在对各种摆线分析比较的基础上，提出采用短幅内摆线作为原始齿形曲线用于定子骨线设计，其共轭曲线用于转子的双头单螺杆泵设计。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。