谭毅 郑国梁 朱平 徐建 李宣东 李德毅 王云峰 查鸣 庞军 施韦 李必信 林欣 刘小东 李善平

精化工具 风险 内涵逻辑 精化演算 风险防范 商业银行 ad hoc网络 缓存 熵 自裁减 消费信贷 Java 多点中继 置换算法 推理 泛洪广播 预测 邻接关系 超熵 形式化开发方法 形式方法 耦合度量 普适计算 面向对象 期望值 建构 二维云 形式规约 上下文信息 形式化

南京大学计算机软件新技术国家重点实验室 浙江大学计算机科学与技术学院 解放军理工大学气象学院 南京大学计算机软件新 中国科学技术大学计算机科学与技术系合肥 北京海淀区自动化研究所 南京大学计 南京大学计算机科学与技术系