【摘 要】
：
本文主要对约束逻辑程序的语义、分层约束满足的应用、随机约束满足问题的生成模型以及约束求解系统实现等问题进行了研究,拓展了约束程序理论和实现基础。主要工作包括:提出
论文部分内容阅读
本文主要对约束逻辑程序的语义、分层约束满足的应用、随机约束满足问题的生成模型以及约束求解系统实现等问题进行了研究,拓展了约束程序理论和实现基础。主要工作包括:提出了约束逻辑程序的基于多重回答约束可观察行为的S-语义;采用博弈论的方法,给出了基于获胜策略的成功推导语义;对于含约束的CP-网的推理问题,提出了将其转换为分层约束满足问题的方法,并给出了算法的复杂性结果;研究了各种流行的随机约束满足问题的生成模型,给出了B+模型,通过实验的方法证明了它与传统模型具有一致的相变区域,而且具有适用广泛的优越性;最后介绍了我们采用Java 语言设计实现的约束求解系统,给出了系统对于典型问题的测试结果,并对实验结果进行了详尽的分析。
其他文献
爱国主义是当代青年大学生的精神支柱王信陵爱国主义是中华民族的优良传统，是动员和鼓舞中国人民团结奋斗的旗帜，是推动我国社会历史前进的力量，是当代青年大学生的精神支柱。对
目的观察改良的Brostrm法联合踝关节镜治疗训练伤所致慢性踝关节不稳的临床疗效。方法选择20例保守治疗无效的踝关节慢性不稳的患者,采用改良的Brostrm法进行距腓前韧带
<正>住院患者跌倒风险管理是医院安全管理的重要内容之一,其结果直接影响医院安全质量,采用跌倒评估量表识别高风险患者并针对性实施干预措施是预防跌倒的最主要的策略之一[1
长期以来,实用主义在语文教学中横行,一切围绕应试、高分.我们所追求的高效课堂,以及努力遵循的儿童认知规律,都没有真正重视儿童的主体意识.法国思想家卢梭认为"语文教学应
文章以新疆邮政速递物流配送中心为例,针对布局规划问题,通过SLP法对作业单位进行合理划分并进行相关性分析;再利用加权因素法综合计算比较,最终获得合理的布局方案。目的使
目的观察5-氮-2′-脱氧胞苷（5-Aza-CdR）对人膀胱癌T24细胞增殖、凋亡的影响及其对凋亡蛋白酶活化因子-1（Apaf-1）、结肠腺瘤性息肉病（APC）基因甲基化表达状况的影响。方法应用不同浓
摘要：在分析地方院校工科学生毕业设计现状和存在问题的基础上，提出了从拓宽毕业设计指导渠道、改善师资结构、加强制度保障、课程教学改进等四个方面的改进措施，可为毕业设计存在的问题进行改进提供参考。 关键词：毕业设计；存在问题；改进 中图分类号：G642.0 文献标志码：A 文章编号：1674-9324（2017）22-0034-02 一、引言 本科毕业设计是高等院校实践教学中非常重要的一个环节
巴黎,是世界十大名城之一,有着2,000多年的悠久历史,人类社会最早的无产阶级政权巴黎公社,就是120年前在此诞生。这里有闻名全球的埃菲尔铁塔,有被誉为"艺术明珠"的凡尔赛宫,
科学时尚--数码气味技术以色列的一家公司最近宣布,他们正在进行香味的数字化研究,不久即可让香味在因特网上飘荡.与他们合作的是以色列魏兹曼研究所,那里的两位科学家正在试
图书资料室是博物馆机构设置中一个不可缺少的部门，它的基本职能是搜集、收藏、整理、保护图书资料，为馆内的业务人员提供业务学习和学术研究的支持。如何加强博物馆图书资料的