傅泰祺 顾涛 张兴智 周巢尘 袁华强 郑守淇 孙永强 肖倩

顺序进程 极点法 控制序列 奎因法 纯函数式程序设计 测试序列 进程网 聚类分布 Monad 聚类法 微操作 实验研究 进程表达式 K均值 微处理器功能测试 分布式系统 性能指标 通道名 移位寄存器 通道集