段云所 范文慧 郭健美 王波兴 陈立平 陈钟 唐礼勇 张申生 马峻 肖田元 王声远 夏鸿建 闫强 刘树锟 阳小华 王英林

参数化建模 工程约束 评估 依赖关系 追踪 多体系统 安全保护等级 Daikon 问题求解 组合 虚拟仿真 分区协同设计 程序不变量 产品数据管理 信息模型 知识供应 业务流程 网络图