排序方式: 共有35条查询结果,搜索用时 0 毫秒
1.
本文对布尔表达式的可满足性问题作了进一步的研究,证明了该问题的充要条件,本文把布尔表达式可满足性的“判定的问题”与它的“求解问题”区别开来。 相似文献
2.
3.
为分析、计算多目标优化设计的电磁场逆问题,提出了矢量禁忌优化算法.在矢量禁忌算法中,应用接触理论判断Pareto最优解、应用排序法确定可行解的适值.为保证搜索到的Pareto最优解均匀分布于目标函数和决策变量空间,提出了一种简单、有效的适值共享函数.通过典型算例的验证,可以看出,对于多目标优化设计问题,所提出的矢量禁忌能够搜索到均匀、平滑的Pareto曲线,由此可见,矢量禁忌算法可实际运用于复杂工程电磁场逆问题的分析和计算. 相似文献
4.
5.
6.
搜索空间约减是智能规划研究中的重要内容之一.谓词知识树是一种特殊的树状结构,它表达了规划领域中实现同一谓词的所有动作.在规划求解过程中,这些动作的前提条件通常是不能同时得到满足的.因此,提出了知识树的分解原理以及基于特征前提的知识树分解策略,并给出了相应的分解算法.对任意一个规划领域,利用该分解算法可将知识树分解成若干个较小规模的知识子树,使其对具体规划状态具有更强的针对性.在规划求解过程中使用知识子树可以避免一些不必要的动作搜索,提高规划效率.实验结果表明分解算法是有效的. 相似文献
7.
8.
9.
10.