查询词典 conjunctive normal form

The first method is similar as [8] except we choose the Hermite Normal Form decomposition instead of Smith Normal Form; the second one takes the idea of integer reversible mapping [9], [10]. If the approximately cubic shaping is used, both techniques would lead to an asymptotical PAR value equalto 3 when SNR is large.

第一种方法利用Hermite Normal Form分解来达成，第二种方法则是利用可逆整数对应来完成，在时空编码个数足够大时，二者皆可渐近的降低峰均比到3

With the aid of theory of normal form, the explicit expression of normal form for the averaged equations associated with a pair of double-zero eigenvalues and a pair of pure imaginary eigenvalues is given by using Maple program.

利用规范形理论和Maple符号程序，获得了一对双零特征值和一对纯虚特征值情况下平均方程的规范形。

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.

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

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分重视语音的自然节奏和诗句的音乐效果以及音与义之间的联系，从而形成质朴无华的艺术风格。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。