【摘 要】
：
该文提出了一种程序转换的实现方法:实例分析法.此方法将程序转换的任务分为实例处理与控制结构实现两部分,该文讨论前者,它以相关分析为基础,重点在于获得满足功能规约的实
论文部分内容阅读
该文提出了一种程序转换的实现方法:实例分析法.此方法将程序转换的任务分为实例处理与控制结构实现两部分,该文讨论前者,它以相关分析为基础,重点在于获得满足功能规约的实例,进而实施实例变换.该文定义了一规约语言.该文定义了基元关系,概念和结构体.论域划分/覆盖是一种数值关系相关特例,该文讨论了将覆盖处理为划分的方法.更一般的相关被分解四种情形,并讨论了各自的处理方法.通过对数值关系的相关处理,使实例构建更简单易行.为分析特定实例是否满足规约,该文讨论了将实例应用于规约后断言并进行演算的方法.综上所述,该文建立了一个实例处理的基本实现框架.
其他文献
在诸多研究领域中，实际获取到的数据经常由于实验条件限制等原因具有复杂结构，例如删失、缺失或带有测量误差等等。针对不同的数据结构提出相应的统计推断方法是必要的。本文主
该论文将借助图模型描述缺失数据机制,探讨各种缺失机制的图模型参数的可识别性,给出模型可识别的各种条件.我们用可分解图模型描述一个含有缺失数据的二维列联表,讨论了各种
该文利用锥上的不动点理论,广义拓扑度理论,上下解方法,先验界方法和一些分析方法,分别研究了二阶奇性边值问题、高阶奇性边值问题、奇性初值问题和带有一定奇性的离散边值问
在计算机辅助几何设计领域，对三维物体进行曲面重建是一种常用的手段和方法。曲面重建是指根据实物模型的采样点数据，或者是利用初始网格曲面重建出原始模型的数学模型。重建出
散文是高考语文现代文阅读中常考的体裁,而散文表达技巧的鉴赏又是高考考查的热点。那么对于这一题型,我们该如何作答呢?怎样才能拿到高分呢?我觉得应该做到以下几点:1.要有
课堂上能否达到最有效的教学效果,完成好单元教学任务,是每一个教师应该十分重视的问题.西方学者鲍尔说:“时间是教育王国的金钱,教育需要时间,教师用时间提供教学服务,学生
本文我们确定了:在给定匹配数的二部图中具有最小距离无符号拉普拉斯谱半径的惟一的图，在给定独立数和悬挂点数的图中具有最小距离无符号拉普拉斯谱半径的惟一的图，在给定奇点
移动用户作为移动通信网络的服务对象，他们的行为一直是网络关注的重点，尤其是用户的移动行为。用户移动行为是网络在建设和服务中的重要参考。目前，第五代移动通信技术(5G)对用
该文讨论的是周期检测,单目标产品的库存模型.在该文中的模型区别于往的库存模型主要在于决策者不仅要考虑订货而且要考虑退货.这样,在每个决策时刻(检测时刻)决策者有三种选