作者:HaiBaoDUAN 期刊:《数学学报》 2004年第01期
Thorn-Pontrjagin constructions are used to give a computable necessary and sufficient condition for a homomorphism φ:H^n(L:Z)→H^n(M:Z)to be realized by a map f:M→L of degree k for closed(n-1)-connected 2n-manifoldsM and L,n>1. A corollary is that each(n-1)-connected 2n-manifold admits selfmaps of degree larger than l,n>1. In the most interesting case of dimension 4. With the additional s...
作者:张建成 期刊:《泉州师范学院学报》 2005年第02期
在文献[2]的基础上讨论Hilbert代数的Fuzzy理想,获得了Hilbert代数的Fuzzy理想的一些等价条件以及同态映射象的性质.
作者:乌云 期刊:《内蒙古师范大学学报·教育科学版》 2004年第02期
通过加强环的子环所满足的条件,推广了环的理想概念,定义了环的二次弱理想的概念,讨论了二次弱理想的基本性质,以及二次弱理想与理想、弱理想的关系.
作者:郑明; 李彤; 莫启; 周小煊; 向文坤; 何云 期刊:《计算机科学》 2018年第03期
基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,...
作者:廖翠萃; 廖祖华; 马帅; 罗晴; 王琪 期刊:《模糊系统与数学》 2017年第06期
将软集概念及其相关运算运用到FI代数问题的研究。首先,提出了FI代数新型软MP理想的概念;其次利用软集的交(限制交)、且等运算,研究了FI代数的软MP理想的基本性质,并运用对偶软集的方法给出了FI代数软MP理想的等价刻画;最后讨论了FI代数的软MP理想的同态像和原像的性质。
作者:陈进; 杨涛; 杨阳 期刊:《中国机械工程》 2004年第01期
介绍了一种新的进化算法--基于同态映射进化算法(EAHM),并针对其存在的早熟情况,利用同态映射的逆映射关系,提出了改进方法.以汽车制动器最优化设计为算例,验证了改进方法能够摆脱局部收敛,找到更优的设计方案,提高了全局寻优能力.
作者:李论; 廖祖华; 陈柳红; 宋威; 吴树忠; 朱晓英 期刊:《计算机科学与探索》 2017年第08期
给出了KU代数的点态化(∈,∈∨q(λ,μ))-模糊正关联理想与广义模糊正关联理想的概念,得到了KU代数的(∈,∈∨q(λ,μ))-模糊正关联理想的一些等价刻画,并指出了(∈,∈∨q(λ,μ))-模糊正关联理想有丰富的层次结构;其次得到了多个KU代数的(∈,∈∨q(λ,μ))-模糊正关联理想的交、并、同态像和同态原像(在一定条件下)也是(∈,∈∨q(λ,μ))-模糊正关联理想;而后又对KU代数(∈,∈∨q(λ,μ))-模糊正关联理想的直积以及投影进行了研究;最后...
作者:朱士信; 孙琳 期刊:《电子学报》 2006年第06期
本文定义了k个从k元n级de Bruijn—Good图到k元n-1级de Bruijn—Good图的满同态映射Dα,利用这些同态映射,我们证明了n级非奇反馈函数f(x1,X2,…,Xn)与以Dα(Gf)为状态图的n—1级非奇反馈函数g(x1,x2,…,xn-1)的一个关系定理,给出了k元de Bruijn序列的反馈函数的一个升级算法,特别当k=2,α=0时,利用映射D在Z2上运算的简单性,本文给出了一个从2元n-2’级de Bruijn序列反馈函数直接生成2元n级de Bruijn序列的反馈函...
作者:沈筱彦; 陈杰 期刊:《计算机科学》 2006年第04期
UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射,定义了一个从UML模型子集导出可综合Verilog描述的算法,为UML模型对于建模硬件系统提供了形式化的语义,从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。
作者:孟凡友; 吴广庆 期刊:《哈尔滨师范大学自然科学学报》 2006年第05期
给出当L是完全分配格时L-fuzzy理想的L-fuzzy剩余类的定义及若干刻画,并证明了若f:X→Y是环满同态,B是Y的L-fuzzy理想,则X关于L-fuzzy理想f -1(B)的L-fuzzy剩余类做成的环X/f-1(B)与环Y同构.
作者:于加举; 陈秀荣; 程冰; 袁冬梅 期刊:《贵州工程应用技术学院学报》 2008年第04期
在AFS代数和AFS结构的基础上,用EI代数和布尔矩阵环之间的一个同态关系,证明了与每个布尔矩阵对应的所有概念在EI代数上形成一个子代数。并且找到了子代数的一些性质和研究子代数的新方法。应用这些新方法和子代数的性质可以深入研究概念的数学本质。
作者:屈寅春 Yin-chun 期刊:《安庆师范学院学报》 2010年第03期
本文利用抽象代数的基本理论,结合初等数论的有关知识,对两个有限循环群之间存在的所有同态映射进行了分类研究,给出并证明了计算其总数的一个数学公式.
作者:胡波 赵红芳 冯春雨 期刊:《河北省科学院学报》 2009年第01期
在研究重模多项式加密算法中,需要求重模多项式的逆多项式。本文给出了数模为素数幂的重模多项式环上逆元素的存在性判断方法及一个新的求逆算法。
作者:王文丽 王银河 陈玮 期刊:《模糊系统与数学》 2009年第06期
首先利用代数中幺半群的概念给出了模糊逻辑系统专业领域的概念,建立专业领域概念的目的是为了规范模糊逻辑系统中语言变量的取值范围,从而将模糊逻辑系统看作是某个笛卡儿乘积幺半群的有限子集。然后利用这个笛卡儿乘积幺半群的乘积运算构造了模糊逻辑系统幺半群。最后,在一定的约定条件下证明了通常使用的一类Mamdani形模糊逻辑系统的输出可以看作是从模糊逻辑系统幺半群到连续函数域的同态映射。
作者:王彩霞 张娟娟 期刊:《西安文理学院学报·自然科学版》 2010年第01期
给出了同型系统的同态、同构概念,并引入了给定系统的诱导系统,利用映射及同态公式,刻划了同型系统的同态(同构)与其诱导系统的同态(同构)之间的密切关系,并对同态(同构)不变性问题进行了讨论,得出了一些相关结果.
作者:王石 伍丁红 戴金海 期刊:《计算机仿真》 2011年第10期
传统的观点认为建模与仿真是以相似性原理为基础,从系统论的观点来看建模与仿真可以表示为真实系统到仿真系统的同态映射。从仿真应用风险的出发,针对建模的正确性问题,利用概率论的观点对仿真应用风险进行了量化,提出了基于风险函数的建模与仿真原理,给出了风险函数的概念,即建模与仿真应用风险的量化;其次给出了风险函数的计算方法,即基于数学期望的计算方法;最后进行风险函数在建模与仿真和VV&A的方面仿真验证。对于VV&A的量...
在L-拓扑空间中提出α-远域族和α-拟一致结构的概念,讨论它的一些基本性质。在此基础上证明了每一个α-拟一致结构都可以诱导出一个α-层拓扑,每个α-层拓扑空间都可以α-拟一致化。由此,进一步分析α-拟一致连续与层连续之间的关系。
作者:刘莉 徐颖吾 期刊:《纺织高校基础科学学报》 2014年第02期
设X*是定义在有限字母表X上的自由半群,研究从X*到X*的同态映射,得到了保持ρe-独立语言,ρb-独立语言,关联码以及p-语言的条件.进一步完善了保持语言的同态映射的研究工作.
作者:成乐 张晓军 杨树生 期刊:《景德镇学院学报》 2015年第03期
归纳了代数中的线性空间、群、环、域、模等几个具有代表性的代数系统之间的关系以及它们的研究方法,并探讨了建立和研究代数系统的一般方法。
作者:张龙祥 廖祖华 王琪 王瑞云 刘维龙 期刊:《智能系统学报》 2015年第06期
为获得新型软域的新概念,采用与传统软代数不同的定义方法,将软集的参数集赋予域的代数结构。并且得到了新型软域的充要条件。利用软集运算中的限制交运算,得到了2个新型软域的限制交仍是新型软域。运用对偶软集的方法给出了新型软域的等价刻画。最后利用域的同态映射诱导出软集的同态像与原像,并得到了新型软域的同态像和原像仍是新型软域的性质。以这种方式得到的新型软域比通常的软域有更深刻的结果,为今后新型软代数的研究提供...