基于约束满足的炼钢批量计划的制定方法
将炼钢批量计划问题转化为一个约束满足问题处理,建立问题的约束满足模型,给出了基于约束满足的求解算法。仿真实验证明了模型和算法是有效的。关键词:炼钢-连铸-热轧;炼钢批量计划;约束满足;约束传播...
将炼钢批量计划问题转化为一个约束满足问题处理,建立问题的约束满足模型,给出了基于约束满足的求解算法。仿真实验证明了模型和算法是有效的。关键词:炼钢-连铸-热轧;炼钢批量计划;约束满足;约束传播...
基于Abadi-Rowgaway 的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文...
代数免疫是衡量布尔函数抵抗代数攻击能力的重要指标,本文证明了在仿射变换作用下,代数免疫保持不变,并且通过证明布尔函数与仿射函数异或后所得到的新函数与原布尔函数代数免疫最多相差1,找到了Wals...
介绍了线性模拟光耦器件HCNR201的基本原理;阐述了利用该芯片对电压量进行隔离测量的测试原理以及硬件电路;给出了试验数据以及数据处理结果;证明了改种测试方法的准确性。关键词:HCNR...
作者介绍了以变频器-PLC 为核心构成系统的控制原理、接口组成、软件设计及系统优点。变频器-PLC 调控技术在水压控制系统成功应用,有效地解决了控制负荷波 动大,调节频繁的难题证明了变频调速控制系统优...