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



