产业互联网就是产业形态和互联网技术的融合。