2) relation algebra
关系代数
1.
AA solves the EDN compatibility problem between the new AEDMS and the old one;AAA bases on relation algebra and uses the tuple index ingeniously,its compact,highly reliable,highly maintainable,highly ef.
前者解决了新旧系统工程文件编号的兼容问题;后者是一种新的基于关系代数的自动编号算法,其利用元组序号,具有紧凑简单、可靠性好、可维护性好、执行效率高、适用面广的特点。
2.
The search spa ce, individuals, genetic operators and the process of searching optima in geneti c algorithm are formally described by relation algebra operators such as selecti on, projection, and generalized Cartesian product.
运用选择、投影、广义笛卡尔积等关系代数运算 ,给出了遗传算法的搜索空间及个体、遗传算子和搜索最优解过程等关系代数形式的描述 ,建立了遗传算法的关系代数模型 ,给出了遗传算法的数学解释 。
3.
0 as a flat-top building, expands on the Structured Query Language how to explain the three layer structure of relation DB through the select example and how to reflect the thought of relation algebra and relation mathematical calculation.
0数据库管理系统为软件平台,通过查询实例阐述结构化查询语言(Structured Query Language,简称SQL)如何反映关系数据库三级模式结构,如何体现关系代数和关系演算思想。
3) coefficient of substitution
替代系数
1.
And also analyzes how the coefficient of substitution and the anti-dumping duty rate take effect on the social welfare.
运用经济学、博弈论等有关原理推导出在完全信息动态博弈下相似商品之间的反倾销税率定价的优化模型,分析了最优反倾销税率的影响因素,同时分析了相似商品替代系数和反倾销税率分别对社会福利的影响程度,得出结论:最优税率受企业竞争力、商品替代程度等因素的影响,消费者剩余和国内企业利润之间总是存在利益冲突,政府税率政策制定的关键在于权衡两者的利益。
4) iteration coefficient
迭代系数
5) relational algebra
关系代数
1.
How to Express Division Operation in Relational Algebra;
关系代数中除法运算的表示
2.
Temporal relational algebra based on rough representation;
基于Rough表达的时态关系代数
3.
Research on XML data query based on relational algebra;
基于关系代数的XML数据查询
6) algebraic system
代数系统
1.
The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively.
为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系。
2.
Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science.
通过代数系统在计算机领域中的应用,揭示数据库操作的深刻原理,导出简化探作程序中几个常用的代数运算公式,从一个侧面沟通了离散数学与计算机,科学的直接联系。
3.
The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system.
本文旨在研究使用代数系统对CMM管理工具所需数据对象及其上操作进行统一描述的方法,结合代数系统的定义和定理,将数据对象的全体看作集合,将数据对象上的各种操作定义成该集合上的运算,从而构成代数系统。
补充资料:代数系统的自同构
代数系统的自同构
algebraic system, automorphism of
xZ一,、、映射 ‘净f。(久.‘2,x。“(戊任B)是B的一个自同构.类只的每一系统A的所有l自同构构成的集合I(A)是群Aut(A)的‘个正规子群.在由所有群构成的类只中,I自同构概念与群的内自同构概念是一致的([21).关于更一般的几系统的公式自同构(formula automorphism)概念,见【3]. 设A是一个代数系统,把A中的每个基本运算F换为谓词 R仁〕,.二,义。,川幼月x,、…,工,》三_丫 (芍,丫,少任A),就得到一个表不系统A的模型(model)A’.等式Aut(A‘)=Aut(A)成立.如果系统A=丈A,Q>和A‘=戈通,Q’飞有公共的支集A,并且0仁0‘,那么Aut(A)三Aut(A’)如果具有有限生成兀集合的Q系统A是有限可逼近的,那么群Ant(A)也是有限可逼近的(见!l〕).设只是O系统的一个类,并且设Aut(幻是由所有同构于群Ant(A)(A任交)的群构成的类,并I{t设SAnt(究)是由Au飞(贾)中的群的子群构成的类类SAut(究)由可同构嵌人到群Aut(A)(A任交)中的群构成的类. 下面两个问题来自代数系统自同构群的研究中. l)给定一个O系统的类只我们能对A以(,时和SAut(屁)说些什么昵‘} 2)设给定一个(抽象的)群类K.是否存在个具有给定表征Q的O系统类究使得人二Aut(只),共至K二SAut(们呢?已经证明,对任意的可公理化的模型类只群类SAut(欠是全称可公理化的(f1」).也已经证明(111[’]),如果只是由无限模型构成的可公理化模型类又B,簇)是一个全序集合G是模型(B簇)的自同构群,那么存在一个模型Ae转使得A户B.并冬1对每个元素g任G,存在系统A的自同构中使得g(、)二价扛)(对所有、6B).1)如果对任一由无限模型构成的可公理化模型类只,都有群(F‘SAut(只),那么就称群G是万有的,2)如果群G同构于序群H的〔见全序群( totally ordered group))某一个自同构群(这个.匀同构群中的儿素保持H中给定的全序即“感乃净价(a)蕊甲(b)对所有ab任月.甲任G).那么就称G为序群H的一个序自同构群(goup of()rdered automorphlsms). 设l是全序集
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条