查询词典 conjunctive normal form

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

15 And 20-22 weeks old SHR with implanted radiotelemetry devices were intratracheally administered with both normal saline and SRM 2975 (500 μg/animal, n=3) or (A-DEP 500 μg/animal, n=3) alternatively, so each rat could serve as its own control. ECG signals were recorded for 72 hours after each exposure, and heart rate and parameters of HRV including standard deviation of normal-to-normal intervals and root mean square of successive differences of adjacent normal-to-normal intervals were analyzed.

13-15周龄及20-22周龄之自发性高血压大鼠植入生理循环监测器后，於不同时间以气管灌注方式暴露生理食盐水、SRM 2975（500 μg/animal）或A-DEP（500 μg/animal），分析暴露后心跳及心跳变异性变化情形。

Based on the discussion about fitting normal error's definition, constitution and properties, it was suggested that fitting normal error represented the error of fitting plane linear in old highway. The accuracy index of fitting plane linear in old highway based on fitting normal error was set up. The algorithm of swinging approach on compressible size step that could be used to calculate the fitting normal error was put forward. The method and basic norm of decision about fitting normal error's symbolic were discussed.

在论述拟合法线偏差定义、构成及性质的基础上，提出以拟合法线偏差表征旧路平面线形拟合偏差；建立了基于法线偏差的旧路平面线形拟合精度指标；提出了采用步长压缩摆动趋近法计算拟合法线偏差的算法，并就拟合法线偏差的符号判定准则及方法进行了讨论。

In order to improve the limitations of GRASP, this paper proposed a new hybrid algorithm, which could resolve the problem of mixed constraints of pseudo-Boolean and conjunctive normal from.

为了改善GRASP的局限性，提出了一种能解决含有伪布尔和合取范式混合约束问题的新的混合算法。

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Through correlative analysis and path analysis, it finds that (1) the family environment and the colleges and universities environment have direct and indirect influence on self-identity development of students; and (2) the family environment and the colleges and universities environment exert the major effect on self-identity development of students through identity style as mediational variable, so identity style becomes the explanatory base of self-identity status. That is, the predictive effect of diffuse/avoidant identity style for identity diffusion, normative identity style for identity foreclosure, and information identity style for identity achievement respectively is most significant; and (3) family environment that is helpful, supportive, warm, expressive, and promote autonomy and independence possibly makes students form identity achievement or identity moratorium, family environment that is excessively cohesive and warm but lacking independence possibly promote students to form identity foreclosure, and family environment that lacks of supportive and warm possibly make students form identity diffusion; and (4) colleges and universities environments that have better relationship system, clear developmental purpose, and promote to pay attention to societal concerns, critical and explorative qualities, and provide healthy, expressive, democratic, open atmosphere facilitate identity development, in turn form advanced identity. Colleges and universities environments that only emphasize the receival of colleges and universities aims, order and instilments, and scarcely encourage critique, exploration, individuation possibly make students form identity foreclosure. However, the ones that is remote relationship system, and lacking support, and students don't cognize the aim of colleges and universities possibly make students form identity diffusion.

通过相关分析、路径分析发现：(1)家庭环境和学校环境对大学生自我同一性有直接和间接的影响；(2)家庭环境、学校环境对大学生自我同一性影响主要以同一性加工方式为中介变量，同一性加工方式成为自我同一性状态的解释基础，弥散—回避定向同一性风格对弥散型同一性预测力最大，信息定向同一性风格对成就型和延缓型同一性预测力最大，常规定向同一性风格对排他型同一性预测力最大；(3)相互支持、帮助、关心、自由表达和鼓励自主和独立的家庭环境促进大学生同一性的发展，形成成就型或延缓型同一性状态，过度亲密而缺乏独立性特征的家庭环境可能形成排他型同一性状态，而缺乏支持性，关系疏远的家庭环境可能形成弥散同一性状态；(4)良好的关系系统，明确的发展目标，鼓励学生对社会事务关注、倡导批判和探索精神，塑造良好、健康、可供自由表达、民主、开放的文化氛围的大学校园环境促进大学生同一性发展，形成高级、成熟的自我同一性，而一味强调学校目标的接受，强调秩序、灌输，缺乏对批判、探索、个性发展鼓励的学校环境有可能使学生形成排他型同一性状态，但若学校的关系系统疏远，缺乏支持性的民主的风格，目标不能被学生明确感知的学校环境则可能影响学生形成弥散型同一性。

Based on the observation of atomic force microscopy, the etching morphology of faces and sections with different crystallographic significance on α-quartz has been studied. The etching morphology on the natural crystal faces hexagonal prism faces (1010 and 01(average10, rhombohedron positive form face 10(average11, rhombohedron negative form face 01(average11 and the sections between any of the two crystal faces has been observed. It is shown that the etching pit on the same simple form has the same shape, while the orientation of the etching pits can be different. Different simple forms have different shapes of etching pits and the shapes of etching pits on positive form and negative form of the same simple form are also different.

通过对α-石英自然晶面六方柱面10(平均值10和01(平均值10、菱面体正形面10(平均值11与菱面体负形面01(平均值11、以及介于上述自然晶面之间的切面进行腐蚀形貌的观察研究发现，石英晶体同种单形的晶面腐蚀坑形态相同，但方位可以有变化，不同单形的晶面腐蚀坑形态不同；同一单形的正形与负形腐蚀坑形状不同；蚀坑形态能够反映晶体的对称性。

Therefore, on the basis of objective description of corpus example, this paper study and analyze the condition of "free form" and "bound form" of the verbal phrases such as "V + Particle + N"、"V+ complement"(including:"V+ trend complement","V+ result complement","V+ extent complement" and "V+ action-measure complement )、"V TO V"、"V+ adverb+ V"、"V of V "and "V+ D".At the same time, from the semantic and pragmatic perspective this paper discuss the conditions and causes from "bound form" to "free form",concluding that particle dynamics、exclamation at the end of the sentence、adverb and follow—up of the language and so on can act as the conditions from the bound verbal phrase to the free verbal phrase. The main reason for these conditions is rich in the amount of the sentence, making semantic self—contained; Finally, this paper simply describes the theoretical and practical significance of the phenomena of "free form" and "bound form in the aspect of verbal phrase; at he conclusion of the article, the author of the text further sum up the content and coverage and raise her own views of the text of underdevelopment and the questions yet continuing to study.

因此，本文接着在语料例证的客观描述基础上，针对"v+动态助词+N"、"V+补语"(包括："V+趋向补语"、"V+结果补语"、"V+程度补语"、V+动量补语)、、"V来V去"、"副词+V"、"V的V"、"V+D的"等动词性短语的"粘着"和"自由"的情况做了探讨分析，并且从语义和语用两个角度探讨了"粘着"向"自由"转化的条件及原因，认为动态助词、句末语气词、副词、后续语段等等都可以充当粘着的动词性短语向自由的动词性短语转化的条件，其主要原因则是这些条件丰富了句子的信息量，使得语义自足；最后，文章简要地论述了研究动词性短语的"自由"和"粘着"现象的理论意义和实践意义；在文章的结语部分，作者就文中所论述的角度和涵盖的内容做了进一步的总结，并对文中存在的不足和有待于继续研究的问题提出了自己的看法。

The adjoint operator method and the theory of normal form are used to investigated the normal forms in the four dimensional nonlinear systems with cubic nonlinearities. We give two methods to compute the normal form for the four dimensional nonlinear systems. The corresponding Maple programs are also given in the appendix. The results obtained in this dissertation have a completely agreement with the results obtained in other papers.

利用共轭算子法和规范形理论研究了含有三次非线性项的四维系统的规范形，给出了计算四维非线性规范形的两种算法，给出了相应的Maple符号推导程序，所得到的结果与其它文献所得结果完全一致。

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。