向量和

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的具体方法。

In chapter2 we obtain the constructure theorem and intechange theorem of 2-tournaments.wefind the correlation between the number of 3-cycles and 2-cycles in 2-tournament andits score vector,discuss a class of extreme value problem of tournament,answer partlya open problem posed by Brualdi.

第二章讨论了2-竞赛图和竞赛矩阵的一些基本问题：存在性和结构问题，证明了具有相同得分向量的任意两个2-竞赛矩阵可以通过三角形转换而互相得到，得到了2-竞赛图中2-圈与3-圈的数目与得分向量之间的关系式；讨论了2-竞赛中的一类极值问题，部分地回答了Brualdi〓的一个问题。

II, Polynomial rings on a general field( on contrast of those over a number field): concepts of ring, ideals, field and several special rings as domains, principal ideal domains and unique factorization domains, the unique factorization theory of polynomial rings.

二、一般域上的多项式理论（是数域上多项式理论的推广）：学习环、域和几类特殊结构的环（整环、主理想环，唯一分解环等）的概念，多项式环的唯一分解定理；三、线性代数：讲述一般数域上的向量空间理论（是数域上向量空间理论的继续和推广），模的概念，主理想环上的模的结构及其线性变换的若当标准型等；四、一元多项式的解及域论：学习域扩张及其相关概念，伽罗瓦理论，用伽罗瓦定理判断根式解的存在性。

The design of vehicle type classification based on Support Vector Machine is collecting characteristic parameters provided to segregator after vehicle image preprocessing and feature extraction,and classifying the type of vehicle by using technique of Support Vector Machine and binary decision tree according to vehicle image from video camera.

基于支持向量机的车型分类的设计思路是通过视频采集获得车辆图像，对车辆图像进行图像预处理和特征提取后，得到分类器所需数据特征，而后采用支持向量机和二元决策树对车型分类。

This paper mainly deals with invariant subspaces and cyclic vectors of certain diagonal operators on a separable Hilbert space. In this case, a complete characterization is given.

考虑一般对角算子的不变子空间是非常困难的，本文主要研究Hilbert空间上一类对角算子的不变子空间和循环向量，给出了这类算子不变子空间和循环向量的完整刻画。

The space vector quantity introduces solid geometry, has produced very heavy impact and influence to traditional educational pattern and course structure, many people have carried on a large amount of theory study at home, but lack and pay close attention to the positive research to first line teacher and student.

空间向量引入立体几何，对传统的教育模式以及课程结构产生了很大的冲击和影响，对空间向量与立体几何结合的重要价值和作用得到了数学教育界的普遍关注，国内有不少人进行了大量的理论探索，但缺乏关注对一线教师与学生的实证研究。

As an application of continuous wavelet transform,we discuss the relationsbetween some differemtial equaltions and the integral equations by using thecontinuous wavelet transform in 〓,vector function space andabstract function space respectively;prove that they are equivalent not only in theweak topology but also in the strong topology.

作为连续小波变换的应用，分别利用〓上的，多元函数空间上的，向量函数空间上的和抽象函数空间上的连续小波变换分别得到了某些线性微分方程，某些线性偏微分方程，某些向量线性微分方程和某些抽象函数的微分方程分别等价于其相应的积分方程，证明了它们不仅在弱收敛意义下而且在范数收敛意义下是等价的。

Two new phase/amplitude control MMICs using vector sum method are proposed and implemented employing 0.18 um CMOS technology.

除了混频器的应用之外，我们也提出了两种使用向量相加原理的相移器架构，并分析其原理和其向量规则，和各元件的设计方式。

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.

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