可验证性

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

Multiple antenna arrays are often used to overcome the effect of channel fading which is caused by multipath interference. In chapters 4 and 5 ,we derive spatial correlation equations of ULA ,UCA and CRA for two types of angular spread distributions (uniform distribution and truncated Gaussian distribution).We also compare the difference between these antenna arrays by showing the bit error rate simulation results and discuss the relationship between BER and spatial correlation. In a multi-user mobile radio environment , we present simulation results to show that adaptive MBER algorithms have better performance than the traditional MMSE algorithm.

多天线阵列常被用来克服多重路径干扰导致通道衰减的影响，我们对各种天线阵列架构进行比较，在第四、五章中推导出ULA、UCA与CRA个别对两种角度扩散机率密度分布的空间相关性函数，由实际实验模拟的位元错误率图形比较天线阵列间的差异，并讨论位元错误率与空间相关性之关连，在多用户端行动通讯环境下，我们也由模拟验证可适性MBER演算法，会比传统MMSE准则有更好的效果。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

But signcryption schemes cannot provide forward secrecy and public verifiability as the traditional method does.

然而签密方案不能像传统方法那样同时提供前向安全性和可公开验证性。

It is demonstrated that the pipe meets the conditions that the crack is stable and the leakage is detectible which LBB asks for, and it also satisfies the time request from the beginning of leak to the moment at which the crack is unstable.

经验证，该管道符合LBB技术对于裂纹稳定性及泄漏量可探测性的条件，满足从开始泄漏到裂纹失稳的时间要求。

In this thesis, we study the boundary control problems for the thin shell with a middle surface of any shape by applying Riemannian geometry method.

本文应用Riemann几何方法研究中面为任意形状的薄壳的边界控制问题，在可验证的几何条件下得到边界反馈镇定与能观测性不等式，共分七章。

Case study in two typical regions of Beijing proved that the proposed models can reflect the real traffic status perfectly and have good transplantability.

利用北京市两个典型交通区域的实际交通流数据进行验证，结果表明该评估模型能够很好的反映北京市交通状况，并具有较好的可移植性。

The aptitude and career interest were considered as the two dimension of the entrance guide system, and was proof-tested by the structural equation model, which results supported this two-dimension hypothesis. Accordingly, there were two parts in the guide system. One part was about the aptitude test, consisted of seven subtests: verbal reasoning, spatial imagining, mathematic reasoning, computer capacity, abstract reasoning, physical knowledge, and sentence recomposing. The other part was about the career interest test, including eight aspects: career longing, curriculum desire, entertainment after school, activity preference, job preference, work environment preference, self-estimate of one\'s abilities, and discuss future with someone else. After three times modification and testing, the psychometric indices of the guide system were become well and stable. Furthermore, the guide system was primarily launched into applying, with four typical case studies, the practicability and serviceability of the guide system was showed swiftly.The entrance guide system for junior high school students that was developed in this research was one-upping in the entrance guide field in China.

第二阶段是初中生升学指导系统的研制阶段，以能力倾向与生涯兴趣这二元因素作为初中生升学指导系统的基本架构，经验证性因素分析表明该二元架构是合理并可接受的；其中能力倾向部分共包含语言推理、空间想象、数学推理、电脑能力、抽象推理、物理知识、语句重组等七个分测验，生涯兴趣部分则包含生涯梦想、课程兴趣、课余爱好、活动偏好、工作内容喜好、工作场所喜好、能力自评、与他人讨论未来等八个方面；通过三次修改与测试，结果显示所研制的初中生升学指导系统有着良好的测量学指标；此外，通过对初中生升学指导系统的初步应用研究，并结合典型个案的深入剖析，进一步表明所研制的初中生升学指导系统具有实用性、操作性强的特点，所得结果也可靠可信。

This paper investigates the basic principle of land and real property appreciation along the line produced by urban rail transit, analyzes the action process of urban rail transit development benefit, and demonstrates the basic characteristics of vested benefit of urban rail transit by using overseas related research results for reference. On the basis, the influence circle of urban rail transit development benefit is studied, the primary model is created according to the consistence principle of trip access, and the development benefit influence circle of each station on Line 1 is caculated for trial. At the same time the development benefit influence circle of the Xin-Zhuang Station on Line 1 is analyzed according to the research data, which verifies the model results. In addition, further research problems are put forward.

本文从城市轨道交通引起轨道交通线路沿线区域内的土地和不动产增值的基本原理入手，分析城市轨道交通利益发生、扩散和转移的作用过程，借鉴国外学者的相关研究成果，阐明了城市轨道交通利益最终归属的基本特征；在此基础上，重点对城市轨道交通开发利益的影响范围进行研究，根据出行可达性一致的原则建立了城市轨道交通开发利益影响范围的初步计算模型，针对上海轨道交通1号线各车站的开发利益影响范围进行了试算；同时，根据实际调查数据对上海轨道交通1号线莘庄站的开发利益影响范围进行了对比分析，验证了模型计算结果；此外还提出了有待进一步深化研究的问题。

If peasants are in a heavy pressure from capital restriction, they may have to sell at the "three sale fastigiums" and lose their opportunities of maximizing their sale profits.

回归结果在整体上验证了本文的整体分析及具体假说，农户的农作物品种越特殊、农户家庭经济中农业比重越高、户主信息可得性越强，农户越倾向于选择&新型销售方式&；农户面临的资金约束是农户选择在&三大销售高峰期&销售的最重要原因，当农户的资金压力形成硬约束时，农户没有选择实现利润最大化的销售时机的自由。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。