孟丽娅 张鸿宾 袁祥辉 朱全忠 杨社堂 赖小峰 贺也平 谢洪森

跨行现金管理系统 图像隐藏 LSB替换 企业服务总线 电阻网络 SOA 图像传感器 可信进程模型 量值传递 Tabu搜索 沃尔什正弦方差 稳定度 Isabelle工具 空间滤波 形式化 安全操作系统 状态机模型 运算跨导放大器

山东青岛 北海舰队航空兵计量站 海军航空工程学院青岛分院航空电子系 中国科学院研究生院 北京工业大学计算机学院 中国科学院软件研究所基础软件工程技术中心