一种求解混合约束问题的快速完备算法
文献类型:期刊论文
作者 | 季晓慧 ; 张健 |
刊名 | 计算机研究与发展
![]() |
出版日期 | 2006 |
卷号 | 43期号:3页码:551-556 |
关键词 | 约束求解 非线性数值约束 数值法 区间分析 |
其他题名 | an efficient and complete method f or solving mixed constraints |
中文摘要 | 布尔与数值变量相混合的约束问题有着广泛盼应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了数值与区间分析相结合进行数值约束求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明。该方法能够有效、快速、完备地求解非线性混合约束问题. |
收录类别 | cscd |
语种 | 中文 |
CSCD记录号 | CSCD:2343798 |
公开日期 | 2010-08-11 |
源URL | [http://124.16.136.157/handle/311060/3152] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 季晓慧,张健. 一种求解混合约束问题的快速完备算法[J]. 计算机研究与发展,2006,43(3):551-556. |
APA | 季晓慧,&张健.(2006).一种求解混合约束问题的快速完备算法.计算机研究与发展,43(3),551-556. |
MLA | 季晓慧,et al."一种求解混合约束问题的快速完备算法".计算机研究与发展 43.3(2006):551-556. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。