根据工程发展与应用，以下不属于灰色基础设施的是（）。