郭芳 成晓明 龚德文 何端阳 王尚平 余梦迪 秦波 王育民 王晓峰 杨健 铃木秀男 刘阳 邹又姣 小林英恒 阳宁

可编程自动化控制器 证明信息 关系数据库 炉温控制 成员删除问题 串行通信 知识签名 深海采矿 定理证明 opto22SNAP输入输出 群数字签名 前馈 Isabelle 更新算子 以太网 热电偶放大器 多段电阻炉 扬矿测控系统

陕西西安710048西安电子科技大学IS... 西安电子科技大学ISN国家重点实验室 湖南大学 湖南长沙 西安理工大学理学院 长沙矿冶研究院 陕西西安