A FOLYAMAT- HÁLÓZATSZINTÉZIS FELADAT KITERJESZTÉSEI



Hasonló dokumentumok
$IHOQ WWNRULWDQXOiVPRWLYiFLyL )HOQ WWNRULWDQXOiVLNpSHVVpJHN. (O DGiVRPEDQ NpW D IHOQ WWNRUL WDQXOiVVDO NDSFVRODWRV NpUGpVN UW D IHOQ WWNRUL

2 A GÉP FELÉPÍTÉSE ÁLTALÁNOS MECHANIKAI RÉSZEK H(*(6=7 75$16=)250È ELEKTROMOS VEZÉRLÉS A GÉP FELÁLLÍTÁSA...

PXOWLPpGLiVHODGiVpV IHODGDWODSV]HUNHV]W-NLpUWpNHOSURJUDPFVRPDJ

ROMÁNIA HIVATALOS KÖZLÖNYE

Laboratóriumi gyakorlatok

AZ EURÓPAI KÖZPONTI BANK KORMÁNYZÓTANÁCSÁNAK IRÁNYMUTATÓ ÁLLÁSFOGLALÁSA

Egyezmény. a Németországi Szövetségi Köztársaság Kormánya. a Magyar Köztársaság Kormánya között. az audiovizuális kapcsolatokról

DOKTORI (Ph.D.) ÉRTEKEZÉS TÉZISEI VESZPRÉMI EGYETEM. Gazdálkodás- és Szervezés Tudományok Doktori Iskolája. DR. SOMOGYI SÁNDOR Ph.D.

Magyarországon a lakosság 40 %a élt biztonságos vagyoni, anyagi és kulturális N U OPpQ\HN N ] WW NHW WHNLQWKHWM N D WiUVDGDOPL JD]GDViJL pv SROLWLNDL

Laboratóriumi gyakorlatok

ORSZÁGOS EGÉSZSÉGBIZTOSÍTÁSI PÉNZTÁR

NYILVÁNOS VÉTELI AJÁNLATA A KARTONPACK DOBOZIPARI RT. ÁLTAL KIBOCSÁTOTT ÖSSZES SZAVAZATI JOGOT BIZTOSÍTÓ RÉSZVÉNYRE

$N ]P YHO GpVD]LVNRODLIHOQ WWRNWDWiVNDSFVRODWDLpVOHKHW VpJHL

VESZPRÉMI EGYETEM. Állattudományi Intézet ÁLLATÉLETTANI ÉS TAKARMÁNYOZÁSTANI TANSZÉK. DOKTORI (PhD) ÉRTEKEZÉS TÉZISEI

Sztöchiometriai egyenletrendszerek minimális számú aktív változót tartalmazó megoldásainak meghatározása a P-gráf módszertan alkalmazásával

A telefon alközpont használati útmutatója

HI-SHARP. Felhasználói és üzembe helyezési útmutató

Módszer köztes tárolókat nem tartalmazó szakaszos működésű rendszerek ütemezésére

Ellátási lánc optimalizálás P-gráf módszertan alkalmazásával mennyiségi és min ségi paraméterek gyelembevételével

Kezelési Útmutató. Japan Cash Raktáros programhoz

CIAS - ERMO 482 Mikrohullámú sorompó kültéri védelemhez Szerelési útmutató

TANULMÁNYOK A KICSI SZÉP. A DETERMINÁCIÓS EGYÜTTHATÓ ÉRTELMEZÉSE ÉS HASZNÁLATA A SZOCIOLÓGIAI KUTATÁSBAN *

GEORGIKON MÉDIA 99 KONFERENCIA

VAS MEGYE ÖNKORMÁNYZATÁNAK e57(6ë7-(

DOKTORI (PhD) ÉRTEKEZÉS TÉZISEI VESZPRÉMI EGYETEM

6]NHQQHU NiEHO 6]RIWYHU &'520RQ

TUDÁSMENEDZSMENT A TANULÓ TÁRSADALOMBAN

JELENTÉS. $](8WDJiOODPRNpVD](8IHQQWDUWKDWyIHMOGpVVHONDSFVRODWRV stratégiáinak, illetve programjainak vizsgálata, elemzése c.

KARTONPACK DOBOZIPARI RT ÉVI ÉVES JELENTÉSE

Általános algoritmustervezési módszerek

ROMÁNIA HIVATALOS KÖZLÖNYE

INVARIANCIAELVEK A SZOCIOLÓGIAELMÉLETBEN ÉS AZ EMPIRIKUS KUTATÁSBAN

&LJiQ\J\HUHNHND]LVNROiEDQFLJiQ\IHOQ WWHND PXQNDHU SLDFRQ

KIP THORNE INTERSTELLAR ÉS A TUDOMÁNY

Agrárvállalkozások finanszírozási sajátosságai, pénzügyi- tervezési módszerek fejlesztése

Életpálya-tervezés. Doktori (PhD) tézisek. Vincze László

DOKTORI (PHD) DISSZERTÁCIÓ TÉZISEI

Használati útmutató UG 2200 Nova UG 3000 Nova UG 4500 Nova

Típusjel magyarázat...10 Méretek...10 Beépítési feltételek...11 A frekvenciaváltó bekötése Csatlakozókapcsok...14

Az ellátási láncok algoritmikus szintézise

7DQXOMRQRODV]XO)LUHQ]pEHQ

DOKTORI (PhD.) ÉRTEKEZÉS TÉZISEI. Írta: MÁJER JÁNOS

Branch-and-Bound. 1. Az egészértéketű programozás. a korlátozás és szétválasztás módszere Bevezető Definíció. 11.

TARTALOMJEGYZÉK 1. KIVONATOK MAGYAR 1<(/9 KIVONAT ANGOL NYEL

JELENTÉS. Környezetvédelmi és Vízügyi Minisztérium. Debreceni Egyetem, Alkalmazott Tájföldrajzi Tanszék. Dr.Kerényi Attila egyetemi tanár

TÁJÉKOZÓDÁS. normák szerinti cselekvés nem lehet része a racionális döntések elméletének. 1 A

A BRITTON CAPITAL & CONSULTING B()(.7(7, TANÁCSADÓ ÉS SZOLGÁLTATÓ KFT. Részvényenként forint ellenérték ellenében.

.,27Ï,-(*<=.g1<9 AZ EGYESÜLT NEMZETEK ÉGHAJLATVÁLTOZÁSI KERETEGYEZMÉNYÉHEZ

VESZPRÉMI EGYETEM KESZTHELY. Agrárgazdaságtani és Társadalomtudományi Tanszék

ROMÁNIA HIVATALOS KÖZLÖNYE

BKE 3. évf. 4. csoport

Problémák és újabb törekvések az Európai Unió társasági adózásáedq

Veszprémi Egyetem. PhD tézisek. Papp István. A neuromuzikológia alapkérdései neurolingvisztikai aspektusból

IX.B. Számrendszerek Megoldások

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám.

HJ\V]HU&WLV]WiQWDUWiVDpVIHOW OWpVHN QQ\HGpQYpJUHKDMWKDWó.

ROMÁNIA HIVATALOS KÖZLÖNYE

Els negyedéves gyorsjelentés

Algoritmuselmélet. Bonyolultságelmélet. Katona Gyula Y.

+DV]QiODWL8WDVtWiV. 9HU]Ly('6

$]RNWDWiVWHFKQROyJLD27MHOHQHpVM YMH

ROMÁNIA HIVATALOS KÖZLÖNYE

2. A dohányzás egészségügyi következményei

Ellenőrző kérdések. 36. Ha t szintű indexet használunk, mennyi a keresési költség blokkműveletek számában mérve? (1 pont) log 2 (B(I (t) )) + t

A mérési feladatot összeállította: Várady Péter BME Irányítástechnika és Informatika Tanszék szeptember 7.

Algoritmuselmélet. Mélységi keresés és alkalmazásai. Katona Gyula Y.

ROMÁNIA HIVATALOS KÖZLÖNYE

Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból

Programozási módszertan. Mohó algoritmusok

Diszkrét matematika 2. estis képzés

VV]HWHY LpVN YHWNH]PpQ\HL

Dokt ori (Ph D) Ért e ke zés. Doktori (PhD) Értekezés KONTÓ GIZELLA KES ZTHELY

FDP LNURSURFHVV]RURVW ]MHO] N ]SRQW

ROMÁNIA HIVATALOS KÖZLÖNYE

DOKTORI (PhD) ÉRTEKEZÉS CSAVAJDA ÉVA KESZTHELY

Gyártórendszerek modellezése: MILP modell PNS feladatokhoz

az Információs Társadalom kihívásaira 2. változat október 1.

30. ERŐSEN ÜSSZEFÜGGŐ KOMPONENSEK

A PB-IN-+)V]pULiM~IpQ\VXJDUDVpU]pNHONP&V]DNLNp]LN Q\YH. PULNiX PB-)V]pULiQDNDW NpOHWHVtWHWWYiOWR]DWDDPHO\PHJEt]KDWyN OVWpULIpQ\VXJDUDs

Totális Unimodularitás és LP dualitás. Tapolcai János

Az optimális megoldást adó algoritmusok

9. előadás. Programozás-elmélet. Programozási tételek Elemi prog. Sorozatszámítás Eldöntés Kiválasztás Lin. keresés Megszámolás Maximum.

Doktori (PhD) értekezés tézisei. Feczkó Tivadar. Veszprémi Egyetem

Mérések Michelson-interferométerrel

Diszkrét matematika 2.C szakirány

Folyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja. Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar

1: Bevezetés: Internet, rétegmodell Alapok: aszimptótika, gráfok. HálózatokII, 2007

1. Alapfogalmak Algoritmus Számítási probléma Specifikáció Algoritmusok futási ideje

2. Visszalépéses keresés

Diszkrét, egészértékű és 0/1 LP feladatok

2017/ Szegedi Tudományegyetem Informatikai Intézet

Szétválasztási hálózatok szintézise: Különböző tulajdonságokon alapuló szétválasztó módszerek egyidejű alkalmazása. Heckl István

Diszkrét matematika 2.C szakirány

ÉS VIZSGÁLATA DOKTORI (PHD) ÉRTEKEZÉS TÉZISEI SZABÓ ANIKÓ

PROGRAMOZÁS TARTALOMJEGYZÉK

2000. december 15. A Nagybányai Baleset Felmérésére Alakult Nemzetközi Munkacsoport jelentése

Algoritmizálás és adatmodellezés tanítása 1. előadás

GLOBÁLIS OPTIMALIZÁLÁSI ALGORITMUSOK PNS FELADATOK MEGOLDÁSÁRA

Dr. Vigvári András: Bevezetés a közszektor kontrollingba. II.

VESZPRÉMI EGYETEM A FÉNY ÉS A KISFREKVENCIÁS ELEKTROMÁGNESES TEREK HATÁSA MIKROSZKÓPIKUS GOMBÁKRA. Dr. NAGY PÁL

Átírás:

A FOLYAMAT- HÁLÓZATSZINTÉZIS FELADAT KITERJESZTÉSEI Ph.D. értekezés Varga József 7pPDYH]HW 'U)ULHGOHU)HUHQF 0 V]DNLLQIRUPDWLNDLDONDOPD]iVRN doktori program Nagy rendszerek tervezése és irányítása alprogram Veszprémi Egyetem Mérnöki Kar Számítástudomány Alkalmazása Tanszék Veszprém 2000

1. A FOLYAMAT-HÁLÓZATSZINTÉZIS FELADAT KITERJESZTÉSEI Értekezés doktori (PhD) fokozat elnyerése érdekében a Veszprémi Egyetem 0 V]DNLLQIRUPDWLNDLDONDOPD]iVRNSURJUDPMD0,MHO DOSURJUDPMiKR] tartozóan. Írta: Varga József A jelölt a doktori szigorlaton... pontot ért el. Veszprém,... a Szigorlati Bizottság elnöke Az értekezést bírálóként elfogadásra javaslom (igen/nem). (OV EtUiOy Dr.... igen / nem... aláírás Második bíráló: Dr.... igen / nem... aláírás Esetleg harmadik bíráló: Dr.... igen / nem... aláírás A jelölt az értekezés nyilvános vitáján... pontot ért el. $IHQWLHNDODSMiQDGRNWRULRNOHYpOPLQ VtWpVH Veszprém,... a bíráló bizottság elnöke 2

Tartalomjegyzék 2. Tartalomjegyzék 1. A FOLYAMAT-HÁLÓZATSZINTÉZIS FELADAT KITERJESZTÉSEI 2 2. TARTALOMJEGYZÉK 3 3. KÖSZÖNETNYILVÁNÍTÁS 5 4. TARTALMI ÖSSZEFOGLALÓ 6 5. EXTENSIONS OF PROCESS NETWORK SYNTHESIS (CONTENTS) 7 6. EXTENSIONEN DER PRODUKTIONSNETZWERKSYNTHESE (INHALT) 8 7. BEVEZETÉS 9 8. IRODALMI ÁTTEKINTÉS 12 8.1. Folyamat-hálózatszintézis feladatot megoldó általános módszerek 12 8.2. Hulladékkezeléssel integrált folyamat-hálózatszintézis 13 8.3. Integrált folyamat-hálózat- és irányítórendszer tervezés 14 8.4. Szakaszosan folytonos költségfüggvény alkalmazása folyamat-hálózatszintézis feladatban 15 8.5. )RO\DPDWKiOy]DWV]LQWp]LVIHODGDWPHJROGiVDSiUKX]DPRVP N GpVLHOY számítógépekkel 15 9. FOLYAMAT-HÁLÓZATSZINTÉZIS KOMBINATORIKUS MÓDSZERREL 17 9.1. Struktúra reprezentáció 18 9.2. Kombinatorikusan lehetséges struktúrák 20 9.3. Maximális struktúra algoritmikus generálása 21 9.4. Döntés leképezés 21 3

Tartalomjegyzék 9.5. ABB algoritmus 23 10. A FOLYAMAT-HÁLÓZATSZINTÉZIS FELADAT KITERJESZTÉSEI 28 10.1. Hulladékkezeléssel integrált folyamat-hálózatszintézis 29 10.1.1. Feladat definíció 30 10.1.2. Kombinatorikusan lehetséges struktúrák 31 10.1.3. MSGW algoritmus 34 10.1.4. Az algoritmus helyességének bizonyítása 35 10.1.5. ABBW algoritmus 42 10.2. Integrált folyamat-hálózat- és irányítórendszer tervezés 48 10.2.1. Struktúra reprezentáció 49 10.2.2. Kombinatorikusan lehetséges irányítható struktúrák 52 10.2.3. CMSG algoritmus 53 10.2.4. Az algoritmus helyességének bizonyítása 53 10.2.5. IPCS feladat megoldása az ABB algoritmus kiterjesztésével 58 10.3. FoO\DPDWKiOy]DWV]LQWp]LVV]DNDV]RVDQIRO\WRQRVN OWVpJI JJYpQ\ P YHOHWL egységekkel 58 10.3.1. Szakaszosan folytonos költségfüggvény kezelése 59 10.3.2. Branch-and-bound algoritmus szakaszosan fol\wrqrvn OWVpJI JJYpQ\ P YHOHWL egységekkel adott folyamat-hálózatszintézis feladat megoldására 64 10.4. )RO\DPDWKiOy]DWV]LQWp]LVIHODGDWPHJROGiVDSiUKX]DPRVP N GpVLHOY számítógépeken 69 10.4.1. Szoftver-architektúra 70 10.4.2. Eredmények 71 11. ÖSSZEFOGLALÁS 76 12. IRODALOMJEGYZÉK 77 13. FÜGGELÉK 81 13.1. Branch-and-bound 81 4

Köszönetnyilvánítás 3. Köszönetnyilvánítás (]~WRQV]HUHWQpNN V] QHWHWPRQGDQLPLQGHQNLQHNDNLOHKHW YpWHWWHKRJ\H]D dolgozat elkészüljön. (OV VRUEDQ WpPDYH]HW PQHN 'U )ULHGOHU )HUHQF WDQV]pNYH]HW HJ\HWHPL tanárnak a segítségéért és tanácsaiért. Dr. Hangos Katalin és Dr. L. T. Fan professzoroknak a közös munkánk során több éven keresztül nyújtott segítségükért. Tanszéki kollégáimnak a segítségükért, a javító szándékú megjegyzéseikért. Szüleimnek és öcsémnek a biztatásért. 5

Tartalmi összefoglaló 4. Tartalmi összefoglaló A dolgozatban az alap folyamat-hálózatszintézis feladat gyakorlati szempontból fontos kiterjesztéseinek megoldására alkalmas eszközöket mutatunk be. Az algoritmikus módszerek mindegyike a folyamat-hálózatszintézis feladat megoldására Friedler és munkatársai által kidolgozott kombinatorikus módszerre épül. A hulladékkezeléssel integrált folyamat-hálózatszintézis feladat definíciója a IHODGDWRV]WiO\WOHtUyIHOWpWHOHNHWWDUWDOPD]]DHQQHNPHJIHOHO HQKDWiUR]WXNPHJ a megoldások tulajdonságait. A struktúrákat ebben az esetben az alap folyamat- KiOy]DWV]LQWp]LV IHODGDWWDO D WRYiEELDNEDQ DODSHVHW PHJHJ\H] HQ 3JUiIIDO reprezentáljuk. Megadjuk az optimális megoldás keresési terét meghatározó, a maximális struktúrát generáló (MSGW) algoritmust, illetve bebizonyítjuk az algoritmus helyességét. A branch-and-bound algoritmus szétválasztó lépésének leírásához definiáljuk a döntés leképezés kiterjesztését. Mind az MSGW algoritmus, mind a branch-and-bound algoritmus szétválasztó lépése a feladattípusra általánosan alkalmazható, feladatfüggetlen. Az integrált folyamat-hálózat- és irányítórendszer tervezés esetén a feladat GHILQtFLyMDE Y OLWWLVPHJKDWiUR]]XNDPHJROGiVVWUXNW~UiNDWOHtUyD[LyPiNDW Ennél a kiterjesztésnél a struktúrákat az ún. CP-gráfokkal reprezentálhatjuk, amelynek a P-gráf az egyik komponense. Ebben az esetben is megadjuk a maximális struktúrát generáló (CMSG) algoritmust és bebizonyítjuk az algoritmus helyességét. A branch-and-bound algoritmus szétválasztó lépése lényegében azonos az eredeti ABB algoritmus szétválasztó lépésével, mindössze HJ\ HJ\V]HU YL]VJiODWRW YpJ] QN PLQGHQ N ]E OV UpV]SUREOpPiUD D] LUiQ\tWKDWyViJRWHOOHQ UL]YH $ V]DNDV]RVDQ IRO\WRQRV N OWVpJI JJYpQQ\HO DGRWW P YHOHWL HJ\VpJHNE O iooy hálózat szintézise megoldható az ABB algoritmussal is, itt a cél egy a feladattípus speciális tulajdonságait kihasználó algoritmus megadása volt. (ONpV] OW D V]DNDV]RVDQ IRO\WRQRV N OWVpJI JJYpQQ\HO DGRWW P YHOHWL HJ\VpJHNE O iooy KiOy]DW V]LQWp]LVpW PHJROGy EUDQFKDQGERXQG DOJRULWPXV szétválasztó lépése és az algoritmus definiálásához szükséges részprobléma reprezentáció. $ SiUKX]DPRV P N GpVL HOY V]iPtWyJpSHNHQ IXWWDWKDWy $%% DOJRULWPXV NLGROJR]iViYDO D] DOJRULWPXV D PDQDSViJ HJ\LN OHJJ\RUVDEEDQ IHMO G számítástechnikai környezetben is használhatóvá válik, az óriási számítási WHOMHVtWPpQ\MyONLKDV]QiOKDWyQDJ\PpUHW J\DNRUODWLIHODGDWRNPHJROGiVDNRU 6

Extensions of process network synthesis (contents) 5. Extensions of Process Network Synthesis (contents) Algorithmic methods for solving different extensions of process network synthesis (PNS) have been elaborated. These algorithms are based on the accelerated branch-and-bound (ABB) algorithm proposed by Friedler and his colleagues for PNS problems. For process network synthesis with integrated waste treatment system, (i) the definition of solutions is extended; (ii) the axioms describing the combinatorially feasible structures are defined (iii) the MSGW algorithm for generating the maximal structure to define the search space for the branch-andbound algorithm solving the problem with proof of correctness is given; (iv) for formal definition of the general branching step of the proposed branch-andbound algorithm an extended decision-mapping has been introduced. Both the MSGW algorithm and the branching step of the branch-and-bound method are general; they are independent of the actual problem. In the case of integrated process and control system synthesis, (i) the definition of solutions is extended; (ii) the set of axioms describing the properties of combinatorially feasible and controllable (CFC) solution structures are given; (iii) an algorithm for generating the maximal CFC structure is presented followed by the proof of correctness; (iv) the branching step of the ABB algorithm is extended by a procedure for checking the controllability of a partial problem. Although the ABB algorithm can solve a PNS problem including operating units with sectionally continuous cost functions, an efficient algorithm exploiting the special properties of such problems is developed. An extended branching method and a new representation of partial problems are elaborated. The parallelization of the ABB algorithm allows us to utilize the acceleration achieved by the usage of multiple processors besides the acceleration of the sequential algorithm compared to traditional methods. 7

Extensionen der produktionsnetzwerksynthese (inhalt) 6. Extensionen der Produktionsnetzwerksynthese (Inhalt) Algorithmische Methoden für das Lösen unterschiedlicher Erweiterungen der Produktionsnetzwerksynthese (PNS) sind ausgearbeitet worden. Diese Algorithmen basieren auf dem beschleunigten Verzweigungsalgorithmus (ABB), der von Friedler und seinen Mitarbeitern für PNS-Probleme vorgeschlagen wurde. Bei synthetisierten Prozeßnetzen aus integriertem Abfallbehandlungssystem, ist die Definition der Lösungen erweitert und dergleichen ist das Set der Axiome, welches die Eigenschaften der kombinatorisch möglichen Lösungsstrukturen beschreibt. Die Lösungsstrukturen werden durch P-Diagramme wie im Fall von den PNS-Problemen, dargestellt. Die Superstruktur definiert den Suchraum des Algorithmus, der das Problem löst. Der MSGW-Algorithmus legt die Superstruktur fest; die Korrektheit dieses Algorithmus wurde nachgewiesen. Für formale Definition des allgemeinen erweiterten Jobsteps des vorgeschlagenen Verzweigungsalgorithmus, wurde ein erweitertes Entscheidungs-mapping eingeführt; es kann Abfallbehandlungssysteme behandeln. Beide Algorithmen, der MSGW und der erweiterte Jobstep der Verzweigungsmethode, sind allgemein anwendbar; sie sind vom tatsächlichen Problem unabhängig. Im Fall integrierter Prozeß- und Steuersystemsynthese, wird die Definition der Lösungen auch ausgedehnt und dasselbe gilt für das Set an Axiomen, welche die Eigenschaften der kombinatorisch möglichen und kontrollierbaren, Lösungsstrukturen beschreibt (CFC). Die Lösungsstrukturen werden von CP- GRAPHEN beschrieben, das P-Diagramm ist ein Bestandteil des CP- GRAPHEN. Ein Algorithmus für das Festlegen der maximalen CFC-Struktur, gefolgt vom Beweis von Korrektheit, wird dargestellt. Der erweiterte Jobstep des ABB-Algorithmus wird durch ein Verfahren für die Überprüfung der Steuerbarkeit eines partiellen Problems ausgedehnt. Obgleich der ABB- Algorithmus ein PNS-Problem einschließlich der funktionierenden Maßeinheiten mit geschnitten ununterbrochenen Kostenfunktionen lösen kann, wird ein noch leistungsfähiger Algorithmus, der die speziellen Eigenschaften solcher Probleme ausnutzt, entwickelt. Eine erweiterte Branching-Methode und eine neue Darstellung der Teilprobleme werden ausgearbeitet. Die Paralellität des ABB-Algorithmus erlaubt es, die Beschleunigung derart zu steigern, daß der Gebrauch von Mehrfachprozessoren zu zusätzlicher Zeiteinsparung führt, die in der Arbeit mit traditionellen Methoden verglichen wird. 8

Bevezetés 7. Bevezetés A dolgozat a Friedler és munkatársai által kidolgozott folyamat-hálózatszintézis IHODGDWRWPHJROGyNRPELQDWRULNXVPyGV]HUpVD]HUUHpS O J\RUVtWRWWEUDQFK and-bound algoritmus [16], az ABB algoritmus, lehetséges továbbfejlesztéseivel foglalkozik. A továbbiakban ezt a módszert tekintjük alapnak és az ABB algoritmussal megoldható feladatosztályt a folyamat-hálózatszintézis alapfeladatának. A folyamat-hálózatszintézis feladat rövid leírása: egy folyamat-hálózatszintézis IHODGDW GHILQLiOiVDNRU PHJ NHOO DGQXQN D OHKHWVpJHV pstw HOHPHN D továbbiakban P YHOHWLHJ\VpJQHNKtYMXNKDOPD]iWPHO\HNYDODPLE OLQSXW YDODPLW RXWSXW J\iUWDQDN D P YHOHWL HJ\VpJHN P N GpVpW OHtUy VV]HI JJpVHNHW LQSXWRN RXWSXWRN D P YHOHWL HJ\VpJ OHKHWVpJHV ioodsrwdl költségfüggvénye, ezek kapcsolata), a rendelkezésre álló nyersanyagok KDOPD]iW D] H]HNUH YRQDWNR]y HVHWOHJHV NRUOiWRNDW D] HO iootwdql NtYiQW WHUPpNpNHW pv MHOOHP] LNHW WRYiEEi PHJ NHOO KDWiUR]QXQN KRJ\ PLO\HQ szempontból keressük az optimális megoldást (azaz meg kell adnunk egy költségfüggvényt). $ FpO P YHOHWL HJ\VpJHN HJ\ KDOPD]iQDN D WRYiEELDNEDQ struktúra) NLYiODV]WiVD pv H]HN P N GpVpW OHtUy SDUDPpWHUHN PHJDGiVD ~J\ KRJ\ D VWUXNW~UiW H]HQ SDUDPpWHUHNQHN PHJIHOHO HQ P N GWHWYH NDSRWW hálózat (a feladat megoldása) megfelel a feladat definíciójában adott követelményeknek és a szintén definiált szempontból optimális. A folyamat-hálózatszintézis feladatot megoldó módszerek célja tehát egy optimális hálózat megkeresése, amely egy struktúrának és a struktúra optimális P N GpVpQHNDPHJKDWiUR]iViWMHOHQWL A dolgozatban az irodalmi áttekintés után a Friedler és munkatársai által kidolgozott gyorsított branch-and-bound algoritmust külön fejezetben mutatjuk 9

Bevezetés be, mivel az szolgál a dolgozatban ismertetett kiterjesztések alapjául. Ezt követi a kiterjesztések megoldására kidolgozott módszerek bemutatása. A folyamat-hálózatszintézis feladat kiterjesztésén olyan feladatot értünk, amelyben az alapfeladathoz képest további feltételek adottak. Az itt bemutatott kiterjesztések mellett természetesen további kiterjesztések is léteznek, valamint a folyamat-hálózatszintézis feladat kiterjesztései általában szabadon kombinálhatóak. A dolgozatban az alábbi kiterjesztéseket mutatjuk be: hulladékkezeléssel integrált folyamat-hálózatszintézis, integrált folyamat-hálózat- és irányítórendszer tervezés, folyamat-hálózatszintézis szakaszosan folytonos FpOI JJYpQ\ P YHOHWL HJ\VpJHNNHO IRO\DPDWKiOy]DWV]LQWp]LV IHODGDW PHJROGiVDSiUKX]DPRVP N GpVLHOY V]iPtWyJpSHNHQ Hulladékkezeléssel integrált folyamat-hálózatszintézis esetén a feladat definíciója összetettebb, az alapfeladatban is definiált szükséges termékek halmaza mellett a nem megengedett outputok halmaza is adott. A kiterjesztés legfontosabb alkalmazási területe a vegyipar, ugyanakkor a kidolgozott módszer iowdoiqrvdq DONDOPD]KDWy P V]DNL WHUPHO UHQGV]HUHNQpO $ PHJHQJHGHWW GH nem kívánatos outputokhoz a környezet terhelésével arányos értékeket rendelve és ezeket a célfüggvénybe építve olyan módszert kapunk, amely az optimális megoldást a költségen kívül (esetleg helyett) más szempontokat is figyelembe véve határozza meg. Az integrált folyamat-hálózat- és irányítórendszer tervezés esetén a feladat definíciója szintén tartalmaz további feltételeket, itt irányíthatósági szempontokat veszünk figyelembe az optimális megoldás keresésekor. Az LUiQ\tWiV D P N GpV VRUiQ HO IRUGXOy GLQDPLNXV YiOWR]iVRNKR] NDSFVROyGLN ugyanakkor a folyamat-hálózatszintézis feladatot megoldó módszerek célja egy optimális hálózat megkeresése, amely egy struktúra és annak egy optimális - VWDWLNXVMHOOHJ P N GpVpQHNDPHJKDWiUR]iViWMHOHQWLËJ\HJ\V]HU %RROHDQ típusú irányíthatósági szempontokat vehetünk figyelembe, az alkalmazhatóság PHJILJ\HOKHW VpJ V]DEiO\R]iV V]HPSRQWMiEyO PiU tj\ LV OpQ\HJHVHQ MREE megoldást kaphatunk. 10

Bevezetés Szakaszosan folytonos költségfüggvény alkalmazása a folyamathálózatszintézis feladatban a matematikai modell specializálását jelenti. Ez a IHODGDWRV]WiO\ PHJROGKDWy D] DODS $%% DOJRULWPXVVDO LV PHJIHOHO NRUOiWR]y függvény alkalmazásával, viszont az így kapott módszer az óriási számításigény miatt csak korlátozottan lenne használható. Az itt bemutatott módszer ezt a feladatot oldja meg az ABB algoritmusba egy összetettebb szétválasztó lépést integrálva. $ J\RUVtWRWW EUDQFKDQGERXQG DOJRULWPXV SiUKX]DPRV P N GpVL HOY számítógépeken futtatható változata az eredeti szekvenciális algoritmus PyGRVtWiVD OHKHW Yp WpYH PpJ QDJ\REE PpUHW IRO\DPDWKiOy]DWV]LQWp]LV IHODGDWRNJ\RUVPHJROGiViWIHOWpYHKRJ\DPHJIHOHO HV]N ]UHQGHONH]pVUHiOO 11

Irodalmi áttekintés 8. Irodalmi áttekintés $ IHMH]HWEHQ HO V] U U YLGHQ LVPHUWHW QN QpKiQ\ LVPHUW D IRO\DPDW hálózatszintézis feladat megoldására kidolgozott általános módszert. Ezt N YHW HQ D GROJR]DWEDQ LVPHUWHWHWW IRO\DPDWKiOy]DWV]LQWp]LV IHODGDW kiterjesztésekkel azonos, vagy ahhoz hasonló feladatosztályt megoldó módszereket mutatunk be. Mivel a dolgozatban ismertetett módszerek mindegyike a branch-and-bound technikára épül, a szakirodalomban széles körben publikált módszer egy formális leírását a dolgozat végén függelékként adjuk meg. 8.1. Folyamat-hálózatszintézis feladatot megoldó általános módszerek A folyamat-hálózatszintézis feladat megoldására kidolgozott módszerek egy része heurisztikus szabályokat alkalmaz, itt az optimális megoldás megtalálása QHPJDUDQWiOW$NRUiEEDQNLGROJR]RWWHJ]DNWPDWHPDWLNDLPyGV]HUHNUHpS O eljárások nagy része egy általános matematikai programozási módszert alkalmazott a folyamat-hálózatszintézis feladat megoldására [5, 7, 25, 40], ami a IRO\DPDWKiOy]DWV]LQWp]LV NRPELQDWRULNXV MHOOHJpQHN N V] QKHW HQHJ\YHJ\HV egész, sok bináris változót tartalmazó matematikai programozási feladat PHJROGiViW MHOHQWL D PyGV]HUW O I JJHWOHQ O SpOGiXO %HQGHUV GHNRPSR]tFLy >@ N OV N ]HOtWpV >@ (J\ LSDUL PpUHW IHODGDW PHJROGiVD yulivl V]iPtWiVL LJpQ\ H]HNDPyGV]HUHNQHPKDV]QiOMiNNLDIRO\DPDWKiOy]DWV]LQWp]LVIHODGDW jellegzetességeit, lényegében a feladat matematikai modelljének felírása után nincs szerepe az eredeti feladatnak. A módszerek némelyike megengedi heurisztikus algoritmusok alkalmazását a számítások gyorsítása érdekében, ez viszont a globális optimum figyelmen kívül hagyását jelentheti a megoldás keresésekor. 12

Irodalmi áttekintés Kifejezetten folyamat-hálózatszintézis feladatok megoldására Grossmann és munkatársai [34] dolgoztak ki egy módszert, amely az optimális megoldás keresésekor a folyamat-hálózatszintézis feladat kombinatorikus tulajdonságait leíró logikai összefüggéseket figyelembevéve teszi hatékonyabbá az optimális megoldás keresését. Brendel és munkatársai [2] bebizonyították, a JUiIDOJRULWPXVRNUD DODSR]y NRPELQDWRULNXV WHFKQLND PHJIHOHO DODSRNDW V]ROJiOWDWD PyGV]HUKH] D]D] OHYH]HWKHW EHO OH $ PyGV]HU KiWUiQ\D KRJ\ D logikai formulákat és a matematikai programozási módszereket együttesen alkalmazó módszer hatékony megvalósítása nehézkes (például milyen SURJUDPQ\HOYHW KDV]QiOMXQN WRYiEEi D SXEOLNiOW PyGV]HU QHP PHJIHOHO HQ NH]HO EL]RQ\RV HVHWHNHW SpOGiXO D] HO IRUGXOy N U NHW UHFLUNXOiFLyNDW PHJV] QWHWL tj\ OHKHWVpJHV PHJROGiVRNDW QHP YHV] ILJ\HOHPEH D PHJROGiV keresése során). Kombinatorikus módszereket, részben a branch-and-bound technikát, részben dinamikus programozást alkalmaz Fraga és McKinnon [8, 9]. Módszerük azonban nem törekszik az általános alkalmazhatóságra, a feladatot részproblémákra ERQWyV]pWYiODV]WyOpSpVIHODGDWI JJ DPyGV]HUEHQ$V]pWYiODV]WiVIRO\WRQRV változók szerint is lehetséges a módszerben, ekkor a folytonos változót diszkrét értékek egy véges halmazával közelítik. A folyamat-hálózatszintézis feladat megoldására kidolgozott ABB algoritmust a N YHWNH] IHMH]HWEHQLVPHUWHWM N 8.2. Hulladékkezeléssel integrált folyamathálózatszintézis A hulladékkezeléssel integrált folyamat-hálózatszintézis megoldására NLGROJR]RWWKDJ\RPiQ\RVPyGV]HUHNN ] VMHOOHP] MHKRJ\DNtYiQWWHUPpNHW WHUPHO KiOy]DW WHUYH]pVpW pv D WLOWRWW LOOHWYH PDJDV N OWVpJJHO MiUy RXWSXWRN NH]HOpVpWYpJ] KiOy]DWWHUYH]pVpWNpWN O QOpSpVEHQROGMiNPHJ(]D]RQEDQ általában nem vezet optimális vagy közel optimális megoldáshoz. Az amerikai EPA (Environmental Protection Agency, US) által definiált hierarchiában [1, 35] a hulladékkezeléssel integrált folyamat-hálózatszintézis IHODGDW PHJROGiViEDQ HOV GOHJHV V]HUHSHW NDS D IHOKDV]QiOW Q\HUVDQ\DJRN 13

Irodalmi áttekintés mennyiségének csökkentése (ami természetesen a szükséges termékek mellett kevesebb egyéb outputot eredményez), második helyen az újrahasznosítás V]HUHSHODKXOODGpNNH]HO UHQGV]HUpStWpVHFVDNH]HNHWN YHWL0tJD]HOV NpW OHKHW VpJHW DPL OpQ\HJpEHQ D WHUPHO KiOy]DW SDUDPpWHUHLQHN meghatározásakor a hulladékminimalizálás figyelembevételét jelenti, több PyGV]HUEHQ LV D WHUPHO KiOy]DW WHUYH]pVpYHO LQWHJUiOYD DONDOPD]]iN D KXOODGpNNH]HO pvwhupho KiOy]DW YDOyGL LQWHJUiOW WHUYH]pVpUH HGGLJ HJ\HWOHQ módszer sem vállalkozott. Több hulladékkezeléssel foglalkozó módszer [3, 4] a fenti hierarchiának csak az HOV YDJ\HOV NpWOpSpVpWDONDOPD]]DD]D]DKXOODGpNNH]HO KiOy]DWWHUYH]pVH nem is része a módszernek. A Crabtree és El-Halwagi által javasolt módszer [4] NpV] WHUPHO KiOy]DW KXOODGpNNLERFViWiViW PLQLPDOL]iOMD D PiU IL[ VWUXNW~UD ioodsrwyiowr]ylqdn PyGRVtWiViYDO GH D WHUPHO UHQGV]HU VWUXNW~UiMiW QHP PyGRVtWMD D]D] QHP iowdoiqrv LQWHJUiOW WHUYH] PyGV]HUW DG D WHUPHO KiOy]DW WHUYH]pVpW OHOYiODV]WMDDKXOODGpNNH]HOpVW A Berger által javasolt hulladékkezeléssel integrált folyamat-hálózatszintézis feladatot megoldó módszer [1] az optimális megoldás tervezését több lépésre ERQWMD VWDJH JDWH PRGHO $] HOV OpSpVEHQ D P N GpVW OHtUy SDUDPpWHUHN PHJKDWiUR]iVDNRU ILJ\HOHPEH YHV]L D KLHUDUFKLD HOV NpWV]LQWMpW9LV]RQWD KXOODGpNNH]HO UHQGV]HU WHUYH]pVpW HJ\ N O QiOOy OpSpVEHQ ROGMD PHJ $ módszer nyilván jobb megoldást eredményez, mint a szükséges termékek WHUPHOpVpWpVDQHPPHJHQJHGHWWRXWSXWRNNH]HOpVpWYpJ] KiOy]DWRNDWWHOMHVHQ HON O Q OWHQWHUYH] PyGV]HUHNGHD]LQWHJUiFLyLWWVHPWHOMHV 8.3. Integrált folyamat-hálózat- és irányítórendszer tervezés A hagyományos tervezési módszer szerint egy hálózat és irányítórendszerének WHUYH]pVH NpW HJ\PiVW N YHW OpSpVEHQ W UWpQLN $ OHJW EE PXQND D] irányítórendszer tervezésével kapcsolatban a kiértékelésre összpontosít, csak kevesen adnak algoritmikus eljárásokat, amelyek az irányíthatóság mértékét is integrálják a tervezési lépésbe [37]. 14

Irodalmi áttekintés 1LVKLGD pv PXQNDWiUVDL > @ W UHNHGWHN HOV NpQW D] LUiQ\tWKDWyViJ V]LV] tematikus figyelembevételére folyamat-hálózatszintézis feladatok megoldásakor. Nagyon kevés publikáció jelent meg, amelyben olyan módszert LVPHUWHWQHN DPHO\ HJ\LGHM OHJ W UHNV]LN D JD]GDViJRV pv D] LUiQ\tWKDWy tervezésre [20, 28, 30, 31], ezek speciális folyamat-hálózatszintézis feladatok irányítórendszerrel integrált tervezésére adnak megoldást általános matematikai programozási módszereket alkalmazva. 8.4. Szakaszosan folytonos költségfüggvény alkalmazása folyamat-hálózatszintézis feladatban A feladattípus az alap folyamat-hálózatszintézis feladathoz hasonlóan megoldható általános matematikai programozási módszerekkel, viszont a V]DNDV]RQIRO\WRQRVI JJYpQ\HNMHOHQOpWHPLDWWH]N O Q VHQQHKp]LG LJpQ\HV nagy ipari feladatok megoldása szinte lehetetlen. A feladattípus megoldására alkalmas a Raman és Grossmann által kidolgozott matematikai logikát használó módszer, az úgynevezett diszjunktív programozás, DPHOO\HO D N O QE ] PpUHW P YHOHWL HJ\VpJHN KDV]QiODWD HJ\HJ\ megoldásban logikai formulákkal jól leírható. Ez a módszer jóval hatékonyabb, mint egy általános matematikai programozási módszer alkalmazása, azonban QpKiQ\ SUREOpPiW PHJROGDWODQXO KDJ\RWW SpOGiXO D P YHOHWL HJ\VpJHN NDSDFLWiVDLUDIHOV NRUOiWDOJRULWPLNXVV]iPROiVDKLiQ\]LNH]WLQSXWNpQWYiUMDD módszer. 8.5. Folyamat-hálózatszintézis feladat megoldása SiUKX]DPRVP N GpVLHOY V]iPtWyJpSHNNHO $ V]DNLURGDORPEDQ IHOOHOKHW PyGV]HUHN QDJ\ UpV]H > @ iowdoiqrv PDWHPDWLNDL SURJUDPR]iVL PyGV]HUHN SiUKX]DPRV P N GpVL HOY számítógépekre adaptált változatát [29, 32, 36] alkalmazza folyamathálózatszintézis feladat megoldására. A folyamat-hálózatszintézis feladat megoldására kidolgozott kombinatorikus módszer párhuzamos feldolgozásra alkalmas változatát készítette el Fraga és McKinnon [9], az átalakított módszer dinamikus programozást használ. A 15

Irodalmi áttekintés módszert transzputeren, 64 processzoros Intel i860-as számítógépen és munkaállomás hálózaton valósították meg. Elkészítették mind a dinamikus processzorterhelés-kiegyenlítéssel (load balance) dolgozó, mind a hierarchikus mester-szolga (master-slave) alapú változatot. Mindkét típusú algoritmussal, PLQGHQ JpSWtSXV HVHWpQ N ]HO OLQHiULV J\RUVXOiVW WDSDV]WDOWDN V W D IHODGDWRN méretének növelésével a gyorsulás tovább javult. A mester-szolga algoritmus DONDOPD]iVDNRUDPHVWHUQHPYiOWV] NNHUHV]WPHWV]HWWpDIHODGDWRNPHJROGiVD során. 16

Folyamat-hálózatszintézis kombinatorikus módszerrel 9. Folyamat-hálózatszintézis kombinatorikus módszerrel A folyamat-hálózatszintézis kiterjesztéseinek megoldására javasolt módszerek a Friedler és munkatársai által kidolgozott, gráfalgoritmusokra alapozó, kombinatorikus technikára épülnek [16]. A folyamat-hálózatszintézis alapfeladatának formális definíciója: adott P YHOHWL egységhnhj\kdopd]dplqghqp YHOHWLHJ\VpJHJ\LQ i, out i, m i, k i ) rendezett QpJ\HVQHNWHNLQWKHW DKROLQ i D]LP YHOHWLHJ\VpJLQSXWMDLQDNKDOPD]DRXW i az L P YHOHWL HJ\VpJ RXWSXWMDLQDN KDOPD]D P i D] L P YHOHWL HJ\VpJ P N GpVpW OHtUy I JJYpQ\ D P YHOHWL HJ\VpJ LQSXWMDLQDN pv HJ\pE ioodsrwyiowr]ylqdn I JJYpQ\pEHQPHJDGMDDP YHOHWLHJ\VpJRXWSXWMDLWDN i D]LP YHOHWLHJ\VpJ költségfüggvénye. $ P YHOHWL HJ\VpJHN N ] WWL NDSFVRODWRW D P YHOHWL HJ\VpJHN LQSXWMDL pv outputjai jelentik. Ezeket a továbbiakban anyagoknak nevezzük, bár az input vagy output lehet energia, vagy például pozíció is egy szállítási feladat esetén. $]DQ\DJRNKDOPD]DWHUPpV]HWHVHQN O QLVGHILQLiOKDWyEiUHJ\HWOHQP YHOHWL egységhez sem tartozó anyag definiálása nyilván felesleges. Hálózaton a P YHOHWL HJ\VpJHN HJ\ UpV]KDOPD]iQDN YDODPLO\HQ ioodsrwyiowr]yn V]HULQWL P N GWHWpVpW puwm N DPHO\ EL]RQ\RV LQSXW DQ\DJRNEyO EL]RQ\RV RXWSXW DQ\DJRNDW iootw HO $ hálózat struktúráját GHILQLiOKDWMXN P YHOHWL HJ\VpJHN halmazának állapotváltozók nélküli megadásával. Ha a lehetséges input-output anyagok közül bizonyos anyagok (nyersanyagok) rendelkezésünkre állnak (korlátozott vagy korlátlan mennyiségben) és célunk valamely más anyaghalmaz (termékek HO iootwivd DOXOUyO NRUOiWR]RWW PHQQ\LVpJEHQ DNNRU D IRO\DPDWKiOy]DWV]LQWp]LV DODSIHODGDWD D P YHOHWL HJ\VpJHN HJ\ RO\DQ UpV]KDOPD]iQDN PHJNHUHVpVH D PHJIHOHO ioodsrwyiowr]ynndo DPHO\HNE O IHOpS O KiOy]DW PHJROGiV D] DGRWW LQSXWRN (nyersanyagok) segítségével a kért outputokat (termékek) minimális költséggel 17

Folyamat-hálózatszintézis kombinatorikus módszerrel iootwmdho $KiOy]DWN OWVpJHiOWDOiEDQDP YHOHWLHJ\VpJHNDQ\HUVDQ\DJRND WHUPpNHN pv D] HJ\pE KDV]QRV YDJ\ QHP NtYiQW RXWSXWRN N OWVpJpE O számítható. Ez a hálózat lesz a folyamat-hálózatszintézis feladat optimális megoldása. A folyamat-hálózatszintézis alapfeladata tehát definiálható a P YHOHWLHJ\VpJHNQ\HUVDQ\DJRNpVWHUPpNHNPHJDGiViYDO Mint a feladat definíciójából is látható, a folyamat-hálózatszintézis részben NRPELQDWRULNXV P YHOHWL HJ\VpJHN HJ\ UpV]KDOPD]iQDN NHUHVpVH UpV]EHQ PDWHPDWLNDL SURJUDPR]iV N OWVpJI JJYpQ\ ioodsrwyiowr]yn MHOOHJ IHODGDW ami egyben megoldását is nehézzé teszi, hiszen a kombinatorikus jelleg miatt a feladat matematikai modellje egy sok bináris változót tartalmazó vegyes egész programozási feladat lesz. A megoldások mindegyikének rendelkeznie kell néhány triviális tulajdonsággal, viszont ezek felírása a matematikai modellbe azt lényegesen bonyolultabbá tenné, azaz a megoldás keresésének hatékonysága nem javulna, így ezek a tulajdonságok csak a matematikai modellel dolgozva nem használhatóak ki. A gyorsított branch-and-bound algoritmus lényegében egy olyan speciális algoritmus, amely a folyamat-hálózatszintézis feladat kombinatorikus jellegét kihasználva több nagyságrenddel gyorsítja az optimális megoldás keresését az általános matematikai programozási módszerekhez képest. A kombinatorikus jelleg kihasználása nyilvánvalóan azt jelenti, hogy a módszer QHP HJ\V]HU HQ HJ\ PDWHPDWLNDL PRGHOOW ROG PHJ KDQHP D KiOy]DWRN VWUXNW~UiLYDO LV GROJR]LN D NHUHVpV VRUiQ H]pUW DODSYHW IRQWRVViJ~ KRJ\ D VWUXNW~UDUHSUH]HQWiFLy HJ\pUWHOP PDWHPDWLNDL puwhohpehq V]LJRU~ pv NRPELQDWRULNXVDOJRULWPXVRNNDOMyONH]HOKHW OHJ\HQ 9.1. Struktúra reprezentáció Bevett szokás, hogy a hálózat struktúráját egy irányított gráffal írják le, de ez QHP DONDOPDV D] HJ\pUWHOP PHJDGiViUD H]pUW D KiOy]DW VWUXNW~UiMiW HJ\ irányított páros gráffal, az úgynevezett P-gráffal reprezentáljuk [10, 11, 17]. A gráf csúcspontjait a folyamat-hálózatszintézis feladat definíciójában adott P YHOHWLHJ\VpJHNpVDKR]]iMXNNDSFVROyGyDQ\DJRNDONRWMiN$JUiIpOHLD] 18

Folyamat-hálózatszintézis kombinatorikus módszerrel DQ\DJRN pv P YHOHWL HJ\VpJHN N ] WWL NDSFVRODWRN HJ\ b P YHOHWL HJ\VpJ típusú csúcsból él vezet egy a anyag típusú csúcshoz, ha a eleme b outputhalmazának (a out b ), illetve egy a anyag típusú csúcsból él vezet egy b P YHOHWLHJ\VpJWtSXV~FV~FVKR]KDa eleme b inputhalmazának (a in b ). Az ily módon definiált gráf nyilván páros, hiszen soha nincs él két azonos típusú csúcs N ] WW$3JUiIRWDFV~FVRNDWDONRWyDQ\DJpVP YHOHWLHJ\VpJKDOPD]EyOiOOy SiURVVDO DGKDWMXN PHJ SpOGiXO 0 2 3JUiI D] pohnhw D P YHOHWL HJ\VpJHN HJ\pUWHOP HQPHJKDWiUR]]iN $ 3JUiI ieui]roivdnru D P YHOHWL HJ\VpJ WtSXV~ FV~FVRNDW Yt]V]LQWHV YRQDOODO ( ), az anyag típusú csúcsokat körrel (l) jelöljük. Az anyag típusú csúcsok között a nyersanyagokat, a termékeket különbözteti meg a többi anyagtól. 1. példa. Az 1iEUDHJ\P YHOHWL HJ\VpJE O iooy IRO\DPDWKiOy]DWV]LQWp]LV feladat P-gráfját szemlélteti, és mint az az ábráról is leolvasható, a feladat az 1, P YHOHWLHJ\VpJHNYDODPHO\NRPELQiFLyMiYDOD]$DQ\DJWHUPHOpVH~J\ hogy nyersanyagként az E, G, J és K anyagok állnak rendelkezésre. J K E 5 F G 6 H 3 4 B C D 1 2 1. ábra. Az ({A, B, C, D, E, F, G, H, J, K}, {1, 2, 3, 4, 5, 6}) P-gráf. A 19

Folyamat-hálózatszintézis kombinatorikus módszerrel 9.2. Kombinatorikusan lehetséges struktúrák Az optimális megoldás struktúrájának rendelkeznie kell néhány olyan WXODMGRQViJJDO DPHO\HN I JJHWOHQHN D P YHOHWL HJ\VpJHN PDWHPDWLNDL PRGHOOMpW O $] RSWLPiOLV PHJROGiV NHUHVpVH VRUiQ H]HNHW D NRPELQDWRULNXV tulajdonságokat figyelembevéve nagyságrendekkel javítható a keresés hatékonysága. Ezeket a nyilvánvaló tulajdonságokat mint axiómákat fogalmazzuk meg [11]: (S1) Minden termék szerepel a struktúrában. (S2) (J\ D VWUXNW~UiEDQ V]HUHSO DQ\DJ DNNRU pv FVDN DNNRU Q\HUVDQ\DJ KD HJ\HWOHQDVWUXNW~UiEDQV]HUHSO P YHOHWLHJ\VpJVHPiOOtWMDHO (S3) 0LQGHQ D VWUXNW~UiEDQ V]HUHSO P YHOHWL HJ\VpJ D IRO\DPDW hálózatszintézis feladatban definiált. (S4) 0LQGHQDVWUXNW~UiEDQV]HUHSO P YHOHWLHJ\VpJW OYH]HW~WWHUPpNKH] (S5) Ha egy a anyag része a struktúrának, akkor létezik a struktúrában olyan P YHOHWLHJ\VpJDPHO\QHNa inputja vagy outputja. $]6D[LyPiEDQV]HUHSO ~WDJUiIHOPpOHWEHQV]RNiVRVLUiQ\tWRWWXWDWMHOHQWLD struktúra P-gráfjában. A megoldások struktúráinak, a továbbiakban megoldásstruktúráknak, nyilván rendelkezniük kell a fenti tulajdonságokkal, de ez csak szükséges feltétel, nem HOpJVpJHV (ONpS]HOKHW KRJ\ D IHQWL IHOWpWHOHNHW WHOMHVtW VWUXNW~UD QHP P N GWHWKHW ~J\ KRJ\ D NtYiQW PHQQ\LVpJ WHUPpNHW HO iootwvd D rendelkezésre álló nyersanyagokból. Azokat a struktúrákat, amelyek teljesítik a fenti axiómákat kombinatorikusan lehetséges struktúráknak nevezzük. Az optimális megoldás keresését a kombinatorikusan lehetséges struktúrák KDOPD]iUDV] NtWYHDNHUHVpVLWpUOpQ\HJHVHQFV NNHQ3pOGiXOHJ\P YHOHWL egységgel definiált folyamat-hálózatszintézis feladat esetén [17] 2 35-1, azaz több mint 34 milliárd struktúra adható meg, ugyanakkor a kombinatorikusan lehetséges struktúrák száma mindössze 3465. Láthattuk, hogy a kombinatorikusan lehetséges struktúrák száma általában nagyságrendekkel kisebb, mint a berendezések halmazának összes lehetséges 20