赖海光 陈一民 齐现英 韩丰谈 蔡圣闻 谢俊元 丰艳 张丽萍 程耀东 董明才 王明辉 王崇峻

线性化校正 安全协议验证 背景流 数字高程模型 分段拟合曲线 ObjectARX开发工具 类型化系统 航测地形图 图形交换文件 遗传算法 包模拟 磁力跟踪器 BP神经网络 Pt100 形式化方法 自动化 平衡电桥 πt演算 注入攻击序列 网络模拟技术整合 安全协议 安全协议模型 验证分析 流模拟 测量运算放大器 校正 攻击序列求解 计算机应用 增强现实

山东科技大学信息科学与工程学院 曲阜师范大学数学科学学院 山东泰安 甘肃兰州 上海大学计算机工程与科学学院 泰山医学院放射系 兰州交通大学数理与软件工程学院 铁道第一勘查设计院