问答题,简答题：组成公理化系统的一般程序？

关于计算系统的网络化的说法正确的是（）A．物联网能够使物与物、物与人通过互联网连接在一起，因此，未来互联网将被物联网所取代B．社会网络能够使人与人通过互联网连接在一起，因此，未来互联网将被社会网络（或社交网）所取代C．未来互联网将发展为包括物联网、社会网络、服务网络以及与现实中各种网络深度融合的网络系统D．未来互联网将发展为全3维的虚拟世界网络

当围岩较稳定时，选择支护方式优先采用（）A．构件支护B．锚杆支护C．喷射砼支护D．锚喷联合支护

在投资收益不确定的情况下，按估计的各种可能收益水平及其发生概率计算的加权平均数是（）。A．实际投资收益(率)B．期望投资收益(率)C．必要投资收益(率)D．无风险收益(率)

疏散时，要沿着指示灯指示的方向走，最好弯腰或爬行前进，因烟气都悬浮在上部，下面多少都有一些（）

教育社会化就是教育对象的全民化。（　　） A．正确B．错误