【摘 要】
：
回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失
【基金项目】
：
国防科技预研基金，教育部高校骨干教师资助计划
论文部分内容阅读
回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯.该文在考察Visual Prolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理.
其他文献
低碳经济强调大力发展生态生产力，遵循生态规律，以实现生态效益、经济效益与社会效益相统一为科学原则，展现出其科学维度；以降低温室气体排放、实现代际公平与代内公平的统一、促
为了检测多媒体中的敏感数据是否被恶意篡改或传输错误,将多媒体编码过程与认证过程相结合,信道编码过程与加密过程相结合,构建了一种可靠的多媒体安全传输方案,敏感数据采用
应用智能体是MAS系统中子任务的直接执行者.该文以红蓝双方海上编队对抗为背景,将作战实体单元定义为军事智能辅助决策系统中的应用智能体,建立了其相应的八元组结构内核和主
描述了一个基于付费方式的匿名通讯激励机制,能有效地促进＂点对点＂匿名通讯系统中用户的协作;给出了基于虚拟数字现金的＂在线付费＂和＂离线支付＂两种协议结构;用公式表达了一个基于
从降凝机理及降凝剂分子结构设计入手，合成了一种具有交替共聚结构的四元KFC降凝剂，研究了反应条件对降凝降滤效果的影响。结果表明：聚合温度为85℃，聚合时间为8h，引发剂用量为1．2％
对070M55钢正火出现粗晶、混晶的原因进行分析表明,正火温度偏高是产生组织缺陷的主要原因。优化正火工艺可以有效消减粗大晶粒,满足生产技术要求。
随着社会、经济和科学技术的发展，统计的范畴巳覆盖了社会生活的一切领域，成为通用的方法论科学。本文从几个方面阐述了对统计人员进行可持续教育的意义、必要性和目的及教育方
摘要：分析汽车维修市场现状，严格执行国家的方针政策，加强汽车维修行业管理的必要性。 关键词：汽车维修 市场现状 监督管理 随着我国汽车工业的不断发展，汽车维修业面临着极好的机遇和挑战。目前在汽车维修保养行业中，维修操作人员大部分文化素质较低，上岗前没有经过必要、正规、系统的学习和培训，维修设备、设施简陋，远远落后与汽车工业发展的速度。针对维修行业存在的问题，政府行业主管部门应该严格