查询词典 hankel transformation

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

A substance is through the primary transformation into an upper triangular matrix, the transformation matrix is a unit lower triangular matrix.

实质上是将A通过初等行变换变成一个上三角矩阵，其变换矩阵就是一个单位下三角矩阵。

As an important part of GIS platform, spatial reference system includes coordinate transformation and map projection, also named as Map projection transformation system.

GIS中的空间参照系统是GIS平台中的重要组成部分，内容包括各种坐标系统的转换和地图投影，故也称为投影变换系统。

In this paper, the author introduces component and OpenGIS including the specification of Spatial Reference System Components —Interfaces and Classes. After analyzing and comparing several methods of map projection transformation, the author chooses the inverse transformation method as the main one.

本文首先介绍了组件技术和OpenGIS规范及其有关空间参照系统的接口和组件对象的定义，在对几种地图投影变换方法进行分析比较之后，选择反解变换法作为主要方法。

Through the use of linear space of the basic nature of the linear mapping, linear transformation, the matrix theory of knowledge, some of the linear transformation of the nature of proof, reasoning and calculation.

本文通过利用线性空间的基本性质、线性映射、线性变换、矩阵理论的知识，对线性变换的一些性质进行证明，推论和计算。

This study explored a preliminary image with the mapping relationship between music and mapping laws, a transformation of images to the music algorithm, the image transformation to the music for a bold attempt to make people feel the use of auditory visual enjoyment effect.

详细说明：本研究初步探索出了图像与音乐之间的映射关系和映射规律，提出了一种图像向音乐转化的算法，对图像向音乐的转化进行了大胆的尝试，使人们用听觉感受到了视觉享受的效果。

According to the unchangeness of linear mapping transformation of classification divergence,the feature information of geo-spatial data is extracted by K-L transformation.

根据类别分离度在线性映射变换下的不变性，用K－L变换进行地学空间数据的特征提取。

In this method, we make use of xml mapping to eliminate name heterogeneity,utilize transformation expression to eliminate unit heterogeneity, make use of transformation function and mapping tables to eliminate precision heterogeneity, data type heterogeneity and the heterogeneity of data expression method.

在该方法中，利用xml映射来消除命名异构；利用转换表达式来消除单位异构；利用转换函数，映射表来消除精度的异构，数据类型异构以及数据表示方法的异构。

First,the feature subspaces are formed from different pose images using ICA and PCA.Then the pose image is transformed into its corresponding frontal face image using the transformation matrix predetermined by learning.Based on this foundation,the wavelet transform is applied to face images,and the authors compare the frontal face feature coefficients directly which are obtained by using the transformation matrix with the feature coefficients of the original face images,the recognition rate is improved greatly.

首先利用ICA和PCA提取不同姿态人脸的特征子空间，然后利用通过训练得到的姿态转换矩阵合成其相对应的正面人脸图像，实验表明ICA人脸识别算法要优于PCA人脸识别算法，并在此基础上用小波对人脸图像进行预处理，据姿态转换矩阵得到的正面人脸特征系数直接进行分类比较，识别率得到了很大的提高。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。