线性规划模型建模和分析管理

Linear programming modeling and management

本文采用标识集将线性规划模型的代数形式与其自然语言的模型文档统一在同一框架,建立标识线性规划模型,除去标识模型的代数成份,形成线性规划模型的模型文档.决策人员可以其熟悉的专业术语通过交互建模,根据模型构造规则对输入文档信息进行语法检查,完成模型文档相关信息的输入,并通过对模型文档的约束条件和目标进行特化(specialize)和例化(instantiated),将模型文档生成线性规划模型的标准形式或算法约定的格式.模型构造规则统一了标识数学规划模型与关系数据库框架,并集成了模型管理、模型结构分析、模型数据分析、数据库管理等功能.

The paper presents the labeled mathematical programming models represented by labeled sets, which integrates the algebraic parts of a model with its comments. The comments of a model, excluding the algebraic parts of the labeled mathematical programming model, are a natural representation of a model and the form of thinking and reasoning for modeling. According to the presented modeling rule, the comments of a model can be expressed by endusers through friendly interface, and is automatically translated to the readable computer form through specializing and instantiating its constraints and objectives of the model comments. The modeling environment integrates model management, analysis of model structure, database capabilities and reporting.