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