清华大学控制模型代码生成器的测试与认证技术服务(清采招第20260044号)中标公告
2026-04-07
北京 中标结果
清华大学控制模型代码生成器的测试与认证技术服务(清采招第20260044号)中标公告
北京-2026-04-07 00:00:00
北京-2026-04-07 00:00:00
清华大学控制模型代码生成器的测试与认证技术服务(清采招第********号)中标公告
发布时间:********** **:**:**阅读量:次
清华大学控制模型代码生成器的测试与认证技术服务
中标公告
一、
项目编号:
清采招第
********
号
二
、
项目名称:
清华大学控制模型代码生成器的测试与认证技术服务
三、中标信息:
供应商名称:
北京数原科技有限公司
供应商地址:北京市海淀区知春路
**
号
*
层
****
室
中标金额:
***
万
元
四、主要标的信息
服务名称:
清华大学控制模型代码生成器的测试与认证技术服务
服务范围:详见招标文件。
服务要求:
为一款基于形式化验证的高可信代码生成器(即标的所指的控制模型
代码生成器)提供测试与认证相关的技术服务
等,具体详见采购需求
。
服务标准:
详见招标文件。
合同履行期限:
自合同签订之日起
*
个月内完成控制模型代码生成器的测试与认
证技术服务全部服务内容,达到验收合格标准
。
五、评审专家名单:
俞芳、王怀群、杨朕堡、程社明、王生原(采购人代表)
六、代理服务收费标准及金额:详见招标文件,共计:
*.***
万元。
七、公告期限
自本公告发布之日起
*
个工作日。
八、其他补充事宜:中标人评审得分:
**.**
分。
九、凡对本次公告内容提出询问,请按以下方式联系。
*.
采购人信息
名
称:清华大学
地
址:北京市海淀区清华园
联系方式:
*
***********
*.
采购代理机构信息
名
称
:
华诚博远工程咨询有限公司
地
址
:
北京市丰台区吴家村路
**
号华诚博远设计产业园
联系方式
:
************
、
************
、
***********
*.
项目联系方式
项目联系人:
周满堂、程泽、黄佳、王雪、李莉
电
话:
************
、
************
、
***********
附件下载:



