查询词典 disjunctive normal form

What this text discussed is to provide a normal form ,judge which is it Normal form.

本文讨论的是给出一个范式，判定是那一种范式。

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

It is found that the validity of modal series method and linear modal method is not influenced by the second-order resonance condition, which has a great influence on normal form method. When the operating condition is near the second-order resonance condition, the valid area of normal form method is quite small.

发现模态级数法和线性模式分析法的有效性均不受系统共振的影响，而正规形法的有效性受系统共振情况的影响较大，在系统的2阶共振点附近，其有效域面积较小。

Also the normal form and thediagram of the Hopf bifurcation are deduced with the normal form direct method.Secondly, the influences of the physical and aerodynamic parameter on the type of theHopf bifurcation are analyzed. Study shows that the "hard" structural non-linearitiesand the longer distance of the suspension point and the center of mass render theairfoil safer, whereas the "soft" ones render the airfoil more unsafe.

同样应用规范型直接法，研究得出系统颤振的Hopf分岔解的规范型以及分岔图；其次，研究了系统结构和气动参数对Hopf分岔类型的影响，结果表明，表明具有&硬&弹簧性质的结构及增大悬挂点与质心的距离都有助于提高安全性，而应该避免应用&软&弹簧性质的结构。

Bernstein type theorem; Quaternion Euclidean space; minimal Lagrangian graphs; Twisted special Lagrangian submanifold; twisted normal bundle; Austere submanifolds; Real space form; Complex space form; Hamiltonian minimal submanifold; A Lagrangian submanifold with conformal Maslov form

基础科学，数学，几何、拓扑伯恩斯坦型定理；四元数欧氏空间；极小拉格朗日图；扭曲特殊拉格朗日子流形；扭曲法丛； Austere子流形；实空间形式；复空间形式；哈密尔顿极小子流形；具有共形Maslov形式的拉格朗日子流形

Introduces the notion of Feynman's path integrals and path integrals approach to financial modeling; Derives the path-dependent options pricing formula by making use of the Lagrange form of path integrals; Discusses Ilinski(2003)'s Gauge model which based on path integrals and fibre bundle, and its application for real-options evaluation; Summarizes the general modeling framework of options evaluation, taking advantage of the Hamilton form of path integrals; Applies the Geske-Johnson's analytical approximation in the path integrals form to the real-options evaluation for investment decisions, detailed procedure is presented under the assumption that underlying asset price dynamic follows a geometric Brownian motion, and the integral reduction for multivariate normal integrals and polynomial approximation for real-options evaluation is given.

系统论述了路径积分概念方法及其在期权估值中的应用，利用路径积分方法的Lagrange表述推导了路径依赖期权定价公式：探讨了基于路径积分和纤维丛的Gauge模型思想方法在实物期权价值评估中的应用；利用路径积分的Hamilton表述形式，总结了基于Hamilton表述的期权估值一般化框架；基于路径积分的形式框架建立了一个新的投资期权估值模型，并在具体的估值算法中给出了多重正态积分的降阶计算和期权价值的多项式逼近方法。

He used to utilize concise language and plain poetic form: vocabulary in his poems is mainly informal, and most of them belong to monosyllables; on syntax, Frost mainly adopts normal, prosaic lingual orders and strict and orthodox grammars; on the poetic form, he often writes traditional blank verse, sonnet and pays more attention to the phonetic natural rhythm, lines' musical effect and the relations between sound and meaning, which form his unostentatious artistic style.

他的诗歌通常运用简洁凝炼的语言和平淡的诗歌形式：诗歌中出现的大多是口语化的词语，并且大多数词都属于单音节词；在句法方面，大多的句式采用的都是正常的、散文化的语序和严格正统的语法；在诗歌形式上，他主要使用无韵诗和十四行诗，他也十分重视语音的自然节奏和诗句的音乐效果以及音与义之间的联系，从而形成质朴无华的艺术风格。

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

He used to utilize concise language and plain poetic form: vocabulary in his poems is mainly informal, and most of them belong to monosyllables; on syntax, Frost mainly adopts normal, prosaic lingual orders and strict and orthodox grammars; on the poetic form, he often writes traditional blank verse, sonnet and pays more attention to the phonetic natural rhythm, lines' musical effect and the relations between sound and meaning, which form his unostentatious artistic style.

他的诗歌通常运用简洁凝炼的语言和平淡的诗歌形式：诗歌中出现的大多是口语化的词语，并且大多数词都属于单音节词；在句法方面，大多的句式采用的都是正常的、散文化的语序和严格正统的语法；在诗歌形式上，他主要使用无韵诗和104行诗，他也10分重视语音的自然节奏和诗句的音乐效果以及音与义之间的联系，从而形成质朴无华的艺术风格。

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

It has to be computed by the host for the actual clock rate.

主控制器可以用来计算实际的时钟速率。

Let's see what you got.

让我看看你的东西