代数系统

In chapter 2, the realization and decoupling of linear systems over a commutative Banach algebra have been studied.

第二章，研究了交换Banach代数上线性系统的实现与解耦控制。

In chapter 1, the relations between spectrum displacement problem and controllability, observabiity for linear systems over a commutative Banach algebra have been discussed, the open problem about spectrum displacement posed by Kaashoek have been solved, and the if and only if conditions for stability, stabiizabit~ detectability have been obtained.

第一章，讨论了交换Banach代数上线性系统的谱配置问题与可控性、可观性的关系，解决了Kaashoek等提出的关于谱配置的公开问题，给出并证明了判定其稳定性、可稳定性、可检测性的充要条件。

For a given strictly proper rational function matrix over a commutative Banach algebra, the controllable, observable realizations have been constructed, the uniqueness of minimal realizations under the system equivalence has been proved, also, the necessary and sufficient conditions for decoupling have been given.

对给定的定义在交换Banach代数上的严格真有理函数矩阵，构造了可控型、可观型的实现，证明了其极小实现在系统等价意义下的唯一性；给出了交换B.fi。

This text introduced how to apply the data mining technology combining with Fan Boolean Algebra to the intellectual traffic system especially.

本文重点介绍如何将结合泛布尔代数的数据挖掘技术应用到智能交通系统中。

This course includes (1) Introduction to computer hardware,(2) Number system,(3) Boolean algebra,(4) Computer Architecture and program execution,(5) Microprocessor and assembly language.

课程内容包含：(1)计算机硬体介绍，(2)数字系统，(3)布林代数，组合逻辑，(4)计算机基本结构与程式之执行，(5)微处理机及组合语言。

The number of being serviced Buffer selected as discrete index, the work number of Buffer as continuous state, an algebra-differential equation of the switched arrival system was naturally developed.

采用被服务Buffer编号为离散标识，Buffer中待处理任务数为连续状态，建立了系统的代数微分方程模型。

From the perspective of the variational discussion of Lagrange\'s contributions to the principles and analyzation of mechanics,the interaction between the calculus of variations and mechanics,especially the variational principles is made clear.

结合拉格朗日微积分代数化方案和18世纪可积性条件的研究，探讨了拉格朗日关于变分法基础研究的数学背景及相关工作；通过对《分析力学》中静力学约束平衡问题的细致考察，系统探讨了变分法中乘子法则的力学渊源、提出过程及意义。

Also, I wrote the compiler for ALTRAN, a language and system for symbolic calculation.

同样的，我也写了ALTRAN语言的代数编译器，那是用于符号计算机的一种语言和系统。

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

Chapter 1 briefs the relation between invariance and computer vision and summarizes the research and application of invariance in computer vision. Chapter 2 first derives the transformations of three camera models, then makes the correpondences between the models and three typical geometrical transformation groups by analysing the transformations respectively. The correspondences supply the theoretical basis for applying geometrical invariants to resolve the problems of computer vision. In Chapter 3, we describe the geometrical invariant theory and prove some geometrical invariants of coplanar points, lines or conics by algebraic method. In order to use the invariants of conic pairs to describe general 2D shapes, we discuss the perspectively invariant representation of planar curves using conies in detail. A system consisted of two TMS320C25 and based on moment invariants is introduced in Chapter 5. The system can recognize more than 30 different shapes of object model or more than 10 plane models with similar shape in real time.

第一章简述了不变性与计算机视觉的关系，以及计算机视觉中的不变性研究和应用概况；第二章推导了计算机视觉中常用三种投影模型的变换关系，通过对这三种变换关系的分析，分别建立了这三种投影模型和几何学中的三种变换群之间的一一对应关系，为几何不变性在计算机视觉中的应用提供了理论基础；在第三章中，我们介绍了几何不变性的理论，并且用代数方法证明了共面点、直线、二次曲线的几何不变量和射影不变量；为了把二次曲线的不变量用于一般二维形状描述，在第四章中我们详细地讨论了用二次曲线实现一般平面曲线的透视不变性表示的方法；第五章介绍了用两片TMS320C25构成的、基于不变矩形特征的运动目标实时识别系统。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。