论文部分内容阅读
本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行.
变量驱动的智能回溯
【摘 要】
：
本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行
【机 构】
：
东南大学计算机科学与工程系,东南大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1989年12期
其他文献
近年来,随着甘州区牛羊产业的快速发展,活畜调运频繁,布鲁菌病在局部乡镇出现明显反弹,威胁到当地养殖业的安全和人民身体的健康,甘州区畜牧兽医工作站在2015年的该病抽样检
1.边界特性分析 不失一般性,区域可用一多边形表示,设多边形由一逆时针方向顶点序列{z<sub>i</sub>}<sup>n</sup><sub>i=1</sub>×（z<sub>i</sub>=（x<sub>i</sub>,y<sub>i<
滑膜炎是以关节囊滑膜层的病理变化为主的渗出性炎症.常发于马属动物,特别是赛马的跗关节滑膜炎发病率较高.其特征为附关节滑膜充血、肿胀及明显的渗出,使得关节腔内蓄积多量
在计算机应用中经常会遇到开方运算,目前通常采用根据牛顿迭代原则而得的迭代公式来运算。但往往因迭代次数多,执行时间长而影响计算机的有效工作速度,尤其在某些实时处理的
期刊
两段锁(2PL)方法是集中式和分布式数据库中广泛采用的一种并发控制方法.本文阐明在分布环境中可将两段锁定理推广为分布式-两段锁(D-2PL)定理,并给出了它的正确性证明和实现
2007-2013年,在江苏省扬州市和苏州市的病犬临床样本中共分离鉴定了11株犬细小病毒（CPV）。经过VP2特定位置氨基酸的比较分析,证明其中9株为CPV-2a,1株为CPV-2b,1株为CPV-2。部
计算的优先策略和计算的分布是在多处理机系统上实现新型程序设计语言(例如 Prolog,FP等)所考虑的两个重要问题.本文对此进行了研究,给出了几种计算的优先策略及其实现方法,
1.处理器阵列的构造 处理器阵列由n×n个处理器构成,如图1所示。其中T1T2…Tn为纵回数据线,在进行矩阵相乘时作为数据输入线,LU分解时作为U矩阵输出线。W1W2…Wn是横向数
期刊
1病例介绍2013年9月28日，黑龙江省双城市兰棱镇王某家3头仔猪，去势后第3天，因创口感染引发恶性水肿，病初减食，体温升高，伤口周围出现炎性水肿，并迅速扩散蔓延，肿胀部坚实，不热；肤色略有
为了探讨酢浆草多酚对动物油脂的抗氧化作用，为酢浆草多酚的应用提供参考依据。在猪油中分别添加酢浆草多酚。酢浆草多酚豢柠黻霉丁基羟基茴香醚（BHA）、二丁基羟基甲苯（BHT），对猪油