论文部分内容阅读
在逻辑程序AND并行性的开发中,模式识别有着极为重要的作用.为了克服单向模式分析的缺点和不足,本文提出了模式识别的双向全局流分析方案,并用PROLOG语言实现.本文中对该方案进行详细的探讨,并给出相应的算法.
逻辑程序模式识别的双向全局流分析
【摘 要】
：
在逻辑程序AND并行性的开发中,模式识别有着极为重要的作用.为了克服单向模式分析的缺点和不足,本文提出了模式识别的双向全局流分析方案,并用PROLOG语言实现.本文中对该方案
【机 构】
：
国防科技大学计算机系,国防科技大学计算机系长沙410073,长沙410073
【出 处】
：
计算机学报
【发表日期】
：
1992年2期
其他文献
农业部农产品批发市场信息网监测，7月底，猪肉价格为14．94元／kg，环比涨1．6％，连续笫8周上涨，比上涨前高11．3％。截至7月22日，活猪价格为10．32元／kg．连续7周小幅上涨，重回10元／kg水平以上；猪粮比价
本文在对现有的几种局部标记算法进行分析的基础上，提出了一种有效标记算法，其运行时间为Ｏ（ｎ）。它既保持了一般局部标记算法中运算时间的常量因子小和快速等特点，又弥补了现有局部标
根据《进出口饲料和饲料添加剂检验检疫监督管理办法》（国家质检总局第118号令）的规定，现将进出口饲料和饲料添加剂风险级别及检验检疫监管方式予以公布（见附件）。国家质检总局将
<正> 1.前言 在工业控制中,人工智能技术的引入有着重要意义,传统的控制方法,无论是基于经典控制理论还是基于现代控制理论,均是以数学方法为基础,有很大局限性,特别是复杂的
单细胞蛋白质饲料是运用微生物发酵技术,使菌体大量生长繁殖并生产单细胞蛋白质得以用于饲料工业上,可替代一部分蛋白质原料（豆粕、鱼粉等）。本文主要对单细胞蛋白质饲料的营养
本文介绍了ＢＪ－０１并行计算机操作系统ＭＯＳ，并行Ｃ语言ＰＣＬ以及接口软件的设计和实现技术。此外还讨论了ＢＪ－０１并行机的并行执行环境和并行程序调试工具。
1.引言 传统的软件生命周期开发方法的缺陷,促进了软件工程中原型化方法的发展,而原型化开发方法的实施依赖于快速开发工具的支持,人们试图从软件开发方法和开发工具两个方面
美国东部时间1月2日周五．美农业部（USDA）公布了截至12月25日（周四）的1周出口销售报告。当周美国2008／09年度（08年9月1日起）大豆净出口销售量为51．06万t．较前1周和前4周平均水平分别减少
<正> 1.稳固模型和良构指派 首先假定读者已熟悉有关逻辑程序设计的最基本概念,有关详细论述请参阅[3]。 定义1.设P是一Horn逻辑程序(简称Horn程序),B_P是P的Herbrand域.T_P