【摘 要】
：
开互模拟关系是一种特殊的且非常重要的互模拟等价关系,它将替换嵌入到定义中去,这使得它本质上就是一个同余关系,而不需要像迟、早互模拟同余关系那样进行额外的定义.本文把
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京,210093
【出 处】
：
2005年全国理论计算机科学学术年会
论文部分内容阅读
开互模拟关系是一种特殊的且非常重要的互模拟等价关系,它将替换嵌入到定义中去,这使得它本质上就是一个同余关系,而不需要像迟、早互模拟同余关系那样进行额外的定义.本文把变量和通道当作两种不同的名来进行处理,只有变量可以被实例成通道名,而不同的通道名永远都不会相等,这使得开互模拟关系的定义非常简单.本文的主要贡献在于给出了这种开互模拟关系的公理化系统,并对其完备性进行了证明.
其他文献
本文提出了BP算法优化策略,并从此策略出发,提出了基于遗传学习算法的BP算法改进方法和基于进化规划的BP算法改进方法,并分析了各自的优缺点.BP算法的改进和优化还有很大的研
本文提出了一种基于簇的移动AdHoc网络入侵检测系统.该系统利用NRCE分簇算法将网络分层管理,有利于资源分配和提高可扩展性,弥补网络过于分散、无法协同的不足;并应用基于异
当前高职体育面临着发展的机遇与严峻的挑战,如何充分发挥高职体育教育功能,是目前高职院校体育生存和发展所必须面对的课题。本文论述了高职院校体育教学的目标和任务。体育
2013年,审计署直属机关团委响应中央国家机关团工委“根在基层·中国梦”活动的号召,组织了13个部门和单位20名青年干部赴长白山保护开发区管委会开展调研实践,对当地经济社
算法是计算学科的一门核心课程,与程序设计语言和数据结构等课程为学生提供了掌握程序设计技术的支撑.本文从分析算法设计分析课程的三个学科形态入手,就在教学实践中对此问
2月19日上午,国务院新闻办公室举行新闻发布会,邀请审计署审计长刘家义同志就“加强审计监督,促进经济平稳较快发展”为主题介绍有关审计情况,并回答记者提问.海内外7家媒体
本文对基于分块奇异值分解的数字水印算法及实现进行了研究.文章阐述了基于奇异值分解的数字水印算法和基于分块奇异值分解的数字水印算法,并对Block-SVD算法的实验结果进行
在审计体制问题上，我国传统上将之划分为四大类，即立法型、独立型、司法型和行政型。其中所谓司法型审计体制，是指一些国家设立的审计法院，具有司法职能。我们过去对一些国家审计
7月1日,审计署召开党的群众路线教育实践活动动员大会.审计长刘家义在会上要求,要深入学习贯彻中央召开的党的群众路线教育实践活动工作会议精神和习近平总书记等中央领导同
审计史的研究表明,古今中外,几乎自国家产生始,就设立了审计机构.这是因为有国家就要有财政收入,而不管财政收入的所有者是谁,都不可能直接使用和经营收入,这样,就产生了我们