约束优化

Then, this paper brings forward a function of city transportation efficiency on the base of mode configuration by researching the final goal of optimizing traffic structure. It also take some restrict conditions into account in the course of optimizing traffic structure, for instance, occupying land area, environment, energy source, attainability etc. Sequentially, this paper sets up a lineal planning model of optimizing traffic structure of big city passenger transport. It takes ZhengZhou for an example to explain how to resolve the model.

接着，文中通过研究交通结构优化追求的最终目标，提出了基于方式结构的城市交通运输效率函数，并以其为目标函数，结合城市居民的出行需求、交通环境容量、道路资源、交通可达性、交通能耗、各交通方式的发展规模等约束条件，建立了大城市客运交通结构优化的线性数学规划模型，以郑州市2010年的交通结构优化为实例，说明了模型参数的标定和求解方法。

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

In reliability-based optimization problems of a ship's longitudinal structural design, there are lots of discrete variables and continuous variables. This kind of mixed-discrete non-linear optimization problem containing discrete and continuous variables has long been payed attention to, which is more difficult to solve when a number of reliability constraints are taken into account.

在船舶纵向结构的可靠性优化设计中，含有许多离散型设计变量和连续型设计变量，这种含有两种不同性质设计变量的大型结构物的混和优化问题，一直是人们瞩目的难题，尤其是考虑了多个可靠性约束条件之后，求解这种非线性优化问题就更为困难。

Considering the mean square of the dynamics longitudinal force on the drawgear as an object function, and considering the rigid impact probability as a constraint condition, the optimizing software named TTCFDOS (Tractor-Trailer Combinations Flexible Drawing Optimization System) has been developed.

在对上述确定性参数系统进行频域分析的基础上，以牵引架上动态纵向力的均方值为评价指标和目标函数，以刚性冲击概率为约束条件，开发了挂接车辆柔性牵引优化设计软件系统TTCFDOS，对挂接车辆的柔性牵引参数进行了优化设计，获得了与挂接车辆经常行驶工况相对应的优化柔性牵引参数

In order to meet the discharge norm of the contamination concentration limit, zone generalized predictive control is adopted which transforms the conventional quadratic objective of the MPC into a linear programming with soft constraints; besides, considering the wastewater treatment plants energy-saving targets, a multi-objective predictive control is formulated and finally hierarchical multi-objective optimization algorithm is applied for on-line optimization solution.

根据污水处理过程的实际要求，为了满足氮浓度的排放标准区间要求，研究了污水处理过程的区间广义预测控制策略，把预测控制的常规二次目标转化为带软约束问题的线性优化问题；同时考虑到污水处理的能耗，在出水水质目标之上建立了能耗最小目标，得到了污水处理的多目标预测控制，最后采用分层多目标优化算法进行在线优化求解，得到污水处理过程的多目标预测控制。

For improving convergence, this paper firstly introduces Lagrange function to solve constraint problem in large-scale system optimization, secondly constructs the hierarchical optimization networks for large-scale industrial systems with Hopfield network.

为了 提高算法的收敛速度，引入Lagrange函数解决大系统优化问题中的各种约束，并用Hopfield 网络实现了大系统稳态递阶优化的网络算法，最后给出了某一大系统辨识及优化的仿真结果。

The general form of the linear constraint s is described and the genetic optimization approach for such problems are introduced.

介绍了线性约束条件的一般形式及线性约束条件的遗传优化方法，较全面地阐述了相对于各线性约束条件的各遗传算子的特点、作用及其产生方法。

The displacement restrictor parameter optimization of the shock isolation system is a kind of nonlinear optimization problem with the restriction.

冲击隔离系统限位器参数的优化问题是一个有约束的非线性优化问题，也是一种最困难的优化问题。

The basic conceptions and primary characteristics are introduced in this paper. This paper discuss some primary factor when genetic algorithm applied on optimal design, for example the mathematical model the constrained problem、the initial population and the controls parameter of genetic algorithm .

在广泛阅读文献和调研的基础上，本文对遗传算法及其在结构优化设计应用中的相关内容进行了分析和综合，对结构优化设计的基本概念、主要特点进行了介绍，对遗传算法应用于结构优化设计时的数学建模、约束条件处理、初始种群的产生及其遗传算法控制参数的选择几个关键因素作了概要的分析与研究。

So resolving this kind of problem efficiently has great research value in theory, and especially resolving those problems, such as resource allocation, job shop scheduling, timetabling, and routing, still has very important realism significance and commerce significance.

本文主要研究内容为基于约束的现代调度，即运用约束程序设计方法来求解现代调度问题，从而拓展了约束程序设计在求解组合优化问题方面的应用领域。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。