和向量

The representative points of positive case support vectors and negative case support vectors in sample set are defined, the measure and eigenfunction between sample x and y allusiveness from initial space to eigen space under a kernel function k are researched, and a correlative theorem with demonstration is given.

定义了样本集中的正例支持向量和反例支持向量的代表点，研究了原始空间样本x，y在核函数k映射下在特征空间中的x，y映象之间的度量和特征函数并给出了相关的定理及证明。

It is the aim of this book to present various basic and important results of vector optimization in an abstract mathematical setting and to demonstrate its usefulness in vector approximation and cooperative differential game theory.

本书的目的是在抽象数学柜架下给出向量优化的各种基本和重要结果并阐述它们在向量逼近和合作微分对策理论中的应用。

Through the definition of symmetric circulant matrix, the nature of the study, we discuss a class of n-order symmetric circulant matrix of eigenvalues and eigenvectors, and parity check on n different values are given for the matrix eigenvalue and the characteristics of vector formula.

通过对称循环矩阵的定义、性质的学习，我们讨论了一类n阶对称循环矩阵的特征值和特征向量，并分别就n取奇偶等不同数值时，给出了求该矩阵的特征值和特征向量的公式。

Associated it we define a root system. In a suitable condition we define a Lie algebra to realize this root system, namely, using an Euler cocycle given by intersection matrix, we define an infinitely dimensional vector space with the Lie operation becomes a Lie algebra.

在适当的条件之下，我们给出了该根系的一个李代数实现，即利用该相交矩阵确定的一个欧拉cocycle和根系，我们定义了一个无限维向量空间和李运算，并且证明了这个无限维向量空间在该李运算之下构成一个李代数。

The basic theory of the algorithm for test pattern generation using satisfiability is explored, including represent method of SAT-ATPG, search algorithm and analyses of achievement techniques. We describe how to represent circuits and fault detection problem as Conjunctive Normal Form . We improve an effient search algorithm suited to ATPG based on basic satisfiability algorithm.

本文研究了组合逻辑电路测试向量自动生成的可满足性方法，主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究，改进了一种有效的测试生成搜索算法SAT-ATPG，提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD，取得了较显著的效果。

Then,the system effectiveness model of ADC is analyzed,and the calculation methods for availability and dependability of effectiveness model using Shannon decomposition and if-then-else operator are first presented.

首先对OBDD的概念和操作运算进行了简要介绍；接着对ADC系统效能模型进行了分析，首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法；最后应用OBDD操作运算对典型防空导弹系统进行了分析，并以可用性向量计算为例说明了应用OBDD的具体方法。

The performance of the proposed method is compared with that of the well-known vector standard filters such as the VMF, progressive switch median filter, scalar median filter ,minimum distance between central sample and scalar median in its neighborhood vector median filter and the basic vector directional filter.

结果表明，DMNVM滤波性能明显优于现有的VMF、递进开关中值滤波、标量中值滤波、与标量中值距离最小向量滤波和方向矢量中值滤波；同近年提出的自适应向量滤波比较，AVMF客观指标平均绝对误差协MAE、均方误差和标准色差分别是DMNVM的1.81、2.59和2.17倍，这说明DMNVM的滤波性能有显著提高。

This chapter clarifies the nested relationship between the matrix family of unitary, orthogonal, Givens, Householder, permutation, and row or column symmetric matrices. A precise correspondence of the singular values and singular vectors between the unitary-symmetric matrix and its mother matrix is derived and proved (hence a fast algorithm of singular value decomposition for unitary-symmetric matrix is straightforwardly obtained), and the corresponding perturbation bound is provided.

该章揭示了酉对称矩阵、正交对称矩阵、 Givens 对称矩阵、 Householder 对称矩阵、置换对称矩阵和行对称矩阵之间的逐级包含关系；推导并证明了，酉对称矩阵的奇异值和奇异向量与母矩阵的奇异值和奇异向量之间的定量关系，据此可得酉对称矩阵奇异值分解的快速算法；给出并证明了摄动矩阵的摄动界。

In this paper, we first give an example that the bilateral weighted shift operator in c_0space is hypercyclic operator and first solve the existence problem of hypercyclic operator in c_0or c_0(Z space . And then we investigate the property of weighted shift operator in c_0 space and an important property of the hypercyclic vector of weighted shift operator in c_0 space and c_0 space. At last we give the concept of weak hypercyclic operator and weak hypercyclic vector , and give the equivalence between the weak hypercyclicity and the hypercyclicity in l~1 space.

本文首先给出了c_0空间上的一个双边左加权移位算子是超循环算子的一个例子，首次解决了c_0 或c_0(Z 空间中超循环算子的存在性问题；接下来分别研究了c_0和c_0空间上的加权移位算子的性质以及c_0和c_0空间上的加权移位算子的超循环向量的一个重要性质，最后提出了弱超循环算子和弱超循环向量的概念，并且给出了I~1空间中弱超循环性与超循环性的等价性。

The complexity of bodywork decides variety of it's error. The station and primary factor which cause error is inconstant change and using correlation analysis can find out the primary factor. With an project given, the theory of correlation analysis for dimension variation of bodywork is discussed through correlation analysis and the layer structure of the bodywork,the state in which the error happened can be found out. How to use eigenva...

车体装焊的复杂性决定了误差产生的多因素性，车体制造过程中产生误差的工位和主要因素是不断变化的，采用相关性分析方法从众多的误差根源中准确地发现最主要的误差源；结合工程实践，论述了车体尺寸波动的相关性分析方法的原理，根据测量点的相关性分析和车体焊接工艺的层次结构，可准确地找到产生车体尺寸误差的工位；讨论了如何利用相关系数矩阵的特征值和相应的特征向量判断尺寸波动的模式，指出测量数据的波动主要按最大特征值所对应的特征向量方式波动，引起这种波动的原因是车体误差产生的主要原因，应重点采取措施加以控制；提出了应用计算机进行相关性分析的解决方案。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。