查询词典 conjunctive

Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.

通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。

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域测试策略，生成域测试矩阵，最终得到测试用例。

If A and B are conjunctive formulas, A∧B is also a conjunctive formula.

若A，B为合式公式，则A∧B也是合式公式。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Workflow process model consists of logic layer and semantics layer, and workflow pattern is the summarization and generalization of all the repetitiously used conjunctive symbols and its conjunctive relationship in the logic layer of a workflow process model.

本文在考察和比较了国内外各种关于工作流建模理论研究的基础上，针对实现工作流管理系统这一目标所涉及的工作流元模型、工作流过程模型等几个核心问题，在前人研究成果的基础上，对工作流元模型的可扩展性、工作流过程模型建模中存在的问题以及工作流管理系统的实现等方面开展了深入的研究工作。

The RhoA oncogene , have been revealed in recent years, are closely related to various malignant tumours. RhoA, belonging to Rho family, is one member of the ras superfamily, whose encoding production, namely RhoA protein, pertaining to micromolecular mass GTP conjugated protein family, in GTP conjunctive active form and GDP conjunctive unreactive form. It exist in the latter form in normal cells and the switch of the two forms enables them to educe functions, paralleling"molecular switch", the diminutive G protein in activated state being able to activate the wink dromo-iter to work functions, which is in the resemblance of process during which the Ras genic mutation induces its continous activations.

RhoA是近年来新发现的与多种恶性肿瘤密切相关的癌基因，RhoA属于Rho亚家族，是ras基因超家族的一员，其编码产物RhoA蛋白属于小分子量GTP结合蛋白族，分为GTP结合的活性型和GDP结合的非活性型两类，在正常细胞内以GDP结合的非活性型存在，两种活性形式之间的转换使他们能够发挥一种类似"分子开关"的作用，活性态的小G蛋白能激活下游的信号传导通路，行使其功能。

The RhoA oncogene , have been revealed in recent years, are closely related to various malignant tumours. RhoA, belonging to Rho family, is one member of the ras superfamily, whose encoding production, namely RhoA protein, pertaining to micromolecular mass GTP conjugated protein family, in GTP conjunctive active form and GDP conjunctive unreactive form. It exist in the latter form in normal cells and the switch of the two forms enables them to educe functions, paralleling"molecular switch", the diminutive G protein in activated state being able to activate the wink dromo-iter to work functions, which is in the resemblance of process during which the Ras genic mutation induces its continous activations.

RhoA是近年来新发现的与多种恶性肿瘤密切相关的癌基因，RhoA属于Rho亚家族，是ras基因超家族的一员，其编码产物RhoA蛋白属于小分子量GTP结合蛋白族，分为GTP结合的活性型和GDP结合的非活性型两类，在正常细胞内以GDP结合的非活性型存在，两种活性形式之间的转换使他们能够发挥一种类似&分子开关&的作用，活性态的小G蛋白能激活下游的信号传导通路，行使其功能。

The act of balancing their fields through the Language of ONE and free energy systems brought up all the areas in the biology that were still in extremes; and Oa ascended temporarily into conjunctive heart failure; and Mila into aneurism and stroke patterning.

通过全一之语和自由能量系统来平衡能量场的行为培育着生物体内所有仍然处于相对内的部位； Oa 提升到临时患了心结膜症；而 Mila 患了动脉瘤和中风模式。

The chelate structure was examined by AFM scaning, single strand structure at AFM gram is Ala-Gln, two combined single strand is Ala-Gln-Zn~(2+), and atomic radius of Ala-Gln-Zn~(2+)'s conjunctive atom is about 0.24 to 0.25nm, which is near to Zn~(2+), so the conjunction atom is Zn~(2+). Thus the coordination reaction and the molar ratio 2:1 is proved again.

原子力显微扫描指出，大量出现的单一弯曲链状结构是Ala-Gln分子，而两两组合连接的链状结构，则是Ala-Gln-Zn~(2+)螯合物，且连接两个链状结构、半径约为0.25nm的中心原子是Zn~(2+)，证明Ala-Gln与Zn~(2+)形成配位比为2：1稳定螯合物。

Her use of dialect features such as the completive tense, and her deletion of the conjunctive "s", are natural, accepted, even appreciated elements of a linguistic convention that has sustained the soul.

她的个人用语特徵的使用像是完成式，还有删除了连接词的""s，都是很自然的、可接受的、甚至是一个支持精神很久的语言传统的赞赏元素。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。