昆明地铁四号线正线变电所监控系统使用的操作系统是( )。