子共代数与共同余共关系

来源 :软件学报 | 被引量 : 0次 | 上传用户:mzhou2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明了集合范畴上的子共代数都是正则子共代数.进一步利用共同余共关系与子共代数之间的对应,给出了集合范畴上共生成子共代数的一种构造方式.
其他文献
为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合web服务的方法.使用EDFA可以准确地描述web服务:EDFA的状
目的:探讨冠状动脉慢血流患者冠状动脉血流储备(CFR)的变化及麝香保心丸对CFR的影响。方法:将有胸痛症状但冠状动脉造影结构正常的冠状动脉血流缓慢者142例,分为治疗组和对照组,
Hans Dobbertin,Antoon Bosselaers和Bart Preneel在1996年提出hash函数RIPEMD-128,它包含两个独立并行的部分,每一部分的输出组合成RIPEMD-128的输出结果.给出前32步RIPEMD-128
扎实的功底让我的舞台宽广    1987年,我从南通师范学校毕业。在毫无准备的情况下,我居然被海门实小这所享誉省内外的名校相中。这应该是非常令人高兴、激动的事,但是,除了稍有些自豪外我却怎么也高兴不起来,因为在小学教一辈子音乐完全不是我最初的理想和愿望。我的计划是在离家不远的一所农村完中——麒麟中学边工作边学习,两年后参加高考,进入大学继续学习钟爱的音乐,为自己创造更高的发展平台。在既自豪又遗憾的
提出了一种基于图像序列的飞行器接近角的估计方法.飞行器的接近角对于飞行器的着陆来说是一个非常重要的参数,是指飞行器在着陆时的飞行轨迹与地平面之间的夹角.飞行器在着
一、使用多媒体应从美术课堂教学的需要出发,讲究适用适度    从美术课程教学内容来看,并不是所有的教学内容、每堂课都适合使用多媒体进行教学,其运用取决于教学的实际需要。如鉴赏类、电脑绘画类、电脑设计类等教学内容,使用多媒体进行教学就十分适合。多媒体带来的丰富多彩的信息能使学生在比较玩味中形成审美经验,提升审美能力,掌握表现美的技能要求。而绘画、色彩等技能性较强的教学内容就应当慎用多媒体进行教学。 
首先对按元素划分安全级的多级数据库上由函数依赖(FD)和多值函数依赖(MVD)引起的推理问题进行了研究,所提出的推理控制算法在很大程度上提高了数据的可用性.为进一步有效防范推理
斯霞是一个有故事的人。斯霞老师爱学生爱同事的故事很多。和有些人不同的是。她的故事大多数是她的学生、她的同事在事后口口相传才流传开的。俗话说:“金杯银杯,不如众人的口碑。”斯霞生前,从没有为自己表过功,也没有吹嘘自己帮助了多少人,然而,“桃李不言,下自成蹊”。一段段真实生动的故事,记录下斯霞老师的大爱情怀;一幕幕温馨感人的画面,诉说着对斯霞老师的无比崇敬……  “成功路上的引路人!”  上世纪八十年
[关键词]文学审美体验的生成    文学的本质是什么?是审美!语言的审美、文字的审美、情感的审美。儿童的文学阅读审美方式很多,现从文学作品的本体特征维度来谈儿童的文学阅读审美方式。    一、形象层审美:诵读与讲述    儿童在阅读中,首先注意文学的表层形象,如人物、事件、情节、图景,声音、节奏、韵律等。这种审美注意把“文学形象”变得具体可感鲜明生动。如诗歌的“气势”是壮健强势,还是阴柔之美;是和