论文部分内容阅读
由于数据化需要针对更大的程序块，它比一般的算法精化更加复杂。在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容。该文介绍了相关的基本要领。在精化演算的基础上，构造了一种数据精化算了，并提出一种基于数据精化演算和程序窗口推理的数据精化的方法。
基于程序窗口推理的精化演算
【摘 要】
：
由于数据化需要针对更大的程序块，它比一般的算法精化更加复杂。在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容。该文介绍了相关的基本要领。在精
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
软件学报
【发表日期】
：
2000年8期
【基金项目】
：
国家自然科学基金! (No.6 96 730 0 6 ),,国家“九五”重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
其他文献
黑龙江双鸭山矿务局技工学校1995年下半年进行了在职教师任职资格的考核工作。该校借鉴临汾技校的作法制定了《教师合格证考核方案》及配套的执行办法,并进行了严格的考核和
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行为。此外，还对ＳＶＯ逻辑进行扩充，引进一些新的概念
世纪之交的“九五”,同时带给了我们机遇和挑战。“九五”是我国实现经济发展第二步战略目标,初步建立社会主义市场经济体制的重要历史时期。要实现这一目标就必须按照党的十
作文教学是小学语文教学的重要组成部分．它既要培养学生运用语言文字的能力，又要培养学生观察事物、分析事物的能力。而在我们的教学中常有小学生见到作文就头痛的现象发生，对作
一、《电子技术基础》课程知识、技能模块设置方案 1、教学单元模块设置 教学单元模块的设置,是一体化教学的基础工作。每个教学单元作为一个模块,模块的内容按专业课目标所
图书馆作为文献信息中心,有效地推动了社会的发展和进步,同时也有效地促进了民众综合素质和文化水平的提升。文章介绍了图书馆外借服务工作的基本特征和现状,重点对图书馆员
高中文言文教学中如何才能全面发挥古代优秀作品的育人功能,有效培养学生的探究能力,全面提升学生的语文素养呢?笔者认为可以从以下几方面入手:一、引导学生在“读”中探究,
近几年辽宁省中考取消了英语听力，这样相对减轻了学生的学习负担，有利于排除考生在考试刚开始就进行听力测试而情绪紧张以及设备等问题导致的失分隐患，在这种情况下有利于农村考
面对用户日益增多的个性化知识推荐需求,图书馆开展基于知识挖掘的个性化推荐服务,不仅是提高用户满意度的要求,还是图书馆创新工作的研究重点。文章分析了图书馆知识挖掘的