王元元 程翼羽 林东 张学平 任重 龙元香 齐东元 赵伟

人工智能 移动IP 网络管理及维护 VSAT 基于策略的网络管理 消解原理 推理 立体视觉 一阶谓词逻辑 算法 服务质量 网络管理与控制 特征基元 自然推理 平滑切换 信息融合 分布处理 IP多播 管理模型 反向传播 知识库系统 骨架系统 假设 专家系统 推理机 知识树 客户-服务器 自动定理证明ATP) 鉴别诊断 粗糙集

江苏南京 解放军理工大学指挥自动化学院 解放军理工大学计算机与指挥自动化学院计算... 浙江大学 解放军理工大学通信工程学院