工业软件的小公司是亚控科技或者云道智造？