排序方式: 共有35条查询结果,搜索用时 15 毫秒
1.
本文对布尔表达式的可满足性问题作了进一步的研究,证明了该问题的充要条件,本文把布尔表达式可满足性的“判定的问题”与它的“求解问题”区别开来。 相似文献
2.
3.
为分析、计算多目标优化设计的电磁场逆问题,提出了矢量禁忌优化算法.在矢量禁忌算法中,应用接触理论判断Pareto最优解、应用排序法确定可行解的适值.为保证搜索到的Pareto最优解均匀分布于目标函数和决策变量空间,提出了一种简单、有效的适值共享函数.通过典型算例的验证,可以看出,对于多目标优化设计问题,所提出的矢量禁忌能够搜索到均匀、平滑的Pareto曲线,由此可见,矢量禁忌算法可实际运用于复杂工程电磁场逆问题的分析和计算. 相似文献
4.
5.
6.
7.
8.
9.
10.
STRIPS规划领域中动作效果关系的研究 总被引:4,自引:1,他引:4
以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据. 相似文献