王洪春 古天龙 严晓浪 杨军 姜华 张勤 魏生民 黄美发 张新访 张军波 康友树 李磊 钟艳如 石庆喜 周济 卢永江 葛海通

不确定性推理 装配序列生成 配合特征 量化 因果图 布尔函数 拆装 几何可行性 装配 装配规划 装配序列 形式验证 有序二叉决策图 广义锥 可行性 二叉决策图 稳定性