正规算法

In this paper, we present a method to solve system of algebraic equations or system of parametric algebraic equations by computing the normal zero decomposition of polynomial systems.

本文提出一种利用多项式系统的正规零点分解的算法来求解代数方程组以及带有参数的代数方程组的方法。

Although they have plenty of formal and informal opportunities to learn to count with words and do arithmetic, the innate mechanism on which skilled arithmetic is based may have developed atypically.

虽然他们有很多正规和非正规的学习机会来计数和做算术，但基于熟练算法的先天性机制可能有发展得不规则一句话，一辈子，一生情，一杯酒。举报肌间沟被颈外静脉挡住造成穿刺困难的处理？

Considering the numerically more stable properties of Normal Equation with Constraints and Hachtel's augmented matrix method for SE, all telemetered and virtual measurements are classified reasonably. Using blocked and sparse matrices technology, a new SE algorithm with computing speediness and numerical stability is proposed.

借鉴WLS估计中带等式约束的正规方程法和Hachtel法数值稳定性更强的优点，将遥测量和虚拟量测合理分类，并采用分块和稀疏矩阵技术形成了一种计算速度快、数值稳定性好的状态估计改进算法。

Additionally, the properties and normal extension construction of normal Boolean function is studied, and checking algorithm of normal is discussed.

另外，本文分析了正规布尔函数的性质和正规扩展的构造方法，讨论了布尔函数正规性的检验算法，这对于Bent函数的分类问题的解决具有重要意义。

Based on the existed theory of mareoids and fuzzy matroids, this thesis studies the closed regular fuzzy matroid and its fundamental sequence, the fuzzy base and its algorithm of closed fuzzy matroids, the fuzzy circuit and its algorithm of closed fuzzy matroids and so on. The main contributions of this thesis are as follows: 1 The necessary and sufficient condition of closed regular fuzzy matroid and a property of its fuzzy dual matroid are found by studying some properties of closed regular fuzzy matroid. 2 By studying some properties of fuzzt bases of closed fuzzy matroid, the necessary and sufficient condition of judging fuzzy bases of closed fuzzy matroids and some corollaries are found. In the end, an algorithm of obtaining a fuzzy base is given. 3 By studying some properties of fuzzt circuits of closed fuzzy matroid, some necessary and sufficient conditions of using its fundamental sequence to express fuzzy circuits are found. An algorithm of obtaining a fuzzy circuit is given. 4 By studying the fundamental sequence of closed regular fuzzy matroid, some necessary and sufficient conditions of fundamental sequence of closed regular fuzzy matroid are found.

本文在现有拟阵和模糊拟阵理论的基础上，研究了闭正规模糊拟阵及其基本序列，闭模糊拟阵的模糊基及算法、模糊圈及算法等内容，现分述如下： 1研究了闭正规模糊拟阵的一些性质，得到了闭正规模糊拟阵的充要条件及其模糊对偶拟阵的一个性质； 2研究了闭模糊拟阵模糊基的性质，找到了闭模糊拟阵模糊基的充要条件和几个推论，最后还给出了求模糊基的算法； 3研究了闭模糊拟阵模糊圈的性质，找到了用基本序列来表达模糊圈的几个充要条件，并给出了求模糊圈的算法； 4研究了闭正规模糊拟阵的基本序列，找到了闭正规模糊拟阵的基本序列的几个充要条件。

The basic theory and algorithm of independent component analysis were briefly introduced, and then the relations between normal coordinates and independent components were discussed.

简要介绍了独立分量分析的基本原理及算法，探讨了结构的正规坐标与独立分量的关系。

The scanning mode is determined by regular language and is used in the algorithm to generate huge scanning path or space filling curves by accessing two-dimensional space in different ways.

该算法利用扫描模式通过对二维存储空间的不同访问方法来产生非常大的扫描路径或空间填充曲线，并使用正规语言来确定扫描模式。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。