金圭 童永承 陆文昌 张岩 李国屏 刘金华 徐雄 童钰 孙一源 李芝棠

隧道技术 单片机 传感器 流变 BAN逻辑 IPSec PPTP 电子称重系统 位状态差 不完全状态差表 Abadi and Needham）类逻辑 AotoCAD 实时控制 不完全封闭时序机 表状态差 虚拟专用网 Needham-Schroeder协议 串行接口 编码 模糊控制 Matlab 安全协议 L2TP 食品 红外通信 倒立摆 BAN（Burrows 数据传输 序状态差 自状态差表

湖北师范学院计算机科学系 湖北黄石