Research on theories, methods and key technologies of "IoT for Animal Farming" Fundamental theories and key technologies of digital manufacturing Operational theories and key technologies of rail transit networks Research and application of key technologies for site formation engineering