约束满足

约束满足技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

约束满足 热门资料

查看全部 500 份 →

将炼钢批量计划问题转化为一个约束满足问题处理，建立问题的约束满足模型，给出了基于约束满足的求解算法。仿真实验证明了模型和算法是有效的。关键词:炼钢-连铸-热轧；炼钢批量计划；约束满足；约束传播

2023-11-14 1 约束满足

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、

2023-12-02 5 约束满足

Synopsys' widely-used design constraints format, known as SDC, describes the "design intent" and surrounding constraints...

2018-07-13 约束满足