英语人>网络例句>algebra 相关的网络例句
algebra相关的网络例句

查询词典 algebra

与 algebra 相关的网络例句 [注:此内容来源于网络,仅供参考]

In the chapter two, we will recall some basic concepts and properties in commutative algebra and homological algebra.

在第二章中,作者介绍了交换代数和同调代数的一些基本概念和性质。

Chapter one: Provide the simple introduction to basic conceptions and properties used in the article about MTL-algebra; prove the set of all the filters form a complete distribution lattice in MTL-algebra; Discussion some property characteristics of Boolean filter, at the same time introduce the conceptions of positive implicative filter and obstinate filter, receive some properties of them, discuss the relation between the important filters and their equivalent condition.

第一章:对文章中用到的关于MTL-代数的基本概念和性质给出简单的介绍,证明了MTL代数中的全体滤子之集构成一个完备的分配格;讨论了布尔滤子的一些性质特征,同时引入和固执滤子的概念,得到它们的一些性质,探讨了几类重要滤子之间的关系。

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

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中:代数,几何,高等代数,三角学,?圆锥和极限

Further some equivalent conditions for a trivial algebra are given, and that the mapping which maps the subset of the universal to the maximal congruence that saturates the subset being a -homomorphism, being order preserving, being constant mapping, the algebra being trivial are equivalent is proved.

最后利用该同余给出了关于平凡代数的几个等价条件,证明了泛代数的子集到渗透该集的最大同余的映射为保序映射、该映射为-同态、该泛代数平凡等是等价的。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上,利用T代数的概念与方法,建立了真值取于格蕴涵代数的格值命题逻辑系统LP,对它的语义及语法性质进行了较系统的研究,得到了它的可靠性定理、协调性定理及演绎定理等,证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

The algebra homomorphism and Riesz homomorphism can be deducible for each other under some circumstances in complex f -algebra.

文中具体讨论了在复f-代数中复Riesz同态与代数同态在一定条件下可互推的结果。

In the final chapter, we apply the tubular mutations of the derived category of a derived tubular algebra to Lie algebra.

第五章我们讨论标准代数导出范畴自等价—tubular mutation在李代数中的应用。

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乘子释放系统的约束,列出了由系统的运动微分方程和空间约束代数方程组成的一组微分—代数混合方程组。

In section 2 ,if one Lie colour algebra can be decomposed to direct sum of two ideas ,the same as the center.And when the center is zero , the derivation and the inner derivation can be also decomposed .Lie colour algebra L is complete if and only if its two ideas are both complete .

第二部分首先讨论了若李color代数L可以分解为两个理想的直和,则中心也可以分解为两个理想的直和,而且当中心为零时导子和内导子也有同样的理想直和分解,并且L完备的充要条件是两个理想都完备。

第11/100页 首页 < ... 7 8 9 10 11 12 13 14 15 ... > 尾页
相关中文对照歌词
Algebra
Your Algebra
推荐网络例句

Do you know, i need you to come back

你知道吗,我需要你回来

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

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

Chapter Three: Type classification of DE structure in Sino-Tibetan languages.

第三章汉藏语&的&字结构的类型划分。