求解布尔与非线性数值约束相混合的约束问题
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

Supported by the National Science Fund for Distinguished Young Scholars under Grant No.60125207 (国家杰出青年科学基金)


Solving Boolean Combinations of Nonlinear Numerical Constraints
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了将非线性数值约束转化为特殊形式的优化问题,采用全局优化算法对其进行求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效地求解非线性混合约束问题,并且总能够得到该约束条件是否可满足的结果.

    Abstract:

    Constraints involving Boolean and numerical variables are used widely, but it is difficult to solve especially when they contain nonlinear numerical expressions. Many existing methods for solving such constraints are incomplete. A new method is presented in this paper to solve Boolean combinations of nonlinear numerical constraints completely. This method transforms the nonlinear constraints into a special-formed optimization problem to solve them. A prototype tool is implemented, and some experiments are made. The experimental results show that the method is effective.

    参考文献
    相似文献
    引证文献
引用本文

季晓慧,张健.求解布尔与非线性数值约束相混合的约束问题.软件学报,2005,16(5):659-668

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2003-08-01
  • 最后修改日期:2004-03-01
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号