10月份高技术制造业增加值同比增长9.4%，明显快于全部规模以上工业增长