4899
12月9日，中国人工智能学会在苏州举办了第八届吴文俊人工智能科学技术颁奖典礼，我校机电与信息工程学院杨克虎教授作为唯一完成人的研究成果“基于机器证明理论和算法的智能电网谐波消除方法”荣获第八届吴文俊人工智能科学技术奖励自然科学奖三等奖。获奖项目以机器证明领域的Groebner基以及对称多项式理论为基础，在特定谐波消除的数学模型以及求解方法方面取得了一系列科研成果，具体包括特定谐波消除数学模型的高效率代数求解方法，多电平特定谐波消除的统一模型以及求解特定谐波消除数学模型的并行结式消元法。
12月9日，中国人工智能学会在苏州举办了第八届吴文俊人工智能科学技术颁奖典礼，我校机电与信息工程学院杨克虎教授作为唯一完成人的研究成果“基于机器证明理论和算法的智能电网谐波消除方法”荣获第八届吴文俊人工智能科学技术奖励自然科学奖三等奖。获奖项目以机器证明领域的Groebner基以及对称多项式理论为基础，在特定谐波消除的数学模型以及求解方法方面取得了一系列科研成果，具体包括特定谐波消除数学模型的高效率代数求解方法，多电平特定谐波消除的统一模型以及求解特定谐波消除数学模型的并行结式消元法。
“吴文俊人工智能科学技术奖”由国家级学会——中国人工智能学会发起主办，经国家科学技术部核准，国家科学技术奖励工作办公室(国科奖社证字第0218号)公告，2011年1月6日正式设立。该奖项被外界誉为“中国智能科学技术最高奖”，已经形成了广泛的盛誉和影响力，吸引了来自清华、北大、中科院以及腾讯、百度等700余所高校、研究院所和企业的众多项目参与角逐，先后授予119个单位及行业机构，426名学者及专家，140个创新成果和项目表彰奖励，为不断推进我国智能科学技术领域的创新与发展发挥积极作用。
杨克虎教授担任我校机电与信息工程学院院长助理兼实验教学中心主任。获中国矿业大学(北京)首届青年五四奖章、北京市青年岗位能手、全国煤炭行业教育教学成果奖等10余项教学科研奖励。近年来，主要从事大功率电力电子变换器调制策略及机器证明理论在电力电子领域的应用等研究工作。主持了包括国家自然科学基金、北京市自然科学基金、北京市青年英才计划在内的多项科研课题，发表SCI/EI收录的学术论文20余篇，申请发明专利10余项。
