现代数学是建立在等价类这一概念的基础之上的。同构是对等价关系的一种刻划。简单的可以把它理解为两个系统之间的一种“保持”运算规则的一一对应关系。在数学中一个符号所代表的是所有能够互相同构的对象。例如整数3可以看作是与某个元素个数为3的集合可以建立一一对应关系的所有的集合所构成的整体。所以在数学中,如果我们解决某个特定的问题,它同时也就意味着我们解决了一系列相互等价的问题。
同构关系对于认知可以起到本质上的简化作用。如果通过一个推理链条,确认了A == B == C == D,则可以直接从概念上推导出 A == D, 这一关系有可能被直观理解,而不需要理会中间的推理步骤。(注意到以上元素两两建立同构关系的时候可能要采用不同的对应手段,因此上面的等式并不是平凡的。)另一方面,我们可以确定一个模型元素M, 将系统简化为 A == M, B == M, C == M, D == M。只要理解了元素M就理解了等价的其他元素。
Witrix平台中PDM定义作为基础的结构模型,它同时映射成为数据库表,以及hbm, java, meta等多个代码文件,此外还对应于约定的WebObject名称和BizFlow文件名称,相应的报表文件目录等。我们只要理解了pdm模型,即可通过推理自然的掌握各个层面上对应的结构。这意味着只要知道实体名称,就知道如何通过Web访问这个对象,知道数据在数据库中对应的数据库表,而不需要知道后台是如何读取前台提交的参数以及如何执行保存数据指令的。不仅仅是在模型驱动领域,在系统设计的各个方面,我们都应该尽量充分的利用当前的信息通过推理得到系统其他部分的结构,而不是通过手工关联或者判断在程序中动态维持这种对应关系。例如在flow-cp机制中,biz的id, action的id等都根据step配置的id推导得到,这样在工作列表跳转的时候就可以根据规则推导出跳转页面对应的链接,而不需要手工编写页面重定向代码。
同态(homomorphism)关系相对于同构关系,只强调单向映射的可行性,它是一个舍弃属性的过程。同态作为最基础的认知手段之一,它不仅仅是用一个符号来置换一组元素,而是同时保留了某种全局的运算关系,因此同态映像可以构成某种独立的完整的研究对象。通过同态映射,我们可以在不同的抽象层面上研究原系统的一个简化版本。例如meta中的layout是一种典型的领域特定语言(DSL)。
userName userTitle
emailAddress
每一个字段表示了一个可能任意复杂的inputor或者viewer, 字段之间的前后关系描述了最终显示页面上显示内容的相对关系。当viewer根据需求发生改变的时候,并不影响到layout层面上的关系,因此layout可以保持不变。如果我们在系统中把问题分解为多个抽象层面上,多个观察视角上的同态模型,则可能实现更高的软件复用程度。
在Witrix平台的设计中,很多细粒度的标签都定义为tpl文本段,这样平台只要理解某一层面上的交互关系,实际应用中可能出现的细节在标签内部进行局部处理,不会突破原始设计的形式边界,不会影响到原先设定的主体系统结构。例如BizFlow中的tpls段,action的source段等。
上世纪50年代以前,生物学家做梦也想象不到具有无限复杂性的生物遗传过程,竟然可以被抽象为ATGC四个抽象符号的串联。生命竟然不理会各种已知的或是未知的物理化学作用,被抽象的三联码所驱动。一种抽象的本质似乎成了生命世界的本原。在软件的世界中,可以被识别的抽象元素绝不只是语言本身所提供的那些机制。
- 大小: 22.1 KB
分享到:
相关推荐
中国式产业同构现状分析:产业结构构建视角,郭将,戴逢波,合理的产业结构无疑对经济持续高效发展具有重大意义。事实上,通过运用中国31个省市区的数据计算产业结构相似系数和区域分工指数�
离散数学:B_6_4_6.4-群的同态及同构.ppt
定义1 设S 是一个非空集合,如果S 上存在一个代数运 算
本文探讨一类的无限维李代数,并构造了此类李代数的理想,同构,同态,并对其性质作了探讨。
同构数是这样一种数:它出现在它的平方数的右端。例如:5的平方是25,5就是同构数,25的平方是625,25也是构数。找出1~N之间(包括N)的全部同构数。 输入 正整数N,N。 输出 1~N之间的全部同构数,从小到大排列,用...
幼儿园大班艺术同构教案:月光下的凤尾竹.doc
利用经典集间的模糊映射,引入了格的模糊同态和模糊弱同态概念,给出了模糊同态与模糊弱同态下模糊子格(模糊理想)的对应关系,并由模糊同态得到了格的理想,建立了格的同构映射,基于模糊同态所确定的映射等价刻画...
*同态核性质的证明(2)证(i)显然e1kerf,非空?a,bkerf,f(ab?1)=f(a)f(b?1=e2e2?1=e2?ab?1kerfkerf为G1的子群下面证明正规性(ii?gG1?ake
幼儿园教案2021-幼儿园大班艺术同构教案:月光下的凤尾竹.doc
线性同构与线性空间讲义 讲述了线性空间下的span与isomorphic的关系 包含了许多证明题 是高等代数不错的参看资料
《同构 - 编程中的数学》,有提供中英文两种版本 pdf格式。
基于有限p-群后代树的一般理论和共类子树的分支之间的... 作为本文的一个引人注目的新颖性,提供了证据,证明了共生林之间的同周期同构将同化林的整个骨架和相当一部分非metabelian顶点的信息内容减少到有限的数据量。
一对令人惊讶的同构化合物:AgNa [(CH3SO2) 2N] 2 · 2H2O 的晶体结构和 Li [(CH3SO2) 2N] · H2O 聚磺胺的空间群修正。 CLVI [1]。 金属二(甲磺酰基)酰胺的晶体结构。 8 [2]。 一对令人惊讶的同构化合物:AgNa [...
C语言程序设计-判断整数x是否是同构数;若是同构数,函数返回1;否则返回0;x的值由主函数从键盘读入,要求不大于100;说明:所谓“同构数”是指这样的数,这个数出现在它的平方数的右边;例如:输入整数5,5的平方数是...
抽象代数的研究对象是各种代数系统及其之间的关系, 同态是主要的工具之一, 同态基本 定理和由此得到的几个同构定理是抽象代数最为深刻的结果如果我们将向量空间看成加群, 利用同态和同构定理来考察有限维向量空间...
1同构数.py
群与同构计数讲义.pdf