“北京商品交易所计算机交易系统” 由清华大学总承包,清华大学和北京商品交易所有限公司共同研制,历时三个半月于1993年11月18日投入运行。该系统实现了合约提交、按价格优先和时间优先原则撮合成交、结算以及风险控制等全自动交易过程。系统依据实用、可靠、开放、先进和经济原则开发,采用当时世界上最先进的技术,采用先进实用的分布式程序设计技术,成功解决了多个面向应用的关键技术。项目承担单位清华大学计算机系计算机网络与协议测试实验室在下一代网络体系结构、网络互联设备研制、协议形式化描述理论、协议一致性测试技术与系统研制、网络应用等方面,都取得了有价值的研究成果。