招标信息网 - 致力为大家分类汇总招标信息!
当前位置:首页 > 中标公告 > 清华大学控制模型代码生成器的测试与认证技术服务中标公告

清华大学控制模型代码生成器的测试与认证技术服务中标公告

一、项目编号:清采招第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
联系我们

客服QQ:

12162961

工作时间:

周一至周六 9:00-18:00

邮箱:

12162961@qq.com

Copyright @ 2023 - 2025 Zhaobiaocn.Com All Rights Reserved

招标信息网 豫ICP备2023012959号