【摘 要】
：
在文献[1]中,Bart.Jacobs和Jesse.Hughes引进了集合范畴上带有偏序关系的函子概念,定义并研究了模拟以及双向互模拟等概念.本文在同样的框架下,引入谓词不变量,定义了松弛不
论文部分内容阅读
在文献[1]中,Bart.Jacobs和Jesse.Hughes引进了集合范畴上带有偏序关系的函子概念,定义并研究了模拟以及双向互模拟等概念.本文在同样的框架下,引入谓词不变量,定义了松弛不变量和双向松弛不变量等概念,研究了其基本性质及相关结果,并比较了松弛不变量与模拟之间的关系,给出了双向松弛不变量与不变量等价的充分条件；此外我们还引进了最大松弛不变量的概念,并证明了在集合范畴上,最大松弛不变量是关于一个特殊函子余代数的终结余代数。
其他文献
本文由两部分构成．第一部分研究了具有随机足标的甲稳高斯序列的最大值与最小值的联合分布以及平稳高斯向量序列的最大值与最小值联合的几乎处处中心极限定理． 主要结论如下
建设项目开展招投标活动，可以深化建设体制的改革，规范建筑市场行为，完善工程建设管理体制，从根本上制止腐败行为发生。通过发现、解决建设工程招投标中出现的问题，不断完善我国的
线性多乘积优化问题是一类重要的优化问题.在实践中，它能够广泛应用于经济、环境工程、信息技术和工业制造等各个领域;在理论研究中，该类问题存在大量非全局最优的局部最优解，不
本文主要对双层规划进行了探讨，包括双层线性规划、双层非线性规划和混合整数双层线性规划。讨论了它们的基本模型、定义以及一些基本性质，并在此基础上给出了几个求解算法。
多项式的Mahler测度指的是它的所有模大于1的根与其首项系数的乘积的绝对值．而代数整数的最大模问题是与Mahler测度相关的计算数论中的又一大课题．代数整数α的最大模α指的是
半群S的双同余，与任何代数的双同余一样，恰是由S的商半群之间的同构诱导的S上的一类二元关系，它们组成的集合(S)在适当定义的二元运算下是一个逆半群，承载着S本身的许多结构信息
量子群或Drinfeld-Jimbo量子包络代数是自上世纪八十年代中期发展起来的代数分支，由于它有很强的物理背景并与其它数学分支有着紧密的联系，在近二十年的时间里，这一理论已取得了
本文讨论了方差分析模型中参数的Bayes最小风险线性无偏估计(Bayesminimum risk linear unbiased estimators，简称BMRLUE)及其优良性问题。 本文第一章对Bayes方法的原理以