一种新的数学规划模型描述框架

A NEW REPRESENTATION SCHEME FOR MATHEM ATICAL PROGRAMMING

本文提出了一种新的数学规划模型描述框架，使模型框架与模型数据在形式上统一起来，而实质上是互相独立的。实体属性间的依赖关系采用非过程性函数语言加以描述。这种描述语言具有简单的数学基础，便于正确性验证，同时它又是构造性语言，具有很强的表达能力，并结合数据库查询语言的特点，函数中引入了逻辑表达式，实现了实体子类属性间的联系描述。基于这种描述框架，利用支互式语言，用户只要回答有关的问题，并输入相应的数据，系统便可自动形成具体的数学规划模型。

This paper introduces a formal conceptual framework for mathematiccal programming which unifies model schema and model data in form, and while separates model scheme from model details in essence. Relationships among the attributes of entities concerned with a model are represented through the functional language. This language has simple mathematical foundations, and the declarative representation of a model in this is checkable without simulation or test running. Moreover, it is powerful because it is a constructive language. Based on this framwork, a mathematical programming model can be built by inputing the concerned information through the interactive dialog.