论文部分内容阅读
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴.
S-定向完备偏序集范畴
【摘 要】
：
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映
【机 构】
：
湖南大学
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
对于完备格L上给定的|I|×|I|的矩阵R,若存在|I|×|I|的L上的矩阵S满足S☉S=R,则称S为R的平方根,其中|I|表示指标集I的基数,☉在本文中指的是sup-(J)合成算子并且(J)是无限Ⅴ
分析了(銫) (Cs)原子作为旋光介质的线性法拉第磁光效应.采用二能级模型解释了(銫)原子与光的相互作用,并利用琼斯矩阵推导了当激光器的频率处于(銫)原子共振线时,经过(銫)气
采用DSC、WAXD、PLM等分析手段研究了辛二酸和辛二酸盐对等规聚丙(烯iPP)结晶行为的影响。结果表明:辛二酸、辛二酸锂、辛二酸钠、辛二酸钾、辛二酸镁、辛二酸钡和辛二酸锌都
为了获得准确和具有重复性的疏水缔合聚合物溶液稳态剪切黏度测试结果,分析了溶液的结构流体特征对于流变测试结果的影响,讨论了HAWSP溶液结构的破坏/恢复动态平衡与稳态剪切
从具有全局最优解的几何活动轮廓方法出发,分别提出了两种基于齐次Besov空间与小波变换的图像分割算法,并给出了解的存在性证明.数值求解利用小波软阈值以及分裂Bregman方法,能够有效提高计算效率.由于小波变换具有多分辨特性,对于包含较多细节信息的图像,采用新算法能够得到更好的分割效果.数值实验表明采用新算法能够获得较好的分割效果,并具有较高的计算效率.
本文对一类相当广泛条件下的不同分布两两NQD列的部分和及乘积和强大数定律进行讨论,在更弱的条件下,推广了已有的几个最新结果,使之成为本文结论的推论,所得结论更具优越性,
针对混合整数非线性约束优化问题(MINLP)的一般形式,通过罚函数的方法,给出了它的几种等价形式,并证明了最优解的等价性.将约束优化问题转化成更容易求解的无约束非线性优化
本文建立了采用二氯甲烷超声波萃取,中性氧化铝脱脂净化,无水硫酸钠脱水,低温浓缩定容,最后采用高效液相色谱法对皮革样品中富马酸二甲酯进行定性定量的检测方法.该方法测定