【摘 要】
：
布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯
论文部分内容阅读
布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了将非线性数值约束转化为特殊形式的优化问题,采用全局优化算法对其进行求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效地求解非线性混合约束问题,并且总能够得到该约束条件是否可满足的结果.
其他文献
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测（bounded model checking，简称BMC）算法．基于同步解释系统语义，在时态逻辑CTL＊的语言中引入认知模态词，从而得到一个新的时
建筑材料课程具有综合性强、概念多、实践性强、实验课少等特点,因此在课堂教学、实践教学、教学评价方面都容易产生问题。因此在教学内容,教学方式、教学评估等方面必须进行
宜昭高速公路刘家山隧道进口端山体左高右低,隧道顺势布置,左、右洞错距81m,隧道净距为20.05m(净距小于2.5B=31.3m,B为隧道宽度),属于小净距偏压浅埋洞口,偏压浅埋隧道安全顺
斯里兰卡Moragahakanda首部水库工程是斯里兰卡Mahaweli流域的重要工程。主要介绍正、倒垂装置安装与监测施工技术。正倒垂装置安装的精度要求高,监测专业性强,以监测坝体的
本文立足于石油企业的特殊性，从财务分析指标、财务分析范围及财务分析数据等三个方面分析了石油企业财务分析的特点。