论文部分内容阅读
本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法。该方法克服了逻辑语言中合一和回溯操作的瓶颈问题，有效地提高了逻辑程序的执行效率。该方法可为设计智能加速部件和智能计算机提供参考。
高效逻辑语言实现方法
【摘 要】
：
本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法。该方法克服了逻辑语言中合一和回溯操作的瓶颈问题，有效地提高了逻辑程序的执行效率。该方法可为设计智能加速
【机 构】
：
浙江大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1996年9期
【基金项目】
：
国家自然科学基金,国家863智能计算机专题资助
其他文献
本文提出了一种新的基于团块的图像处理思想，描述了在团块的链码表示的基础上提取其点、线、面 算法，与以往的图像处理方式相比，新方式更接近人眼观察景物的方式，并可在图像处理
2006年4月29日，中国惠普企业计算及专业服务集团首席技术顾问朱伟雄先生，全面介绍了惠普动成长企业战略的最新进展，从垂直体系结构与适应性水平体系结构、技术趋势以及方案最新
随着电力体制改革的不断进展，电费回收已成为供电企业经营管理的重点。欠费难题使供电企业背上沉重的经营负担。安阳供电公司在负荷管理系统基础上实施预购电，成为解决欠费难题
超立方体上所有点对之间的最短路径霍红卫，庄心谷（西安电子科技大学计算机科学系西安７１００７１）ＡＬＬＰＡＩＲＳＳＨＯＲＴＥＳＴＰＡＴＨＳＯＮＡＨＹＰＥＲＣＵＢＥＭＵＬＴＩＰＲＯＣＥＳＳＯＲ￥ＨｕｏＨｏｎｇｗｅｉａｎｄＺｈｕａｎｇＸｉｎｇｕ（Ｄｅｐａｒ...
从电力负荷管理系统的发展历程、功能特点出发，结合相关国家规定以及电力MIS软件的特征进行分析总结，归纳出目前电力负荷管理系统（用电现场管理系统）的待完善和改进之处，并指出急
本文提出三维物体空间取向归一化的新方法．该方法从理论上分析了用主轴方法归一化三维物体空间取向时主轴的唯一性确定问题．本文提出的基于３Ｄ矩的主轴唯一性判别准则解决了由主轴多义性给三维物体空间取向归一化带来的困难．我们的方法突破了现有方法只允许物体小角度空间取向变化或者形心必须在物体表面以内的限制条件，基于３Ｄ矩的主轴唯一性判别准则使主轴取向的计算更加稳定、可靠．实验结果表明，对各种取向的物体，利用本
甘肃省电力营销技术支持系统建设本着“先进、实用和可持续发展”的理念，着重解决业务快速发展所带来的业务处理和管理需求上的技术支持问题。介绍甘肃省电力营销技术支持系统
在图视秘密分散存储（简称分存）中，任意分存方案可比一般的分存方案更有效地隐蔽秘密信息，因而有着重要的实用意义，本文在Ｓｈａｍｉｒ提出了图视码的基础上，明确出了任意分存的概念，并提出了根据
本文讨论了面向对象详细设计的规约方法，并提出了详细设计到代码的自动方法，文中（１）提出了一种详细设计形式规约语言ＪＯＯＤＤＬ其中引入了受限谓词的概念和称为ｃｏｍｐｕｔｅ语句的控制抽象机制，由此提高描
从事并行程序设计实践的人往往把精力耗费在为变量分配内存，为循环体寻求并行上，却忽略对问题本身的分析．其实能否并行的决定因素是应用问题本身．人们往往急于得到能够运行的代码