可满足的

基本解释 (translations)

satiable

与可满足的相关的网络例句 [注：此内容来源于网络，仅供参考]

The length of angle iron punching fast calibration can be cut, any assembly with a screwdriver, as amended and re-installation, so that it can meet the requirements of the use of carefully planned, can be used to meet emergency needs.

冲孔角钢的长度可按刻度快捷切割、用螺丝任意组装、修正并重新安装，这样它既可满足经周密计划的使用，又可满足紧急使用的需要。

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 algorithm has the effective suppression of delayed convergence, so the satisfiability of formula can be assigned rapidly.

这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公式能够快速找到一个可满足性指派。

When we analyse rigid body with the theory of limit equilibrium, we do not obtain always reasonable maximal principle in physics, and the maximal value is the result of soil plasticity deformation.(2) Thoroughly commenting the typical method of slices from their satisfid equilibrium conditions, calculational parameter and their convergence, the thesis sortes the methods into four kinds. The first satisfies all kinds of equilibrium conditions, can obtain interslice force and the factor of safety.

2从满足的平衡条件、求解的参数及其解收敛性等，分析了各种常用极限平衡条分法，将其分为四类，第一类方法既满足力的平衡，也满足力矩平衡，能获得条间力和稳定系数的收敛解；第二类方法只满足一个方向力的平衡和力矩平衡，只能求得稳定系数；第三类方法既满足力的平衡，也满足力矩平衡，但不是严格的静定问题，解的收敛性差；第四类方法满足两个方向力的平衡，不满足力矩平衡，可求得稳定系数和条间力的大小，不能求得条间力方向。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

A satiable thirst; a satiable appetite.

可满足的欲望；可满足的欲望。

If we can re-identify particulars, then we have satisfiable criteria on the basis of which we can make re-identification.

如果我们能再次识别特定物，那么我们拥有基于其作出再次识别的可满足的标准。

This SAT solver solved the problem by searching a satisfiable 2-SAT sub problem.

该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。

If we know that the best criteria we have for the re-identification of particulars have been satisfied, then we know that objects continue to exist unperceived.

如果我们拥有基于其作出再次识别的可满足的最好标准，那么我们知道独立持存的对象。

与可满足的相关的网络解释 [注：此内容来源于网络，仅供参考]

mandatory：必须的

是系统提供的,可由用户在外部看到的服务,这些服务满足了用户的需求.UFIDA U9在进行领域工程时,将特征三种主要的类型,即:必须的(Mandatory),可选的(Optional)和多选一的(Alternative).其中:基于对这一软件产业发展模式的引领和推动,

satiable：可满足的

satellitic 卫星的 | satiable 可满足的 | satiate 满足

satiable：可使满足的

satellite 卫星 | satiable 可使满足的 | satiation 饱和

satiable：可使满足的,可使饱的

sate 使充分满足,使饱享 | satiable 可使满足的,可使饱的 | insatiable 不能满足的,贪得无厌的

satiate：满足

satiable 可满足的 | satiate 满足 | satiation 饱足

satisfiable：可满足的

satisfiability 可满足性 | satisfiable 可满足的 | satisficing model 满意解决模型

satisfiable：可以满足的

satisfiability 可满足性 | satisfiable 可以满足的 | satisfied 感到满意的

satisfiable：可满意的

sarrus rule 萨律法 | satisfiable 可满意的 | satisfy 满足

satisfiable combination：可满足组合

"可满足的","satisfiable" | "可满足组合","satisfiable combination" | "满足","satisfy"

implementable：可实现的

可满足的 satisfiable 34 | 可实现的 implementable | 可达性 reachabili ty 1