钟彦儒 李金刚 沈复兴 王世强 张东来 徐殿国

三素元组 光电二极管 Peano公理组 波形 中频正弦波 复合控制 Peano公理 负载匹配 逆变电源 模型 归纳环 量词消去 感应加热 电压型 稳定性分析 静电感应 不定方程 双向归纳环 IV转换 紧致性定理

北京师范大学数学科学学院 西安理工大学自动化与信息工程学院 100875北京 陕西西安 哈尔滨工业大学深圳研究生院 哈尔滨工业大学电气工程及自动化学院