查询词典 hermite normal form

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non-empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多属性约简算法都是由构造决策表的差别矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non－empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多约简算法都是由构造决策表的区分矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Normal distribution in statistics is based on the probability density function in the form of representation, and set up a continuous random variable X, the probability density function f has the form of Figure 1, where a, b are constants and were known as the average value and standard deviation,π, e, respectively pi and natural constants, claimed that X subject to parameters a, b of the normal distribution.

正态分布在统计学中是以概率密度函数的形式表述的，设连续型随机变量X的概率密度函数f有图1中的形式，其中a、b为常数，分别被称为平均值和标准差，π、e 分别为圆周率和自然常数，则称X服从参数为a，b的正态分布。

Chapter 2 introduces some propaedeutics of classic differential geometry, which include the first basic form, the second basic form, normal curvature, main curvature, mean curvature, Gauss curvature, unit normal vector, main vector, etc.

第二章介绍一系列的预备知识，主要是关于古典微分几何中第一，第二基本形式的定义，法曲率，主曲率，平均曲率，Gauss曲率，单位法向量，主方向等的定义。

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

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分岔类型的影响，结果表明，表明具有&硬&弹簧性质的结构及增大悬挂点与质心的距离都有助于提高安全性，而应该避免应用&软&弹簧性质的结构。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。