可视化建模 知识推理 模型的存储及访问 计算机辅助支持 模块化设计