可实现性 程序设计 微型计算机系统 独立性 引导功能 加加速度 主要条件 数控系统 发展方向 梯形图 操作系统