矢量的

When the consistency is checked, the "distance diagram"is employed. It is concluded that the axioms of a description satisfies the consistency iff there are no negative directed cycles in the distance diagram.

在验证ISITL描述的一致性时采用"距离矢量图"，并认为一个ISITL描述满足一致性当且仅当其距离矢量图上不存在负矢量和的有向回路。

First, the paper reviews the development and research of AC transfer speed system, introduces the different control strategy of transfer speed system for asynchronous motor, and discusses the basic principle of vector control system for asynchronous motor in detail,including the mathematics model and coordinate transformation of asynchronous motor, the fundamental equation of vector control, the estimation method of rotor flux, the system structure of vector control etc. Then, the paper lays stress on the fundamental principle, control algorithm and realization method in TMS320LF2407 of space vector pulse width modulation technology.

本文首先简述了交流调速系统的发展和研究重点，介绍了异步电机调速系统的不同控制策略，详细论述了异步电机矢量控制系统的基本原理：异步电机的数学模型和坐标变换、矢量控制的基本方程式、转子磁链的观测方法、矢量控制的系统结构等，并重点分析了空间矢量脉宽调制技术的基本原理、控制算法以及在TMS320LF2407中的实现方法。

A hypercomplex model of acoustic vector sensor array is introduced. The hypercomplex number is used to model holistically the four output signal components of an acoustic vector sensor.

将超复数代数引入矢量水听器信号处理领域，用超复数来整体表示了矢量水听器输出的4个信号分量，并建立了矢量水听器阵列的超复数模型。

Calculate local up vector from right vector and normal value.

根据局部空间向右的矢量和法线矢量计算局部空间向上的矢量。

The basic theories of mathematical morphology for binary image are stated, and the most simple structure elements of morphologic transformation for binary images are proposed and proved. The geodetic morphologic transformation models are also developed. For the purpose of improving the speed of transformation in computer, the"set symmetric difference"is introduced to adapt each model. Some new morphologic filtering models and quantitative evaluating model of filtering effects in image processing are proposed, under the applied condition. The morphologic thinning methods are studied, and two new morphologic thinning models are developed. On the basis of analyzing the characteristics of mining maps, the image vectorizing tactics and a series of algorithms are proposed, including dynamic adaptive image thresholding using two thresholds, graphic and text separation, noise removal, and multi elements extracting models with mathematical morphology. Accuracy preserving compressed vectorizing model for image vectorization is put forward to generate vector data in multi layer.

论文对二值图象形态学的基础理论进行了较系统的阐述，提出并证明了二值图象处理中形态变换的最简单结构元素，并发展了测地形态变换模型；为了提高形态变换的计算机实现速度，引入了集合论中"对称差"的概念对各形态变换模型进行了改化；针对数学形态学在图象处理中的实际应用，提出了新的形态滤波模型及滤波效果的度量评价模型；研究了形态细化方法，提出了快速形态细化和保形快速形态细化算法；在研究矿图基本特征基础上，提出了人机协同矿图扫描图象矢量化处理策略及一系列扫描图象处理算法模型，包括双阈值动态自适应图象二值化、图文分离、噪声去除、图面多种要素提取形态变换模型等；在图象栅格—矢量转换中，提出了保精度压缩矢量化模型，以生成分层要素矢量数据。

ABSTRACT: The UAV navigation system's performance is improved through embedding the geography information model that can process the vector map data in the system by using MapX, In this paper, how to navigate and plan the UAV flight course in the vector map is investigated. The basic control and operation for vector map in the geography information system is introduced, and the flight course is designed and modified in the map. In addition, 2D vector map can't orient UAV in 3D space, so the altitude model is added in the UAV navigation system to realize 3D orientation by integrating 2D vector map with altitude plot. The simulation results in the UAV simulation system indicate that the navigation system can monitor and control UAV efficiently and intuitionally.

使用MapX在无人机导航系统中添加能够处理矢量地图数据的地理信息模块，可以显著地提升系统的性能；文章对如何在矢量地图下进行无人机导航与任务规划进行了研究，完成对地理信息系统中矢量地图的基本控制和操作，并在地理信息图上进行航线的设定与修改；另外，针对二维矢量地图无法对无人机进行三维空间定位的问题，文章通过在无人机导航系统中添加高度位置显示模块，用二维平面地图与高度图相结合的方式来实现对无人机位置的三维定位；通过在无人机仿真实验系统中的使用，证明了该系统能高效、直观地对无人机飞行进行监视与控制。

Some methods aiming at the two problems have been researched. First, the optimal number of ATE site can be calculated based on a cost model of DAT-ATE. Second, the problem of test schedule which is equitant with two-dimensional Bin-Packing problem is presented. Then a TCG denotation satisfied with T-admissible rule is more convenient for combinational optimization. With Simulated annealing algorithm, better test scheduling results can be achieved; but there is no great optimization space because the efficiency of scheduling is greater than 90%. Third, A novel test compression method——Multi-capture testing is proposed to compress the stimuli. And the ATPG results show that MC achieves high compression ratio which is greater than 90% in some large-scale circuits. MISR, widely used in LBIST, is employed to compress the responses. The aliasing analysis demonstrates that the fault coverage reduction is little due to the existence of aliasing. Fourth, an improved TIC (called S-TIC) aiming at structured test is proposed based on ARM's TIC. A MC scheduling algorithm is proposed to compute the SoC test time and combine MC vectors to SoC test vectors. The scheduling results shows that test time is greatly reduced when using the proper scheduling priority.

首先，给出了低成本ATE的成本模型，根据此模型得到最低测试成本时系统级测试调度的基本参数——测试Site数；其次，本文将DAT-Scan方式的SoC测试调度等价为两维BP问题，为有效地求解该问题，将该BP问题表示为TCG图并通过模拟退火算法解决其求解过于复杂的问题，调度的结果表明该方法在测试时间上有一定改善，并指出DAT-Scan测试调度效率已经大于90％，进一步优化的空间较小；第三，本文尝试通过测试压缩来解决激励所需的测试带宽，提出了Multi-capture结构并解决了MC测试过程中的&矢量&退化问题，MC测试的ATPG结果表明其测试压缩率很高（大电路接近90％）；第四，在激励获得很高压缩比的情况下，测试响应也需压缩，本文采用LBIST中常用的MISR作为MC测试的响应压缩电路，理论分析和实验结果都证明了MC测试的别名对故障覆盖率影响较小（小于2％），并对两类别名的成因做了具体分析；第五，在MC测试及其响应压缩的基础上，本文改进了ARM公司的测试控制器TIC使之适合于MC测试，为了解决MC测试矢量合成问题，本文抽取了MC测试模型，通过固定优先级的MC测试调度模拟将MC矢量合成为ATE矢量，并模拟出了总的MC测试时间。

The complexity of vector quantization is reduced by 76 percent by the replacement of calculating of the whole distortion with distortion of a part of components,using the interband correlation,the complexity of motion compensation is diminished considerably by the prediction of motion vector of the other subimages with the motion vector in the lowest frequency subimage.

利用子带间的相关性，通过同方向跨带矢量中部分低频系数分量间失真的计算代替整个失真的计算，将矢量量化器的计算复杂度降低了76‰；通过最低频子图像的运动矢量去预测其余子图像的位移矢量，极大地降低了运动补偿的复杂度。

Re-vectorization is performed on the basis of original vectorization by obtaining the initial parameters such as line types and slope. Inuring tricing it can adjustthe parameter adaptively. To decrease the influence of noise pixels, we designed a stop probe to detect tracing-stop conditions. Process of re-vectorization is performed recursively until quality of graph entity is satisfactory.Finally, some key technologies for 2D graphs reconstruction are studied. The issues concerned include the recognition and presentation of topologic relations among graphs entities and a directed and weighted graph model established to describe the relations and techniques on dimension driven.

在获得对图素识别质量的评价之后，质量较差的图素被输入到错误自动校正器进行错误校正处理，本文提出&二次矢量化&的错误校正思想，二次矢量化是在初步矢量化所获得知识的基础之上，取得初始参数，并在跟踪过程中动态校正参数，在跟踪结束时引入跟踪终止检测探针以消除光栅图像中黑白噪音的影响，使得算法具有较强的抗噪音干扰能力，校正后的图素仍需进行质量评价，未能通过评价的图素需递归执行二次矢量化算法。

So far, most research about vectored nozzles is numerical simulations of internal flow field and manuverbility. However, research about their infrared properties, especially systematically research about spectral properties is very sparce.

目前国际上对矢量喷管内流场的数值计算，矢量喷管的机动性能的研究比较多，然而对矢量喷管红外辐射特性的研究非常少，特别是系统地研究矢量喷管壁面和出口平面的光谱辐射特性方面的工作特别少。

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.

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