伴随对相关论文
广义Comma范畴主要是由两个函子诱导的一类范畴.它不同于Comma范畴与余Comma范畴,而是这两个范畴的真正推广.该类范畴在Artin代数......
三角范畴的粘合起源于A.Grothendieck的思想,其公理化的定义由A.A.Beilinson,J.N.Bernstein和P.Deligne引入,现已成为表示论和代数......
本文讨论一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))[h∈(0.75,1),k∈(0,1)]的一些性质;证明一级泛与运算模型T(x,y,h,k)(......
本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模......
在本文中,我们主要探讨模的覆盖和包络的保持。在文章的第二节中,我们主要考虑以下两个问题:在什么情况下,模的内射包络的直积是模......
本文系统梳理了分散在文献中的有关伴随对的结论.从伴随对的概念着手,讨论一些基本性质,先在加法范畴中得出伴随对的等价刻画,再讨......
Milicic已经对导出范畴及其上同调函子展开研究,并得到许多很好的结果.本文将构造一类新的范畴——准严格P-半Abel范畴,并从整体的......
设A为CM-有限的Artin代数,Γ(A)为A的相对Auslander代数.记Γ(A)-mod为有限生成左Γ(A)-模构成的范畴,我们将利用Γ(A)-mod来刻画G......
证据表明患者接受骶神经刺激治疗严重大便失禁，其伴随对药物治疗无效的便秘，随之也得到了改善。这项技术已用于考虑外科手术的大便失......
剩余格是具有广泛应用的一类模糊逻辑代数系统，同样BCK-代数，BR-代数也是非常重要的代数系统。本文主要研究了BCK-代数，剩余格，BR-代数......
2004年底,刘振亚总经理在对我国能源格局进行全面而深入思考的基础上,提出“开展特高压电网建设”这一战略性建议。中国发展特高压......
本年度经济史学工作者仍旧保持对史学理论方法问题的浓厚兴趣,对西方史学理论及中国传统史学的特点作了进一步探讨.值得重视的是,......
研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-B......
对直觉三角模和直觉三角余模的性质进行研究,提出由此生成的直觉伴随对和直觉余伴随对的概念,讨论它们在直觉模糊区域上的性质,给......
首先把条件真度由三值逻辑系统推广到连续值系统G(o)del和L*中,然后通过计算同时包含伴随对((⊕),→)的4个公式(p(⊕)q)→r,p(⊕)(......
研究了直觉三角模和直觉三角余模的性质，提出了直觉模糊差算子和直觉余伴随对的概念，证明了它们可以由左连续的三角模生成，讨论了它们......
本文讨论了泛与运算模型T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与......
首先描述一般集合范畴Set的伴随对及其性质,其次讨论了在偏序集范畴中的一个性质.最后说明认知逻辑中的互模拟关系事实上就是一种......
考虑了分别由9个模糊蕴涵算子的伴随对构造的模糊控制器．以直流串联电机为实例．验证了每个模糊控制器的控制品质，其控制品质是通过比......
蕴涵算子是逻辑学研究中的重点和难点.本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正......
通过对一些蕴涵算子性质的的研究得出：伴随对是三角模的蕴涵算子一定是正规蕴涵；若正规蕴涵的伴随对是三角模则其导出算子是其自身；正......
论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x，y，h，k)(h∈(0，0．75)，k∈(0，1))是幂零的阿基米德型三角范数，T(x，y，h，k)(h∈(0．75，1)......
进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存......
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p......
首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wajsberg代数及弱R0代数之间的关系,由此引入弱Hil......
定义了与反三角范数＋相对应的蕴涵算子→，指出了伴随对（＋，→）为（＋，→）的对偶伴随对，在此基础上进一步研究了FMP和FMT问题，表明通过（＋，→）和（＋，→）的相互......
研究了两类Abel范畴的recollement的构造.一种是从已知的两个Abel范畴的recollement构造一个Comma范畴的recollement;另一种是从一......
先讨论伴随对定义及其等价条件,给出伴随对存在的一个充分条件;其次讨论40个模糊蕴涵算子和40个模糊圈乘算子的性质,并给出由模糊......
主要探讨了四个重要命题模糊逻辑系统Luk、Goed、Π及L^＊中公式真度的分布情况.首先在Luk、Goed、Π及L^＊中,分别计算了公式（p1×......
<正> 徐城北在《话说“先锋派”》(《文艺报》89年8月12日)一文中指出:说到“本体热”,本来是伴随对于解放后“政治”对于文艺的......
设R1，R2，R’是三个环，j1：R1→R’和j2：R2→R’是环的同态，如果环R是j1，j2作为环的拉回，则称R是环R。和R：通过环R’的拉回环．首先证明拉回环R......
讨论泛逻辑的零级泛运算模型的基本代数性质.证明T(x,y,h)是阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对; 当......
验证了15个有可能存在伴随对的模糊蕴涵算子的保存在交性质,结果表明它们都满足保存在交性质.求出了这15个模糊蕴涵算子的伴随对,......
研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(1)Lu......
伴随是范畴论中最重要的概念之一．其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义，证明了各个定义的相互等价性．从而可以......
在IMTL代数M的全体素布尔模糊滤子集PF（M）∪（Φ）上定叉格运算和逆序对合对应，证明PF（M）∪{Φ}在这些运算下是一个完备的有逆序对合对应的......
文[1]提出了理想状态（h=k=0.5）下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到......
研究区间值直觉三角模和区间值直觉三角余模的性质,提出区间值直觉模糊差算子和区间值直觉余伴随对的概念,证明它们可以由左连续的......
给出一种已知模糊蕴涵算子构造新模糊蕴涵算子的方法. 讨论伴随对定义及其等价条件, 改进伴随对存在的一个充分条件. 特别地, 利用......
The purpose of this paper is to present some dual properties of dual comodule.It turns out that dual comodule has univer......
根系是果树的重要组成部分，传统果树栽培讲究“根深树大”、“深耕地多施肥”。但伴随对果树研究的不断深入，人们逐渐发现根深叶茂并......
吴望名教授建立的FI-代数（模糊蕴涵代数）是重要的基础逻辑代数,且通过弱化WBR0-代数建立的FBR0-代数与FI-代数有相同的代数结构.对FB......
