会员服务
最优化理论是关于系统的最优设计、最优控制、最优管理问题的理论与 [1] 方法。最优化，就是在一定的约束条件下，使系统具有所期待的最优功能的组织过程。是从众多可能的选择中作出最优选择，使系统的目标函数在约束条件下达到最大或最小。最优化是系统方法的基本目的。优化方法有几个基本因素：系统目标;实现目标的可能方案;实行各方案的支付代价;建立系统模型;制定系统评价标准等。现代优化理论及方法是在本世纪40年代发展起来的，其理论和方法愈来愈多，如线性规划、非线性规划、动态规划、排队论、对策论、决策论、博弈论等。
【IJCAI 2019】从可满足性到优化模理论（From Satisfiability to Optimization Modulo Theories），意大利特伦托大学副教授Roberto Sebastiani
【IJCAI 2019】从可满足性到优化模理论（From Satisfiability to Optimization Modulo Theories），意大利特伦托大学副教授Roberto Sebastiani
专知会员服务
3+阅读 · 2019年8月10日
参考链接
微信扫码咨询专知VIP会员
Top