查询词典 conjunctive normal form

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

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蛋白能激活下游的信号传导通路，行使其功能。

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算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Results l.Serum concentrations of VCAM-1 in PIH (93.39 + 57.3)ug/ml were higher than that in normal pregnant group. Serum concentrations of VCAM-1 in moderate(97.89 + 34.07)ug/ml and severe PIH(132.24 + 60.97)ug/ml were significantly higher than that in normal group.(P.05, P.01). There was no difference between serum levels of VCAM-1 mild PIH and normal pregnant group. 2.Serum levels of IL-6 in PIH group(102.17 ?48. 31)pg/ml were significantly higher than that in normal group(49.16 + 12.9)pg/ml.Serum levels of IL-6 in moderate(95.79+31.19)pg/ml and severe PIH( 127.27+11.3 8)pg,ml were significantly higher than that in normal group. There was no difference between serum levels of PIH in mild PIH (52.13 + 12.90)pg/ml and normal pregnant group. 3. In PIH group, serum concentrations of VCAM-1 correlate with the levels of IL-6,r=0.63. 4.The expression of VCAM-1 in cytotrophoblast of spiral arteries in normal pregnant group(100%) were significantly higher than that in PIH group.Theexpression of VCAM-1 in moderate PIH(37.50%) and sever PIH were lower than that in normal group.There was no difference between the mild PIH and normal group.Conclusions The increased levels of serum of VCAM-1 may participate in the process of vascular endothelium damages in PIH.

结果 1、妊高征组血清VCAM-1浓度为(93.39±57.3)μg／ml明显高于正常妊娠组(44.87±15.60)μg／ml，差别有显著性(P＜0.05)；中、重度妊高征组VCAM-1浓度分别为(97.89±34.07)μg／ml和(132.24±60.97)μg／ml，与正常妊娠组比较，差异有显著性(p＜0.05)和非常显著性(P＜0.01)；轻度妊高征组VCAH-1为(48.46±15.60)μg／ml与正常妊娠组比较，差异无显著性(P＞0.05)。2、妊高征组血清IL-6含量为(102.17±48.31)pg／ml，明显高于正常妊娠组(49.16+12.9)pg／ml，差异有非常显著性(P＜0.01)；中、重度妊高征组IL-6含量分别(95.79±31.19)pg／ml和(127.27±11.38)pg／ml，与正常妊娠组比较，差异有显著性(P＜0.05)和非常显著性(P＜0.01)；轻度妊高征组IL-6含量为(52.13±12.90)pg／ml与正常妊娠组比较，差异无显著性(P＞0.05)。3、VCAM-1与IL-6水平呈明显正相关，r=0.63(P＜0.01)。4、子宫胎盘床螺旋动脉滋养细胞VCAM-1表达，正常妊娠组都存在阳性表达(阳性表达率100％)，妊高征组有10例阳性表达阳性表达率为叩们，差别有非常显著性河＜0.01L 中、重度妊高征组阳性表达率分别为37、50％和0，与正常妊娠组比较，差别有显著性河＜0.05）和非常显著性汀＜0.01太轻度妊高征组阳性表达率为83.33凡与正常妊娠组差别无显著性问＞0.05）。

Adopt ASP. NET 2003 is regarded as the developing instrument, the design of storehouse of the data follows 3 normal form :, have designed the coding schedule of goods and materials mainly, tombarthite product structure catalogue, basic information slip of the job centre, route form of the craft , project code of the expenses, journal ledger of the cost of goods, subsidiary ledger of the cost of goods, department's form, measurement unit form, the supplies inventory safeguards the counting type structure form, real expenses form, share the proportion form in power of kinetic energy, salary expenses share proportion form, amortization charge share proportion , maintain expenses share proportion , test expenses share proportion , main frame left menu tree form , material price list ,etc. data list

采用ASP 。NET 2003作为开发工具，数据库设计遵循第三范式，符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。，主要设计了物资编码表、稀土产品结构目录表、工作中心的基本情况表、工艺路线表、费用项目编码、产品成本总帐、产品成本明细帐、部门表、计量单位表、物料清单维护数型结构表、实际费用表、动能功率分摊比例表、工资费用分摊比例表、折旧费用分摊比例、维护费用分摊比例、化验费用分摊比例、主框架左菜单树表、材料价格表等数据表。

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

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

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.

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

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

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

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。