7. Összefoglalás 106
7.2. A munka továbbfejlesztésének lehet®ségei
A munka folytatásaként a következ® kutatási irányokat érdemes megvizsgálni illetve megvalósítani:
- Folyamatmodellek dimenzió analízise, amely egyrészt a modell egyenletek he-lyességének egy további ellen®rzését, másrészt a modell egyszer¶sítés folyama-tában a modell egyszer¶sít® feltételezések pontosabb deniálását biztosítja.
- Folyamatmodellek b®vítése (részletesebb alakra hozása) modell b®vít® transz-formációk segítségével.
- A modell egyszer¶sít® transzformációk tulajdonságainak további vizsgálata, például az összefügg®, de ellentmondásmentes egyszer¶sít® transzformációk algebrai tulajdonságainak meghatározása.
- A feltételezés transzformációk invertálhatóságának vizsgálata illetve invertál-hatóság esetén az inverz transzformációk deniálása.
- Két különböz® részletesség¶ modell összehasonlítása során a modell egyszer¶-sítésben egyértelm¶en felhasznált modellezési feltételezések meghatározása.
- Modellek "távolságának" meghatározása, amely heurisztika ismeretében a felté-telezés-visszafejtés által vizsgálandó modellek száma csökkenthet®.
- Feltételezés-visszafejtés során az összes lehetséges feltételezés-sorozat megha-tározása helyett egy rendezett minimális feltételezés-sorozat el®állítása.
Irodalomjegyzék
[1] Hangos K. M. and I. T. Cameron: Process modelling and model analysis, Aca-demic Press, New York, (2001)
[2] Marquardt W.: Trends in computer-aided modelling. Comput. Chem. Engng.
20 591-609. (1996)
[3] gProms technical document, gProms user's guide, Release 0.1, Center for Pro-cess Systems Engineering, Imperial College, London (1997)
[4] Fritson P.E. V. and J. Gunnarson: An integrated modelica environment for modelling, documentation and simulation. Proc. 1998 Summer Computer Si-mulation Conference SCSC98 Reno, Nevada, July 19-22. (1998)
[5] Piela P.C., Epperly T. G., Westerberg K. M. and A. W. Westerberg: ASCEND:
An object oriented computer environment for modeling and analysis: The mo-deling language. Comput. Chem. Engng. 15 53-72. (1991)
[6] Andersson M.: Omola - An object oriented language for model representation.
Licentiate Thesis, Depth. of Automatic Control, Lund University of Technology, Sweden (1990)
[7] Stephanopoulos G., Henning G. and H. Leone: MODEL.LA a modeling langu-age for process engineering - the formal framework. Comput. Chem. Engng. 8 813-846. (1990)
[8] Bogusch R. and W. Marquardt: A formal representation of process model equa-tions Comput. Chem. Engng. 21 1105-1115. (1997)
[9] Bogusch R., Lohmann B. and W. Marquardt: Computer aided process model-ling with ModKit. Comput. Chem. Engng. 25 963-995. (2001)
[10] Preisig H.: Modeller - an object-oriented computer-aided modelling tool. 4th International Conference on Foundations of Computer-Aided Process Design.
American Institute of Chemical Engineers Symposium 91 328-331. (1995) [11] Dieterich E. E., Salden A., Schafer J., Schmidt J. and G. Eigenberger:
Compu-ter aided process modelling with BIMAP. Comput. Chem. Engng. 21 1191-1201.
(1997)
[12] Linninger A. A., Chowdrhry S., Bahl V., Krendl H. and H. Pinger: A system approach to mathematical modeling of industrial processes. Comput. Chem.
Engng. 24 591-598. (2000)
[13] Stephanopoulos G., Johnston J., Kriticos T., Lakshmanan R., Mavrovounio-tis R. and C. Siletti: Design-kit: An object-oriented environment for process engineering. Comput. Chem. Engng. 11 655-674. (1987)
[14] Evans L. B., Boston J. F., Britt H. I., Gallier P. W., Gupta P. K., Joseph B., Mahalec V., Seider W. D. and H. Yagi: ASPEN: An Advanced System for Process Engineering. Comp. Chem. Engng. 3 319-327. (1979)
[15] AspenTech: ASPEN PLUS User's Guide. Aspen Tech., Cambridge, MA (1997) [16] Chempute Software: CHEMCAD process simulator. http://www.chempute.
com
[17] Hyprotect Ltd: HYSYS integrated simulation for the continuous processing in-dustries. http://www.hyprotech.com/products
[18] Rich S. H. and V. Venkatasubramanian: Model-based reasoning in diagnostic expert systems for chemical process plants. Comp. Chem. Engng. 11 111-122.
(1987)
[19] Sørlie C. F.: A computer environment for process modeling. Doctoral Disserta-tion Laboratory of Chemical Engineering, Norwegian Institute of Technology, Trondheim (1990)
[20] Telnes K.: Computer-aided modeling of dynamic processes based on elementary physics. Doctoral Dissertation, Division of Engineeering Cybernetics, Norwe-gian Institute of Technology, Trondheim (1992)
[21] Gani R. et al.: ModDev Application V1.00, ICAS, Kemiteknik, DTU, Denmark, (1998)
[22] Gani R. and A. K. Jensen: Computer aided system for generation of problem specic process models. Comp. Chem. Engng. 20 S145-S150. (1996)
[23] Gani R., Hytoft G., Jaksland C. and A. K. Jensen: An integrated computer aided system for integrated design of chemical processes. Comp. Chem. Engng.
21 1135-1146. (1997)
[24] Hangos K.M. and I. T. Cameron: A formal representation of assumptions in process modelling. Comput. Chem. Engng. 25 237-255. (2001)
[25] Jenzen A. K.: Generation of problem specic simulation models within an in-tegrated computer aided system Ph.D. thesis. Danish Technical University, Den-mark. (1998)
[26] Ginsberg M.: Essentials of articial intelligence, Morgan Kaufmann Pub.
(1993)
[27] Russell S. and P. Norvig: Articial intelligence - A modern approach In: Series in Articial Intelligence, Prentice-Hall International, Inc. (1995) Mesterséges intelligencia - Modern megközelítésben, Panem - Prentice-Hall. (2000)
[28] Nilsson N. J.: Principles of articial intelligence, Morgan Kaufmann Pub.
(1980)
[29] Winston P. H.: Articial intelligence (3rd edition), Addison-Wesley Pub. Co.
(1992)
[30] Futó Iván (szerkeszt®): Mesterséges intelligencia, Aula Kiadó. (1999)
[31] Poole D., Mackworth A. and R. Goebel: Computational intelligence - A logical approach, Oxford University Press. (1998)
[32] Hangos K. M., Lakner R. and Gerzson M.: Intelligent control sys-tem - An introduction with examples, Kluwer Academic Publishers.
(2001)
[33] Khardon R. and Roth D.: Reasoning with models. Articial Intelligence, 87 187-213. (1996)
[34] Khardon R. and Roth D.: Defaults and relevance in model-based reasoning.
Articial Intelligence, 97 169-193. (1997)
[35] Li Q. and Zhang W. J.: Application of model-based reasoning to the develop-ment of intelligent CAE systems. Engineering Applications of Articial Intelli-gence, 11 327-336. (1998)
[36] Bratko I.: Prolog programming for articial intelligence, Addison-Wesley Pub Co. (1990)
[37] Van Le T.: Prolog programming - with implementation of logical negation and quantied goals, John Wiley & Sons, Inc. (1993)
[38] PDC Prolog 3.30 - User's guide, Prolog Development Center. (1992) [39] Visual Prolog 5.0 - Language Tutorial, Prolog Development Center. (1997) [40] Kuipers B.: Qualitative simulation. Articial Intelligence 29, 289-388. (1986) [41] Kuipers B.: Qualitative simulation: Then and now. Articial Intelligence 59,
133-140. (1993)
[42] Weld D. S. and de Kleer J. (Eds.): Readings in qualitative reasoning about physical systems, The Morgan Kaufman. (1990)
[43] Faltings B. and Struss P.: Recent advances in qualitative physics, The MIT Press, Cambridge, MA. (1992)
[44] Reinschke K. J.: Multivariable control. A graph-theoretic approach. In: Lecture notes in control and information sciences, Thoma M. and A. Wyner (Eds.) Springer Verlag. (1988)
[45] Lakner R., Hangos K.M. and I. T. Cameron: An assumption-driven case-specic model editor. Comput. Chem. Engng. 23 S695-S698.
(1999)
[46] Lakner R. and K. M. Hangos: Computer-aided incremental model building IASTED International Conference on Modelling, Identi-cation and Control, MIC'2002 Innsbruck, Austria, February 18-21.
pp. 426-431. (2002)
[47] Ponton J. W. and P. Gawthrop: Systematic construction of dynamic models for phase equilibrium processes. Comp. Chem. Engng. 15, 803-808. (1991) [48] Wolfram S.: The Mathematica book, Cambridge University Press. (1999) [49] Char B. W., Geddes K. O., Gonnet G. H., Leong B. L., Monagan M. B. and
S. M. Watt: First leaves: A tutorial introduction to Maple V, Springer-Verlag.
(1992)
[50] Lakner R. and K. M. Hangos: Intelligent assumption retrieval from process models by model-based reasoning. Engineering of Intelligent Systems (Lecture Notes in Computer Science : Lecture Notes in Ar-ticial Intelligence) 2070 L. Monostori, J. Váncza, Moonis Ali (Eds.) Springer, 145-154. (2001)
[51] Lakner R., Hangos K.M. and I. T. Cameron: Assumption retrieval from process models. Computer Aided Chemical Engineering 9 R.
Gani, S.B. Jorgensen (Eds.), Elsevier 195-200. (2001)
Az értekezés témaköréhez kapcsolódó saját közleményeket félkövér bet¶kkel emel-tem ki.