项目名称： 数学规划求解器软件 项目编号： 清采比选******号
公告开始日期： 2025-03-21 08:25:46 公告截止日期： 2025-03-24 09:00:00
签约时间要求： 成交后7个工作日内 交货时间要求： 签订合同后7个工作日内
采购单位：******大学
国内合同付款方式： 货到付款100%
收货地址：******大学西主楼1-400
采购清单
采购商品： 数学规划求解器软件 采购数量： 1 计量单位： 套
技术参数及配置要求： 求解器网上比选技术参数要求一、概述：拟采购国产商用数学规划求解器软件，供货范围主要包括：（1）国产商用数学规划求解器软件一套（永久授权许可）（2）国产商用数学规划求解器软件使用手册（中、英）（3）国产商用数学规划求解器软件维保服务1年二、性能要求如下：（1）软件应至少100万变量级线性规划问题的建模和求解；（2） 软件应至少100万变量级混合整数规划问题的建模和求解；（3） 软件应至少10万变量级二次规划问题的建模和求解；（4） 软件应至少10万变量级半定规划问题的建模和求解；（5） 软件应至少10万变量级指数锥规划问题的建模和求解；（6） 软件应至少10万变量级二阶锥规划问题的建模和求解；（7） 软件应支持对单一问题调用至少64线程进行多线程并行求解；（8） 对Hans Mittlemann测试榜单中的MIPLIB和NETLIB等中的线性规划问题，在15000秒内保证能成功求解全部问题；（9） 对Hans Mittlemann测试榜单中的运筹学算例集MIPLIB2017（The Mixed Integer Programming Library 2017）中的240个MILP（Mixed Integer Linear Programming）算例问题，在2小时内保证能全部成功求解90%以上的算例问题。三、功能要求如下：（1） 软件支持的求解算法应包括内点法、单纯形法、分支切割法、交替乘子下降法、一阶算法PDHG等，应适配学界和业界应用中的主流数学规划求解算法，并提供详细的接口支持与兼容，便于用户在各种场景和环境中进行调用；（2）软件能够进行优化参数控制，包括：终止条件类参数、求解算法、并行化参数、算法开关类参数；（3）求解器支持单台机器并发求解多个问题，能够在多核CPU上多线程求解计算，不限制CPU核数。（4）软件支持在离线环境中安装、部署和使用；（5）软件支持对不可行问题的分析功能，提供不可行模型最小冲突集（Irreducible Inconsistent Subsystem，简称IIS）的计算与分析功能，支持的优化问题类型应包括线性规划和混合整数规划问题；支持计算不可行模型的可行化松弛功能计算FeasRelax功能，并应提供多种衡量准则和计算模式，支持用户通过参数进行自定义选择。（6）软件支持针对整数规划问题设置部分或完整的初始解作为热启动；（7） 软件具备参数自动调优工具Tuner、Callbacks、矩阵建模功能。（8）软件应支持LP, MPS, CBF, SDPA等业内标准模型文件的读写；（9）软件应支持通过Python、C++、C#、C、Julia、JAVA等主流编程语言调用；（10）软件应支持通过CVXPY、Pyomo、PuLP、Julia等主流建模语言调用，语法应采用与自然代数语言相近的表达和书写方式，便于用户在各种开发环境调用；（11）软件的知识产权自主可控，无任何知识产权纠纷，可永久使用，报价人应提供相应证明材料；（12）报价人应提供求解器性能测试证明，宜提供含有国内外同类软件测评的2023-2024年公开测试结果;（13）软件应具备CNAS认证的软件安全测试报告，报价人应提供相应证明材料；（14）软件应具备软件产品登记测试报告，报价人应提供相应证明材料；（15）软件宜具备鲲鹏生态系统兼容性测试认证，报价人应提供相应证明材料；（16）软件宜具备中科可控产品兼容性认证，报价人应提供相应证明材料；（17）软件宜具备统信操作系统认证（海光），报价人应提供相应证明材料；（18）软件宜具备国产龙芯架构兼容性认证，报价人应提供相应证明材料；（19）软件应具备一定的实际应用经验，即需要提供求解器在实际生产项目中实际商业应用的证明材料。（20）软件应具备一定的实际应用经验，即需要提供求解器在实际生产项目中实际商业应用的证明材料。四、培训与质保要求如下：（1）报价人应对采购方用户进行系统使用方面的全面培训，其中包括软件原理、功能、用途、具体操作方法等。（2）质量保证期为1年，从软件交付之日开始计算。报价人承诺在质保期限内，通过版本更新的方式对软件系统的问题进行响应与修复；报价人承诺在质保期限内，提供电话技术支持、网络技术支持、技术咨询，必要时提供现场技术支持。技术支持包括平台使用教学、协助算例设计调试，免费技术支持。
质保期： 12个月
