季晓慧
- 作品数：5 被引量：33H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 求解布尔与非线性数值约束相混合的约束问题(英文)被引量：6
- 2005年
- 布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了将非线性数值约束转化为特殊形式的优化问题,采用全局优化算法对其进行求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效地求解非线性混合约束问题,并且总能够得到该约束条件是否可满足的结果.
- 季晓慧张健
- 关键词：全局优化
- 混合约束问题求解研究
- 混合约束问题具有广泛的应用，如分析基于状态的需求规约、生成软件的测试用例、分析并行化的数据相关性问题等等。对于这类问题的求解，目前的许多方法只能求解单独的某一类约束问题，而不能求解混合约束问题。即使有些方法能够求解混合约...
- 季晓慧
- 关键词：软件测试
- 文献传递
- 一种求解混合约束问题的快速完备算法被引量：3
- 2006年
- 布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了数值与区间分析相结合进行数值约束求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效、快速、完备地求解非线性混合约束问题.
- 季晓慧张健
- 关键词：数值法区间分析
- 约束问题求解被引量：17
- 2007年
- 约束问题的求解涉及到人工智能、运筹学、计算机科学等领域．它的应用范围也极为广泛,包括计算机科学、控制科学、生物学等方面．本文对其发展历史、所要求解的问题以及它的基本方法等问题进行了综述．
- 季晓慧张健
- 约束求解与优化技术的结合被引量：11
- 2005年
- 提出了将混合约束问题转化为混合整数规划问题的方法.用约束求解方法及混合整数规划方法共同求解混合约束问题可以令二者相互借鉴,从而促进二者求解技术的进一步发展.同时,由混合约束问题转化而来的混合整数规划问题也可作为求解混合整数规划问题的测试问题(benchmarks).
- 季晓慧黄拙张健
- 关键词：优化技术混合整数规划
