スマートシティにおいて、都市のインフラデータや人流データを一元的に管理し、最適化を行うための基盤ソフトを何と呼ぶか。

AIモデルのパラメータの数値を、高い精度（32bit等）から低い精度（8bit等）に変換して計算負荷を抑える手法はどれか。