使用单位： 数理信息学院
| 项目名称 | 测试费 | ||||||||||||||||||||
| 经费名称 | 百千万人才工程 | 经费卡号 | |||||||||||||||||||
| 项目概况 | 时间：2014年5月23日上午。地点：北京大学理科一号楼。货物的品牌：难解问题测试实例。规格：1万-100万变量级。型号：3-SAT. 报价：48000 | ||||||||||||||||||||
| 采购方式（三选一，并填写相关信息） | □电子卖场 | ||||||||||||||||||||
| □网上竞价 | |||||||||||||||||||||
| ■其他方式 （请注明） 单一来源谈判 | 公示 | ■学校分散采购系统 □其他（请注明） | |||||||||||||||||||
| 公示 | 2014年 12月 15日 —— 2014年12月 17日 | ||||||||||||||||||||
| 采购 | 采购过程： 难解问题的实例需要基于RB模型产生，北京大学是RB模型的主要研究单位，目前只有该单位能够购产生规模较小但十分难解的问题实例，满足苏开乐课题组研究需要。成交供应商的名称：北京大学；最终采购单价每例48元，共1000例。总价：48000
| ||||||||||||||||||||
| 采购小组（不少于3人） | 组 长：苏开乐（签名）： 成 员：钟发荣， （签名）： 年 月 日 | 使用单位领导意见 |
签名： 单位盖章： | ||||||||||||||||||
| 备注： 1.集中采购目录之外，采购金额在2万元以上的分散自行采购项目，填写此表。 2.其他采购方式包括询价、竞争性谈判、单一来源采购等。 |