[] () the total amount that factories, mines, gas and electricity industries, etc. in a country produce during a particular period工业生产（总量）◆the industrial production index for October十月份的工业生产指数 () the process of making sth in large amounts in a factory工业生产◆the industrial production of iron铁的工业生产