查询词典 disjunctive normal form

The normal and abnormal embryoid were distinguished by the rate of normal plantlets induced and the regeneration modes of the cottons varieties were compared to two ways, one with the highest rate of normal inducement was the normal way of regeneration plantlet from callus, embryogenetic callus, global embryoid, heart-shape embryoid, torpedo-shape embryoid, cotyledon embryoid to normal plantlet, etc, the other with the lowest rate of normal inducement was the abnormal way from callus, embryoid callus, global embryoid-like, heart-shape embryoid-like, fish torpedo-shape embryoid-like, cotyledon embryoid-like, abnormal plantlet to normal plantlet, etc.

转化后采用平行实验得到不同品种的不同培养体系的愈伤组织、胚性愈伤组织、胚状体、类胚状体、畸形苗和正常苗，以最终正常苗诱导率高的体系的材料作为正常苗的发生过程，以诱导率低的作为畸形苗的发生过程，即分为正常苗的发生过程，愈伤组织——球型胚状体——心型胚状体——鱼雷型胚状体阶段——子叶型胚状体——正常苗：畸形茁的发生过程，愈伤组织——类球型胚状体——类心型胚状体——类鱼雷型胚状体阶段——类子叶型胚状体——畸形苗。

Twenty-four hours after the last oral administration, the blood were obtained and used for testing adrenocorticotrophic hormone, cyclic adenosine monophosphate, cyclic guanosine monophosphate, glucose, cholesterol, alanine aminotransferase, urea nitrogen. Results Before taking medicine, model rats' cAMP/cGMP and ACTH were lower than normal rats', and they showed a trend of rise with adding dose. Before taking medicine, model rats' GLU was lower than normal rats'. With adding dose, model rats' GLU increased, however, normal rats' GLU reduced. When taken medium dose white prepared lateral root of aconite, model rats' CHO was higher than normal rats'. Taking medicine made both groups ALT rise, but normal rats' went up more quickly than model rats'. Model rats' BUN was higher than normal rats', and taking low dose or little dose medicine could lead to incline of reduction.

结果 给药前模型组环磷酸腺苷/环磷酸鸟苷和促肾上腺皮质激素低于正常组，随着给药剂量的增加，两者有升高的趋势；给药前模型组血糖低于正常组，随着给药剂量的增加，模型组GLU有升高的趋势，而正常组有下降的趋势；中剂量给药时模型组总胆固醇显著高于正常组；随着给药剂量的增加，2组丙氨酸氨基转移酶均有升高的趋势，且正常组ALT升高的幅度更大；给药前模型组尿素氮高于正常组，低、小剂量给药有降低模型组BUN的趋势。

1、Neural network correlated with LIFG and RIFG exists in normal subjects in resting-state,which might be the neural foundation in retaining the normal language function;2、The left fusiform gyrus,bilateral medial frontal gyrus and right anterior cingulum in aphasia patients after stroke showed low degree correlation,that might be one of the mechanisms of aphasia;3、The brain regions showed positive correlation with RIFG in aphasia patients only exist in right hemisphere in resting-state as well as which exist in bilateral hemisphere in normal subjects,suggested that RIFG is out of correlation with the left hemisphere in aphasia patients;4、The left thalamus showed positive correlation with RIFG only in normal subjects, inferred that the left thalamus might be an important mesomerism structure in the correlation of bilateral hemisphere;5、Left insula showed stronger positive correlation with RIFG in normal subjects than that in aphasia patients,suggested that dominant hemisphere insula is important in retaining in normal language function.

1、正常人在静息状态下即存在与LIFG和RIFG具有相关性的神经网络，该网络可能是维持正常语言功能的神经基础；2、脑梗死后运动性失语患者左侧梭状回、双侧额叶内侧回、右侧前扣带与LIFG的连接程度的减低可能是运动性失语的发生机制之一；3、与RIFG正相关的脑区在对照组为双侧半球分布，而在患者组仅出现在右侧半球，说明患者组RIFG与左侧半球的连接中断；4、RIFG与左侧丘脑的正相关性仅出现在正常对照组中，推测左侧丘脑可能是联系两侧半球功能区的重要中介结构；5、对照组与RIFG正相关性明显高于患者组的脑区位于左侧岛叶，说明优势半球岛叶对维持正常语言功能具有重要作用；第二部分脑梗死运动性失语患者语言恢复机制的静息态fMRI初步探讨目的：运用fMRI技术，采用种子点方法在静息状态下分析脑梗死运动性失语患者不同的恢复阶段语言功能连接方式。

This course is an attempt to give the students the basic idea and method of forest management in order to prepare the management plan; Place of forest management in forestry; Content of forest management; Guide principles of forest management; Sustained working; Silvicultural system; Forest yield; Increment; Volume increment; Quality increment; Price increment; Total price increment; Forest maturity; Indicating percent; Productive stage; Physical rotation; Technical rotation; Rotation of maximum volume yield; Highest forest rent rotation; Financial rotation; Cutting cycle of selection system; Normal forest; Normal distribution of age classes; Normal arrangement of stands; Normal increment; Normal growing stock; Normal yield; Improvement of actual forest; Reserve forest; Reserve fund; Planning and plan of forest management; Forest regulation; Area allotment; Volume allotting method; Volume frame work; Area-volume combined frame work; Growing stock; Utilization percent method; Difference method; Pure age-class; Growth method; Control method; Forest subdivision; Forest surveying; Forest survey; Certainty of future policy of forest; Selection of species; Decision of silvicultural system; Decision of rotation; Regulation of future yield; Preparation of management plan; Working the plan; Control and revision of management

本课程之目的为使学生了解森林经营之基本观念及方法，以期编订经营计划，课程包括森林经营学在林学上之地位、森林经营学之内容、森林经营之指导原则、保续作业、森林作业法、森林收获、生长、材积生长、形质生长、腾贵生长、总价格生长、林木成熟期、指率、生产期、自然轮伐期、工艺轮伐期、材积收获最多轮伐期、森林纯益最大之轮伐期、财政轮伐期、择伐林之回归期、法正林、法正龄级分配、法正林分排列、法正生长、法正蓄积、法正伐采额、现时林之改良、预备林、预备金、森林经营上之规划及计划、收获预定、面积配分法、材积配分法、材积平分法、折衷平分法、蓄积法、利用率法、较差法、纯粹龄级法、生长量法、稽核法、森林区划、森林测量、森林调查、将来森林经营方针之确定、树种之选定、作业法之决定、轮伐期之判定、将来收获之预定、经营管理计划之编订、计划之执行、经营管理计划之稽核与检订。

To tackle this problem, a novel Complete Disjunctive Normal Form algorithm was presented to check the satisfiabilities of acyclic ALCN-concepts.

为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式算法。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

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

On the extensive background of the development of normal education system of the world, this thesis makes an objective and all-sided analysis of the present situation of normal education of our country and furthermore profoundly approaches the future of the development of the normal education of our country, and confirmatively claims that the normal education of our country will surely blaze a new trail and form our own features in the process of reformation in combination with the practical situation of our country and in accordance with the universal developmental principles of normal education of all countries.

本文以世界师范教育制度发展为广阔背景，全面客观地分析了我国师范教育的现状，并依循各国师范教育共同的发展规律，结合我国实际，深入探讨了我国师范教育发展的未来的走向，肯定地认为我国的师范教育必将在改革发展中走出新的路子，形成自己的特色。

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。

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 changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。