荆筱槐 陈凡 郝克刚 张广泉 葛玮 朱滨鸥 吴育华 刘喜华 宋悦 曾维鲁 顾尚杰

价值观 净室 验证 形式化方法 人类文化 通讯 局域网 令牌 生物工程 时态逻辑 线路保护 演绎证明 价值判断 旋进 监控系统 模型检测 总线式 科学技术 反应系统 科学探索 技术不确定性 计算树逻辑 人类自由