概括了可分性在积分分析中的现状,总结了混合整数线性规划(Mixed Integer Linear Programming,MILP)在积分区分器搜索中目前的结果与应用。在已知的可分性建模规则的基础上,针对ESF算法和HBcipher算法,设计合适初始可分性,建立MILP模型...概括了可分性在积分分析中的现状,总结了混合整数线性规划(Mixed Integer Linear Programming,MILP)在积分区分器搜索中目前的结果与应用。在已知的可分性建模规则的基础上,针对ESF算法和HBcipher算法,设计合适初始可分性,建立MILP模型,并采用开源求解器进行积分区分器自动搜索。填补了HBcipher和ESF算法在积分分析上的空白,搜索到最多9轮的积分区分器,在8轮上也得到了较多平衡位的区分器。与其他密码分析做对比,ESF、HBcipher分组密码算法在积分分析上有很大的分析空间。展开更多
Oil depots along products pipelines are important components of the pipeline transportation system and down-stream markets.The operating costs of oil depots account for a large proportion of the total system’s operat...Oil depots along products pipelines are important components of the pipeline transportation system and down-stream markets.The operating costs of oil depots account for a large proportion of the total system’s operating costs.Meanwhile,oil depots and pipelines form an entire system,and each operation in a single oil depot may have influence on others.It is a tough job to make a scheduling plan when considering the factors of delivering contaminated oil and batches migration.So far,studies simultaneously considering operating constraints and contaminated oil issues are rare.Aiming at making a scheduling plan with the lowest operating costs,the paper establishes a mixed-integer linear programming model,considering a sequence of operations,such as delivery, export, blending,fractionating and exchanging operations,and batch property differences of the same oil as well as influence of batch migration on contaminated volume.Moreover,the paper verifies the linear relationship between oil concentration and blending capability by mathematical deduction.Finally,the model is successfully applied to one of the product pipelines in China and proved to be practical.展开更多
文摘概括了可分性在积分分析中的现状,总结了混合整数线性规划(Mixed Integer Linear Programming,MILP)在积分区分器搜索中目前的结果与应用。在已知的可分性建模规则的基础上,针对ESF算法和HBcipher算法,设计合适初始可分性,建立MILP模型,并采用开源求解器进行积分区分器自动搜索。填补了HBcipher和ESF算法在积分分析上的空白,搜索到最多9轮的积分区分器,在8轮上也得到了较多平衡位的区分器。与其他密码分析做对比,ESF、HBcipher分组密码算法在积分分析上有很大的分析空间。
基金part of the Program of ‘‘Study of the mechanism of complex heat and mass transfer during batch transport process in product pipelines’’ funded under the National Natural Science Foundation of China, Grant Number 51474228
文摘Oil depots along products pipelines are important components of the pipeline transportation system and down-stream markets.The operating costs of oil depots account for a large proportion of the total system’s operating costs.Meanwhile,oil depots and pipelines form an entire system,and each operation in a single oil depot may have influence on others.It is a tough job to make a scheduling plan when considering the factors of delivering contaminated oil and batches migration.So far,studies simultaneously considering operating constraints and contaminated oil issues are rare.Aiming at making a scheduling plan with the lowest operating costs,the paper establishes a mixed-integer linear programming model,considering a sequence of operations,such as delivery, export, blending,fractionating and exchanging operations,and batch property differences of the same oil as well as influence of batch migration on contaminated volume.Moreover,the paper verifies the linear relationship between oil concentration and blending capability by mathematical deduction.Finally,the model is successfully applied to one of the product pipelines in China and proved to be practical.