论文部分内容阅读
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证明系统为推理规则,使得程序精化从形式化发展为半自动化.
互逆主义程序精化——程序精化从形式化到半自动化的发展
【摘 要】
：
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二
【机 构】
：
北京联合大学信息技术研究所
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年z2期
其他文献
[摘 要]统编教材对学生的阅读提出了更高的要求。目前，阅读教学存在要求虚设、引领缺失、学法缺席和忽视个性感受等问题。在课堂教学中，教师应该精心备课，对课堂可能会出现的阅读状况进行预测，充分尊重学生的主体地位，使教学目标落到实处，有效引导学生掌握语文学习的规律，获得语文素养的全面提升。 [关键词]阅读现状；阅读策略；课堂教学；个性感受 [中图分类号] G623.2 [文献标识码] A [文章编号
民盟四川省委于8月27日召开了纪念张志和同志诞辰100周年座谈会,原国民党24军参谋长杨家桢同志以生前好友的身份应邀莅临了这次会议。会上,他谈到了张志和同志对刘、邓、潘起
爱国统一战线的广泛性主要表现在对象增多、范围扩大、领域拓宽。 在实现四化、统一祖国、振兴中华、建设有中国特色社会主义的总目标下,爱国统一战线要团结一切可以团结的力
[摘 要]分数、百分数应用题解决起来比较烦琐，教师教学中可引导学生通过类比迁移，从相对关系的角度进行分析，使学生正确解决问题，提问解决问题的能力。 [关键词]分率;数量;辨析;数学教学 [中图分类号] G623.5 [文献标识码] A [文章编号] 1007-9068（2019）06-0035-01 分数、百分数应用题历来是数学教学的难点，常令教师头疼不已，一旦题中的相对关系变得错综复杂
本文运用面向对象技术对高校教务管理业务进行深入的分析,结合业务环境的分布性及系统应用环境的分布性,运用C/S、B/S及WebService技术建立基于校园网环境的高校教务管理信息
其实我并不喜欢这个标题。至少,它所立足的那个至高无上,俯瞰众生的角度,与我的平民身份不符。在这个泱泱大国,没有一寸土地归属于我的名下,也没有一个人隶属于我的统治。但
识字教学过程中教师重视学法指导,把学生看作是学习和发展的主体,课堂上留给学生充分的自主学习时间,让学生充分发挥自己的聪明才智,采用自以为最好的方法记忆字形、字音,有
页迁移是分布共享存储系统中动态开发数据局部性的一种优化策略,但体系结构相关性及时空开销限制了它在实际系统中的应用.本文立足于CC-NUMA系统和具有单地址空间映象的clust
网格信息服务为网格提供了对资源的发现、刻画和监控功能.本文首先介绍了网格信息服务现有的两大模型,即层次模型和关系模型,然后总结了这两大模型各自的优缺点,最后指出网格
本文从有效利用资源的角度出发,提出了一种以最小化处理机数目为优化目标的Best-Fit启发式容错调度算法.该算法采用主/副版本备份技术和副版本的主动运行方式与被运行方式相