软件 辐 编程 程序设计系统 加捻 轮辐 粗纺 程序错误 复捻 程序设计环境 自动程序设计器材 二叠纪 离岸软件 转体跳水 程序设计流程图 粗纺车间 伯明翰线规 学程序 二叠纪/两栖类时代 多道程序设计优先权 软件采购使用限制策略 编程语言 编程位姿 逻辑编程语言 软件测试容错技术 编程模型 无约束问题