某同学从A地步行2000m到B地，然后乘车以5 m/s的速度去C地，那么这位同学乘车的时间x（s）与他走过的路程y（m）之间的函数关系为（    ）。

2010年上海世博会的亮点之一是低碳环保．

（1）世博停车场安装有汽车尾气催化光解设施，请写出汽车尾气中CO、NO相互作用生成可参与大气循环的两种无毒气体的化学方程式______．

（2）固态二氧化碳俗称______，写出一条它的用途______．