混合搜索的含逻辑“与”“或”的RM优化算法
大小：1.11 MB 人气： 2017-12-25 需要积分：3
标签：优化算法(9623)
相对于标准约束优化问题，广义约束优化问题（或称析取优化问题1的等式或不等式约束条件中不仅包含逻辑“与”关系，还含有逻辑“或”关系．单调速率（RM）优化问题是广义约束优化问题的一个重要应用．目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法．随着任务数的增多，这些算法的求解时间较长．提出一种基于线性规划的深度广度混合搜索算法（LPHS），将广义约束优化问题拆分成若干子问题建立线性规划搜索树，合理选择搜索顺序，利用动态剪枝算法减小子问题的规模，最终求得最优解，实验结果表明，LPHS算法比其他方法有明显的效率提升．研究成果与计算机基础理论中的可满足性模理论的研究相结合，有助于提高可满足性模理论问题的求解效率，促进该理论在程序验证、符号执行等领域的进一步应用．
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%
下载地址
混合搜索的含逻辑“与”“或”的RM优化算法下载
相关电子资料下载
- 神经网络优化算法有哪些 70
- 全面总结机器学习中的优化算法 332
- 边缘计算计算卸载与资源分配联合优化算法 852
- 粒子群优化算法PSO优化模糊控制论域 863
- 从浅层到深层神经网络：概览深度学习优化算法 517
- 鲸鱼优化算法MATLAB实战 1149
- 车载雷达在墓地内识别到多位行人？理想回应：传感器局限，会优化算法 262
- 什么是针对GPU单指令多数据流的编译优化算法 837
- 什么是深度学习中优化算法 1298
- 基于OpenCV和MCU的优化算法 466