模型管理系统问题形式化支持研究

摘要

问题形式化是问题求解的前序活动是决策过程中的一个重要阶段。对于可以应用管理科学/运筹学模型求解的问题，在模型管理系统中对其形式化的过程提供支持可以使模型管 理系统更加实用。该文在程序层、系统层、概念层、用户层四个层次上分析了理想的模型管理系统应具有的功能，在此基础上提出了具有问题形式化支持功能的模型管理系统的体系结构。