【摘 要】
:
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明
【机 构】
:
喀什师范学院数学系,新疆喀什,844006伊犁师范学院数学与统计学院,新疆伊宁,835000;
论文部分内容阅读
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴.
其他文献
目的概述近年来有关宇宙飞行影响航天员免疫系统功能的研究进展。资料来源与选择国内外相关文献35篇。资料综合论述了宇宙飞行对航天员免疫系统功能的影响及其可能机制。结论
计算机数字化技术发展带动计算机相关设备如数码相机、摄像机、电脑显示器、各种打印设备等应用越来越广泛。自然界的图形是图像信息的主要来源,图像显示印刷是这些图像相关设备的主要功能,图像处理技术是当今多个科学技术应用中不可或缺的手段,图像颜色处理及其转化是其关键技术。文章首先概括介绍计算机图像处理基础知识,然后分别对图像颜色处理和转换进行详细介绍。
在研究移动应用安全性的基础上,重点分析了移动应用中数据加解密的特点,构建了一个移动应用中敏感数据的加解密模型.通过搭建Eelipse+WTK(J2ME Wireless Toolkit)的移动购书
随着计算机技术的普及和高速发展,面向各个应用领域和行业需求的各种软件层出不穷,因此,对软件进行保护和软件系统的恢复已经成为软件企业所面对的现实问题.首先分析计算机软
海工装备建造过程中分段多,相互关联,虚拟装配可以避免各分段直接的干涉和碰撞,保证建造的顺利进行。文章对VRML和Java交互行为的机理进行了研究,通过EAI(外部编程接口)和Scr
众所周知,目前我国煤炭存在利用效率低,环境污染严重等问题,随着科学技术的发展,煤集成共转化制备合成气工艺得到了广泛发展,首先论述了我国煤集成共转化制备合成气工艺现状
以过硫酸铵和亚硫酸氢钠为引发剂,采用水溶液聚合法制备一种吸水性高,耐盐性好,耐酸碱性好,重复使用性好,热稳定性高的丙烯酸系高吸水性树脂。文章研究单体浓度、中和度、引
本文采用柠檬酸凝胶燃烧法合成了性能优良的Nd3+,yb3∶Y2 O3多晶原料.XRD、IR和SEM测试结果表明样品在900℃煅烧可获得纯相的Nd3+,yb3∶Y2O3,平均粒径约为40nm;TG-DTA测试结
总结了自由度的计算方法,指出了计算平面机构的自由度应注意的事项,同时,结合六自由度机械手的复杂运动控制,提出了在机械设计中运动机构自由度的控制的现实意义,从中掌握工
目的 探讨安徽省大学生自杀意念的发生率与生活质量、负性生活事件和所获得的社会支持的关系.方法 采用多阶段分层整群抽样方法,应用一般情况调查表、Beck自杀意念调查表(BSS