基于AUV搭载RTK与侧扫声呐的结构组件及湖上试验的技术服务意向公告
2025-12-12
全国 招标采购
基于AUV搭载RTK与侧扫声呐的结构组件及湖上试验的技术服务意向公告
全国-2025-12-12 00:00:00
全国-2025-12-12 00:00:00
基于***搭载***与侧扫声呐的结构组件及湖上试验的技术服务意向公告
为便于供应商了解采购信息，根据《物资服务集中采购需求管理暂行办法》等有关规定，现将智能无人平台操控练习因果分析插件的采购意向公开如下：
| 序号 | 采购项目名称 | 需求概况 | 初步技术参数 | 预算金额(万元) | 预计采购时间 | 备注 |
|---|---|---|---|---|---|---|
| * | 约束求解器 |
采购内容：约束求解软件采购项目基本情况表
采购数量约束求解软件，*套
具体的技术
指标要求*.★需支持逻辑约束求解与数学规划求解功能；
*.★逻辑约束求解需支持输入逻辑表达式（***格式）文件输入，并输出是否存在满足该逻辑约束的解；
*.★数学规划求解需至少支持大规模线性规划、混合整数线性规划和二次规划问题的快速求解；
*.★数学规划求解需至少支持*++、******和******编程语言；
*.★数学规划求解需跨平台支持*****，*******系统以及***和***平台；
*.逻辑约束求解功能，求解可满足性判定问题。
付款方式正式合同生效后**个工作日内支付**%合同款，验收合格后**个工作日内支付**%合同款，质保期满后**日内支付*%合同款。
供货、安装周期合同生效后，中标方在 ** 日内完成安装及调试。
采购方式建议及理由竞争性谈判
项目负责人：李杰 联系方式：***********
经 办 人：曹粟 联系方式：***********
采购数量：*套
主要功能或目标：约束求解软件采购项目基本情况表
采购数量约束求解软件，*套
具体的技术
指标要求*.★需支持逻辑约束求解与数学规划求解功能；
*.★逻辑约束求解需支持输入逻辑表达式（***格式）文件输入，并输出是否存在满足该逻辑约束的解；
*.★数学规划求解需至少支持大规模线性规划、混合整数线性规划和二次规划问题的快速求解；
*.★数学规划求解需至少支持*++、******和******编程语言；
*.★数学规划求解需跨平台支持*****，*******系统以及***和***平台；
*.逻辑约束求解功能，求解可满足性判定问题。
付款方式正式合同生效后**个工作日内支付**%合同款，验收合格后**个工作日内支付**%合同款，质保期满后**日内支付*%合同款。
供货、安装周期合同生效后，中标方在 ** 日内完成安装及调试。
采购方式建议及理由竞争性谈判
项目负责人：李杰 联系方式：***********
经 办 人：曹粟 联系方式：***********
需满足的要求：无
|
无 | ***,***.** | ****年**月 | 无 |
注：*.本次意向公开的采购意向仅作为供应商了解初步采购安排的参考，采购项目具体情况以最终发布的采购公告和采购文件为准；
*.供应商可以通过采购平台反馈参与意向和意见建议。
联系人：王老师
联系方式：***********
用户登录后显示完整信息
