计算机科学中的共代数方法的研究综述

来源 :软件学报 | 被引量 : 0次 | 上传用户:echo_1978
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从"构造"的角度研究数据类型,而共代数则从"观察"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等
其他文献
摘要:文章介绍了《单片机原理与接口技术》课程的应用、特点,对单片机课的教学改革进行了探讨。  关键词:单片机;课程;教学改革    《单片机原理与接口技术》课程涉及的知识点多,对技能要求全面,使得学习者备感困难。同时,由于高职学生的知识接受能力弱,传统教学方式必然造成学生听不懂,跟不上,进而厌学。面对以上问题,本文试图就高职特色的《单片机原理与接口技术》课程教学改革作一探索。    《单片机原理与
目的:通过对增城地区各乡镇当地不孕不育夫妇的流行病学调查,了解生殖道沙眼衣原体和解脲支原体感染对女性不育的影响.方法:对该地区543名不育妇女进行不育症流行病学调查以
文章从《VB语言程序设计》课程内容体系出发,指出了当前程序设计课程存在的问题,提出了一种新的课程内容体系.并将该方法引入课堂教学中,取得了良好的教学效果。
分析独立学院微积分教学工作面临的问题和困难,提出加强数学背景,调整教学内容,教学方法的相关改进和实践等措施来提升微积分的教学质量。
【正】 一要青饲料不断 国兔的盲肠里面生产繁殖许多微生物,其分泌的纤维素酶具有分解草料的能力,它对粗纤维的消化率可达60%~70%。如果养兔中停喂草料,食团容易板结,阻塞盲肠和
完美性爱是婚姻和谐、家庭美满的基础.有的家庭并不富裕,但夫妻之间其乐融融;有的家庭豪华舒适,但夫妻之间却貌合神离;还有的家庭因性爱的迷失,夫妻正处在迷茫、困惑乃至痛苦
随着全球化的不断扩展,山东省中外合作办学在飞速发展的同时也出现了一系列问题。本文采用SWOT分析法,通过对山东省开展中外合作办学过程中优势、劣势、机遇、挑战的全面分析
摘要:掌握直线与平面的基本概念是学好立体几何的关键。教学中要消除学生的学习顾虑,激发学习兴趣,用生动、形象、有趣的语言讲清概念,抓住关键性的词汇,用反例图形澄清错误认识,借助模型和实物,善于归纳总结找出规律,加强对概念的理解与记忆。  关键词:立体几何;直线与平面;基本概念;教学方法    立体几何中的概念、公理、定理是进行逻辑推理的基础,尤其是“直线与平面”这一章的内容,它系统地研究了线线、线面
吸入式增氧机与目前国内常用的增氧机(如叶轮式、水车式、喷水式、鼓风式等)不同,主要有以下几个特点。 1.结构独特 吸入式增氧机不象其他型式增氧机将水抛向空中(浪费能量),