将热轧批量计划问题作为一个约束满足问题处理,建立不确定计划数的VRPSTW约束满足模型.在求解过程中,先用约束满足的一致性技术过滤变量的值域,收缩搜索空间;然后用变量选择和值选择构造轧制计划的解.为变量赋值之后,实施约束传播,保证每块板坯只被访问一次并动态禁止子回路.在已有的解的基础上,应用基于禁忌的k-opt互换改进解的质量.数据实验证明模型和算法是有效的.
2023-02-12 18:03:15
518KB
1
针对日趋复杂的微处理器功能验证，提出一种基于分层思想的受限随机激励产生方法，通过测试层、场景层、功能层和指令层的多层约束，实现随机激励在不同粒度范围的高度可控性，精炼测试空间，加快验证的收敛速度。采用可配置的功能库，将处理器功能行为单元作为随机激励的构建基础，产生逻辑功能与通信接口结合的随机激励，实现系列处理器的验证复用。CKCore处理器验证的实验结果表明，该方法与受限随机激励相比，在功能覆盖率相同的情况下，激励编写量减少60%；在仿真时间相同的情况下，功能和代码覆盖率分别改善10%和5%以上，有效提高处理器验证的质量和效率。
2023-02-02 10:29:31
2.04MB
1
摘要:给出了带有个参数的四次多项式基函数，是三次Bernstein基函数的扩展;分析了这组基函数的性质，并定义了相应带有形状参数的多项式曲线，讨论了参数对曲线端
2023-01-18 03:52:10
295KB
1
单输入单输出有约束的模型预测控制算法，阶跃响应动态矩阵预测模型，优化算法采用有效集法求二次规划问题
2023-01-04 15:25:41
5KB
将离散空间问题求解的蚁群算法引入连续空间, 针对多目标优化问题的特点, 提出一种用于求解带有约束
条件的多目标函数优化问题的蚁群算法. 该方法定义了连续空间中信息量的留存方式和蚂蚁的行走策略, 并将信息
素交流和基于全局最优经验指导两种寻优方式相结合, 用以加速算法收敛和维持群体的多样性. 通过3 组基准函数
来测试算法性能, 并与N SGA II 算法进行了仿真比较. 实验表明该方法搜索效率高, 向真实Pareto 前沿逼近的效果
好, 获得的解的散布范围广, 是一种求解多目标优化问题的有效方法.
2022-12-27 20:33:51
306KB
1
针对生产与运输两个过程的联合决策,通过分析一类生产-运输批量优化问题,建立的混合0-1整数规划模型整合了多产品多阶段能力约束批量生产和产品运输。其中运输成本由运输工具使用数量决定,当企业内部运输能力不能满足运输需求时可将运输外包,但需支付更高的运输成本。根据此问题的特点,构造改进蚁群算法求解,令其信息素和启发信息都存在0和1两种状态下的不同取值,通过转移概率确定0-1生产准备矩阵,进一步得到生产矩阵和运输计划。仿真实验结果表明在生产批量决策的同时考虑运输,可以减少运输成本,令总费用最小,通过将实验结果与其
2022-12-21 23:23:29
632KB
1