方法的

Genetic algorithm is used to optimize the multi-camera planning. It's concluded that combinatorial optimization method is suitable and robust for camera planning.

实验证明该组合优化方法结合了产生-测试方法与合成方法的优点，对多摄象机规划问题的计算具有很强的适应性和鲁棒性。

Good dynamic response performance of both command tracking and disturbance rejection characteristics can be achieved simultaneously.The simulation results are given to demonstrate the effectiveness of the controller.

经过多年的发展，IM C方法的应用已经从线性系统扩展到了非线性和多变量系统，并产生了多种设计方法，如零极点对消法，预测控制法，针对P ID控制器设计的方法等。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

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

The rule of Monte Carlo method is described in detail at first. And convolution and Monte Carlo method are connected.

首先对蒙特卡罗方法的原理和规则进行了详细的说明，并把卷积方法与蒙特卡罗方法的结合起来。

This belongs to the correspondence principle topic, the topic is under two kind of channels the 2psk system analysis

对Windows环境下，使用C++ Builder编译平台实现RS-232串行通信的方法进行研究，分析比较了三种方法，并例举了在导航系统可视化仿真软件的开发设计中TComm方法的应用。

Chaper 3 is general description of ADA encryption. Chapter 4 deals with the transform domain encryption. Includes the element of perfect and quasi-perfect transform domain encryption, and presents two type new schemes. Chapter 5 deals with asynchronous ADA encryption. Extends the general theory and model of asynchronous ADA scrambling, and introduces two type phase-distortion-free a synchronous ADA schemes. Chapter 6 is about new direction of ADA encryption. Includes TASI scrambling, transform domain dummy insertion scrambling, noise coving scrambling and other multi-dimension ADA scrambling, and proposes an adaptive dummy spectrum insertion asynchronous scrambling and a new adaptive noise-coving DFT scrambling algorithm. Chapter 7 is on permutation key. presents part results on permutation features, selecting criterion and constructing method. Chapter 8 introduces the hard and software design of a common ADA encryption/decryption system, and presents the experimental results on several proposed ADA encryption schemes.

第一章为绪论；第二章为语声信号、及其处理基础；第三章为模数模加密的一般描述；第四章为变换域加密研究，包括变换域加密机理，变换域完善与准完善保密研究，提出两种新的变换域加密方案；第五章为异步模数模加密研究，扩充了异步模数模加密的一般理论，介绍了两种新的无相位失真异步加密方案的原理与实现方法；第六章对模数模加密新方向：TASI应用途径、变换域伪谱插空置乱、噪声掩盖、多维置乱加密的原理和方法进行介绍，提出了自适应伪频插空异步模数模置乱算法与自适应DFT系数噪声掩盖置乱新算法；第七章为置换密钥性质、筛选准则以及构造方法研究的部分结果；第八章介绍了通用模数模加/解密实验系统的硬件、软件研制概况，并给出了几种加密方法的实验结果。

An approximate solution can be derived by using Crammer\'s rule.Illustrative examples are given to show that the method in the present paper is simple and efficient.

采用微分的方法首先把两点边值问题转化为Fredholm积分方程，再应用本文的方法求解，通过数值例子展示了该方法的简单有效性。

The selection of geological prospecting in different stages(initial-prospecting, detailed-prospecting)(2)the selection of geological prospecting in the deep-laid and shallow-laid of tunnel project (3)the selection of geological prospecting of tunnel projecting in different geological conditions Finally, the author summed up main problems needing to be solved in tunnel engineering geological prospecting as follow:(1)differentiate stratum and find out the depth and thickness of different stratums in the tunnel section (2)find out geological structure and existence situation of fault, broken zone and weak plane (3)find out weathering level of bed rock to classify surrounding rock combining speed materials (4)differentiate stratum structure of the entrance of tunnel to judge the stability of it (5)find out existence situation and performance of ground water (6)situations of other harmful geological phenomenon In view of above problems and classification of surrounding rock, the author showed principles of rational choosing of methods in geological prospecting and counted disperse range of physical character parameter value in different petrosal character, getting achievements as follow:(1)summarization of effect, merits and demerits of different geological prospecting methods in the tunnel geological investigation (2)method selection and arrangement principle of tunnel engineering geological prospecting in different geological conditions and prospecting stages (3)According to previous experience and cases, the author concluded the物性parameters most in use ,and showed the basis of selecting geological prospecting methods in different geological conditions.

论文中用几个应用实例来说明：(1)不同勘察阶段物探工作的选用；(2)深埋、浅埋隧道工程物探工作的选用；(3)不同地质条件隧道工程物探工作的选用。最后总结归纳出隧道工程物探所需要解决的问题主要有：(1)划分地层，查明隧道通过剖面的各地层深度与厚度。(2)查明地质构造，隧道轴线段有无断层、破碎带、软弱层面等。(3)查明基岩风化程度，从而结合速度资料进行围岩分级。(4)划分洞口地层结构，判断洞口稳定性。(5)查明地下水赋存情况及其活动动态。(6)其他不良地质现象存在情况。针对上述需要查明的地质问题与计算围岩分级情况，论文提出合理选用物探方法的原则，并统计了物性参数值在不同岩性中的分布范围。得出以下研究成果：(1)总结出各物探方法在隧道地质调查中的作用和优缺点。(2)得出不同地质条件下和不同勘察阶段，隧道工程物探方法选择和布置的原则。(3)根据以往工作经验和事例，对常用的物性参数进行了归纳总结，同时介绍了不同地质条件下物探方法选择的依据。

The measurements of the air dew point and the observation methods of the dropping air dew point were given.

提出了气体露点温度的测量方法和气体降露时刻的观测方法，分析了测量方法的科学性，给出了实验分析和实际使用步骤。

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.

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