向量的

The process of axiomatization of vector theory is also studied.

另外还简单介绍了向量的公理化过程。

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，取得了较显著的效果。

It is one of the important characters of the grey system theory to utilize grey generation modeling. The basis structures of generating space in AGO and in IAGO are respectively obtained by the mathematical research of r-AGO series and r-IAGO series. The results are the following: the coherent and direct expression of the generating basis vector in AGO and r-AGO, the relation expression between two r-AGO series and two r-IAGO series, the relation among generating basis vector, generating series and moving operator.

利用灰色生成建模是灰色系统理论的重要特点之一，通过对r次生成序列（包含r-AGO序列和r-IAGO序列）的数学研究，得到了AGO生成空间和IAGO生成空间的基本结构：AGO和r-AGO生成基向量的统一的直观表达式、任意两个r-AGO序列间与任意两个r-IAGO序列间的关系式、生成基向量生成序列与移动算子间的关系。

The current signals were gathered in the tests, and processed by wavelet package transform. A characteristic vector was constructed by the energy of different frequency segment, which was calculated by using the coefficient of wavelet package transform of the current signals. The vector shows that the energy of low frequency segment is of the majority of the total energy, and becomes larger as the interelectrode gap decreasing.

在线采集真实电解加工过程中的电流信号，用对实测信号进行小波包分解和重构后的小波系数计算各频段的能量，构造一个由不同频段能量组成的特征向量，发现特征向量的低频分量占总能量的大部分，随着平衡间隙的减小，低频分量能量增大。

The safety path vector is an approximate measure of the number and distribution of the faults in the neighborhood and can be setup or updated through the n?1 rounds of information exchanges among neighboring nodes by consuming only n bits storage space.

其中SPVs的赋值可以通过n-1轮邻节点之间的信息交换来完成，且算法中各节点的存储开销仅为n bits，因此，SPVs是安全向量与扩展安全向量的一种扩展，具有比SVs和ESVs更好的记录最优通路的能力。

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 perturbational reanalysis method of repeated eigenvalues and associated eigenvectors of the lineargeneralized eigenvalue problem is further investigated on the basis of the relevant results of previous stud-ies.

本文基于已有研究结果，进一步探讨了线性广义特征值问题的重特征值及其特征向量摄动重分析理论和方法，阐述了重特征值情形下摄动重分析方法的一些重要特点，完善了重特征值的特征向量的二阶摄动算式，并论证了重特征值摄动法与相异特征值摄动法之间的统一性。

This paper first discusses the nature of the kernel function,and then based on Riemannian geometry dependent on the data structure and method,an improved modifying kernel function is proposed,the kernel function is a simple and less calculation method,which conformal factor and support vector irrelevant,compared with previous studies overcomes the impact of support vector's number and distribution.

首先讨论核函数的本质，并且基于黎曼几何结构和数据依赖的方法，提出了一种改进的修正核函数，改进后的核函数形式简单，计算量较低，其中保形因子与支持向量无关，较之于以前的研究克服了支持向量的数目和分布的影响。

That means using the measure close degree of area vector between each cycles and the first cycle to express the coincidence...

即利用各周期与第一周期的面积向量的测度贴近度表示重合度，定量地描述各周期内轴心轨迹的重合情况；在此基础上提取了反应重合度整体离散度的标准差；利用象限面积向量信息熵进行综合的、定量的评价滑动轴承各个周期内轴心轨迹的总体分布均匀性。

Our algorithm stores a transaction in both HIV format and HIL format,and uses the information contained in HIL format to reduce the number of bit-wise "AND" operation.In this way,the number of "AND" operation in HIV format is equal to the number of non-zero figures in HIL format,having nothing to do with the length of the data in HIV format.

我们提出的挖掘高效用长项集的算法同时以水平项目向量(Horizontal item-vector，简称HIV)和水平项目列表(Horizontal item-list，简称HIL)两种格式存储事务，并利用HIL格式数据提供的信息减少比特级逻辑&与&运算的次数，使逻辑&与&运算的次数等于HIL格式数据的长度，与比特向量的长度无关。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。