论文部分内容阅读
本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明，文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的的关系，Ｐｒｏ图的激活过程，并给出了着急递归程序正确性证明的公理和定理。
递归Prolog程序的正确性证明
【摘 要】
：
本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明，文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的的关系，Ｐｒｏ图的激活过程，并给出了着急递归程序正确性证明
【机 构】
：
哈尔滨工程大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1996年1期
【基金项目】
：
黑龙江省自然科学基金
其他文献
在母猪妊娠晚期和泌乳期添加亚麻种子、亚麻粉或亚麻油的研究对其体内激素、免疫和初生仔猪生产性能的影响。60头怀孕68d的母猪被随机分成4个日粮组,各处理组饲喂的母猪日粮
通过分析Wang的修正指数双向联想存储器（MeBAM），本文提出了一个新的指数式双向联想存储器．该存储器不仅保持了MeBAM的优点，如放宽了Kosko对BAM的连续性假定的限制，排除了BAM的补码
本文提出了一种新的基于层次结构彩色图象无失真编码的图象压缩算法．此算法以可变块为基础，利用邻近象素点之间的相关性，由基块逐步生成超块．每一块都用相应层次中一个独立的地址编码，以达到图象的无失真压缩．结果获得比行程编码更高的图象压缩比．
逼近是加快图形特征计算的一个重要方法．本文提出了一个具有确定性的高效的多边形逼近算法，算法设置了一容错系数以满足用户对逼近的不同要求．算法稍加修改后可以处理开端曲线．作
肉桂醛（CIN）是以天然肉桂油和桂皮油为原料合成的．可有效抑制牛瘤胃微生物的发酵．从而对牛的生产性能起到积极的作用。本试验将70头体重为390-25．2kg的一周岁左右的公牛随机分成5
本文首先简要介绍了基于多机系统的半长处理平台所采用的消息传递机制，针对其在传递多维数组时存在的不足，提出了多维数组传递协议，并将其在ＭＰＩ并行虚拟处理平台上实现。
<正>非淀粉多糖(NSP,non—starch polysaccha-rides)是植物组织中除淀粉以外,所有多糖类的总称。目前各种饲料原料,尤其是非常规饲料原料中NSP含量很高(表1),NSP的抗营养机理
目的探讨抗栓酶（Svate）对急性心肌梗死的治疗效果及其溶栓作用。方法对56例急性心肌梗死患者,采用抗栓酶1.0U＋生理盐水20mL静注、冲击。继用抗栓酶1.0U加生理盐水300mL静滴,每日
一、积极参与市场竞争，摒弃“零和游戏”思路 一个棋局，两人对弈，大多数情况下是一个赢，一个输，如果我们把获胜计算为得1分，而输棋为-1分。那么。两人得分之和就是：1＋（-1）=0。