清华大学控制模型代码生成器的测试与认证技术服务中标公告
公告分类:中标公告
所属地区:海淀区
项目编号:
清采招第20260044号(招标文件编号:清采招第20260
发布时间:2026年04月07日
所属行业:服务/其他服务
项目金额:
¥345.000000 万元(人民币)
一、项目编号:清采招第20260044号(招标文件编号:清采招第20260044号)
二、项目名称:清华大学控制模型代码生成器的测试与认证技术服务
三、中标(成交)信息
供应商名称:北京数原科技有限公司
供应商地址:北京市海淀区知春路23号2层206A室
中标(成交)金额:345.0000000(万元)
四、主要标的信息
| 序号 | 供应商名称 | 服务名称 | 服务范围 | 服务要求 | 服务时间 | 服务标准 |
| 1 | 北京数原科技有限公司 | 清华大学控制模型代码生成器的测试与认证技术服务 | 详见招标文件 | 为一款基于形式化验证的高可信代码生成器(即标的所指的控制模型代码生成器)提供测试与认证相关的技术服务等,具体详见采购需求 | 自合同签订之日起3个月内完成控制模型代码生成器的测试与认证技术服务全部服务内容,达到验收合格标准 | 详见招标文件 |
五、评审专家(单一来源采购人员)名单:
俞芳、王怀群、杨朕堡、程社明、王生原(采购人代表)
六、代理服务收费标准及金额:
本项目代理费收费标准:详见招标文件。
本项目代理费总金额:2.768000 万元(人民币)
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
中标人评审得分:94.88分。
九、凡对本次公告内容提出询问,请按以下方式联系。
1.采购人信息
名 称:清华大学
地址:北京市海淀区清华园
联系方式:010-62794240
2.采购代理机构信息
名 称:华诚博远工程咨询有限公司
地 址:北京市丰台区吴家村路57号华诚博远设计产业园
联系方式:周满堂、程泽、黄佳、王雪、李莉010-81123510、010-81123506、18210094518
3.项目联系方式
项目联系人:周满堂、程泽、黄佳、王雪、李莉
电 话: 010-81123510、010-81123506、18210094518
项目概要
| 公告信息: | |||
| 采购项目名称 | 清华大学控制模型代码生成器的测试与认证技术服务 | ||
| 品目 | 服务/其他服务 | ||
| 采购单位 | 清华大学 | ||
| 行政区域 | 海淀区 | 公告时间 | 2026年04月07日 10:51 |
| 评审专家名单 | 俞芳、王怀群、杨朕堡、程社明、王生原(采购人代表) | ||
| 总中标金额 | ¥345.000000 万元(人民币) | ||
| 联系人及联系方式: | |||
| 项目联系人 | 周满堂、程泽、黄佳、王雪、李莉 | ||
| 项目联系电话 | 010-81123510、010-81123506、18210094518 | ||
| 采购单位 | 清华大学 | ||
| 采购单位地址 | 北京市海淀区清华园 | ||
| 采购单位联系方式 | 010-62794240 | ||
| 代理机构名称 | 华诚博远工程咨询有限公司 | ||
| 代理机构地址 | 北京市丰台区吴家村路57号华诚博远设计产业园 | ||
| 代理机构联系方式 | 周满堂、程泽、黄佳、王雪、李莉010-81123510、010-81123506、18210094518 | ||
| 附件: | |||
| 附件1 | 【中标公告】控制模型代码生成器的测试与认证技术服务.docx | ||
| 附件2 | 【招标文件】控制模型代码生成器的测试与认证技术服务.pdf | ||
| 附件3 | 关于符合本国产品标准的声明函.pdf | ||
推荐信息
- 重庆城市管理职业大学智能照护机器人及应用场景设备(CQS26A03532)中标(成交)结果公告
- 海口市琼山区府城街道社区卫生服务中心装修改造和能力提升项目医疗设备采购项目结果公告(采购包1)
- 盐城市新洋第二实验学校2026年度物业服务项目中标公告
- 江西鑫磊工程造价咨询有限公司关于2026年吉安市中心人民医院电脑采购项目(编号:赣鑫磊政采字[2026]16号第二次)结果公告
- 江西省机电设备招标有限公司关于江西水利电力大学2026数据库采购项目(标段5)(项目编号:JXTC2026030235-05)单一来源采购结果公告
- 温州市中概工程管理咨询有限公司关于永嘉县人民医院新院区综合护工服务项目中标(成交)结果公告
- 血液透析机及水处理系统结果公告
- 2026年重大动物疫病防控疫苗采购项目结果公告
- 云南省监狱管理局曲靖监狱信息化运维服务2026-2029年度项目中标结果公告
- 南漳县漫云村古树公园试点补助项目中标成交公告
联系我们
客服QQ:
12162961
工作时间:
周一至周六 9:00-18:00
邮箱:
12162961@qq.com
