您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Tomlab实用快速入门

  2. Tomlab是对专业优化软件Cplex的封装,提供C,C++,matlab,java等接口。
  3. 所属分类:教育

    • 发布日期:2015-03-07
    • 文件大小:318kb
    • 提供者:ylf98
  1. py_bpsolve.zip

  2. BP神经网络算法代码,以及自己编写的混合整数参数模型(MILP)代码,在pycharm下可直接运行。
  3. 所属分类:Python

    • 发布日期:2019-05-28
    • 文件大小:20kb
    • 提供者:qq_43562527
  1. 【官网公布】Matlab内置的约束优化函数用法.pdf

  2. 主要特性 平滑约束和非约束问题的非线性和多目标优化 用于非线性最小二乘、约束线性最小二乘、数据拟合和非线性方程的求解器 二次规划 (QP) 和 线性规划 (LP) 混合整数线性规划 (MILP) 优化建模工具 优化进度的图形监视 梯度预估加速(使用 Parallel Computing Toolbox™)
  3. 所属分类:电信

    • 发布日期:2019-08-13
    • 文件大小:1mb
    • 提供者:ktz517
  1. toysolver, 用于实验求解算法的沙箱.zip

  2. toysolver, 用于实验求解算法的沙箱 toysolver 为解决各种问题提供了解决方案,包括 SAT 。SMT 。最大 SAT 。PBS ( 伪布尔满足) 。PBO ( 伪布尔优化),MILP和非线性实数运算。特别是它包含中等速度的纯 haskell
  3. 所属分类:其它

  1. toysolver, 用于实验求解算法的沙箱.zip

  2. toysolver, 用于实验求解算法的沙箱 toysolver 为解决各种问题提供了解决方案,包括 SAT 。SMT 。最大 SAT 。PBS ( 伪布尔满足) 。PBO ( 伪布尔优化),MILP和非线性实数运算。特别是它包含中等速度的纯 haskell
  3. 所属分类:其它

  1. Leapms 利珀 版本1.2 (202404) -- LP/MILP 建模和求解 (WIN 64)

  2. (WIN 64) Welcome to +Leapms Version 1.2 (202404) -- an LP/MILP modeling and solving tool. 欢迎使用利珀 版本1.2 (202404) -- LP/MILP 建模和求解工具.
  3. 所属分类:教育

    • 发布日期:2020-12-03
    • 文件大小:3mb
    • 提供者:leapms
  1. 运筹系列32:APMonitor/Gekko套装

  2. 1. 介绍 APM是Advanced Process Monitor,可用于混合整数规划(LP, QP, NLP, MILP, MINLP)和微分方程求解。而GEKKO是在此之上的升级版本,使用python语言。安装很简单pip install gekko即可. 快速入门的例子看这里:https://gekko.readthedocs.io/en/latest/examples.html 这里是教程,真是太贴心了: https://apmonitor.com/wiki/index.php/Mai
  3. 所属分类:其它

    • 发布日期:2021-01-07
    • 文件大小:199kb
    • 提供者:weixin_38548817
  1. 用于分布式云数据中心的具有成本意识的工作负载分派和服务器配置

  2. 近年来,随着对在线服务和云计算的需求不断增长,与云数据中心的运营相关的功耗和成本一直在急剧上升。现有的大多数研究都集中在降低数据中心的功耗上。但是,云服务运营商的最终目标是降低数据中心的总运营成本,同时保证服务质量,例如最终用户的服务延迟。本文利用工作量分配和服务提供来解决总电费最小化问题。此问题被公式化为基于混合整数线性规划(MILP)技术的分层容量中位数模型。根据多个数据中心的真实电价数据进行的广泛评估显示了我们方法的效率和功效。
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:396kb
    • 提供者:weixin_38647925
  1. 基于6个轻量级分组密码师分区性质的MILP方法在积分识别器中的应用

  2. 基于6个轻量级分组密码师分区性质的MILP方法在积分识别器中的应用
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:398kb
    • 提供者:weixin_38748718
  1. 致动器饱和的马尔​​可夫跳跃线性系统模型跟随的概率方法

  2. 本文关注具有随机不确定性和执行器饱和的马尔​​可夫跳跃线性系统(MJLSs)的模型跟随问题。 通过应用基于粒子的概率方法,设计了一系列控制输入,以确保模型跟随误差以一定的概率保持在所需区域内,并且控制成本是最佳的。 以此为动机,随机控制问题由机会约束编程表示,并近似地作为确定的优化变量,由混合整数线性规划(MILP)解决。 此外,提出了一种改进的粒子控制方法来降低计算复杂度。 实例和复杂度比较证明了这种改进方法的有效性。
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:741kb
    • 提供者:weixin_38692202
  1. 飞机维修计划和优化:CPLEX使用混合整数线性规划(MILP)来优化飞机维修计划-源码

  2. 飞机维修计划与优化 使用CPLEX的混合整数线性编程(MILP)优化飞机维护计划
  3. 所属分类:其它

    • 发布日期:2021-02-17
    • 文件大小:384kb
    • 提供者:weixin_42107491
  1. templogic:时间逻辑库-源码

  2. TempLogic:时间逻辑库 什么是TempLogic? TempLogic是一个接受定量语义的时态逻辑库。 当前,它在不同程度上支持信号时态逻辑(STL),树空间叠加逻辑(TSSL)和时空逻辑(SpaTeL): 所有这三个都支持每个语法有效公式的构建和定量语义的计算。 STL具有解析器,推断和MILP编码。 TSSL有推断。 SpaTeL推理正在进行中。 要求 您需要Python3.8或更高版本,并鼓励使用virtualenv或类似版本。 推理模块需要安装 。 编码模块需要或更高版
  3. 所属分类:其它

  1. ATA.jl:使用Julia进行自动测试组装-源码

  2. ATA.jl:简化自动测试组装 用Julia编写的用于自动测试程序集(ATA)的软件包。 模拟退火算法可用于大规模ATA模型。 否则,可以使用任何与JuMP兼容的MILP求解器。 与Dash或纯Julia代码连接。 文献资料 有关导出功能的文档,请参见(正在进行中)。 目标 没有目标 MAXIMIN TIF(支持的多个能力点之间的最小值); 机会受限的MAXIMIN TIF。 MINIMAX TIF(支持的多个能力点之间的最大值); 约束条件 并行测试(一组测试); 非并行测试(一组以上的
  3. 所属分类:其它

    • 发布日期:2021-02-12
    • 文件大小:67kb
    • 提供者:weixin_42131013
  1. Differential Cryptanalysis on Block Cipher Skinny with MILP Program

  2. Differential Cryptanalysis on Block Cipher Skinny with MILP Program
  3. 所属分类:其它

  1. Improved Cryptanalysis of an ISO Standard Lightweight Block Cipher with Refined MILP Modelling

  2. Improved Cryptanalysis of an ISO Standard Lightweight Block Cipher with Refined MILP Modelling
  3. 所属分类:其它

    • 发布日期:2021-02-07
    • 文件大小:488kb
    • 提供者:weixin_38502510
  1. 混合整数线性规划示例电力系统分析A:电力系统发电机投标策略的混合整数线性规划(MILP)问题,公式和解决方案。 目标函数是MW的单价乘以其他范围及其各自产品上的可接受数量再加上空载成本的总和-源码

  2. 混合整数线性规划示例电力系统分析A:电力系统发电机投标策略的混合整数线性规划(MILP)问题,公式和解决方案。 目标函数是MW的单价乘以其他范围及其各自产品上的可接受数量再加上空载成本的总和
  3. 所属分类:其它

    • 发布日期:2021-02-04
    • 文件大小:393kb
    • 提供者:weixin_42165018
  1. 考虑蓄电池健康的微电网群模型预测控制能量管理策略

  2. 为提高新能源消纳能力,减少微电网群运行成本,设计考虑蓄电池健康的微电网群模型预测控制(MPC)能量管理策略。通过模拟蓄电池2种充电模式,将微电网群数学模型和约束方程表述为混合整数线性规划(MILP)优化问题,并与MPC框架相结合,在满足约束条件的基础上对优化问题进行在线求解。考虑到微电网能量管理以日前调度为主,提出变时域MPC寻优策略,进一步减小额外的寻优计算量。基于硬件在环实验平台对所提策略进行验证,结果表明,该策略可最大限度利用新能源,减少微电网群购电成本,实时性好,恒压充电模式可有效保护蓄
  3. 所属分类:其它

  1. 基于改进的Benders分解与透视割平面的机组组合算法

  2. 经典的Benders分解法(BDM)将问题分解为主问题与子问题2个简单的形式进行求解,由于主问题是一个混合整数问题,其求解是BDM中最费时的部分。基于改进的BDM与透视割平面(PC),提出一种求解火电机组组合(UC)问题的新算法。首先结合覆盖不等式提出改进的松弛型BDM;然后借助于PC和线性化技术建立UC问题的近似混合整数线性规划(MILP)模型;最后利用松弛型BDM求解该模型。包含10~1 000台机组的多个系统24时段的测试结果以及与其他方法的比较说明所提算法是有效的。
  3. 所属分类:其它

    • 发布日期:2021-01-12
    • 文件大小:712kb
    • 提供者:weixin_38634065