论文部分内容阅读
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ系统中推理机与约束求解器的协调技术，协调主要发生在回溯机制中。本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题。
CLP系统中推理机与约束求解器的协调技术
【摘 要】
：
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ系统中推理机与约束求解器的协调技术，协调主要发生在回溯机制中。本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题。
【机 构】
：
北京工业大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1996年7期
【基金项目】
：
国家自然科学基金,国家863高科技项目
其他文献
《国家学生体质健康标准(2014年修订)》充分体现了国家对于学生健康问题的重视以及我们体育工作的重要性。那么要想拥有健康的体魄,就必须形成体育与健康的意识,养成良好的体
本研究基于地域文化的视角,探讨地域文化在宜宾早茶包装设计中的方法与应用路径。从宜宾早茶包装设计的现状入手,分析了地域文化在宜宾早茶包装设计中的价值,通过视觉形象的
近几年混合式教学在各高校中如火如荼进行,然而学生在进行混合式学习时逐渐暴露出一些问题,学生自主学习能力的不足往往阻碍教学进展。文章通过文献研究法、问卷调查法与访谈
本文采用类ＶＤＭ的指称语言技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型，该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义，为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口
高校学生资助工作是国家整体资助的重要组成部分,目前高校资助工作存在贫困生认定、帮扶、管理不精准等问题。当前很多高校通过隐形资助、社会资助、智慧资助、数据“云平台
精准资助是学生资助工作客观需要,是贯彻和落实教育扶贫工作必然要求。高校贫困学生困难认定体系作为落实“精准资助”重要举措,其应用成效将直接影响家庭经济困难学生认定工
《刺法灸法学》是针推专业主干课程，具有技能训练和临床应用的特点，而培养学生动手能力，是本课程的重点。课程组通过长时间的探索与实践，制定并实施了“三度”教学法改革方案。