代数操作

词组短语

algebraic operation

与代数操作相关的网络例句 [注：此内容来源于网络，仅供参考]

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

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

By describing trusty degree of information through membership function defined on the tuple, they broaden relation algebra of general meaning, add an attribute function to every tuple, define meaning of fuzzy attribute, express similar degree in the interval of fuzzy object and entity with semanteme distance in the interval of tuple, and also studys the fuzzy relation operating.

通过定义在元组上的隶属函数反映信息的可信度，对通常意义下的关系代数进行了扩展，每一元组都附一属性函数，定义了模糊属性的含义，用元组间的语义距离表示模糊对象和实体间的相似度，并对该意义下的关系操作进行了相应的研究和讨论。

In order to reasonably depict four basic problems with friction, one Coulomb friction new form in first Kirchhoff stress is proposed to deal with finite deformation problems, other Coulomb friction form in incremental mode to elastoplastic flow theory; Hilbert function spaces concerning elastoplastical problems with friction are established, so it makes all operations and calculations in the treatise standardized within the scope of reasonably topologic structure; In view of functional extremum, the equivalence between generalized variational inequalities principles in elastoplasticity with friction and corresponding basic problems are testified by inducing Lagrangian multipliers, so it provides a rationally theoretical basis for numerical methods in elastoplasticity with friction; From the viewpoint of variational inequality, the theory of generalized variational inequalities in elasticity and elastoplasticity with frictional constraint is studied, and the uniqueness and existence of the solution of FEM is proofed under the proposed conditions of stress compatibility, and them FEM approximation and a discrete solution are discussed; Based on the principles of generalized variational inequalities in elastoplasticity with friction, direct generalized variational inequalities methods is pretended, which is a natural generalization and development of direct variational methods; Using generalized variational inequalities methods, some examples in metal forming including plane deformation, upset and extrusion are analyzed and the results prove that all the theories and methods in the paper are right, feasible, accurate and advanced.

主要内容有：为了合理地描述金属塑性成形中摩擦约束弹性、弹塑性基本问题，提出和研究了有限变形下以Kirchhoff第一应力表示的Coulomb摩擦定律形式和弹塑性流动理论下以增量形式表示的Coulomb摩擦定律表示形式；系统建立了摩擦约束弹塑性问题的Hilbert函数空间，使本文规范在一个具有合理的代数拓扑结构内进行一切操作和运算；利用Lagrange乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

This paper discusses the kernel of the system -- geometric model and includes the following:(1) The topological elements and the relation between them in geometric modeling system are explained and expressed by the theory of simplicial complex and CW-complex. In addition, the identification operators and homology theory in algebraic topology are used in our model. A hierarchical structure is built on the base of complex.

本文主要讨论这个系统的核心问题——几何建模问题，包括以下几个方面内容：(1)用单纯复形和CW复形的理论来解释和表达造型系统中的拓扑元素和拓扑元素之间的相关关系，并将代数拓扑中的粘合操作和同调论应用到模型中，建立以复形为基础的层次结构。

Linear algebra of matrix inversion, the use of this algorithm can...

线性代数中的矩阵求逆的问题，使用此算法可以简化矩阵的操作。

The implementation of object algebra by relational operator and spatial operator with the support of relational index and spatial index was discussed and the setoriented access methods were studied.

在系统实现方面，我们着重讨论了面向集合的对象存取方式及基于关系索引、空间索引和底层关系操作及空间操作的对象代数的实现机制。

Service messages were described by tree grammar and operations for service adaptation were defined based on tree automata algebra.

提出了以树型文法表示服务的消息，并基于树型自动机的代数操作定义了服务的适配操作集，分析了该操作集的完备性。

与代数操作相关的网络解释 [注：此内容来源于网络，仅供参考]

algebraic expression：代数表示

Alertor 警报器 | Algebraic Expression 代数表示 | algebraic expression manipulation statement 代数表示操作陈述

algebraic expression manipulation statement：代数表示操作陈述

Algebraic Expression 代数表示 | algebraic expression manipulation statement 代数表示操作陈述 | Algebraic Language 代数语言

algebraic expression manipulation statement：代数表达式操作语句

algebraic expression 代数表达式 | algebraic expression manipulation statement 代数表达式操作语句 | algebraic oriented language 代数语言

algebraic function：代数関数

algebraic expression manipulation statement 代数表达式操作语句 | algebraic function 代数関数 | algebraic homotopy 代数同伦

Algebraic Sign Conventions：代数符号规则

algebraic manipulation 代数操作 | Algebraic Sign Conventions 代数符号规则 | ALGOL ALGOL程序语言

AMBIT：abbr. programming language for algebraic symbolic manipulation; 用于代数符号操作的编程语言

AMBIT ProgrammingLanguageforAlgebraicSymbolicManipulation：用于代数符号操作的编程语言

AMB AutoManualBridge 自动手动桥接器 | AMBIT ProgrammingLanguageforAlgebraicSymbolicManipulation 用于代数符号操作的编程语言 | AMBL AccessMethodBlockList 存取方法控制块列表

Archeozoic：[地质]太古生代

remote manipulator 遥控操作器, 远程控制器 | Archeozoic [地质]太古生代 | power associative algebra 幂结合代数

arithmetic of local fields：局部域的数沦

arithmetic of algebras 代数的数论 | arithmetic of local fields 局部域的数沦 | arithmetic operation 算术操作算术运算

Binary Boolean Operation：二进位布尔运算,二进制布尔操作

binary Boolean algebra 二进制布尔代数 | binary Boolean operation 二进位布尔运算,二进制布尔操作 | binary card 二进制卡片