摘要：针对试验样本空间组成要素众多、动态变化且存在复杂关联约束的特点,围绕典型作战场景下导引头、目标、背景和干扰等4类要素及其相互作用,提出复杂约束条件下抗干扰试验样本空间的分析框架,实现“典型作战场景—全干扰对抗要素—全因子试验样本空间—约束满足的有限样本空间”的转化与映射。同时,重点关注对抗战术动态博弈影响下样本空间规范化描述以及多重约束下样本空间的不规则特征分析等问题,提出综合运用复杂网络、图分解、约束满足优化等理论解决其中关键问题的建模流程,为结合典型作战实例进行深入分析及后续的试验设计提供有效输入。

摘要：3SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句数K的变化而发生剧烈的变化,当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义. 在文献中,我们着重从宏观的角度,用回归分析的方法逼近相变曲线,进而求得两个重要的参数α和β.本文从统计的角度对3SAT问题的相变现象进行描述,更深刻地揭示出相变的实质.

摘要：在并行工程产品开发过程中 ,往往按照问题的结构特点将较大规模的问题分解成一些子问题 ,并希望通过求解子问题来获得原问题的解 .实际中 ,分解得到的子问题之间往往不是完全独立的 ,一般的简单分解方法只能有限地降低求解难度和简化问题规模 .如何进一步分解各个子问题间的关系 ,使各个子问题的设计结果不但满足原问题的总体要求而且还能由此获得优化的总体设计结果是一个重要问题 .该文给出了分解的意义 ,提出了基于约束的优化分解方法 .

摘要：该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。

摘要：研究了机床产品协同开发中约束的种类和特点以及约束模型的建立方法,描述了约束网络的一致性、有效性、完备性和全面性等特性,并列举了一个具体的约束网络实例。建立了协同产品开发中的动态约束模型,将约束分为耦合约束和独立约束两种类型,通过设定耦合约束的变量的取值范围,将耦合约束转换为独立约束,并综合利用约束传播算法和区间求解算法对该约束模型进行求解。最后给出了协同产品开发中约束模型的网络实现流程并开发了相应的原型系统,为冲突的检测方法提供了量化手段,可以提前发现潜在的冲突。

摘要：本文首先提出了智能支持的汽车驾驶室内布置方案设计中的约束问题求解（ＣＰＳ）策略，以及驾驶室内各对象间基于实例提取的布置特征描述方法，建立了结构化布置网络图（ＣＬＧ）。

摘要：热轧调度中的板坯排序问题是一类特殊的排序问题,具有约束条件复杂、NP难特点。为了简化问题,将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型,设计了基于约束满足和启发式混合求解算法。用3组实际生产数据对算法性能进行验证,说明了算法的有效性。

摘要：为避免子图同构问题求解中重复解的产生,提高子图同构问题的约束求解效率,提出一种基于对称破坏的子图同构约束求解算法。基于解的对称破坏思想,改进自同构检测过程,通过置换群操作生成对称破坏字典序约束,构建子图同构问题的一种约束满足问题(CSP)模型,结合CSP的回溯算法对其求解。实验结果表明,该算法有效减少了对重复解的搜索,与传统算法相比明显提高了搜索效率。

摘要：在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题．本文提出一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。

摘要：采用约束关系依赖图(CRDG)表达耦合约束之间的依赖关系,从而建立数值与符号耦合约束模型。提出耦合约束的求解算法:对CRDG进行最小独立子图分解,对存在耦合约束的子图用"孪生变量法"进行一阶解耦,对没有耦合约束的子图用传统方法进行独立求解,求解之后再对孪生变量进行等效性验算。该耦合约束模型及其求解算法拓展了传统约束理论,实现了数学求解和推理求解有机地结合。