The formal representation of process system modelling assumptions and their implications

被引:2
作者
Hangos, KM [1 ]
Cameron, IT [1 ]
机构
[1] UNIV QUEENSLAND,DEPT CHEM ENGN,BRISBANE,QLD 4072,AUSTRALIA
关键词
D O I
10.1016/S0098-1354(97)00151-8
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.
引用
收藏
页码:S823 / S828
页数:6
相关论文
共 9 条
  • [1] ANDERSSON M, 1990, THESIS LUND U TECHNO
  • [2] HANGOS KM, 1997, UNPUB COMPUT CHEM EN
  • [3] LUND PC, 1992, THESIS U TRONDHEIM T
  • [4] MOE HI, 1995, THESIS U TRONDHEIM T
  • [5] ASCEND - AN OBJECT-ORIENTED COMPUTER ENVIRONMENT FOR MODELING AND ANALYSIS - THE MODELING LANGUAGE
    PIELA, PC
    EPPERLY, TG
    WESTERBERG, KM
    WESTERBERG, AW
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1991, 15 (01) : 53 - 72
  • [6] SYSTEMATIC CONSTRUCTION OF DYNAMIC-MODELS FOR PHASE-EQUILIBRIUM PROCESSES
    PONTON, JW
    GAWTHROP, PJ
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1991, 15 (12) : 803 - 808
  • [7] MODEL LA - A MODELING LANGUAGE FOR PROCESS ENGINEERING .1. THE FORMAL FRAMEWORK
    STEPHANOPOULOS, G
    HENNING, G
    LEONE, H
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1990, 14 (08) : 813 - 846
  • [8] STRUCTURAL-ANALYSIS OF DIFFERENTIAL-ALGEBRAIC EQUATION SYSTEMS - THEORY AND APPLICATIONS
    UNGER, J
    KRONER, A
    MARQUARDT, W
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 1995, 19 (08) : 867 - 882
  • [9] VAZQUEZROMAN R, 1992, THESIS IMPERIAL COLL