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

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