王涛 孙吉贵 李宏博 王崧 寇飞宏 魏佰友 姜云飞 韩文成 王红梅 任键

基于模型诊断 弧相容 产品 配置 U-S本原蕴涵蕴涵式 产品配置 参数 配置问题 个性化 大批量定制 不确定因果理论 冲突解释与择优蕴涵 不确定测试 判定 重新配置 产品配置器 元件替换 基于模型的诊断 不确定前提条件 不确定程度 模型正确性 产品构模器 修复 基于模型的中心诊断 配置求解 解释 管理 约束满足问题

吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验... 长春工业大学计算机科学与工程学院 中山大学计算机软件研究所 中山大学计算机系软件研究所 吉林大学计算机科学系 吉林出入境检验检疫局 吉林长春