论文部分内容阅读
三角范畴是一个带有自同构（称为平移）的加法范畴，并且满足4条公理，其中的一条重要公理是八面体公理．作者结合一个自同构T定义了quasi-pushout与pushout，证明了在三角范畴中其它三条公理满足之下，quasi-pushout或pushout与八面体公理等价．
三角范畴中八面体公理的几个等价命题
【摘 要】
：
三角范畴是一个带有自同构（称为平移）的加法范畴，并且满足4条公理，其中的一条重要公理是八面体公理．作者结合一个自同构T定义了quasi-pushout与pushout，证明了在三角范畴中其它三条
【机 构】
：
运城学院数学系
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2006年3期
【基金项目】
：
山西省重点学科扶植基金致谢：衷心感谢彭联刚教授的指导和帮助!
其他文献
针对多人非合作对策难以求Nash均衡解的问题,作者对遗传算法中的种群分化算法进行改进,以解决这个问题.仿真实验的结果表明,对于求解Nash均衡解,此算法有了比较良好的效果.
作者提出了一种基于标准论域确定隶属函数的新方法．该方法对语言值集进行通盘考虑，而不是孤立地确定某一个语言值的隶属函数．作者首先明确提出了标准论域的概念，在标准论域上，语言
对Darcy—Stokes方程，作者利用局部压力梯度投影的技巧，提出了稳定的P1-P1有限元格式，证明了方法的稳定性，导出了误差估计．数值实验验证了该方法对Darcy—Stokes方程有效．
作者讨论了一类具耗散项的非线性四阶波动方程utt＋△^2u＋u＋δut=｜u｜^p-1u边值问题的爆破性质．依据势井理论，通过构造修正的不稳定集，作者给出了解爆破的一个充分必要条件．
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑，并由此对Mislove和Lawson提出的一个公开问题作了部分回答．
作者对基础R0-代数进行了研究，从定义的形式上对BR0-代数进行了简化，使之更加符合逻辑代数的基本特征，进一步体现了BR0-代数与其它逻辑代数之间的关系．
基于修正的Hellinger—Reissner变分原理，利用Wilson非协调位移和9参完全线性应力模式，作者得到了Pian—Sumihara五参杂交应力四边形元（P—S）的一个等价形式．这一等价性关系使P—S
研究了Hilbert空间中的一类广义非线性变分不等式组，运用η-次微分算子的预解式技术和辅助原理技术，证明了广义非线性变分不等式组解的存在性和唯一性，推广和改善了已有结果。
在密码学的应用中,布尔函数的传播准则和对称性是非常重要的性质.Preneel等率先提出高阶传播准则.作者用一个新的非常有趣的组合方法,给出一个对所有对称且具有二阶或二阶以