张世琨 欧阳缮 刘刚 杨鉴 胡文蕙 黄雨 王艳林 黄舒志

物理对象上的操作表达式 Petri网 计算机网络实验 PT系统 石英晶体 相交数算法 负载谐振频率 模板匹配

河南郑州 解放军信息工程大学 云南大学信息与电子科学系 北京大学信息科学技术学院 桂林电子工业学院信息工程系 北京大学信息科学与技术学院 北京大学软件工程国家工程研究中心 北京大学教育部高可信软件技术重点实验室