可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 热门资料
查看全部 500 份 →ASP开发学生成绩查询管理系统,能满足毕业设计的要求-ASP student achievement for the development of the management system, des
ASP开发学生成绩查询管理系统,能满足毕业设计的要求-ASP student achievement for the development of the management system, designed to meet gradua...
2016-12-22
89
针对现有遗传算法在多维非线性优选方面的不足
针对现有遗传算法在多维非线性优选方面的不足,本文提出了一种基于小生境进化算法(NEA)的非线性优选模型,探讨了NEA算法的参数选择原则。通过大量仿真和比较,表明算法在复杂非线性优选中具有快速、高效、鲁棒性强的特点,并能在全局范围内有效搜索所...
2014-08-02
69