论文部分内容阅读
讨论了发展中国家可持续发展问题的特征, 为开发和应用决策支持系统辅助发展中国家可持续发展问题的决策,给出了构造可持续发展决策支持系统的策略、可持续发展问题模型化的表示方法、开发定义可持续发展问题的非过程性语言的方法和基于定理证明的数值计算与非数值计算.“,”The character istics of sustainable development problems in the developin g countries is discussed.In order to develop and use decision support system (DS S) for suppor ting sustainable development problem decision making in the developing countries ,this paper presents a strategy of constructing the DSS for sustainable developm ent.A methodology of representing the model of sustainable development problems and developing a nonprocedural modeling language that is used to define sustaina ble development problems,a methodology of numeric and non-numeric operation bas ed theorem proving is given in this paper.