张景中 张超 李传中 林佐伟 王奇峰

直扩 差分代换平凡 输出转矩 定理机器证明 码分多址（CDMA） 平凡非负性 半正定 解调 仿真实验 双闭环控制 调制 胞腔分解 构造性几何定理 信道 自动证明 几何不等式 解扩 半代数系统 无刷直流电机 差分代换 不等式机器证明 数值并行法 扩频技术 直线程序

广东广州 重庆邮电学院 广州大学计算机教育软件研究所 广州大学计算机教育软件所 中国联合工程公司