Több szerveres Markov kiszolgálási modellek:
|
|
- Lilla Katona
- 8 évvel ezelőtt
- Látták:
Átírás
1 Több szerveres Markov kiszolgálási modellek: számítási algoritmusok és infokommunikációs alkalmazások Do Van Tien PhD MTA doktori értekezés tézisei Budapesti Műszaki és Gazdaságtudományi Egyetem 2009.
2
3 1. Motivációk Az elmúlt században Erlang alkalmazta először a sorbanállási elméletet telefonhálózatok méretezésére, majd az úttörő kezdeményezés óta számos munka építette tovább a sorbanállási elméletet [8, 16, 36, 37, 40, 42] és alapozta meg az eredmények széleskörű gyakorlati alkalmazását as években Kleinrock a sorbanállási elmélet segítségével igazolta a csomagkapcsolt hálózat hatékonyságát, amely eredmény kucsszerepet játszott az Internet fejlesztésében. A terület ennek megfelelően az elmúlt évtizedekben és az utóbbi években is a kutatók rendkívül széles körének figyelmét vonta magára [1]. A kérdések nagy része azonban még mindig válaszra vár, ugyanis a különböző tulajdonságú szolgáltatások eltérő, de meghatározott minőségű nyújtása ugyanazon hálózati erőforrásokkal, az új kérdések sokaságát vetette fel mind az igények jellemzése, mind egymásra hatásuk elemzése, mind pedig a megfelelő hálózati funkciók specifikálása területén. Az elméleti teljesítőképességi elemzések célja a még fel nem épített rendszer teljesítőképességének becslése. Az elemzés fő pontjai a következők [29]: a forgalomforrások modellezése sztochasztikus folyamatokkal, a modellparaméterek meghatározása, a rendszer viselkedésének elemzése, beleértve a hálózatelemek teljesítőképességi modellezését is, a rendszer teljesítőképességének értékelése a forgalmi igények és a hálózat kölcsönhatásának figyelembevételével. A fenti tevékenységeket [35]: zárt alakú végképleteket eredményező analízissel, a teljesítőképességi jellemzők numerikus kiszámítására alkalmas algoritmusokkal, számítógépes szimulációval, valamint a meglevő rendszer működtetési tapasztalatainak figyelembevételével felállított előrejelzések segítségével lehet végezni, melyek közül az értekezésben az első három technikára koncentráltam. 2. Témakörrel kapcsolatos fogalmak és eredmények Az általam elért eredmények a szakirodalomban közismert fogalomhoz (kvázi-születési-halálozási folyamat) és egy numerikus módszerhez (spektrális felbontás) kapcsolódnak. Azért, hogy képbe helyezzem az olvasót, röviden összefoglalom a kvázi-születési-halálozási folyamat és spektrális felbontáson alapuló módszer lényegét. Tekintsünk egy folytonos idejű, időben homogén, irreducibilis, végtelen állapotterű Markov láncot, amelyben a rendszer állapotát a t időpontban két véletlen változó írja le: I(t) (I(t) {0, 1,..., N}) és J(t) (J(t) {0, 1,...}). Egy szintnek szokták nevezni 1
4 az állapotok azon részhalmazát, amelyhez ugyanolyan J érték tartozik. A szint fogalmát használva a pozitív valószínűségű egylépéses átmenetek csak egy szinten belül illetve a szomszédos szintek állapotai között lehetnek. Az ilyen átmeneteket tartalmazó folyamatot nevezzük kvázi-születési-halálozásinak (QBD) [37, 39]. A rendszer változásai a három típusú átmenettel írhatók le: szinten belüli átmenetek: A j (i, k) az (i, j) állapotból az (k, j) állapotba (0 i, k N; j = 0, 1,..., L) való átmenetet jelöli. felfelé lépéses átmenetek: B j (i, k) az (i, j) állapotból az (k, j +1) (0 i, k N; j = 0, 1,...) állapotba való átmenetet reprezentálja. lefelé lépéses átmenetek: C j (i, k) az (i, j) állapotból az (k, j 1) (0 i, k N állapotba való átmenetet jelöli. A j, B j és C j az (N + 1) (N + 1) elemű mátrixok, amelyeknek elemei A j (i, k), B j (i, k) és C j (i, k). A kvázi-születési-halálozási folyamatok egyensúlyi eloszlásának kiszámolására több hatékony módszert is kidolgoztak. A módszerek a szabályos rész speciális szerkezetét (ahol A j = A, B j = B és C j = C, azaz nem függnek j-től) használják ki és a szabálytalan rész bármilyen szerkezetű felépítését is megengedik, például a szabálytalan részben lehetséges átmenet nem szomszédos szintek között is. A mátrix egyenlet sajátérték feladatként történő megoldását javasolta Mitrani és Chakka [8, 39]. Ebben a λφ = φ ( B + λa + λ 2 C ) sajátérték feladat (λ komplex szám és φ (N + 1) dimenziós komplex vektor) 2N + 2 darab megoldása közül az N + 1 darab legkisebb abszolútértékű sajátérték megoldását és a hozzátartozó N + 1 darab sajátvektort keresik meg és ezekből építik fel a megoldást. A kvázi-születési-halálozási folyamatok számos távközlési problémák elemzésére alkalmazhatóak [2 10, 12 15, 19, 24, 25, 27, 28, 30 34, 38, 39, 43, 44]. A kvázi-születési-halálozási folyamatok általánosítása valamint spektrális felbontáson alapuló módszer és alkalmazásai témakörében Prof. Ram Chakkaval (a módszer egyik kidolgozója) folytatunk közös kutatásokat több mint egy évtizede 1. Jelen értekezés foglalja össze az elért tudományos eredményeimet, amelyek három fő csoportban sorolhatók: 1. Több szerveres markovi sorbanállási rendszerek általánosítása [10] és különböző problémákra való alkalmazása [9, 10, 12, 22, 23, 27, 28, 41]: Kidolgoztunk egy módszert az ún. HetSigma sor (MM K k=1 CP P k/ge/c/l G) állandósult állapot-valószínűségeinek meghatározására. Bebizonyítottam 1 Tran Tuan Hung - volt doktoranduszomnak és Wolfner György- Jereb László volt doktoranduszának Ph.D disszertációja is szorosan kapcsolódik a QBD témakörhöz. 2
5 a HetSigma sor stacionárius állapotvalószínűségeinek meghatározásában fontos szerepet játszó tulajdonságokat. Megadtam a szerzőtársam javasolt transzformációkra alapozottan a karakterisztikus mátrix polinom együtthatóira vonatkozó zárt képletet. Felismertem, hogy a HetSigma sor alkalmas néhány kommunikációs hálózatokban és informatikai rendszerekben levő probléma (optikai börszt kapcsolt multiplexer, MPLS forgalomirányítás, HSDPA, Apache Web szerver) modellezésére és elemzésére. Megemlítendő az a tény, hogy az első eredmény-csoportban Ram Chakka társszerzővel közösen kidolgoztunk egy módszert a HetSigma sor állandósult állapot-valószínűségeinek meghatározására, amely az ő korábbi cikkében [6] megjelent MM CPP/GE/c/L G sor általánosítását jelenti. A közös cikkünkben [10] és a 3. fejezetben található transformációk alkalmazása Chakka ötlete volt, ugyanakkor a levezetések és alkalmazási példák a saját eredményeim. 2. Az újra-próbálkozási sorokkal (retrial queue) modellezhető rendszerek jellemzőinek hatékony meghatározása [17, 18, 20]: Az újra-próbálkozási sorok számos infokommunikációs rendszer (DHCP szerver, vezetéknélküli hálózat) elemzésére használhatóak, ugyanakkor legtöbb esetben matematikailag kezelhetetlenek. A témakörben közelítő modelleket javasoltam. A közelítő modellek fontos tulajdonságainak felhasználásával hatékony algoritmusokat származtattam a rendszer állandósult állapotvalószínűségeinek meghatározására. A valóságot követő szimulációs vizsgálatokkal megmutattam, hogy a javasolt módszerek képesek pontosan meghatározni a teljesítőképességi paramétereket. Az általam kidolgozott algoritmusok számítás-igénye O(c) (ahol c a szerverek száma), így azok nagyszámú erőforrással gazdálkodó rendszerek (DHCP szerver, mobil hálózat) méretezésére különösen alkalmasak. Az M/M/c/N+c visszacsatolásos és újrapróbálkozási sorbanállási sort vizsgáltam. Felismertem és bebizonyítottam, hogy a karakterisztikus mátrix polinomnak (N + c + 2)/2 db nulla értékű sajátértéke van. A Grassmann által kidolgozott algoritmust módosítottam a nulla értékű sajátérték kezelésére. Megmutattam, hogy az általam módosított eljárás a nagy kapacitású rendszer esetén a hagyományos algoritmusoknál gyorsabban tudja meghatározni a jellemzőket. 3. A vakációs sorbanállási modellekel kapcsolatos eredmények és azok alkalmazása [21, 26].: A virtuális gép-szolgáltatók vakációs alapú karbantartási politikájának elemzésére egy új CPP/M/c vakációs sorbanállási modellt, valamint egy újrapróbálkozási igényekkel és dolgozó vakációs szerverrel rendelkező új M/M/1 sorbanállási modellt vezettem be. Bebizonyítottam a rendszer stabilitási feltételére vonatkozó tételt, ennek következményeként a vakációs alapú karbantartási politika a túlterhelés veszélye nélkül alkalmazható a virtuális-szerver szolgáltatóknál. Levezettem a pontos képleteket a rendszer állandósult állapot-valószínűségeinek meghatározására. Megadtam a rendszer sztochasztikus dekompoziciójára vonatkozó tétel bizonyítását. 3
6 3. Tézisek Az értekezés eredményei három fő téziscsoportba 2 sorolhatók, nagyjából a disszertáció törzsét alkotó 2., 3. és 4. részek tagolásának megfelelően. 1. Tézis: Több szerveres Markovi sorbanállási rendszer általánosítása [10] és több problémára való alkalmazása [9 12, 22, 23, 27, 28, 41] Több szerveres Markovi sorbanállási rendszer (the MM K k=1 CP P k/ge/c/l G-Queue with Heterogeneous Servers- HetSigma) analízisét ismertettem a 3. fejezetben [10]. Felismertem, hogy a HetSigma sor alkalmas néhány kommunikációs hálózatokban és informatikai rendszerekben levő probléma modellezésére és elemzésére [10, 12, 27, 28]. Korlátozott terjedelme miatt a dolgozatban csak az Apache web szerver modellezésével kapcsolatos új eredményeket ismertettem. A témakörrel kapcsolatos, jelen értekezés 3. és 4. fejezetében megtalálható új saját tudományos eredményeim a következő pontokba foglalhatók össze: 1.1. Megadtam a transzformációk következményeként, a G K,c,m végső formáját, valamint a karakterisztikus mátrix polinom (3.1. tétel) együtthatóira (Q K m ) vonatkozó 3.22 és 3.23 képletet (lásd. a alfejezet) Bebizonyítottam a HetSigma sor tulajdonságaival kapcsolatos, a sorbanállási rendszer stacionárius állapotvalószínűségeinek meghatározásában szerepet játszó 3.1, 3.2, 3.3, 3.4 és 3.5 tételt (lásd. a és alfejezet) Felismertem, hogy a HetSigma sor alkalmazható az Apache szerverben zajló kiszolgáló folyamatok modellezésére (lásd. 4. fejezet). Megfelelő változó (I 2 (t)) bevezetésével leírtam az Apache server MPM (Multi-Processing Module) folyamat-szabályozási mechanizmusát (lásd. a alfejezet) A három-dimenziós folyamat megfelelő rendezésével és a Kronecker műveletek segítségével levezettem, hogy a rendszer a kétdimenziós QBD-M folyamattal (Y = {[I(t), J(t)]; t 0}) megegyező módon jellemezhető, és állapot-valószínűségeinek meghatározására a HetSigma sor elemzésére kidolgozott módszer használható (lásd alfejezet) Megadtam a képleteket az Apache web szerver teljesítőképességi jellemzőinek meghatározására (4.3.5 alfejezet). A modellezés hatékonyságának vizsgálatára méréseket dolgoztam ki, és ezek segítségével igazoltam, hogy a modellre alapozott számítások jól közelítik a valóságos rendszerben mért jellemzőket ( alfejezet). 2 Az MTA műszaki tudományok osztályának követelményrendszerét figyelembevéve jelen tézisfüzet elsőleges célja, hogy egyértelműen segítse megállapítani az értekezésben ismertetett eredményeimet. 4
7 2. Tézis: Újra-próbálkozási sorokkal (retrial queue) modellezhető rendszerek jellemzőinek hatékony meghatározása [17, 18, 20] A témakörrel kapcsolatos, jelen értekezés 5., 6. és 7. fejezetében megtalálható új saját tudományos eredményeim az alábbiak: 2.1. A DHCP működés és a DHCP kliensek közötti kölcsönhatás elemzésére újra-próbálkozási sorbanállási modellt dolgoztam ki ( alfejezet). A modell beérkezési folyamatával kapcsolatos feltételezést (Poisson érkezési folyamat) a Híradástechnikai Tanszéken működő DHCP szerverben gyűjtött adatokkal validáltam (lásd ábra) A DHCP mechanizmus és a DHCP kliensek közötti kölcsönhatást leíró pontos matematikai modell kezelhetetlensége miatt egy közelítő modellt javasoltam. Levezettem, hogy a közelítő modell állandósult állapot-valószínűségei a karakterisztikus mátrix polinom egyetlen sajátérték-sajátvektor párjával és megfelelő együtthatókkal kifejezhetőek (5.3. képlet). Bebizonyítottam (5.1 tétel), hogy a sajátérték a karakterisztikus mátrix polinom LU-faktorizációjában szereplő L mátrix főátlójában levő utolsó elem gyöke a (0,1) intervalumban. Az 5.1 tétel felhasználásával egy hatékony algoritmust (lásd. az 5.1-es algoritmus) származtattam az egyetlen sajátérték, sajátvektor, együtthatók meghatározására és a rendszer állandósult állapotvalószínűségeinek meghatározására A kidolgozott megoldás hatékonyságának értékelésére vizsgálatokat végeztem a DHCP mechanizmus és a DHCP kliensek közötti kölcsönhatást pontosan leíró szimulációs modell segítségével. Az összehasonlítás (5.1 táblázat) megmutatja, hogy a számított és szimulációs eredmények nagyon jó azonosságot mutatnak. Összehasonlító tesztek futtatásával kimutattam, hogy az általam javasolt algoritmus nagyságrendekkel gyorsabban tudja meghatározni a szükséges eredményeket, mint a hagyományos módszerek (lásd. az 5.7 ábra). Az általam kidolgozott algoritmus számítás-igénye O(c) (ahol c a kiosztható IP címek száma), így nagy számú IP címekkel gazdálkodó szervezetekben (pl. Internet szolgáltatók) való használatra különösen alkalmas A vezetéknélküli hálózatban használt védőcsatorna mechanizmus elemzésére, a Tran-Gia és Mandjes által javasolt modellt vizsgáltam. Arra a következtetésre jutottam, hogy a védőcsatorna figyelembevétele miatt kicsi és nagy értékek egyaránt szerepelnek a kivonási műveleteket tartalmazó rekurzív számításokban, aminek következményeként az állapotvalószínűségek meghatározására javasolt Tran-Gia és Mandjes közelítő rekurzív módszer numerikusan nem stabil. A pontos matematikai modell kezelhetetlensége (mathematically intractable) miatt egy közelítő modellt javasoltam. Levezettem, hogy egy védőcsatorna alkalmazása esetén a közelítő modell stacionárius állapotvalószínűségei a karakterisztikus mátrix polinom két sajátértékével, két sajátvektorával és megfelelő együtthatókkal kifejezhetőek (6.6 és 6.7 képlet). 5
8 2.5. Bebizonyítottam, hogy a sajátértékek a karakterisztikus mátrix polinom LU-faktorizációjában szereplő L mátrix főátlójában levő utolsó két elem szorzatának gyökei a (0,1) intervalumban vannak. Ennek következményeként egy hatékony algoritmust (6.1 algoritmus) származtattam a két sajátérték, két sajátvektor, az együtthatók meghatározására és az rendszer állandósult állapotvalószínűségeinek meghatározására. A közelítő modell állapotvalószínűségeinek meghatározására kidolgozott algoritmus hatékonyságát a pontosan leíró szimulációs modell által szolgáltatott eredményekkel vetettem össze (6.3 táblázat). A vizsgálat megmutatja, hogy az eredmények nagyon jó azonosságot mutatnak. Az általam javasolt megoldás és a hagyományos algoritmusok futási idejének összehasonlításával megmutattam, hogy az általam javasolt algoritmus nagyságrendekkel gyorsabban tudja meghatározni a szükséges eredményeket mint a hagyományos módszerek (6.4 táblázat). Az általam kidolgozott algoritmus egy darab védő csatorna alkalmazása esetén számítás-igénye O(c) (ahol c a csatornák száma), így nagyobb kapacitású vezetéknélküli hálózatok méretezésére különösen ajánlott Az M/M/c/N+c visszacsatolásos és újrapróbálkozási sorbanállási sort vizsgáltam. Felismertem és bebizonyítottam, hogy a karakterisztikus mátrix polinomnak (N + c + 2)/2 db nulla értékű sajátértéke van (7.1 tétel). A Grassmann által kidolgozott algoritmust módosítottam a nulla értékű sajátérték kezelésére. Megmutattam, hogy az általam módosított eljárás nagykapacitású rendszer esetén a hagyományos algoritmusoknál gyorsabban tudja meghatározni a jellemzőket. 3. Tézis: a CPP/M/c vakációs sorbanállási modellel kapcsolatos eredmények és alkalmazásuk [26] A témakörrel kapcsolatos, jelen értekezés 8. fejezetében megtalálható új saját tudományos eredményeim a következő pontokba foglalhatók össze: 3.1. Bevezettem az új CPP/M/c vakációs sorbanállási modellt, amelynek segítségével a virtuális gép-szolgáltatók vakációs alapú karbantartási politikája elemezhető Bebizonyítottam a rendszer stabilitási feltételére vonatkozó 8.1 tételt, ennek következményeként a vakációs alapú karbantartási politika a túlterhelés veszélye nélkül alkalmazható a virtuális-szerver szolgáltatóknál Levezettem a pontos képleteket a rendszer állandósult állapot-valószínűségeinek meghatározására (8.7 képlet) Megadtam a rendszer sztochastikus dekompoziciójára vonatkozó 8.2 tétel bizonyítását. 6
9 4. Az eredmények hasznosítása Az értekezés elméleti eredményeinek különböző valóságos problémák (OBS Optical Burst Switching, MPLS többutas forgalomirányítás, vezetéknélküli technikák, Apache Web szerver, DHCP, MADCAP, virtuális szerverek karbantartási politikája, stb) elemzésére való alkalmasságát különböző publikációkban demonstráltuk, amely munkákban az igazi rendszerrel való összevetésre is került a sor. Az eredmények közvetlenül felhasználhatók az infokommunikációs szolgáltatások hatékonyságának növelésére. Hivatkozások [1] Jesús R. Artalejo and Antonio Gómez-Corral. Retrial Queueing Systems. Springer-Verlag, Berlin Heidelberg, [2] R. Chakka. Spectral Expansion Solution for some Finite Capacity Queues. Annals of Operations Research, 79:27 44, [3] R. Chakka, T.V. Do, and Z. Pandi. Generalized Markovian queues and applications in performance analysis in telecommunication networks. In D. D. Kouvatsos, editor, the First International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HET-NETs 03), pages 60/1 10, July [4] R. Chakka and P. G. Harrison. Analysis of MMPP/M/c/L queues. In Proceedings of the Twelfth UK Computer and Telecommunications Performance Engineering Workshop, pages , Edinburgh, [5] R. Chakka and P. G. Harrison. The Markov modulated CPP/GE/c/L queue with positive and negative customers. In Proceedings of the 7th IFIP ATM Workshop, Antwerp, Belgium, [6] R. Chakka and P. G. Harrison. A Markov modulated multi-server queue with negative customers - the MM CPP/GE/c/L G-queue. Acta Informatica, 37: , [7] R. Chakka and P. G. Harrison. The MMCPP/GE/c queue. Queueing Systems: Theory and Applications, 38: , [8] Ram Chakka. Performance and Reliability Modelling of Computing Systems Using Spectral Expansion. PhD thesis, University of Newcastle upon Tyne (Newcastle upon Tyne), [9] Ram Chakka and Tien Van Do. The MM K k=1 CP P k/ge/c/l G-Queue and Its Application to the Analysis of the Load Balancing in MPLS Networks. In 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings, pages ,
10 [10] Ram Chakka and Tien Van Do. The MM K k=1 CP P k/ge/c/l G-Queue with Heterogeneous Servers: Steady state solution and an application to performance evaluation. Performance Evaluation, 64: , March [11] Ram Chakka and Tien Van Do. Some New Markovian Models for Traffic and Performance Evaluation of Telecommunication Networks. In D. D. Kouvatsos, editor, Next Generation Internet: Performance Evaluation and Applications, volume LNCS, [12] Ram Chakka, Tien Van Do, and Zsolt Pandi. A Generalized Markovian Queue and Its Applications to Performance Analysis in Telecommunications Networks. In D. Kouvatsos, editor, Performance Modelling and Analysis of Heterogeneous Networks, pages River Publisher, [13] Ram Chakka, Enver Ever, and Orhan Gemikonakli. Joint-state modeling for open queuing networks with breakdowns, repairs and finite buffers. In 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pages IEEE Computer Society, [14] Ram Chakka and Isi Mitrani. Multiprocessor systems with general breakdowns and repairs. In SIGMETRICS, pages , [15] Ram Chakka and Isi Mitrani. Heterogeneous multiprocessor systems with breakdowns: Performance and optimal repair strategies. Theor. Comput. Sci., 125(1):91 109, [16] Robert B. Cooper. Introduction to Queueing Theory. North Holland, New York. Oxford, [17] Tien Van Do. An efficient computation algorithm for a multiserver feedback retrial queue with a large queueing capacity. Applied Mathematical Modelling, [18] Tien Van Do. An Efficient Computational Method for Retrial Queues to Cellular Mobile Systems with Guard Channels. submitted for publications, [19] Tien Van Do. Comments on multi-server system with single working vacation. Applied Mathematical Modelling, 33(12): , [20] Tien Van Do. An Efficient Solution to a Retrial Queue for the Performability Evaluation of DHCP. Computers & OR, 37(7): , [21] Tien Van Do. M/m/1 retrial queue with working vacations. Acta Informatica, [22] Tien Van Do and Ram Chakka. A New Performability Model for Queueing and FDL-related Burst Loss in Optical Switching Nodes. Computer Communications,
11 [23] Tien Van Do and Ram Chakka. Generalised QBD Processes, Spectral Expansion and Performance Modelling Applications. In D. D. Kouvatsos, editor, Next Generation Internet: Performance Evaluation and Applications, volume LNCS, [24] Tien Van Do, Ram Chakka, and Peter G. Harrison. An integrated analytical model for computation and comparison of the throughputs of the UMTS/HSDPA user equipment categories. In MSWiM 07: Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems, pages 45 51, New York, NY, USA, ACM. [25] Tien Van Do, Nam H. Do, and Ram Chakka. Performance evaluation of the high speed downlink packet access in communications networks based on high altitude platforms. In Khalid Al-Begain, Armin Heindl, and Miklós Telek, editors, ASMTA, volume 5055 of Lecture Notes in Computer Science, pages Springer, [26] Tien Van Do and Udo R. Krieger. A performance model for maintenance tasks in an environment of virtualized servers. In IFIP/TC6 NETWORKING 2009, pages , Aachen, Germany, [27] Tien Van Do, Udo R. Krieger, and R. Chakka. Performance modeling of an apache web server with a dynamic pool of service processes. Telecommunication Systems, 39(2): , [28] Tien Van Do, Denes Papp, Ram Chakka, and Mai X T Truong. A Performance Model of MPLS Multipath Routing with Failures and Repairs of the LSPs. In D. Kouvatsos, editor, Performance Modelling and Analysis of Heterogeneous Networks, pages River Publisher, [29] Do Van Tien, Jakab Tivadar and Telek Miklós. New Services and ATM. Hungarian PTT Journal, May [30] Steve Drekic and Winfried K. Grassmann. An eigenvalue approach to analyzing a finite source priority queueing model. Annals OR, 112(1-4): , [31] Enver Ever, Orhan Gemikonakli, and Ram Chakka. A mathematical model for performability of beowulf clusters. In Annual Simulation Symposium, pages IEEE Computer Society, [32] Enver Ever, Orhan Gemikonakli, and Ram Chakka. Analytical modelling and simulation of small scale, typical and highly available beowulf clusters with breakdowns and repairs. Simulation Modelling Practice and Theory, 17(2): , [33] Winfried K. Grassmann. The use of eigenvalues for finding equilibrium probabilities of certain markovian two-dimensional queueing problems. INFORMS Journal on Computing, 15(4): , [34] Winfried K. Grassmann and Steve Drekic. An analytical solution for a tandem queue with blocking. Queueing System, (1-3): ,
12 [35] L. Kleinrock. On the modeling and analysis of computer networks. Proceedings of the IEEE, 81(8): , August [36] Leonard Kleinrock. Queueing Systems. Vol I: Theory. John Wiley & Sons, Inc, [37] G. Latouche and V. Ramaswami. Introduction to Matrix Analytic Methods in Stochastic Modeling. ASA-SIAM Series on Statistics and Applied Probability, [38] Isi Mitrani. Approximate solutions for heavily loaded markov-modulated queues. Perform. Eval., 62(1-4): , [39] Isi Mitrani and Ram Chakka. Spectral expansion solution for a class of Markov models: Application and comparison with the matrix-geometric method. Performance Evaluation, 23: , [40] M. F. Neuts. Matrix Geometric Soluctions in Stochastic Model. Johns Hopkins University Press, Baltimore, [41] Papp Dénes and Truong Thi Xuan Mai and Do Van Tien. MPLS többutas elvezetés teljesítőképességi elemzése. Magyar Távközlés, May [42] L. Takacs. Introduction to the theory of queues. Oxford University Press, New York, [43] Hung Tuan Tran and Tien Van Do. Computational Aspects for Steady State Analysis of QBD Processes. Periodica Polytechnica, Ser. El. Eng, pages , [44] Y. Zhao and Winfried K. Grassmann. A numerically stable algorithm for two server queue models. Queueing Syst., 8(1):59 79,
13 A dolgozat témakörében készült reprezentatív publikációk jegyzéke Folyóirat cikkek [J1] R. Chakka and Tien Van Do. The MM K k=1 CP P k/ge/c/l G-Queue with Heterogeneous Servers: Steady state solution and an application to performance evaluation. Performance Evaluation, 64: , March (IF=0.616) [J2] Tien Van Do, U. R. Krieger, and R. Chakka. Performance modeling of an Apache Web Server with a Dynamic Pool of Service Processes. Telecommunication Systems, 39(2): , (IF=0.40) [J3] Tien Van Do, R. Chakka. A New Performability Model for Queueing and FDL-related Burst Loss in Optical Switching Nodes, Computer Communications, accepted (IF=0.884 ) [J4] Tien Van Do. Comments on Multi-Server System with Single Working Vacation. Applied Mathematical Modelling 33 (12) (2009) (IF=0.931*) [J5] Tien Van Do. An Efficient Solution to a Retrial Queue for the Performability Evaluation of DHCP. Computers and Operations Research 37(7): , (IF=1.366*) [J6] Tien Van Do. An Efficient Computation Algorithm for A Multiserver Feedback Retrial Queue With A Large Queueing Capacity Applied Mathematical Modelling. (IF=0.931*) [J7] Tien Van Do. M/M/1 retrial queue with working vacations. Acta Informatica, accepted (IF=0.789*) [J8] Tien Van Do. Modeling a Resource Contention in the Management of Virtual Organizations. submitted to Information Sciences [J9] Tien Van Do. An Efficient Computational Method for Retrial Queues to Cellular Mobile Systems with Guard Channels. Submitted for publications [J10] Tien Van Do and Ram Chakka. Simulation and Analytical Approaches for Estimating the Performability of a Multicast Address Dynamic Allocation Mechanism. Submitted for publications [J11] Tien Van Do and Ram Chakka. An Efficient Method to Compute the Rate Matrix for Retrial Queues with Large Number of Servers. Submitted for publications [J12] Tien Van Do and Ram Chakka and Nam H. Do. A Markovian Queue with Varying Number of Servers and Applications to Performance Analysis of Wireless Networks Submitted for publications IF of
14 [J13] Tien Van Do. A Computational Algorithm for the CPP/M/c Retrial Queue. Annales Mathematicae Et Informaticae ( ) (2009). [J14] Tien Van Do. The steady state analysis of the CPP/M/1 queue with working vacations. Submitted for publications Könyvfejezetek [B1] D Papp, Tien Van Do, Ram Chakka, X M T Truong. Repair strategies on the operation of MPLS routing In: Nejat Ince, Arnold Bragg (szerk.) Recent Advances in Modeling and Simulation Tools for Communication Networks and Services. Berlin ; Heidelberg: Springer-Verlag, pp (ISBN: ) [B2] Tien Van Do, Nam H. Do, and Ram Chakka. Performance evaluation of the high speed downlink packet access in communications networks based on high altitude platforms. In Khalid Al-Begain, Armin Heindl, and Miklós Telek, editors, ASMTA, volume 5055 of Lecture Notes in Computer Science, pages Springer, [B3] Ram Chakka, Tien Van Do, and Zsolt Pandi. A Generalized Markovian Queue and Its Applications to Performance Analysis in Telecommunications Networks. In D. Kouvatsos, editor, Performance Modelling and Analysis of Heterogeneous Networks, pages River Publisher, [B4] Tien Van Do, Denes Papp, Ram Chakka, and Mai X T Truong. A Performance Model of MPLS Multipath Routing with Failures and Repairs of the LSPs. In D. Kouvatsos, editor, Performance Modelling and Analysis of Heterogeneous Networks, pages River Publisher, [B5] Tien Van Do and Ram Chakka. Generalised QBD Processes, Spectral Expansion and Performance Modelling Applications. In Next Generation Internet: Performance Evaluation and Applications edited by D. D. Kouvatsos, Lecture Notes in Computer Science, Vol. LNCS 5233, Springer-Verlag, Heidelberg, Germany ISBN: [B6] Ram Chakka and Tien Van Do. Some New Markovian Models for Traffic and Performance Evaluation Telecommunication Networks. In Next Generation Internet: Performance Evaluation and Applications edited by D. D. Kouvatsos, Lecture Notes in Computer Science, Vol. LNCS 5233, Springer-Verlag, Heidelberg, Germany ISBN: Konferencia cikkek [C1] H. T. Tran and Tien Van Do. A new iterative method for systems with batch arrivals and batch departures. In Proceedings of CNDS 00, pages , San Diego, USA,
15 [C2] Hung T. Tran and Tien Van Do. Comparison of some Numerical Methods for QBD-M Processes via Analysis of an ATM Concentrator. In Proceedings of 20th IEEE International Performance, Computing and Communications Conference, IPCCC 2001, Pheonix, USA, [C3] Ram Chakka, Tien Van Do. The MM K k=1 CP P k/ge/c/l G-Queue and its applications in load balancing of MPLS networks. In: IEEE LCN 2002 Conference., USA 2002., pp [C4] Ram Chakka, Tien Van Do, and Zsolt Pandi. Generalized Markovian queues and applications in performance analysis in telecommunication networks. In D. D. Kouvatsos, editor, the First International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HET-NETs 03), pages 60/1 10, July [C5] Tien Van Do, R. Chakka, and P. G. Harrison. An integrated analytical model for computation and comparison of the throughputs of the UMTS/HSDPA user equipment categories. In MSWiM 07: Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems, pages 45 51, New York, NY, USA, ACM. [C6] Tien Van Do and Udo R. Krieger. A performance model for maintenance tasks in an environment of virtualized servers. In IFIP/TC6 NETWORKING 2009, pages , Aachen, Germany, Egyéb folyóirat cikkek [J14] M Ajmone Marsan, A Bianco, T V Do, L Jereb, R Lo Cigno, M Munafo. ATM Simulation with CLASS. Performance Evaluation 24:(1-2) pp (1995) (IF: 0.513) [J15] Tien Van Do, Thong T Nguyen, Hung T Tran, G Kalvach, B Varga. Optimization of an Overlay ATM Network in an SDH Infrastructure. Networks. 34:(1) pp (2000) (IF: 0.390) Topology Computer 13
NÉHÁNY ERŐFORRÁS-ALLOKÁLÁSI MÓDSZER TELJESÍTMÉNYELEMZÉSI VIZSGÁLATA A VEZETÉKNÉLKÜLI CELLULÁRIS HÁLÓZATOKBAN
NÉHÁNY ERŐFORRÁS-ALLOKÁLÁSI MÓDSZER TELJESÍTMÉNYELEMZÉSI VIZSGÁLATA A VEZETÉKNÉLKÜLI CELLULÁRIS HÁLÓZATOKBAN Tézisfüzet Do Hoai Nam Hálózati Rendszerek és Szolgáltatások Tanszék Villamosmérnöki és Informatikai
RészletesebbenList of publications Almási Béla, University of Debrecen
List of publications Almási Béla, University of Debrecen JP1./ JP2./ JP3./ JP4./ JP5./ JP6./ JP7./ JP8./ JP9./ Journal Papers A Queueing Model for a Non-Homogeneous Terminal System Subject to Breakdowns
RészletesebbenPublikációs lista. Gódor Győző. 2008. július 14. Cikk szerkesztett könyvben... 2. Külföldön megjelent idegen nyelvű folyóiratcikk...
Publikációs lista Gódor Győző 2008. július 14. Cikk szerkesztett könyvben... 2 Külföldön megjelent idegen nyelvű folyóiratcikk... 2 Nemzetközi konferencia-kiadványban megjelent idegen nyelvű előadások...
RészletesebbenINFOKOMMUNIKÁCIÓS RENDSZEREK HATÉKONYSÁG- ELEMZÉSÉRE SZOLGÁLÓ ESZKÖZÖK
INFOKOMMUNIKÁCIÓS RENDSZEREK HATÉKONYSÁG- ELEMZÉSÉRE SZOLGÁLÓ ESZKÖZÖK TOOL SUPPORTED PERFORMANCE MODELLING OF INFOCOMMUNICATION SYSTEMS Sztrik János, jsztrik@inf.unideb.hu Debreceni Egyetem, Informatikai
RészletesebbenSZOFTVEREK A SORBANÁLLÁSI ELMÉLET OKTATÁSÁBAN
SZOFTVEREK A SORBANÁLLÁSI ELMÉLET OKTATÁSÁBAN Almási Béla, almasi@math.klte.hu Sztrik János, jsztrik@math.klte.hu KLTE Matematikai és Informatikai Intézet Abstract This paper gives a short review on software
RészletesebbenICT ÉS BP RENDSZEREK HATÉKONY TELJESÍTMÉNY SZIMULÁCIÓJA DR. MUKA LÁSZLÓ
ICT ÉS BP RENDSZEREK HATÉKONY TELJESÍTMÉNY SZIMULÁCIÓJA DR. MUKA LÁSZLÓ 1 TARTALOM 1.1 A MODELLEZÉS ÉS SZIMULÁCIÓ META-SZINTŰ HATÉKONYSÁGÁNAK JAVÍTÁSA A. Az SMM definiálása, a Jackson Keys módszer kiterjesztése
RészletesebbenA SZTOCHASZTIKUS MODELLEZÉS NÉHÁNY TELJESÍTMÉNYVIZSGÁLATI ALKALMAZÁSA
A SZTOCHASZTIKUS MODELLEZÉS NÉHÁNY TELJESÍTMÉNYVIZSGÁLATI ALKALMAZÁSA Tézisfüzet Horváth Ádám Cziráki József Faanyagtudomány és Technológiák Doktori Iskola Informatika a faiparban program Simonyi Károly
RészletesebbenBírálat Do Van Tien Multi-Server Markov Queueing Models: Computational Algorithms and ICT Applications cím MTA doktori disszertációjáról.
Bírálat Do Van Tien Multi-Server Markov Queueing Models: Computational Algorithms and ICT Applications cím MTA doktori disszertációjáról. Témaválasztás Do Van Tien MTA doktori fokozat megszerzéséhez a
RészletesebbenVALÓS HULLÁMFRONT ELŐÁLLÍTÁSA A SZÁMÍTÓGÉPES ÉS A DIGITÁLIS HOLOGRÁFIÁBAN PhD tézisfüzet
VALÓS HULLÁMFRONT ELŐÁLLÍTÁSA A SZÁMÍTÓGÉPES ÉS A DIGITÁLIS HOLOGRÁFIÁBAN PhD tézisfüzet PAPP ZSOLT Budapesti Műszaki és Gazdaságtudományi Egyetem Fizika Tanszék 2003 1 Bevezetés A lézerek megjelenését
RészletesebbenIrányítási struktúrák összehasonlító vizsgálata. Tóth László Richárd. Pannon Egyetem Vegyészmérnöki és Anyagtudományok Doktori Iskola
Doktori (PhD) értekezés tézisei Irányítási struktúrák összehasonlító vizsgálata Tóth László Richárd Pannon Egyetem Vegyészmérnöki és Anyagtudományok Doktori Iskola Témavezetők: Dr. Szeifert Ferenc Dr.
RészletesebbenDrótposta: kovacsea@math.bme.hu ; edith_kovacs@yahoo.com ; Honlapom: http://www.math.bme.hu/diffe/staff/kovacse.shtml
Szakmai önéletrajz 1.1 Személyes adatok: Nevem: Kovács Edith Alice Születési idő, hely: 1971.05.18, Arad Drótposta: kovacsea@math.bme.hu ; edith_kovacs@yahoo.com ; Honlapom: http://www.math.bme.hu/diffe/staff/kovacse.shtml
RészletesebbenA KUTATÁS EREDMÉNYEI ZÁRÓJELENTÉS 2004-2006.
ÖNELLENŐRZÉS ÉS FUTÁSIDEJŰ VERIFIKÁCIÓ SZÁMÍTÓGÉPES PROGRAMOKBAN OTKA T-046527 A KUTATÁS EREDMÉNYEI ZÁRÓJELENTÉS 2004-2006. Témavezető: dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem
Részletesebbenműszaki tudomány doktora 1992 Beosztás: stratégiai tanácsadó, tudományos tanácsadó Munkahelyek: Nokia -Hungary kft Veszprémi Egyetem
Név: Tarnay Katalin Születési adatok: Nyiregyháza, 1933. május 8 Legmagasabb tudományos fokozat, és elnyerésének éve: műszaki tudomány doktora 1992 Beosztás: stratégiai tanácsadó, tudományos tanácsadó
RészletesebbenElőrenéző és paraméter tanuló algoritmusok on-line klaszterezési problémákra
Szegedi Tudományegyetem Számítógépes Algoritmusok és Mesterséges Intelligencia Tanszék Dr. Németh Tamás Előrenéző és paraméter tanuló algoritmusok on-line klaszterezési problémákra SZTE TTIK, Móra Kollégium,
RészletesebbenSüle Zoltán publikációs listája
Süle Zoltán publikációs listája Statisztikai összegzés Referált nemzetközi folyóiratcikkeim száma: 3 (+1) Nemzetközi konferenciakiadványban megjelent publikációim száma: 14 Hazai konferenciakiadványban
Részletesebbenés alkalmazások, MSc tézis, JATE TTK, Szeged, Témavezető: Dr. Hajnal Péter
Publikációs jegyzék Balogh János Jegyzetek, tézis: [1] Balogh J., Maximális folyamok és minimális költségű cirkulációk; algoritmusok és alkalmazások, MSc tézis, JATE TTK, Szeged, 1994. Témavezető: Dr.
RészletesebbenPublikációk. Libor Józsefné dr.
Publikációk Libor Józsefné dr. Referált publikációk/ Refereed publications 1, Libor Józsefné, Tómács Tibor: Rényi-Hajek inequality and its applications. ( Annales Mathematicae et Informaticae, 33. Eger,
RészletesebbenMérnök informatikus (BSc) alapszak levelező tagozat (BIL) / BSc in Engineering Information Technology (Part Time)
Mérnök informatikus (BSc) alapszak levelező tagozat (BIL) / BSc in Engineering Information Technology (Part Time) (specializáció választás a 4. félévben, specializációra lépés feltétele: az egyik szigorlat
RészletesebbenÚj algoritmusok a vezetéknélküli szenzoriális kommunikációhoz
Új algoritmusok a vezetéknélküli szenzoriális kommunikációhoz Levendovszky János, MTA doktora, egyetemi tanár, Budapesti Műszaki és Gazdaságtudományi Egyetem Napjaink kommunikációs technológiáinak a fejlődését
RészletesebbenKétdimenziós mesterséges festési eljárások. Hatások és alkalmazások
Pannon Egyetem Informatikai Tudományok Doktori Iskola Tézisfüzet Kétdimenziós mesterséges festési eljárások. Hatások és alkalmazások Kovács Levente Képfeldolgozás és Neuroszámítógépek Tanszék Témavezet
RészletesebbenMulticast és forgalomkötegelés többrétegû hálózatokban
Multicast és forgalomkötegelés többrétegû hálózatokban SOPRONI PÉTER, PERÉNYI MARCELL, CINKLER TIBOR {soproni, perenyim, cinkler}@tmit.bme.hu BME Távközlési és Médiainformatikai Tanszék Lektorált Kulcsszavak:
RészletesebbenTelefonszám(ok) +36-93-502-916 Mobil +36-30-396-8675 Fax(ok) +36-93-502-900. Egyetem u. 10., 8200 Veszprém. Tehetséggondozás (matematika)
Europass Önéletrajz Személyi adatok Vezetéknév(ek) / Utónév(ek) Bujtás Csilla Telefonszám(ok) +36-93-502-916 Mobil +36-30-396-8675 Fax(ok) +36-93-502-900 E-mail(ek) Szakmai tapasztalat bujtas@dcs.vein.hu
RészletesebbenGÉPI ÉS EMBERI POZICIONÁLÁSI, ÉRINTÉSI MŰVELETEK DINAMIKÁJA
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM MŰSZAKI MECHANIKAI TANSZÉK PhD Tézisfüzet GÉPI ÉS EMBERI POZICIONÁLÁSI, ÉRINTÉSI MŰVELETEK DINAMIKÁJA Szerző MAGYAR Bálint Témavezető Dr. STÉPÁN Gábor Budapest,
RészletesebbenPublikációs lista. Dr. Molnárka-Miletics Edit Széchenyi István Egyetem Matematika és Számítástudományi Tanszék
Publikációs lista Dr. Molnárka-Miletics Edit Széchenyi István Egyetem Matematika és Számítástudományi Tanszék Folyóirat cikkek: E. Miletics: Energy conservative algorithm for numerical solution of ODEs
RészletesebbenAZ A PRIORI ISMERETEK ALKALMAZÁSA
Doktori (PhD) értekezés tézisei AZ A PRIORI ISMERETEK ALKALMAZÁSA A VEGYIPARI FOLYAMATMÉRNÖKSÉGBEN MADÁR JÁNOS Veszprémi Egyetem Vegyészmérnöki Tudományok Doktori Iskolája Témavezető: dr. Abonyi János
RészletesebbenMádi-Nagy Gergely * A feladat pontos leírása. Tekintsünk darab tetszõleges eseményt, jelöljük ezeket a következõképpen: ,...,
Mádi-Nagy Gergely * AZ ESEMÉNYEK UNIÓJÁNAK VALÓSZÍNÛSÉGE BECSLÉS A TÖBBVÁLTOZÓS DISZKRÉT MOMENTUM PROBLÉMA SEGÍTSÉGÉVEL Az események uniója valószínûsége becslésére szolgáló elsõ fontos eredmények a Boole-
RészletesebbenMi is volt ez? és hogy is volt ez?
Mi is volt ez? és hogy is volt ez? El zmények: 60-as évek kutatási iránya: matematikai logika a programfejlesztésben 70-es évek, francia és angol kutatók: logikai programozás, Prolog nyelv 1975: Szeredi
RészletesebbenAdatfolyam alapú RACER tömbprocesszor és algoritmus implementációs módszerek valamint azok alkalmazásai parallel, heterogén számítási architektúrákra
Adatfolyam alapú RACER tömbprocesszor és algoritmus implementációs módszerek valamint azok alkalmazásai parallel, heterogén számítási architektúrákra Témavezet : Dr. Cserey György 2014 szeptember 22. Kit
Részletesebben(8) Globális stabilitásvesztéséhez tartozó kritikus erő/nyomaték analitikus meghatározása felületmodell
Bevezetés Az elmúlt évek, évtizedek egyik jellemző tendenciája a fém (leggyakrabban: acél) tartószerkezeteknél a vékonyfalú szerkezeti elemek terjedése, melyek alkalmazása nem csupán anyagtakarékos, hanem
RészletesebbenCALL CENTEREK HATÉKONYSÁGI VIZSGÁLATAI
CALL CENTEREK HATÉKONYSÁGI VIZSGÁLATAI PERFORMANCE EVALUATION OF CALL CENTERS Sztrik János 1,Barnák Albert 2 Összefoglaló: A Call Centerek egyre fontosabb szerepet töltenek be különböző alkalmazási területeken.
RészletesebbenPÁLYÁZAT. a SZÉCHENYI ISTVÁN EGYETEM MŰSZAKI TUDOMÁNYI KAR KUTATÁSI FŐIRÁNY pályázati felhívásához. 1. A pályázó kollektíva vezetőjének adatai:
PÁLYÁZAT a SZÉCHENYI ISTVÁN EGYETEM MŰSZAKI TUDOMÁNYI KAR KUTATÁSI FŐIRÁNY pályázati felhívásához 1. A pályázó kollektíva vezetőjének adatai: Neve: Tanszéke: Dr. Csapó Ádám Informatika Tanszék Telefonszáma:
RészletesebbenA Markovi forgalomanalízis legújabb eredményei és ezek alkalmazása a távközlő hálózatok teljesítményvizsgálatában
A Markovi forgalomanalízis legújabb eredményei és ezek alkalmazása a távközlő hálózatok teljesítményvizsgálatában Horváth Gábor ghorvath@hit.bme.hu (Horváth András, Telek Miklós) - p. 1 Motiváció, problémafelvetés
RészletesebbenKeverési modellek. Színkeverés Beton/aszfalt keverés Benzin keverés Gázkeverékek koncentrációjának a meghatározása
Illés Tibor Keverési modellek Színkeverés Beton/aszfalt keverés Benzin keverés Gázkeverékek koncentrációjának a meghatározása Keverési modellek matematikai jellemzői Nemlineáris sokszor nem konvex optimalizálási
RészletesebbenVárosi légszennyezettség vizsgálata térinformatikai és matematikai statisztikai módszerek alkalmazásával
Pannon Egyetem Vegyészmérnöki Tudományok és Anyagtudományok Doktori Iskola Városi légszennyezettség vizsgálata térinformatikai és matematikai statisztikai módszerek alkalmazásával DOKTORI (Ph.D.) ÉRTEKEZÉS
RészletesebbenA megerosítéses tanulás és a szimulált hutés kombinált használata: algoritmusok és alkalmazások
MISKOLCI EGYETEM DOKTORI (PH.D.) TÉZISFÜZETEI HATVANY JÓZSEF INFORMATIKAI TUDOMÁNYOK DOKTORI ISKOLA A megerosítéses tanulás és a szimulált hutés kombinált használata: algoritmusok és alkalmazások Készítette:
RészletesebbenMŰSZAKI TUDOMÁNY AZ ÉSZAK-KELET MAGYARORSZÁGI RÉGIÓBAN 2012
MŰSZAKI TUDOMÁNY AZ ÉSZAK-KELET MAGYARORSZÁGI RÉGIÓBAN 0 KONFERENCIA ELŐADÁSAI Szolnok 0. május 0. Szerkesztette: Edited by Pokorádi László Kiadja: Debreceni Akadémiai Bizottság Műszaki Szakbizottsága
RészletesebbenInformáció-visszakeresı módszerek egységes keretrendszere és alkalmazásai. Kiezer Tamás
Információ-visszakeresı módszerek egységes keretrendszere és alkalmazásai Doktori (PhD) értekezés tézise Kiezer Tamás Témavezetı: Dr. Dominich Sándor (1954-2008) Pannon Egyetem Mőszaki Informatikai Kar
RészletesebbenAKTUÁTOR MODELLEK KIVÁLASZTÁSA ÉS OBJEKTÍV ÖSSZEHASONLÍTÁSA
AKTUÁTOR MODELLEK KIVÁLASZTÁSA ÉS OBJEKTÍV ÖSSZEHASONLÍTÁSA Kovács Ernő 1, Füvesi Viktor 2 1 Egyetemi docens, PhD; 2 tudományos segédmunkatárs 1 Eletrotechnikai és Elektronikai Tanszék, Miskolci Egyetem
RészletesebbenKombinatorikus problémák a távközlésben
Kombinatorikus problémák a távközlésben Tapolcai János BME Távközlési és Médiainformatikai Tanszék MTA-BME Lendület Jövő Internet Kutatócsoport High Speed Networks Laboratory Rónyai Lajos BME Algebra Tanszék,
RészletesebbenWINPEPSY ALKALMAZÁSA SORBANÁLLÁSI MODELLEKNÉL
WINPEPSY ALKALMAZÁSA SORBANÁLLÁSI MODELLEKNÉL SOLVING QUEUEING MODELS BY THE HELP OF WINPEPSY Kuki Attila, kuki@math.klte.hu Sztrik János, jsztrik@math.klte.hu Debreceni Egyetem, Információ Technológia
RészletesebbenRészletes szakmai önéletrajz
Részletes szakmai önéletrajz Név: Dr. Sztrik János Születési év, hely: 1953. szeptember 20, Békéscsaba Munkahely címe, telefonszám, e-mail: Debreceni Egyetem, Informatikai Kar, Informatikai Rendszerek
RészletesebbenB/16. számú melléklet Önéletrajz sablon
Europass Önéletrajz Személyi adatok Vezetéknév / Utónév(ek) Tímea Fülep Cím(ek) 3, Törökugrató u. 3., 1118, Budapest, Magyarország Telefonszám(ok) +36 96 50 3308 Mobil: +36 70 210 4319 Fax(ok) +36 1 436
RészletesebbenMŰSZAKI TUDOMÁNY AZ ÉSZAK-ALFÖLDI RÉGIÓBAN 2010
MŰSZAKI TUDOMÁNY AZ ÉSZAK-ALFÖLDI RÉGIÓBAN 2010 KONFERENCIA ELŐADÁSAI Nyíregyháza, 2010. május 19. Szerkesztette: Edited by Pokorádi László Kiadja: Debreceni Akadémiai Bizottság Műszaki Szakbizottsága
RészletesebbenPacemaker készülékek szoftverének verifikációja. Hesz Gábor
Pacemaker készülékek szoftverének verifikációja Hesz Gábor A szív felépítése http://hu.wikipedia.org/w/index.php?title=fájl:diagram_of_the_human_heart_hu.svg http://en.wikipedia.org/wiki/file:conductionsystemoftheheartwithouttheheart.png
RészletesebbenBaranyáné Dr. Ganzler Katalin Osztályvezető
Budapesti Műszaki és Gazdaságtudományi Egyetem Biokémiai és Élelmiszertechnológiai Tanszék Kapilláris elektroforézis alkalmazása búzafehérjék érésdinamikai és fajtaazonosítási vizsgálataira c. PhD értekezés
RészletesebbenSzámítógép-rendszerek fontos jellemzői (Hardver és Szoftver):
B Motiváció B Motiváció Számítógép-rendszerek fontos jellemzői (Hardver és Szoftver): Helyesség Felhasználóbarátság Hatékonyság Modern számítógép-rendszerek: Egyértelmű hatékonyság (például hálózati hatékonyság)
RészletesebbenKémiai és bioipari adatrendszerek és folyamatok minőségellenőrzésének informatikai eszközei. Viczián Gergely
Ph.D. értekezés tézisei Kémiai és bioipari adatrendszerek és folyamatok minőségellenőrzésének informatikai eszközei Viczián Gergely okleveles villamosmérnök-közgazdász Témavezető: Kollárné Dr. Hunek Klára
RészletesebbenMULTIMÉDIA ALAPÚ OKTATÁSI TECHNOLÓGIÁK GYAKORLATI ALKALMAZÁSÁNAK VIZSGÁLATA A KATONAI SZAKNYELVOKTATÁSBAN
Zrínyi Miklós Nemzetvédelmi Egyetem Kossuth Lajos Hadtudományi Kar Hadtudományi Doktori Iskola Tick Andrea MULTIMÉDIA ALAPÚ OKTATÁSI TECHNOLÓGIÁK GYAKORLATI ALKALMAZÁSÁNAK VIZSGÁLATA A KATONAI SZAKNYELVOKTATÁSBAN
RészletesebbenHonlap szerkesztés Google Tudós alkalmazásával
Dr. Mester Gyula Honlap szerkesztés Google Tudós alkalmazásával Összefoglaló: A közlemény tematikája honlap szerkesztés Google Tudós alkalmazásával. A bevezetés után a tudományos teljesítmény mérésének
RészletesebbenOTKA Zárójelentés 2006-2010. Publikációk 2009-2010.
OTKA Zárójelentés 2006-2010. Publikációk 2009-2010. ZÁRÓJELENTÉS szakmai beszámoló OTKA-azonosító: 63591 Típus: K Szakmai jelentés: 2010. 04. 02. Vezető kutató: Illés Béla Kutatóhely: Anyagmozgatási és
RészletesebbenP-gráf alapú workflow modellezés fuzzy kiterjesztéssel
P-gráf alapú workflow modellezés fuzzy kiterjesztéssel Doktori (PhD) értekezés Tick József témavezető: Dr. Kovács Zoltán Pannon Egyetem Műszaki Informatikai Kar Informatikai Tudományok Doktori Iskola 2007.
RészletesebbenPécsi Tudományegyetem Közgazdaságtudományi Kar Regionális Politika és Gazdaságtan Doktori Iskola
Pécsi Tudományegyetem Közgazdaságtudományi Kar Regionális Politika és Gazdaságtan Doktori Iskola Kutatói együttműködések Web 2.0-es PhD kutatói közösség Doktori értekezés tézisei Készítette: Szontágh Krisztina
RészletesebbenPublikációk. Könyvek, könyvfejezetek:
Publikációk Könyvek, könyvfejezetek: 1. Molnár György: Az IKT-val támogatott tanulási környezet követelményei és fejlesztési lehetőségei, In: Dr. Benedek András (szerk.): Digitális pedagógia - Tanulás
RészletesebbenOTKA nyilvántartási szám: T047198 ZÁRÓJELENTÉS
MESTERSÉGES INTELLIGENCIA MÓDSZEREK ALKALMAZÁSA A FOLYAMATMODELLEZÉSBEN című OTKA pályázatról 2004. jan. 01 2007. dec. 31. (Vezető kutató: Piglerné dr. Lakner Rozália) A mesterséges intelligencia eszközök
RészletesebbenNem teljesen kitöltött páros összehasonlítás mátrixok sajátérték optimalizálása Newton-módszerrel p. 1/29. Ábele-Nagy Kristóf BCE, ELTE
Nem teljesen kitöltött páros összehasonlítás mátrixok sajátérték optimalizálása Newton-módszerrel Ábele-Nagy Kristóf BCE, ELTE Bozóki Sándor BCE, MTA SZTAKI 2010. november 4. Nem teljesen kitöltött páros
RészletesebbenNeme nő Születési dátum 26/10/1988 Állampolgárság magyar
SZEMÉLYI ADATOK Nagy Noémi Magyarország, 1165 Budapest, Újszász utca 45/B K. ép. I. lph. 3. em. 2. 06 70 340 7335 matnagyn@uni-miskolc.hu http://uni-miskolc.hu/~matnagyn Neme nő Születési dátum 26/10/1988
RészletesebbenMérnök informatikus (BSc) alapszak levelező tagozat (BIL) / BSc in Engineering Information Technology (Part Time)
Mérnök informatikus (BSc) alapszak levelező tagozat (BIL) / BSc in Engineering Information Technology (Part Time) (A képzés közös része, szakirányválasztás a 3. félév végén) Tárgykód Félév Tárgynév Tárgy
Részletesebben1. Katona János publikációs jegyzéke
1. Katona János publikációs jegyzéke 1.1. Referált, angol nyelvű, nyomtatott publikációk [1] J.KATONA-E.MOLNÁR: Visibility of the higher-dimensional central projection into the projective sphere Típus:
RészletesebbenZárójelentés a "Mikro-kontinuumok képlékeny alakváltozása" című OTKA kutatási témához
Zárójelentés a "Mikro-kontinuumok képlékeny alakváltozása" című OTKA kutatási témához A kutatás eredményeinek ismertetése A kutatások elsősorban a mikropoláris kontinuumok rugalmas-képlékeny alakváltozás
RészletesebbenMódszer köztes tárolókat nem tartalmazó szakaszos működésű rendszerek ütemezésére
Módszer köztes tárolókat nem tartalmazó szakaszos működésű rendszerek ütemezésére Doktori (PhD) értekezés tézisei Holczinger Tibor Témavezető: Dr. Friedler Ferenc Veszprémi Egyetem Műszaki Informatikai
RészletesebbenElosztott Hash Táblák. Jelasity Márk
Elosztott Hash Táblák Jelasity Márk Motiváció Nagyméretű hálózatos elosztott rendszerek az Interneten egyre fontosabbak Fájlcserélő rendszerek (BitTorrent, stb), Grid, Felhő, Gigantikus adatközpontok,
RészletesebbenFeleségem Hizsnyik Mária, gyermekeim Gyula (1979) és Júlia (1981), unokáim Lola (2007), Kende (2010) és Márkó (2010)
Pap Gyula Születési hely és idő: Debrecen, 1954 Feleségem Hizsnyik Mária, gyermekeim Gyula (1979) és Júlia (1981), unokáim Lola (2007), Kende (2010) és Márkó (2010) TANULMÁNYOK, TUDOMÁNYOS FOKOZATOK Gimnáziumi
RészletesebbenAutópálya forgalomszabályozás felhajtókorlátozás és változtatható sebességkorlátozás összehangolásával és fejlesztési lehetőségei
Autópálya forgalomszabályozás felhajtókorlátozás és változtatható sebességkorlátozás összehangolásával és fejlesztési lehetőségei Tettamanti Tamás, Varga István, Bokor József BME Közlekedésautomatikai
Részletesebben12. előadás - Markov-láncok I.
12. előadás - Markov-láncok I. 2016. november 21. 12. előadás 1 / 15 Markov-lánc - definíció Az X n, n N valószínűségi változók sorozatát diszkrét idejű sztochasztikus folyamatnak nevezzük. Legyen S R
RészletesebbenBozóki Sándor. MTA SZTAKI, Budapesti Corvinus Egyetem. Vitaliy Tsyganok
A feszítőfákból számolt súlyvektorok mértani közepének optimalitása a logaritmikus legkisebb négyzetes célfüggvényre nézve Bozóki Sándor MTA SZTAKI, Budapesti Corvinus Egyetem Vitaliy Tsyganok Laboratory
RészletesebbenCiklikus polling modellek egységes analízise BMAP érkezési folyamat esetén
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM HÍRADÁSTECHNIKAI TANSZÉK Ciklikus polling modellek egységes analízise BMAP érkezési folyamat esetén Ph.D. disszertáció tézisfüzete Saffer Zsolt Konzulens:
RészletesebbenImpakt faktor, hivatkozások
Impakt faktor, hivatkozások Impact Factor and Cited Reference Három kérdést kell tisztázni Milyen fontosak EZEN SZERZŐ munkái? Milyen fontos EZEN CIKK a kutatási területen? Stuntz WJ (2001): O.J. Simpson,
RészletesebbenLIST OF PUBLICATIONS
Annales Univ. Sci. Budapest., Sect. Comp. 33 (2010) 21-25 LIST OF PUBLICATIONS Péter Simon [1] Verallgemeinerte Walsh-Fourierreihen I., Annales Univ. Sci. Budapest. Sect. Math., 16 (1973), 103-113. [2]
RészletesebbenFöldi lézerszkennelés mérnökgeodéziai célú alkalmazása PhD értekezés tézisei
Földi lézerszkennelés mérnökgeodéziai célú alkalmazása PhD értekezés tézisei Berényi Attila Fotogrammetria és Térinformatika Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Építőmérnöki Kar Témavezető:
RészletesebbenPh. D. értekezés tézisei
Ph. D. értekezés tézisei Szabó István: NAPELEMES TÁPELLÁTÓ RENDSZEREKBEN ALKALMAZOTT NÖVELT HATÁSFOKÚ, ANALÓG MAXIMÁLIS TELJESÍTMÉNYKÖVETŐ ÁRAMKÖR ANALÍZISE Konzulens: dr. Szabó József Budapest, 1997.
RészletesebbenMérnök informatikus mesterszak mintatanterve (GE-MI) nappali tagozat/ MSc in, full time Érvényes: 2011/2012. tanév 1. félévétől, felmenő rendszerben
Mérnök informatikus mesterszak mintatanterve (GE-MI) nappali tagozat/ MSc in, full time Érvényes: 2011/2012. tanév 1. félévétől, felmenő rendszerben Tantárgy Tárgykód I. félév ősz II. félév tavasz Algoritmusok
RészletesebbenVÉKONYLEMEZEK ELLENÁLLÁS-PONTKÖTÉSEINEK MINŐSÉGCENTRIKUS OPTIMALIZÁLÁSA
MISKOLCI EGYETEM GÉPÉSZMÉRNÖKI KAR VÉKONYLEMEZEK ELLENÁLLÁS-PONTKÖTÉSEINEK MINŐSÉGCENTRIKUS OPTIMALIZÁLÁSA PhD ÉRTEKEZÉS TÉZISEI KÉSZÍTETTE: SZABÓ PÉTER OKLEVELES GÉPÉSZMÉRNÖK, EWE GÉPÉSZMÉRNÖKI TUDOMÁNYOK
RészletesebbenHU ISSN 1787-5072 www.anyagvizsgaloklapja.hu 62
Kockázatalapú karbantartás Új törekvések* Fótos Réka** Kulcsszavak: kockázatalapú karbantartás és felülvizsgálat, kockázatkezelés, kockázati mátrix, API RBI szabványok Keywords: risk-based inspection and
RészletesebbenPUBLIKÁCIÓS ÉS ALKOTÁSI TEVÉKENYSÉG ÉRTÉKELÉSE, IDÉZETTSÉG Oktatói, kutatói munkakörök betöltéséhez, magasabb fokozatba történı kinevezéshez.
FARKAS GABRIELLA PUBLIKÁCIÓS ÉS ALKOTÁSI TEVÉKENYSÉG ÉRTÉKELÉSE, IDÉZETTSÉG Oktatói, kutatói munkakörök betöltéséhez, magasabb fokozatba történı kinevezéshez. könyv, könyvrészlet oktatási anyag folyóiratcikkek
RészletesebbenMÉLYFÚRÁSI GEOFIZIKAI ADATOK ÉRTELMEZÉSÉNEK MODERN INVERZIÓS MÓDSZEREI
MIKOVINY SÁMUEL FÖLDTUDOMÁNYI DOKTORI ISKOLA Doktori értekezés tézisei MÉLYFÚRÁSI GEOFIZIKAI ADATOK ÉRTELMEZÉSÉNEK MODERN INVERZIÓS MÓDSZEREI Írta: SZABÓ NORBERT PÉTER Tudományos vezető: DR. DOBRÓKA MIHÁLY
RészletesebbenTávközlô hálózati folyamatok monitorozása
TATAI PÉTER AITIA International Zrt. VARGA PÁL, MAROSI GYULA BME Távközlési és Médiainformatikai Tanszék, TSPLab {varga, marosi}@tmit.bme.hu Kulcsszavak: passzív hálózat, GSM, GPRS, távmonitorozás, forgalmi
RészletesebbenA Magyar Honvédség hírrendszerének továbbfejlesztése
A Magyar Honvédség hírrendszerének továbbfejlesztése Pándi Balázs 1 A zártcélú távközlõ hálózatokról szóló hatályos jogszabályban megfogalmazottak alapján a Magyar Honvédség Hálózata 2 mentesített az Elektronikus
RészletesebbenInformatikai Tesztek Katalógus
Informatikai Tesztek Katalógus 2019 SHL és/vagy partnerei. Minden jog fenntartva Informatikai tesztek katalógusa Az SHL informatikai tesztek katalógusa számítástechnikai tudást mérő teszteket és megoldásokat
RészletesebbenÚj generációs GSM-R vasútüzemi kommunikáció
Új generációs GSM-R vasútüzemi kommunikáció A fejlődés TDM-től a SIP infrastrukturáig Alexander Hil File: Next generation operational communication_hu.pptx Author: FRQ Page: 1 Termék Portfólio Fixed terminal
RészletesebbenSzimbólumfeldolgozó rendszerek leírási bonyolultsága - Klasszikus és nem-klasszikus számítási modellek
Szimbólumfeldolgozó rendszerek leírási bonyolultsága - Klasszikus és nem-klasszikus számítási modellek (The Descriptional Complexity of Rewriting Systems - Some Classical and Non-Classical Models) Vaszil
RészletesebbenKoordináció Termelési Hálózatokban
Koordináció Termelési Hálózatokban PhD értekezés tézisei Egri Péter Témavezető: Váncza József, PhD Eötvös Loránd Tudományegyetem Informatikai Kar Informatikai Doktori Iskola Az informatika alapjai és módszertana
RészletesebbenTevékenység szemléletű tervezés magyarországi felsőoktatási intézmények pályázataiban
Tevékenység szemléletű tervezés magyarországi felsőoktatási intézmények pályázataiban SÜVEGES Gábor Béla Miskolci Egyetem, Gazdaságtudományi Kar, Miskolc stsuveges@uni-miskolc.hu Az utóbbi években egyre
RészletesebbenA tudományos munkák jegyzéke
A tudományos munkák jegyzéke I. Cikkek idegennyelvű folyóiratokban 1. Kollár-Hunek, K., Láng-Lázi, M., Kemény, S., Fejes, F., Mathematical problems in Thermodynamic Testing of VLE data, Hungarian Journal
RészletesebbenPannon Egyetem Vegyészmérnöki és Anyagtudományok Doktori Iskola
Pannon Egyetem Vegyészmérnöki és Anyagtudományok Doktori Iskola Doktori (Ph.D.) értekezés tézisei Számítási intelligencia alapú regressziós technikák és Készítette Kenesei Tamás Péter Témavezető: Dr. habil.
RészletesebbenNESZVEDA JÓZSEF APERIODIKUS ALKALMAZÁSÚ KATONAI BERENDEZÉSEK MEGBÍZHATÓSÁGA
ZRÍNYI MIKLÓS NEMZETVÉDELMI EGYETEM Doktori Tanácsa NESZVEDA JÓZSEF APERIODIKUS ALKALMAZÁSÚ KATONAI BERENDEZÉSEK MEGBÍZHATÓSÁGA című doktori (PhD) értekezésének szerzői ismertetése és hivatalos bírálatai
RészletesebbenPolicy keretrendszer dinamikus hálózatkompozíciók automatizált tárgyalási folyamatához
Policy keretrendszer dinamikus hálózatkompozíciók automatizált tárgyalási folyamatához ERDEI MÁRK, WAGNER AMBRUS Budapesti Mûszaki és Gazdaságtudományi Egyetem, Híradástechnikai Tanszék {merdei, awagner}@hit.bme.hu
RészletesebbenFelhő alapú hálózatok (VITMMA02) OpenStack Neutron Networking
Felhő alapú hálózatok (VITMMA02) OpenStack Neutron Networking Dr. Maliosz Markosz Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Távközlési és Médiainformatikai Tanszék
RészletesebbenA k-szerver probléma
Bevezetés A k-szerver probléma Imreh Csanád SZTE, Informatikai Tanszékcsoport 6720, Szeged, Árpád tér 2. Email: cimreh@inf.u-szeged.hu A gyakorlatban gyakran fordulnak elő olyan optimalizálási feladatok,
RészletesebbenPublikációs lista Szabó Szilárd
Publikációs lista Szabó Szilárd Tanulmányok Börcsök Áron - Bernáth Zsolt - Kircsi Andrea - Kiss Márta - Kósa Beatrix - Szabó Szilárd 1998. A Kisgyőri - medence és galya egyedi tájértékei - A "Nem védett
RészletesebbenMACOM Programismertetõ
MACOM Programismertetõ Almási Béla Dr. Sztrik János KLTE Matematikai és Informatikai Intézet 1996. I. Bevezetés A MACOM (Markovian Analysis of COmmunication Systems) egy telekommunikációs rendszerek modellezésére
RészletesebbenSZÁMÍTÓGÉPES VIZUALIZÁCIÓ A MATEMATIKA TANÍTÁSÁBAN: ESZKÖZÖK, FEJLESZTÉSEK, TAPASZTALATOK
SZÁMÍTÓGÉPES VIZUALIZÁCIÓ A MATEMATIKA TANÍTÁSÁBAN: ESZKÖZÖK, FEJLESZTÉSEK, TAPASZTALATOK Karsai János, karsai@silver.szote.u-szeged.hu, Forczek Erzsébet, forczek@dmi.szote.u-szeged.hu, Nyári Tibor, nyari@dmi.szote.u-szeged.hu
RészletesebbenDesign of Programming V 5 -
Gazdaságinformatikus (BSc) alapszak nappali tagozat (BGI) / BSc programme in Business Information Technology (Full Time) A mintatantervben szereplő tárgyakon felül a tanulmányok során további 10 kredit
RészletesebbenSajátértékek és sajátvektorok. mf1n1a06- mf1n2a06 Csabai István
Sajátértékek és sajátvektorok A fizika numerikus módszerei I. mf1n1a06- mf1n2a06 Csabai István Lineáris transzformáció Vektorok lineáris transzformációja: általános esetben az x vektor iránya és nagysága
RészletesebbenDesign of Programming V 5 -
Gazdaságinformatikus (BSc) alapszak nappali tagozat (BGI) / BSc programme in Business Information Technology (Full Time) A mintatantervben szereplő tárgyakon felül a tanulmányok során további 10 kredit
RészletesebbenTérbeli folyamatok elemzése WiFi alapú virtuális szenzor hálózattal
Térbeli folyamatok elemzése WiFi alapú virtuális szenzor hálózattal Gál Zoltán 1 Balla Tamás 2 Sztrikné Karsai Andrea 3 Kiss Gábor 4 1 IT igazgató, Debreceni Egyetem TEK, ZGal@unideb.hu 2 PhD hallgató,
RészletesebbenMikroelektromechanikai szerkezetek szilárdsági és megbízhatósági vizsgálata
OTKA nyilvántartási szám: T 049848 Mikroelektromechanikai szerkezetek szilárdsági és megbízhatósági vizsgálata Témavezetı: Dr. Kovács Ádám egyetemi docens, BME Mőszaki Mechanikai Tanszék Kutatási beszámoló:
RészletesebbenValószínűségi modellellenőrzés Markov döntési folyamatokkal
Valószínűségi modellellenőrzés Markov döntési folyamatokkal Hajdu Ákos Szoftver verifikáció és validáció 2015.12.09. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
Részletesebben0,424 0,576. f) P (X 2 = 3) g) P (X 3 = 1) h) P (X 4 = 1 vagy 2 X 2 = 2) i) P (X 7 = 3, X 4 = 1, X 2 = 2 X 0 = 2) j) P (X 7 = 3, X 4 = 1, X 2 = 2)
Legyen adott a P átmenetvalószín ség mátrix és a ϕ 0 kezdeti eloszlás Kérdés, hogy miként lehetne meghatározni az egyes állapotokban való tartózkodás valószín ségét az n-edik lépés múlva Deniáljuk az n-lépéses
RészletesebbenKörkép a lakossági felhasználók fogyasztásának készülékszintű becsléséről (NILM)
Körkép a lakossági felhasználók fogyasztásának készülékszintű becsléséről (NILM) MEE Vándorgyűlés, Siófok, 2015. szeptember 17. Dr. Raisz Dávid, docens, csoportvezető Dr. Divényi Dániel, adjunktus Villamos
RészletesebbenSZÉN NANOCSŐ KOMPOZITOK ELŐÁLLÍTÁSA ÉS VIZSGÁLATA
Pannon Egyetem Vegyészmérnöki Tudományok és Anyagtudományok Doktori Iskola SZÉN NANOCSŐ KOMPOZITOK ELŐÁLLÍTÁSA ÉS VIZSGÁLATA DOKTORI (Ph.D.) ÉRTEKEZÉS TÉZISEI Készítette: Szentes Adrienn okleveles vegyészmérnök
Részletesebben