空间点

3D reconstruction is one of the most challenging problems in computer vision. This project uses CAD model to increase the accuracy,robustness and speed of 3D reconstruction and five different works are conducted: 1 research on space curve 3D reconstruction method based on high curvature point nad turning point; 2 free-form curve 3D reconstruction based on B-spline and BURBS; 3 Active surface affine reconstruction based on single frame; 4 Matching and reconstruction of 3D sparse points; Data fitting method based on the iteration of nearest point.

三维重建是计算机视觉中公认的难题，本项目使用CAD模型来提高三维重建的精度、稳健性和速度的思路，围绕着空间曲线和曲面的三维重建和匹配开展了以下五个方面的研究：1）基于高曲率点和拐点分割的空间曲线三维重建方法研究；2）基于B样条和NURBS表示的空间自由曲线三维重建方法研究；3）基于单帧图像的有源曲面仿射重建；4）三维离散数据的匹配与重建；5）基于迭代最近点的数据拟合方法。

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、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

For a monotone twist map the well-known Birkhoff fixed point theoremsays that the circles with rational rotation number will break up whence a finitenumber of pairs of periodic points arise,half of which are elliptic and the othershyperbolic.Moreover,around each elliptic periodic point a few of new invariantcurves will appear and make a picture of phase space with a self-similar structure.Again one may ask is there a similar picture for higher dimensional Hamiltoniansystems?

对于单调扭转映射，著名的Birkhoff不动点定理指出，在通有情况下旋转数为有理数的不变曲线一般会破裂，在原来的不变曲线附近会产生有限多对周期点，其中一半是双曲的，一半是椭圆的，而在椭圆型周期点的周围又会产生一圈圈的不变曲线，使得椭圆周期点附近的动力学行为和整个相空间的动力学行为十分相象，换句话说，整个相空间具有无限嵌套的自相似结构，自然又产生了一个问题：对于自由度数目大于2的高维哈密顿系统，其相空间是否有类似的图象？

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

The method relies on the facts that the row vectors composed of all the image points span, the same linear subspace as the row vectors composed of 3D space points span and that a basis of the subspace can consist of two row vectors composed of all the image points and one row vector in 3D space that is orthogonal to the former. The row vector can be determined, and the 3D reconstruction is accomplished. The novelty lies in the fact that the method can treat all the image points uniformly.

利用所有图像序列构成的行向量生成的子空间之和与三维空间点构成的行向量生成的子空间是同一线性子空间、同时由所有图像点构成的2个行向量外加一个行向量就可以组成该子空间的一个基底的特性，线性地求取子空间中的行向量，最后完成三维重建。

The nonstandard anslysis theory is used in the κ-saturated nonstandard model, the definition of the quasi-near-standard points in a metric space is given and it is proved that a point in nonstandard metric space is quasi-near-standard point if and only if its monad contained in every *-open ball of some standard point.

在κ-饱和的非标准模型下，采用非标准分析方法，提出了度量空间中的拟近标准点的定义，得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球，证明了度量空间的非标准完备化恰是该空间的非标准扩张中拟近标准点集的商空间。

In chapter one,the backgrounds and current situation of operator theory in Banach space are introduced and the preliminaries of Banach space are given.In chapter two,we study the existence and uniqueness of fixed point for decreasing strict-set-contraction operator in product space.Under the weak continuous condition,we obtain the existence and uniqueness of fixed point for decreasing operator and we give an application of these results; In chapter three,we get several positive fixed point theorems of decreasing operator and the existence and uniqueness theorems of positive fixed point for operator C=A+B,C=D-A in real Banach space where the order is decided by a normal cone; In chapter four,we obtained some existence and uniqueness theorems of fixed point for some mixed monotone operators in semi-ordered Banach space.

在第一章中，主要介绍了半序Banach空间非线性算子的研究历史背景、现状以及半序Banach空间中的预备知识；在第二章中，我们利用半序方法研究了Banach乘积空间中严格集压缩减算子不动点存在唯一性问题，在弱连续的条件下，得到了不动点的存在唯一性和迭代收敛性，同时，给出了它们的一些应用；在第三章中，我们建立了拟弱连续减算子的正不动点定理，并证明了算子C=A+B，C=D-A的正不动点存在唯一性定理；在第四章中，我们得到了半序Banach空间中混合单调算子的不动点存在性及唯一性定理。

The point cloud was divided twice and distributed to 3D cell grids, then ultimate space, internal space, external space were decided for each grid. With the help of each point s sphere space, K-nearest neighbors of the point can be found quickly.

首先，采用二次划分的方法将点云划分到相应的立方体小栅格中；然后，为采样点所在的立方体小栅格确定最终子空间、内子空间和外子空间，结合采样点的球空间，就能很快确定该采样点的K邻域的搜索范围。

Regarding (6) type, when tradition Time variable t is two spatial vectors (+ psi 1i) and (- psi 2j) Crossed products v also is not 0, it (x1, x2, x3) differs 90 compared to on speed with the three-dimensional space in the space by the pure imaginary number attribute, I=e^I pi, therefore it Number space has in the physical property with the dot product constitution the difference, because Crossed products psi 1i (X psi 2j extremely small visible it is equal to zero under the conventional speed, but is very big in the object movement speed time, Crossed products psi 1i (X psi 2j in the physical quantity and for the quantum mechanics in may not to the easy quantity, its space and the conventional space is different, the performance is intrinsic or the interior space If the definition vector (+ psi 1i) and (- psi 2j) the dot product constitutes the three-dimensional space (x1, x2, x3) is exterior space, but the three-dimensional space which (+ psi 1i) and (- psi 2j) Crossed products constitutes by the vector is the internal space, contrasts its component

对于⑥式，传统时间量t为两个空间矢量(+ψ1i)与(-ψ2j)的叉积比上速度v且不为0，其与三维空间(x1，x2，x3)在空间上相差90度以纯虚数表征，I=e^Iπ，故其与点积构成的实空间有物理性质上的不同，因为在常规速率下叉积ψ1i(Xψ2j非常小可视其等于零，而在物体运动速率很大时，叉积ψ1i(Xψ2j之中物理量与则为量子力学中的不可对易量，其空间与常规空间不同，表现为一个内在或内部性空间。若定义矢量(+ψ1i)与(-ψ2j)点积所构成的三维空间(x1，x2，x3)为外部空间，而由矢量(+ψ1i)与(-ψ2j)叉积而构成的三维空间为内部空间，对比其分量

After analyzing the merit and lack of 9I model, the main idea is proposed: to distill some basic topological relations from 9I model, of which the composite topological relations of complex objects are made up. In detail, the composite topological relationships between region and region, line and line, line and region are particularly discussed;(2)Analyze the characteristics and inner relations of cadastral features. According to the expressional model of complex topological relations, the author discovers the possible topological relations between parcels, parcel lines and parcel points. In addition, sum up the general topological relationship rules of cadastral data.(3) Then the topological relations model is extended to the spatio-temporal data. Time in cadastral database and change semantic are discussed. It's redefined that spatio-temporal topological relations is composed of time, location, status and event relation. Spatio-temporal topological relationships can be represented by extended 4I model. Taking cadastral parcels as example, there are different possible spatio-temporal topological relationships between parcels when they are extended, shrunken, split, merged or others. Thus, some deductions are drawn that, for example, if parcels have be coexisting for some time they are impossible to be overlapped. Furthermore, the parents of parcels alternated and their possible change types can be detected by their spatio-temporal topological relationships.(4) Before carrying out the experiment, the calculation method must be designed.

具体研究工作及成果如下：（1）根据点集拓扑理论中与拓扑空间相关的概念，本文对空间的点、线、面进行了重新定义，以区分对象的复杂性；分析了9I模型在表示简单对象方面的优点，以及在表达复杂对象上的不足，阐述了本文的研究思路和解决方案，并以复杂的面面、线线和线面为例详细探讨了复合拓扑关系的表达方法；（2）分析了地籍权属数据和地类数据的内涵、特点和要素之间的联系，根据复杂对象的拓扑关系表达模型，本文讨论了宗地、界址线、界址点之间，图斑、线状地物、零星地类之间可能存在的拓扑关系和形式化表达方法，归纳总结了地籍对象的拓扑关系满足的约束性规则；（3）将拓扑关系的研究延伸到时空领域，从地籍对象的时态性出发，本文阐述了地籍数据中时间的含义和变化语义描述的需要；从时间、位置、状态、事件等之间的拓扑关系方面，重新系统性地进行了时空拓扑关系的定义；研究了一维时间和二维空间的集成表达方式，以宗地、界址线为例，分析了变更前后不同时间区间里可能的拓扑关系，探讨了时空拓扑关系对时空变化操作类型和变化语义的推理方法和意义；（4）为实现空间拓扑关系的查询分析等应用，本文研究了空间拓扑关系的计算方法。

James, son of Zebedee, and John the brother of James, whom he named Boanerges, that is, sons of thunder

载伯德的儿子雅各伯和雅各伯的弟弟若望，并为他们起名叫"波纳尔革"，就是"雷霆之子"

The southern Hungarian university city of Szeged will host part of the project, amounting to 40 percent of the total investment, which will mostly be paid for through Hungary's EU structural funds.

位于塞格德南部的匈牙利大学将负责部分项目，总计占总投入资金的40%。大部分资金将由匈牙利的欧盟结构基金会支付。