杨达 周津慧 张镭 洪炳镕 王青 洪炳鎔 杜栓柱 翟健 舒风笛 梁金能 唐朔飞 洪炳熔 赵琛 赵晶 胡铭曾 刘霞 程旭 淮晓永 杨秋松 陈振冲 武占春 王文敏 刘大鹏 何梅 鄂卓茂 石东林 王志刚 童立靖 石淼 李雄锋

状况 截止期错过率 向上封闭集合 操作系统 服务组合 负载测试 抢占阈值 多用户协同 Linux 模型融合 产生式系统 开放系统 软件体系结构描述 基于知识的系统。 测试场景 差错控制 需求优先级 安全性 PID控制器 机载系统 系统评价 装配顺序 响应时间 评价 SPC 能力 空间自动生产 知识管理 工作流 AI问题求解

中国科学院软件研究所计算机科学国家重点实... 哈尔滨工业大学计算机科学与工程系 中国科学院软件研究所计算机科学重点实验室 中国农业大学 中国科技大学 香港理工大学电子计算学系 中科院软件所 中国科学院软件研究所互联网软件技术实验室