化学就在我们身边，它与我们的生产、生活息息相关。从氢气、金刚石、干冰、小苏打四种物质中，选择与下列用途对应的物质，填写在空白处。

（1）用作高能燃料的是　     ；  （2）发酵粉的主要成分之一是　         　；

（3）用作人工降雨的是       ；  （4）镶在玻璃刀头上用来裁玻璃的是       。

用邻接矩阵表示无向图属于计算机学科方法论的三个过程中的（）。

A.抽象

B.理论

C.实验和论证

D.自动化设计及实现