论文部分内容阅读
本文研究了规则相关性理论,给出了“递归时刻”、“完成时刻”定义及相关性定理,在此基础上提出了一种新的演绎方法——ARJ(AdvancedRelational Join)解释方法。它比RJ解释方法具有更大的优越性,从而有效地提高了逻辑程序设计系统效率。
ARJ解释方法及其目标求解算法的研究
【摘 要】
：
本文研究了规则相关性理论,给出了“递归时刻”、“完成时刻”定义及相关性定理,在此基础上提出了一种新的演绎方法——ARJ(AdvancedRelational Join)解释方法。它比RJ解释方
【机 构】
：
吉林工业大学计算机科学与工程系,吉林工业大学计算机科学与工程系长春130025,长春130025,长春130025
【出 处】
：
计算机学报
【发表日期】
：
1993年9期
【基金项目】
：
国家自然科学基金
其他文献
本文根据作者对CMOS电路的研究经验,在分析二值与三值TTL反相器工作过程的基础上,讨论了TTL电路中晶体管开关元件与信号之间的相互作用过程,并由此建立了适用于TTL电路的限幅
5月31日．从江西省科技厅获悉．为推动该省实验动物科技事业的发展，省科技厅近日组织专家，对南昌市安康牧业科技有限公司进行现场审查验收．颁发了江西省首个实验动物（饲料）生产许可证．
随着并行处理系统规模的不断扩大,人们开始广泛使用超级互连结构,本文通过研究网络结构的性能价格比,对几种常用的超级立方体互连结构做了分析,得出了一些有用的结论。
饲料卫生指标砷是判定饲料质量安全的重要指标之一。砷在饲料中的相对含量低（mg/kg）,因此,检验过程中任一环节的疏忽都会对检测结果造成重大偏差从而影响其准确性。本文研究了
本文提出一种基于任一逻辑基值的多值阵列数据加密与解密系统,研究表明:对应于一个k级的规模为m×n的M（≥2）值加密阵列,其密钥空间为Mk×m×n,因此这种加密系统具
企业标准体系是企业标准化工作的一个重要组成部分，是加快企业技术进步、加强科学管理的重要手段。在当今国内、国际饲料市场竞争激烈的新形势下．企业标准体系已成为企业持续稳
3月26日．由中国兽医药品监察所组团的“赴美兽药风险评估和不良反应监测”培训团一行18人圆满完成21d的培训任务回国．培训期间．代表团了解了美国兽药上市前的风险评估流程和风险
本文对分子三维模型的显示算法进行了研究,提出了适合于光栅扫描显示器的分子球棒模型的快速算法,使得在微机上可进行分子球棒模型的三维实时操作;本文还对Huijsmans提出的分子空间填充模型的算法进行了改进,使算法更有利于并行实现,为在微机上实现CPK模型的实时显示提供了可能。这些算法以微型计算机为背景,速度快,占用内存少,对计算机图形系统硬件不作特别要求.