可满足性

可满足性(satisfiability)是1993年公布的数学名词。

资源总数
500

可满足性 热门资料

查看全部 500 份 →

可靠性试验介绍,从可靠性简介、机械环境试验介绍、气候环境试验介绍、寿命试验介绍、失效分析介绍5个部分入手

2024-10-18 4 可满足性

资料->【B】电子技术->【B2】电路设计->【1】电路设计->【_电路设计综合】->PCB可测性设计.pdf

2024-11-03 1 可满足性

针对现有遗传算法在多维非线性优选方面的不足,本文提出了一种基于小生境进化算法(NEA)的非线性优选模型,探讨了NEA算法的参数选择原则。通过大量仿真和比较,表明算法在复杂非线性优选中具有快速、高效、鲁棒性强的特点,并能在全局范围内有效搜索所...

2014-08-02 69 可满足性