约束的

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 the POPF model, wind farm is modeled by the probabilistic wind farm model considering the reactive power-slip characteristic, and the inequality constraints include not only the unit output constraints, the ratio constraints, the voltage constraints and the line current constraints but also the reactive compensation capacity constraints in wind farm and the system climbing capacity constraints per minute. By introducing the NCP function, the KKT conditions of POPF system are transformed equivalently. Based on the transformed nonsmooth nonlinear algebraic equations, the FOSMM is used to determine the POPF model expressed by the numerical characteristic of variables. The model includes nonsmooth functions, so it can be solved by a semismooth Newton-type method based on the subdifferential.

概率最优潮流模型中，风电场采用考虑无功功率—滑加热器差特性的风电概率模型，不等式约束中除了机组出力约束、有载调压变压器变比约束、电压约束和支路电流约束，也考虑了风电场无功补偿容量约束、系统的分钟级爬坡能力约束；使用非线性互补函数将概率最优潮流的KKT条件转化为一组包含有不光滑函数的非线性代数方程组，然后基于一次二阶矩法确定了以待求量的数字特征表示的POPF模型，由于该模型包含不光滑函数，因此采用基于次微分的半光滑牛顿型方加热器法求解。

SUI Yunkang, different filter functions of element weight, element allowable stress and element stiffness are introduced to change the 0-1 type discrete topological variables to continuous topological variables between 0 and 1, thus a topological optimization model with continuous topological variables is built.

删除无效约束技术就是在近似射线步以后，根据一定的准则，将约束分为无效约束和有效约束，删除无效约束，保留有效约束，减小优化模型的规模，提高求解效率。

Exousia {ex-oo-see'-ah} from 1832; TDNT - 2:562,238; n f AV - power 69, authority 29, right 2, liberty 1, jurisdiction 1, strength 1; 103 1 power of choice, liberty of doing as one pleases 1a leave or permission 2 physical and mental power 2a the ability or strength with which one is endued, which he either possesses or exercises 3 the power of authority and of right 4 the power of rule or government (the power of him whose will and commands must be submitted to by others and obeyed) 4a universally 4a1 authority over mankind 4b specifically 4b1 the power of judicial decisions 4b2 of authority to manage domestic affairs 4c metonymically 4c1 a thing subject to authority or rule 4c1a jurisdiction 4c2 one who possesses authority 4c2a a ruler, a human magistrate 4c2b the leading and more powerful among created beings superior to man, spiritual potentates 4d a sign of the husband's authority over his wife 4d1 the veil with which propriety required a women to cover herself 4e the sign of regal authority, a crown For Synonyms see entry 5820

相关经文回前一页 1849 exousia {ex-oo-see'-ah} from 1832 (取其。。。之意 ability)； TDNT - 2：562，238；阴性名词 AV - power 69， authority 29， right 2， liberty 1， jurisdiction 1， strength 1； 103 1 选择的能力，有随己意而行的自由 1a 许可或允许 2 肉体和心灵力量 2a 一个人被赋予可拥有或运用的能力或体力 3 有权威的能力和有权利的能力 4 有管理和治理的能力(他有权力使他的意志和命令必须被其他人所顺服和遵守) 4a 普遍地 4a1 超过人类的权威 4b 特别地 4b1 有作出明断公正决定的能力 4b2 有管理内政的权威 4c 可换比喻地 4c1 一件受权威或规条约束的事 4c1a 司法权 4c2 一个拥有权威的人 4c2a 一个统治者，一个人类的长官 4c2b 在比人类高等的被造物中为领导而且较强大的灵界统治者 4d 丈夫权威超过妻子的象徵 4d1 礼仪所要求女人遮盖自己的面罩 4e 国王权威的象徵，一个皇冠 For 同义词 see entry 5820

Some key factors of 3-D constrained model were systematically researched with the combination of seismic and geological method. The factors include trajectory constrain by vertical borehole, laterally controlling constrain by geological horizon, faulting block constrain, stratigraphic sedimentary pattern and contact correlation.

运用地震、地质综合分析方法，系统地研究了测井资料垂向井孔轨迹约束、地质层位横向控制约束、断块约束、地层沉积模式和接触关系约束等三维约束模型的关键要素。

Stamped into the very fiber of the Senate, within its genetic code, was the same contest between power and principle that characterized America as a whole, a lasting expression of that great debate among a few brilliant, flawed men that had concluded with the creation of a form of government unique in its genius-yet blind to the whip and the chain.

参议院的本质特性，存在于它的&遗传密码&中，即是，从整体上代表了美国特性的、在权力和原则之间同样的斗争，是一种持久的表达方式，通过这种方式，少数一些才华横溢但并不完美的人举行大型的辩论，创造出了一种独特风格的政府运作形式（然而却忽视了监督和约束的力量）。

One is a large scale nonlinear programming model with equalities, the other is a more complicated NP hard and nonlinear compound 0-1 programming model. It is difficult for the existed algorithms to fulfill the demands of efficiency and size for the above problems. Two corresponding genetic algorithms are presented, in which several suitable genetic operations are constructed to make the optimization search process in the range of feasible solutions.

一个为大规模的带等式约束的非线性规划模型，另一个为更为复杂的带NP难解问题的混合非线性0-1规划，已有算法都难以满足上述两种问题的求解规模及效率的需要，我们给出了相应的遗传算法，确定了适当的遗传操作，使得问题的寻优过程始终都在可行解范围内进行，不仅提高了优化速度，而且有效地提高了优化效果。

In view of executive power to intervene in the allocation of resources over the reality of the situation, should intensify their efforts to clean up the recent各种乱收费, levies, and shut the power of the currency market of the "gray channel" reflects the strong focus on cleaning up the community, do not lead to monopolies fair competition policy, and actively create a fair and regulated competitive environment, maximizing the contribution of income and reflected on and so on; to be a more effective means of remediation of illegal income, seek to abuse the interests of individuals or small groups with severe punishment imposed for corruption ; At the same time, it is necessary to speed up the reform of the political system, and promote democratization and openness in decision-making, and strengthen the public service and acts of administrative bodies at all levels of supervision and constraints on the exercise of such power by the process of forming a comprehensive and reasonable mechanism for binding.

针对当前行政权力对资源配置干预过度的现实状况，近期应加紧清理各种乱收费、乱摊派，堵住权力市场化和货币化的&灰色通道&，重点清理社会反映强烈、导致垄断等不公平竞争的政策，积极营造公平、规范的竞争环境，最大限度地体现收入与贡献的对等；要以更加有效的手段整治非法收入，对滥用职权谋取个人或小团体利益的腐败行为严惩不怠；同时，要加快政治体制改革，推进决策民主化与公开化，强化对公务人员和各级行政机构行为的监督与制约，形成对权力行使过程全面约束的合理机制。

So this thesis aims at achieving satisfactorysubtitling translation. By analyzing different rewritings in English-Chinese subtitling, this thesis focuses on the English-Chinese film subtitling translation constraints ,including formal constraints and textual constraints (cultural differences, temporal differences andspecial set of language use ) which influence film subtitling.

为了追求完美的字幕翻译，本文主要综合国内外著名电影字幕翻译学者的一些翻译理论，通过分析电影中英语英译汉字幕举例，针对英语电影字幕翻译中经常遇到的约束因素，例如技术约束，其中包括：时间约束和空间约束；语境约束，其中包括：文化差异约束，时代约束和个性语言等。

I insist only that they renounce this one idea that they have in common: They need only to give up the idea of forcing us to acquiesce to their groups and series, their socialized projects, their free-credit banks, their Graeco-Roman concept of morality, and their commercial regulations.

我仅仅坚持他们放弃他们所共有的一种观念：他们仅仅需要放弃强迫我们的观念——强迫我们默认他们的集团，他们的社会化方案，他们的不受约束的信用银行，他们的古希腊-罗马的道德概念，以及他们的商业管制。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。