查询词典 algebra system

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

As a branch of modern algebra , finite fields is an abstract system in algebra which satisfies operational laws such as associative law, commutative law, distributive law etc.

作为近世代数学的一个分支，有限域是一个拥有传统算术四则运算的抽象代数系统，它满足结合律、交换律、分配律、消去律等运算法则。

Then we study the typical property of theirs form the starting of nature and constitute of the two types of Lie algebra, and we calculated separately their dimension, center, commutator algebra, Killing type, Cartan subalgebra, structure formula, root system, and so on.

本文主要研究了两类典型的李代数即李代数so*(2n)和g*，首先介绍了一些李代数的基本知识，并且给出了这两类李代数的组成结构，然后从这两类李代数的本质构成出发，研究它们的一些典型性质，分别讨论了它们的维数，中心，换位子代数，Killing型，Cartan子代数，结构公式，根系等。

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

Based on the flexible multibody dynamics model, that establish, a group of the algebra—differential hybrid equations which is made up of kinematics differential equation and spatial constraint algebra equations is listed by leading into the Lagrange multiplier to release the constraint of the system.

根据上述建立的多柔体动力学模型，通过引入Lagrange乘子释放系统的约束，列出了由系统的运动微分方程和空间约束代数方程组成的一组微分—代数混合方程组。

Thirdly, a new loop algebra x with 3 M dimensions is constructed by use of some properties of exterior algebra, which is devoted to establishing a new isospectral problem. As its application, a multi-component integrable system similar to the TC hierarchy is obtained, whose reduction case presents a multi-component KdV equation.

由此可设计出许多新的等谱问题，作为应用，本文得到了一个多分量的TC族，其可约化为多分量的KdV方程。

Based on two algebra Riccati equation method especially the structure of the system Hamilton matrix and system observability theory, the role of invariant zeros in constructing system reduced order controllers was given. That is, by the suitable selection of free parameters of the system H(subscript ∞) controller, some points which were symmetry with the unstable invariant zeros about the imaginary axis became the stable poles of the system controller which were not observable and could be reduced from the system, thus could get further reduced order controller.

基于2代数黎卡提方程方法，特别是系统Hamilton矩阵的结构特点和系统可观测性理论，论述了不变零点在构造系统降阶控制器中所起的作用，即通过选择控制器的自由参量，使某些不稳定的不变零点关于虚轴对称的点构成系统控制器不可观的稳定极点，从而实现了控制器进一步降阶。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

The solvable Lie algebra is corresponding to a cascade decomposition of the system and the semisimple Lie algebra is corresponding to a qasi-parallel decomposition such that the system has a parallel form of a cascade decomposition and a qasi-parallel decomposition.

任一李代数都可分解为一可解李代数与一半单李代数的半直和，可解李代数对应于系统的级联分解，半单李代数对应的是系统的准平行分解，将二者合并起来，就得到一般李群下的非线性系统的结构分解，这是一级联形式与一准平行形式的并联形式分解。

Introduced Fan Boolean Algebra theory as a whole, after analyzing and studying of it, concluded that: the characteristic of Fan Boolean Algebra has determined that it can solve the extant problem of Data Mining to a certain extent, for example, it can guarantee the result after data mining to be usable , assured and construable;can solve the problems about expression difficulty of complicated concept, correlation of attributes emphasized incompletely and redundant examining;it can set up the unified model of Fan Boolean in a certain system;and it can promote the developmental research of new decision support system.

对泛布尔代数进行总体介绍，在分析和研究它的理论体系后，概括出：它的特性决定了它能在一定程度上解决数据挖掘的现存问题，比如可以保证数据挖掘结果的可用性、确定性及可解释性，可以解决复杂概念表达困难、属性间的相互关系强调不够、重复检验等问题；能就某一系统建立统一的泛布尔模型；并促进新型决策支持系统的开发研究，并对泛布尔代数与数据挖掘相结合的原理展开论述。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷