论文部分内容阅读
Ω-范畴具有范畴论和序理论的双重意义，可为计算机程序语言的语义提供量化的模型，本文给出了范畴Ω-Cat中极限和余极限的定义，同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
范畴Ω-Cat的极限和余极限
【摘 要】
：
Ω-范畴具有范畴论和序理论的双重意义，可为计算机程序语言的语义提供量化的模型，本文给出了范畴Ω-Cat中极限和余极限的定义，同时研究了范畴Ω-Cat与范畴Set之间极限和余极
【机 构】
：
喀什师范学院数学系,新疆喀什844006伊犁师范学院数学与统计学院,新疆伊宁835000
【出 处】
：
中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议
【发表日期】
：
2012年11期
其他文献
本文研究了一个二元广义Weibull分布模型,其边缘分布分别是一元广义Weibull分布.利用EM算法,得到了未知参数的极大似然估计和观测Fisher信息矩阵.
为探索红外光谱技术在辐射效应研究中的应用,以合肥同步辐射红外和远红外光谱实验站为平台开展软X射线低剂量辐射效应研究。用傅里叶变换红外显微镜光谱仪采集软X射线辐照前
回顾了由二元关系产生的粗糙近似空间及其导出的各种粗鞋近似算子的构造性定义，介绍了经典和模糊环境下各种信任结构及其导出的信任函数与似然函数的概念，给出了粗糙集理论
应用涉及更远邻原子的改进分析型嵌入原子方法(MAEAM)计算了面心立方(fcc)金属(Ag,Al,Au,Cu,Ir,Ni,Pd,Pt,Rh)的空位性能.在MAEAM计算中,考虑了远邻原子相互作用和单空位迁移
在BnNH2.TFA/1,4-二氮杂二环[2.2.2]辛烷催化下,α-取代的苄叉丙酮与α-取代β-酮酸酯发生Mi-chael加成反应,合成了季碳-叔碳化合物——α,α-双取代β-酮酸酯,其结构经1H NM
针对铝锌热镀板存在的问题,通过添加合金元素的方式,提高了铝锌镀板的性能,为该类镀板使用领域的扩大和产品质量的改进提供了途径。
Aiming at the existing problems of al
采用一步法对钢铁表面化学吸附成膜技术进行了研究,通过单因素试验优化出较佳的工艺条件:聚乙二醇(400)20mL/L,三乙醇胺40mL/L,硅烷偶联剂10mL/L,丙三醇15mL/L,温度45°C,pH=
应用荧光光谱法研究了生理条件下苯溴马隆对和Cu(Ⅱ)单独存在和同时存在对牛血清白蛋白荧光光谱特性的影响.结果表明:Cu(Ⅱ)和苯溴马隆均可使牛血清白蛋白的荧光强度发生静态
基于密度泛函理论(DFT)的第一性原理方法,在广义梯度近似下计算了Fe中掺Cr或Ni时S原子在Fe (100)面吸附的结构和电子性质,并计算了其分子轨道和吸附能.结果表明:S原子均是吸