... ahol l 0. Minden tranzakcióhoz létezik. = f(σ i. A sorozat nem bővíthető. Ha véges, akkor az utolsó konfigurációnak nincs rákövetkezője.
|
|
- Donát Szilágyi
- 7 évvel ezelőtt
- Látták:
Átírás
1 Szekvenciális tranzakciós s diagram A program vezérlési szerkezete egy címkékkel ellátott irányított gráf. Tranzakciós diagram T = ( L, T, s, t ) Gráf csúcsok a program állapotai entry kitüntetett csúcs: indulási állapotot azonosító cimke: s exit kitüntetett csúcs: befejező állapotot azonosító cimke: t L állapotokat azonosító címkék halmaza: l L A gráfban minden él egy állapotátmenet, melyhez egy utasítás tartozik címkeként: c f l c logikai feltétel, f állapot transzformáció. (l, c f, l') T állapotátmenetek halmaza. l l'
2 Tranzakciós s diagram kiszámítása sa Egy P = (L, T, s, t) tranzakciós diagram egy η végrehajtása (kiszámítása) a σ 0 kezdőértékkel a kezdő l 0 címkétől l i, σ i konfigurációk egy sorozata: η: l 0,σ 0 l 1,σ 1 l 2,σ 2... ahol l 0 = s. Minden tranzakcióhoz létezik l c f l' úgy, hogy c(σ i ) = true és σ i+1 = f(σ i ) A sorozat nem bővíthető. Ha véges, akkor az utolsó konfigurációnak nincs rákövetkezője.
3 Tranzakciós s diagram kiszámítása sa Ha a sorozat véges és az utolsó konfiguráció: t,τ val(η) = τ (τ Σ) Ha a sorozat véges és az utolsó konfiguráció: l n, τ, l n t val(η) = fail Ha a sorozat végtelen val(η) = (, fail Σ) comp(p)(σ): P kiszámításainak halmaza, a σ kiindulási állapot mellett. A P tranzakciós diagram jelentése: M[P](σ) = { val(η) η comp[p](σ) }
4 Tranzakciós s diagram A tranzakciós diagram jelentése az összes lehetséges σ eredmény-érték halmaza, ( fail, M[P](σ) ). A jelentés független az aktuális végrehajtási sorozatoktól, amelyek azt eredményezték. Definíció Adott P = ( L, T, s, t ) és P' = ( L', T,s,t ), azonos Σ állapot halmazzal. A tranzakciós diagramok eredményük alapján megegyeznek, ha létezik egy átnevezés, amely áttranszformálja P összes csomópontját P' megfelelő csomópontjába, vagyis formálisan bijekciót létesít L L', T T', s s', valamint t t' között.
5 Tranzakciós s diagram Definíció: Tranzakciós diagramok ekvivalenciája A P = ( L, T, s, t ), P' = ( L', T', s', t' ) tranzakciós diagramokat ekvivalensnek nevezzük, ha létezik egy Φ: L L' bijekció úgy, hogy s = Φ(s) t = Φ(t) ( l, α, m ) T akkor és csak akkor, ha ( Φ(l), α, Φ(m) ) T'. Definíció: Ekvivalens tranzakciós diagramok egy osztályát tranzakciós rendszernek, másképpen programnak nevezzük.
6 Tranzakciós s diagram A programok és a tranzakciós diagramok között bijekció áll fenn. Tranzakciós diagramok ekvivalencia osztályában minden tranzakciós diagramnak azonos a jelentése. Az osztály egy programjának jelentését úgy definiálhatjuk, hogy veszünk egy tetszőleges elemet az osztályból, azaz veszünk egy tranzakciós diagramot, mint az osztály reprezentánsát: Legyen a program: P = ( L, T, s, t ) Elemezzük P -t. Az elemzés eredménye az osztály minden tagjára érvényes.
7 Példa Példa Σ = { x, y, z }, σ Σ P = ( L, T, s, t ) L = { s, l, t } T = { (s, true f 0, l), (l, c 1 f 1, l), (l, c 2 f 2, t) } c 1 (σ) = true σ(y) > 0 c 2 (σ) = true σ(y) = 0 f 0 (σ) = (σ(y), σ(z)) (σ(x), 0 ) f 1 (σ) = (σ(y), σ(z)) (σ(y) - 1, σ(y) + σ(z)) f 2 (σ) = σ (megfelel a skip-nek) s true f 0 l c 2 f 2 t c 1 f 1 σ(x) 0: M[P](σ) = { (σ(y), σ(z)) ( 0, Σi ), ahol i = 0,..., σ(x) } σ(x) < 0: M[P](σ) = { fail }
8 Párhuzamos programozás A XX. században robbanásszerű fejlődést hozott az informatika területén a párhuzamos programozás lehetősége. Különbségek szekvenciális és párhuzamos programok között Konkurrens program Kommunikációs hálózat Folyamatok, közös használatú erőforrás Kommunikáció, kommunikáció sikeressége, szinkronizáció Kölcsönös kizárás Petterson példái Dijkstra: szinkronizáció megvalósítása aktív várakozással Bizonyos tulajdonságú objektum párhuzamos keresése felosztott adatbázisban.
9 Párhuzamos programozás Alkalmazási igények: Nagybonyolultságú feladatok gyors megoldása. számítógép konfiguráció proc 1 memória (nagy kapacitás) proc 2... proc n párhuzamos program
10 Szekvenciális és s párhuzamos p programok közötti k különbsk nbség Végrehajtás processzor igénye Szekvenciális program végrehajtásához egy processzor elég. Párhuzamos program végrehajtásához annyi processzor kell ahány párhuzamos komponenst tartalmaz. (time sharing!) Programok jellemzése Szekvenciális program jellemzéséhez elég megadni a bemenő adatainak és az azokhoz tartozó eredmény adatoknak kettőseit, és ezek alapján két szekvenciális programot ekvivalensnek tekintünk. A szekvenciális program atominak tekinthető. A párhuzamos program komponensei egymással kommunikálva, egymással szinkronban oldják meg a feladatot. A jellemzéshez a közbülső állapotok is hozzátartoznak az együttműködésben szerepet játszó változóknak az értékei.
11 Párhuzamos programok Konkurrens program Folyamatok végrehajtás alatt lévő szekvenciális programok Közösen használt objektumok változók adattípus objektumok közösen használt kommunikációs csatornák Implementációs lehetőségek közösen használt memória (shared memory) számítógépes kommunikációs hálózat
12 Párhuzamos programok osztott memóri riával Párhuzamos program { p } S 1... S n { q } Probléma Memória cellákhoz való párhuzamos hozzáférés Követelmény Szinkronizáció P 1 P 2 Memória
13 Párhuzamos programok kommunikáci ciós s csatornával P1 lokális memória1 Kommunikációs Hálózat C P2 lokális memória2 Probléma Garantálni kell, hogy ha a P1 küld egy üzenetet a C csatornán keresztül P2-nek, ez az üzenet megérkezik a címzetthez. Követelmény Ha az üzenet megérkezett P2-höz, akkor annak erre általában vissza kell jeleznie. Tehát ez P2 és környezetének bizonyos szinkronizálását kívánja meg: szinkronizáció.
14 Párhuzamos programozás alapfogalmai Konkurens program: (P, E) P : folyamatok véges halmaza, E : közös használatú erőforrások véges halmaza. Definíció A folyamat az a végrehajtás alatt lévő szekvenciális program, amely párhuzamosan fut más folyamatokkal együtt közös feladat megoldása során. Közös használatú erőforrás: közös használatú objektum Közös használatú memória, (közös használatú egyszerű vagy indexes változó a programozási nyelvben) közös használatú adattípus objektuma, közös használatú kommunikációs csatorna.
15 Párhuzamos programozás alapfogalmai Kommunikáció A kommunikáció azt jelenti, hogy a konkurens folyamatok egyike befolyásolja a másik komponens végrehajtását közös változók felhasználásával ill. üzenetküldéssel. Kommunikáció sikeressége Kommunikáció során az egyik folyamat beállítja a közös változó értékét, ill. üzenetet küld, amelyet a másik folyamat elolvas. Ez a kommunikáció akkor sikeres, ha az érték, ill. üzenet kiolvasásának megtörténtéről a címzett folyamat a kommunikációs partnerének egyértelmű választ ad, még mielőtt az érték, ill. üzenet megsemmisülne. Szinkronizáció = sikeres kommunikáció
16 Kölcsönös s kizárás Peterson módszerével Kölcsönös kizárás Peterson aktív várakozásos módszere A megoldás az aktív várakozás (busy waiting) technikájának alkalmazását szemlélteti, közös változókkal történő megoldás esetén. igénylés nyilvántartása: y i, i = 1, 2 másik folyamat letiltása: t y i = "true" : az i-edik folyamat igényli az erőforrást y i = "false" : az i-edik folyamat nem tart igényt az erőforrásra t = 1 : az 1. tiltja az erőforrás lekötését a 2. folyamatnak t = 2 : a 2. tiltja az erőforrás lekötését az 1. folyamatnak
17 Kölcsönös s kizárás Peterson módszerével y 1 "false" y 2 "false" t 1 parbegin P1 P2 parend P1: while "true" do nem kritikus szakasz 1 (y 1, t) ("true", 1) while y 2 t 2 do nil od kritikus szakasz 1 y 1 "false" od Igénybejelentés, tiltás Aktív várakozás Tiltás feloldása P2: while "true" do nem kritikus szakasz 2 (y 2, t) ("true", 2) while y 1 t 1 do nil od kritikus szakasz 2 y 2 "false" od
18 Kölcsönös s kizárás Peterson módszerével t változó használata azt a konfliktust hivatott feloldani, hogy mindkét folyamat az aktív várakozás állapotában várakozzon. Például: ( y 1, t ) ( "true", 1 ) while y 2 t 2 do nil od kritikus szakasz 1 y 1 "false" ( y 2, t ) ( "true", 2 ) while y 1 t 1 do nil od kritikus szakasz 2 Aki előbb állította be t értékét, az léphet először a kritikus szakaszba és annak kell kilépéskor kinyitnia a kaput a másiknak.
19 Kölcsönös s kizárás Peterson módszerével y 1 "false" y 2 "false" t 1 parbegin P1 P2 parend P1: while "true" do nem kritikus szakasz 1 (y 1, t) ("true", 1) while y 2 t 2 do nil od kritikus szakasz 1 y 1 "false" od Igénybejelentés, tiltás Aktív várakozás Tiltás feloldása P2: while "true" do nem kritikus szakasz 2 ( y 2, t) ("true", 2) while y 1 t 1 do nil od kritikus szakasz 2 y 2 "false" od Aktív várakozás helyett várakozás utasítás (wait) használata.
Többfelhasználós adatbázis környezetek, tranzakciók, internetes megoldások
Többfelhasználós adatbázis környezetek, tranzakciók, internetes megoldások Alkalmazás modellek Egy felhasználós környezet Több felhasználós környezet adatbázis Központi adatbázis adatbázis Osztott adatbázis
RészletesebbenLineáris algebra gyakorlat
Lineáris algebra gyakorlat 3 gyakorlat Gyakorlatvezet : Bogya Norbert 2012 február 27 Bogya Norbert Lineáris algebra gyakorlat (3 gyakorlat) Tartalom Egyenletrendszerek Cramer-szabály 1 Egyenletrendszerek
RészletesebbenDiszkrét matematika I. gyakorlat
Diszkrét matematika I. gyakorlat 1. Gyakorlat Bogya Norbert Bolyai Intézet 2012. szeptember 4-5. Bogya Norbert (Bolyai Intézet) Diszkrét matematika I. gyakorlat 2012. szeptember 4-5. 1 / 21 Információk
RészletesebbenDr. Schuster György. 2014. február 21. Real-time operációs rendszerek RTOS
Real-time operációs rendszerek RTOS 2014. február 21. Az ütemező (Scheduler) Az operációs rendszer azon része (kódszelete), mely valamilyen konkurens hozzáférés-elosztási problémát próbál implementálni.
RészletesebbenFábián Zoltán Hálózatok elmélet
Fábián Zoltán Hálózatok elmélet Minden olyan dologi és személyi eszköz, ami egy cél eléréséhez szükséges Dologi erőforrás Olyan eszközök, amelyek kellenek a cél eléréséhez Emberi erőforrás Emberi munkaidő.
RészletesebbenOsztály szint tagok. Krizsán Zoltán 1 [2012. március 12.] Objektumorientált programozás C# alapokon tananyag
Krizsán Zoltán 1 [2012. március 12.] Általános Informatikai Tanszék Miskolci Egyetem Objektumorientált programozás C# alapokon tananyag Tartalom Bevezetés Bevezetés Outline Bevezetés Bevezetés Példány
RészletesebbenAnalízis elo adások. Vajda István. 2012. szeptember 24. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem)
Vajda István Neumann János Informatika Kar Óbudai Egyetem 1/8 A halmaz alapfogalom, tehát nem definiáljuk. Jelölés: A halmazokat általában nyomtatott nagybetu vel jelöljük Egy H halmazt akkor tekintünk
RészletesebbenDr. Kulcsár Gyula. Virtuális vállalat 2013-2014 1. félév. Projektütemezés. Virtuális vállalat 2013-2014 1. félév 5. gyakorlat Dr.
Projektütemezés Virtuális vállalat 03-04. félév 5. gyakorlat Dr. Kulcsár Gyula Projektütemezési feladat megoldása Projekt: Projektütemezés Egy nagy, összetett, általában egyedi igény alapján előállítandó
RészletesebbenA döntő feladatai. valós számok!
OKTV 006/007. A döntő feladatai. Legyenek az x ( a + d ) x + ad bc 0 egyenlet gyökei az x és x valós számok! Bizonyítsa be, hogy ekkor az y ( a + d + abc + bcd ) y + ( ad bc) 0 egyenlet gyökei az y x és
RészletesebbenAnalízis elo adások. Vajda István. 2012. október 3. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem)
Vajda István Neumann János Informatika Kar Óbudai Egyetem / 40 Fogalmak A függvények értelmezése Definíció: Az (A, B ; R ) bináris relációt függvénynek nevezzük, ha bármely a A -hoz pontosan egy olyan
RészletesebbenProgramozás. A programkészítés lépései. Program = egy feladat megoldására szolgáló, a számítógép számára értelmezhető utasítássorozat.
Programozás Programozás # 1 Program = egy feladat megoldására szolgáló, a számítógép számára értelmezhető utasítássorozat. ADATOK A programkészítés lépései 1. A feladat meghatározása PROGRAM EREDMÉNY A
RészletesebbenMBLK12: Relációk és műveletek (levelező) (előadásvázlat) Maróti Miklós, Kátai-Urbán Kamilla
MBLK12: Relációk és műveletek (levelező) (előadásvázlat) Maróti Miklós, Kátai-Urbán Kamilla Jelölje Z az egész számok halmazát, N a pozitív egészek halmazát, N 0 a nem negatív egészek halmazát, Q a racionális
RészletesebbenOperációkutatás. 2. konzultáció: Lineáris programozás (2. rész) Feladattípusok
Operációkutatás NYME KTK, gazdálkodás szak, levelező alapképzés 00/003 tanév, II évf félév Előadó: Dr Takách Géza NyME FMK Információ Technológia Tanszék 9400 Sopron, Bajcsy Zs u 9 GT fszt 3 (99) 58 640
RészletesebbenArany Dániel Matematikai Tanulóverseny 2011/2012-es tanév első (iskolai) forduló haladók I. kategória
Bolyai János Matematikai Társulat Arany Dániel Matematikai Tanulóverseny 011/01-es tanév első (iskolai) forduló haladók I. kategória Megoldások és javítási útmutató 1. Az ábrán látható ABC derékszögű háromszög
RészletesebbenHázi dolgozat. Minta a házi dolgozat formai és tartalmi követelményeihez. Készítette: (név+osztály) Iskola: (az iskola teljes neve)
Házi dolgozat Minta a házi dolgozat formai és tartalmi követelményeihez Készítette: (név+osztály) Iskola: (az iskola teljes neve) Dátum: (aktuális dátum) Tartalom Itt kezdődik a címbeli anyag érdemi kifejtése...
RészletesebbenProgramozás alapjai Bevezetés
Programozás alapjai Bevezetés Miskolci Egyetem Általános Informatikai Tanszék Programozás alapjai Bevezetés SWF1 / 1 Tartalom A gépi kódú programozás és hátrányai Amagasszintÿ programozási nyelv fogalma
RészletesebbenValószín ségelmélet házi feladatok
Valószín ségelmélet házi feladatok Minden héten 3-4 házi feladatot adok ki. A megoldásokat a következ órán kell beadni, és kés bb már nem lehet pótolni. Csak az mehet vizsgázni, aki a 13 hét során kiadott
RészletesebbenBevezetés az ökonometriába
Az idősorelemzés alapjai Gánics Gergely 1 gergely.ganics@freemail.hu 1 Statisztika Tanszék Budapesti Corvinus Egyetem Tizedik előadas Tartalom 1 Alapfogalmak, determinisztikus és sztochasztikus megközelítés
RészletesebbenAdatok ábrázolása, adattípusok. Összefoglalás
Adatok ábrázolása, adattípusok Összefoglalás Adatok ábrázolása, adattípusok Számítógépes rendszerek működés: információfeldolgozás IPO: input-process-output modell információ tárolása adatok formájában
RészletesebbenÚtmutató a vízumkérő lap kitöltéséhez
Útmutató a vízumkérő lap kitöltéséhez A vízumkérő lap ( Visa application form of the People s Republic of China, Form V. 2013 ) az egyik legfontosabb dokumentum, amit a kínai vízumra való jelentkezésnél
RészletesebbenProgramozás I. - 9. gyakorlat
Programozás I. - 9. gyakorlat Mutatók, dinamikus memóriakezelés Tar Péter 1 Pannon Egyetem M szaki Informatikai Kar Rendszer- és Számítástudományi Tanszék Utolsó frissítés: November 9, 2009 1 tar@dcs.vein.hu
RészletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria
005-05 MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett
RészletesebbenAlgebra es sz amelm elet 3 el oad as Rel aci ok Waldhauser Tam as 2014 oszi f el ev
Algebra és számelmélet 3 előadás Relációk Waldhauser Tamás 2014 őszi félév Relációk reláció lat. 1. kapcsolat, viszony; összefüggés vmivel 2. viszonylat, vonatkozás reláció lat. 3. mat halmazok elemei
Részletesebbenhttp://www.olcsoweboldal.hu ingyenes tanulmány GOOGLE INSIGHTS FOR SEARCH
2008. augusztus 5-én elindult a Google Insights for Search, ami betekintést nyújt a keresőt használók tömegeinek lelkivilágába, és időben-térben szemlélteti is, amit tud róluk. Az alapja a Google Trends,
RészletesebbenVektorok összeadása, kivonása, szorzás számmal, koordináták, lineáris függetlenség
Vektoralgebra Vektorok összeadása, kivonása, szorzás számmal, koordináták, lineáris függetlenség Feladatok: 1) A koordinátarendszerben úgy helyezzük el az egységkockát, hogy az origó az egyik csúcsba essék,
RészletesebbenElemi adatszerkezetek
2015/10/14 13:54 1/16 Elemi adatszerkezetek < Programozás Elemi adatszerkezetek Szerző: Sallai András Copyright Sallai András, 2011, 2014 Licenc: GNU Free Documentation License 1.3 Web: http://szit.hu
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Geometria IV.
Geometria IV. 1. Szerkessz egy adott körhöz egy adott külső ponton átmenő érintőket! Jelöljük az adott kört k val, a kör középpontját O val, az adott külső pontot pedig P vel. A szerkesztéshez azt használjuk
RészletesebbenÁramlástechnikai gépek soros és párhuzamos üzeme, grafikus és numerikus megoldási módszerek (13. fejezet)
Áramlástechnikai gépek soros és párhuzamos üzeme, grafikus és numerikus megoldási módszerek (3. fejezet). Egy H I = 70 m - 50000 s /m 5 Q jelleggörbéjű szivattyú a H c = 0 m + 0000 s /m 5 Q jelleggörbéjű
RészletesebbenOmniTouch 8400 Instant Communications Suite 4980 Softphone
OmniTouch 8400 Instant Communications Suite Gyors kezdési segédlet R6.0 Mi a? Az Alcatel-Lucent Windows desktop client segédprogram jóvoltából számítógépe segítségével még hatékonyabban használhatja az
RészletesebbenVodafone ReadyPay. Használati útmutató
Vodafone ReadyPay Használati útmutató 1 - Párosítás Bluetooth-on keresztül, első beállítások 2 - Fizetés 3 - Menüpontok Párosítás Bluetooth-on keresztül, első beállítások Az első lépés Megjegyzés: A ReadyPay
RészletesebbenMiskolci Egyetem GÉPÉSZMÉRNÖKI ÉS INFORMATIKAI KAR. Analízis I. példatár. (kidolgozott megoldásokkal) elektronikus feladatgyűjtemény
Miskolci Egyetem GÉPÉSZMÉRNÖKI ÉS INFORMATIKAI KAR Analízis I. példatár kidolgozott megoldásokkal) elektronikus feladatgyűjtemény Összeállította: Lengyelné Dr. Szilágyi Szilvia Miskolc, 013. Köszönetnyilvánítás
RészletesebbenSZAKÁLL SÁNDOR, ÁsVÁNY- És kőzettan ALAPJAI
SZAKÁLL SÁNDOR, ÁsVÁNY- És kőzettan ALAPJAI 12 KRISTÁLYkÉMIA XII. KÖTÉsTÍPUsOK A KRIsTÁLYOKBAN 1. KÉMIAI KÖTÉsEK Valamennyi kötéstípus az atommag és az elektronok, illetve az elektronok egymás közötti
Részletesebben3. Térvezérlésű tranzisztorok
1 3. Térvezérlésű tranzisztorok A térvezérlésű tranzisztorok (Field Effect Transistor = FET) működési elve alapjaiban eltér a bipoláris tranzisztoroktól. Az áramvezetés mértéke statikus feszültséggel befolyásolható.
Részletesebben2011. március 9. Dr. Vincze Szilvia
. márius 9. Dr. Vinze Szilvia Tartalomjegyzék.) Elemi bázistranszformáió.) Elemi bázistranszformáió alkalmazásai.) Lineáris függőség/függetlenség meghatározása.) Kompatibilitás vizsgálata.) Mátri/vektorrendszer
Részletesebben2. számú melléklet SZOLGÁLTATÁS-MINİSÉG
2. számú melléklet SZOLGÁLTATÁS-MINİSÉG I. A SZOLGÁLTATÓ ÁLTAL RENDSZERESEN MÉRT MINİSÉGI CÉLÉRTÉKEK MOBIL RÁDIÓTELEFON SZOLGÁLTATÁS 1. ÚJ HOZZÁFÉRÉS LÉTESÍTÉSI IDİ A szolgáltatáshoz való új hozzáférés
RészletesebbenJátékok (domináns stratégia, alkalmazása. 2016.03.30.
Játékok (domináns stratégia, Nash-egyensúly). A Nashegyensúly koncepciójának alkalmazása. 2016.03.30. Játékelmélet és közgazdaságtan 1914: Zermelo (sakk) 1944. Neumann-Morgenstern: Game Theory and Economic
RészletesebbenSzervezeti formák bemutatása
Szervezeti formák bemutatása Szakgyógyszerész-jelöltek képzése Király Gyula Szervezet fogalma Csoportot egyének tulajdonságai és a köztük zajló interakciók hoznak létre. Szervezet: egymással összefüggő
RészletesebbenNövelhető-e a hazai szélerőmű kapacitás energiatárolás alkalmazása esetén?
Növelhető-e a hazai szélerőmű kapacitás energiatárolás alkalmazása esetén? Okos hálózatok, okos mérés konferencia Magyar Regula 2012 2012. március 21. Hartmann Bálint, Dr. Dán András Villamos Energetika
RészletesebbenKereséssel történő problémamegoldás. Ormándi Róbert
Kereséssel történő problémamegoldás Ormándi Róbert Problémamegoldás kereséssel Célorientált ágensek egyik típusa Általános keret, melyben: Meghatározásra kerül(nek) a cél(ok) Megfogalmazásra kerül a probléma
RészletesebbenHa a síkot egyenes vagy görbe vonalakkal feldaraboljuk, akkor síkidomokat kapunk.
Síkidomok Ha a síkot egyenes vagy görbe vonalakkal feldaraboljuk, akkor síkidomokat kapunk. A határoló vonalak által bezárt síkrész a síkidom területe. A síkidomok határoló vonalak szerint lehetnek szabályos
RészletesebbenDIGITÁLIS TECHNIKA 7. Előadó: Dr. Oniga István
IGITÁLI TECHNIKA 7 Előadó: r. Oniga István zekvenciális (sorrendi) hálózatok zekvenciális hálózatok fogalma Tárolók tárolók JK tárolók T és típusú tárolók zámlálók zinkron számlálók Aszinkron számlálók
RészletesebbenMagyar. Biztonsági információk. Magyar
Az útmutató tartalma: Biztonsági információk, 29. oldal. Az üzembe helyezéssel kapcsolatos hibaelhárítás, 30. oldal. További információk keresése, 34. oldal. Biztonsági információk A készülékhez csak a
RészletesebbenMATLAB. 4. gyakorlat. Lineáris egyenletrendszerek, leképezések
MATLAB 4. gyakorlat Lineáris egyenletrendszerek, leképezések Menetrend Kis ZH MATLAB függvények Lineáris egyenletrendszerek Lineáris leképezések Kis ZH pdf MATLAB függvények a szkriptekhez hasonlóan az
RészletesebbenVasúti menetrendek optimalizálása
Vasúti menetrendek optimalizálása Jüttner Alpár ELTE TTK Operációkutatási Tsz. Jüttner Alpár (ELTE TTK) Vasúti menetrendek optimalizálása 1 / 10 Vasúti menetrendek tervezése Bemenet A vasúthálózat leírása
RészletesebbenShared IMAP beállítása magyar nyelvű webmailes felületen
Shared IMAP beállítása magyar nyelvű webmailes felületen A következő ismertető segítséget nyújt a szervezeti cím küldőként való beállításában a caesar Webmailes felületén. Ahhoz, hogy a Shared Imaphoz
RészletesebbenFordítóprogramok Készítette: Nagy Krisztián
Fordítóprogramok Készítette: Nagy Krisztián Reguláris kifejezések (FLEX) Alapelemek kiválasztása az x karakter. tetszőleges karakter (kivéve újsor) [xyz] karakterhalmaz; vagy egy x, vagy egy y vagy egy
RészletesebbenGAZDASÁGI MATEMATIKA 1. 1. Gyakorlat
GAZDASÁGI MATEMATIKA 1. 1. Gyakorlat Bemutatkozás Chmelik Gábor óraadó BGF-KKK Módszertani Intézeti Tanszéki Osztály chmelik.gabor@kkk.bgf.hu http://www.cs.elte.hu/ chmelik Fogadóóra: e-mailben egyeztetett
RészletesebbenAz informatika oktatás téveszméi
Az informatika oktatás Az informatika definíciója Definíció-1: az informatika az információ keletkezésével, továbbításával, tárolásával, feldolgozásával foglalkozó tudomány. Definíció-2: informatika =
RészletesebbenPárhuzamos programozás
Párhuzamos programozás Rendezések Készítette: Györkő Péter EHA: GYPMABT.ELTE Nappali tagozat Programtervező matematikus szak Budapest, 2009 május 9. Bevezetés A számítástechnikában felmerülő problémák
RészletesebbenKONDÍCIÓS LISTA. Devizabelföldi magánszemélyek. Devizanem éves Kamat 22,13 % THM 1. 500.000 Ft, 3 év futamidő THM 1. 3 millió Ft, 5 év futamidő
KONDÍCIÓS LISTA Devizabelföldi magánszemélyek eire vonatkozóan Hatályos: 2016.július 1-től 2016. július 1-jén vagy azt követően igényelt kölcsönökre vonatkozó feltételek: éves Kamat 22,13 % 24,89 % 24,89
RészletesebbenA Közbeszerzések Tanácsa (Szerkesztőbizottsága) tölti ki A hirdetmény kézhezvételének dátuma KÉ nyilvántartási szám
KÖZBESZERZÉSI ÉRTESÍTŐ A Közbeszerzések Tanácsának Hivatalos Lapja 1024 Budapest, Margit krt. 85. Fax: 06 1 336 7751, 06 1 336 7757 E-mail: hirdetmeny@kozbeszerzesek-tanacsa.hu On-line értesítés: http://www.kozbeszerzes.hu
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I 15 XV DIFFERENCIÁLSZÁmÍTÁS 1 DERIVÁLT, deriválás Az f függvény deriváltján az (1) határértéket értjük (feltéve, hogy az létezik és véges) Az függvény deriváltjának jelölései:,,,,,
RészletesebbenDigitális technika (VIMIAA01) Laboratórium 1
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA01) Laboratórium 1 Fehér Béla Raikovich Tamás,
RészletesebbenVektoros elemzés végrehajtása QGIS GRASS moduljával 1.7 dr. Siki Zoltán
Vektoros elemzés végrehajtása QGIS GRASS moduljával 1.7 dr. Siki Zoltán Egy mintapéldán keresztül mutatjuk be a GRASS vektoros elemzési műveleteit. Az elemzési mintafeladat során gumipitypang termesztésére
RészletesebbenReiz Beáta. 2006 április
Babes - Bolyai Tudomány Egyetem Matematika Informatika Kar Informatika Szak 2006 április 1 2 (GM) Definíció: olyan gráf, melynek csomópontjai valószínűségi változók élei ezen változók közti függőségi viszonyokat
RészletesebbenNyilatkozat a tervezett költségek utófinanszírozás vagy szállítói finanszírozás keretében történő elszámolásáról
Nyilatkozat a tervezett ek vagy szállítói finanszírozás keretében történő elszámolásáról Támogatási szerződés száma: TOP-6.8.2-15-PC1-2016-00001 Kedvezményezett: Pécs Megyei Jogú Város Önkormányzata Alulírott
RészletesebbenTámogatási lehetőségek a borágazatban Magyarország Nemzeti Borítékja. Bor és Piac Szőlészet Borászat Konferencia 2011
Támogatási lehetőségek a borágazatban Magyarország Nemzeti Borítékja Bor és Piac Szőlészet Borászat Konferencia 2011 Miben lehet a minisztérium a borászati vállalkozások segítségére A minisztérium elsősorban
RészletesebbenTartalom. 1. A dokumentum célja... 2
Tartalom 1. A dokumentum célja... 2 2. IVR Funkciók... 3 2.1. A bejelentkezés... 3 2.2. Jelszóváltoztatás... 3 2.3. Egyenleg és fedezet lekérdezés... 3 2.4. Súgó... 4 1 1. A dokumentum célja A felhasználói
Részletesebben... S n. A párhuzamos programszerkezet két vagy több folyamatot tartalmaz, melyek egymással közös változó segítségével kommunikálnak.
Párhuzamos programok Legyen S parbegin S 1... S n parend; program. A párhuzamos programszerkezet két vagy több folyamatot tartalmaz, melyek egymással közös változó segítségével kommunikálnak. Folyamat
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I 10 X DETERmINÁNSOk 1 DETERmINÁNS ÉRTELmEZÉSE, TULAJdONSÁGAI A másodrendű determináns értelmezése: A harmadrendű determináns értelmezése és annak első sor szerinti kifejtése: A
RészletesebbenJelek tanulmányozása
Jelek tanulmányozása A gyakorlat célja A gyakorlat célja a jelekkel való műveletek megismerése, a MATLAB környezet használata a jelek vizsgálatára. Elméleti bevezető Alapműveletek jelekkel Amplitudó módosítás
RészletesebbenMesterséges Intelligencia. Csató Lehel. Csató Lehel. Matematika-Informatika Tanszék Babeş Bolyai Tudományegyetem, Kolozsvár 2006/2007
Matematika-Informatika Tanszék Babeş Bolyai Tudományegyetem, Kolozsvár 2006/2007 Az Előadások Témái Bevezető: mi a mesterséges intelligencia... Tudás reprezentáció Gráfkeresési stratégiák Szemantikus hálók
RészletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK KÖZÉPSZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek megoldásához!
Részletesebbenció különös s tekintettel az iskolás korosztályra
Családon belüli li kommunikáci ció különös s tekintettel az iskolás korosztályra Örkényi Ágota, Dr. Aszmann Anna Országos Gyermekegészs szségügyigyi Intézet Esztergom, 2008.03.07 A családon belüli li kommunikáci
RészletesebbenFa- és Acélszerkezetek I. 5. Előadás Stabilitás I. Dr. Szalai József Főiskolai adjunktus
Fa- és Acélszerkezetek I. 5. Előadás Stabilitás I. Dr. Szalai József Főiskolai adjunktus Tartalom Egyensúly elágazási határállapot Rugalmas nyomott oszlop kritikus ereje (Euler erő) Valódi nyomott oszlopok
Részletesebben6. MODUL Az EBM oktatása és tanulása klinikai audit során
6. MODUL Az EBM oktatása és tanulása klinikai audit során Képzési célkitűzések A 6. modul végén az OKTATÓ képes lesz: A képzésben résztvevőt felkészíteni arra, hogy egy klinikai audit témáját PICO szerkezetű
RészletesebbenGAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN
GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN ELTE TáTK Közgazdaságtudományi Tanszék Gazdaságmatematika középhaladó szinten RACIONÁLIS TÖRTFÜGGVÉNYEK INTEGRÁLJA Készítette: Gábor Szakmai felel s: Gábor Vázlat
Részletesebben2004. december 1. Irodalom
LINEÁRIS LEKÉPEZÉSEK I. 2004. december 1. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak az előadáson, másrészt megtalálják a jegyzetben: Szabó László:
RészletesebbenOrszágos Reumatológiai és Fizioterápiás Intézet. a "Közalkalmazottak jogállásáról szóló" 1992. évi XXXIII. törvény 20/A. alapján pályázatot hirdet
Országos Reumatológiai és Fizioterápiás Intézet A közalkalmazotti jogviszony időtartama: határozatlan idejű közalkalmazotti jogviszony Foglalkoztatás jellege: Teljes munkaidő A munkavégzés helye: a "Közalkalmazottak
RészletesebbenBank: minden tranzakciónál. Egyetemek: regisztráci. Emberi erőforr. források: alkalmazottak adatainak rögzr
Adatbázis zis-kezelés Példák k adatbázisok alkalmazására Bank: minden tranzakciónál Légitársaságok: helyfoglalás, menetrend Egyetemek: regisztráci ció,, képzk pzés Értékesítés: s: ügyfelek, termékek, vásárlv
RészletesebbenAz idegrendszeri memória modelljei
Az idegrendszeri memória modelljei A memória típusai Rövidtávú Working memory - az aktuális feladat Vizuális, auditórikus,... Prefrontális cortex, szenzorikus területek Kapacitás: 7 +-2 minta Hosszútávú
RészletesebbenHőszivattyú. Zöldparázs Kft
Hőszivattyú Ez az előadás 2010.szeptember 20-án hangzott el. Mivel az internetes keresők hosszú időre megőrzik a dokumentumokat, vegye figyelembe, hogy az idő múlásával egyes technikai megoldások elavulttá
RészletesebbenMinta programterv a 1. házi feladathoz
Programozás Minta programterv a 1. házi feladathoz Gregorics Tibor EHACODE.ELTE gt@inf.elte.hu 0.csoport 1. beadandó/0.feladat 1. 2011. december 28. Feladat Egy osztályba n diák jár, akik m darab tantárgyat
RészletesebbenA Hozzárendelési feladat megoldása Magyar-módszerrel
A Hozzárendelési feladat megoldása Magyar-módszerrel Virtuális vállalat 2013-2014/1. félév 3. gyakorlat Dr. Kulcsár Gyula A Hozzárendelési feladat Adott meghatározott számú gép és ugyanannyi független
RészletesebbenVasúti információs rendszerek gyakorlat
Vasúti információs rendszerek gyakorlat 2014. október 30. Horváth Krisztián tanszéki mérnök 1 A TAKT egy olyan szoftvereszköz, amely hatékonyan segíti modern menetrendi struktúrák tervezését, konkrét menetrendi
Részletesebbenxdsl Optika Kábelnet Mért érték (2012. II. félév): SL24: 79,12% SL72: 98,78%
Minőségi mutatók Kiskereskedelmi mutatók (Internet) Megnevezés: Új hozzáférés létesítési idő Meghatározás: A szolgáltatáshoz létesített új hozzáféréseknek, az esetek 80%ban teljesített határideje. Mérési
RészletesebbenKockázatkezelés és biztosítás
Kockázatkezelés és biztosítás Dr. habil. Farkas Szilveszter PhD egyetemi docens, tanszékvezető Pénzügy Intézeti Tanszék Témák 1. Kockáztatott eszközök 2. Károkozó tényezők (vállalati kockázatok) 3. Holisztikus
RészletesebbenVHDL szimuláció. Tervezés. Labor II. Dr. Hidvégi Timót
VHDL szimuláció Labor II. Dr. Hidvégi Timót Tervezés 1 Lefoglalt szavak abs access after alias all and architecture array assert attribute block body buffer bus case component configuration constant disconnect
RészletesebbenA 27/2012 (VIII. 27.) NGM rendelet (12/2013 (III.28) NGM rendelet által módosított) szakmai és vizsgakövetelménye alapján.
A 27/2012 (VIII. 27.) NGM rendelet (12/2013 (III.28) NGM rendelet által módosított) szakmai és vizsgakövetelménye alapján. Szakképesítés, azonosító száma és megnevezése 35 582 03 Hűtő-, klíma- és hőszivattyú
RészletesebbenJavítóvizsga témakörei matematika tantárgyból
9.osztály Halmazok: - ismerje és használja a halmazok megadásának különböző módjait, a halmaz elemének fogalmát - halmazműveletek : ismerje és alkalmazza gyakorlati és matematikai feladatokban a következő
RészletesebbenFejlesztı neve: LÉNÁRT ANETT. Tanóra / modul címe: CÉGES REKLÁMBANNER KÉSZÍTÉSE PROJEKTMÓDSZERREL
Fejlesztı neve: LÉNÁRT ANETT Tanóra / modul címe: CÉGES REKLÁMBANNER KÉSZÍTÉSE PROJEKTMÓDSZERREL 1. Az óra tartalma A tanulási téma bemutatása; A téma és a módszer összekapcsolásának indoklása: Az órán
RészletesebbenHálók kongruenciahálója
Hálók kongruenciahálója Diplomamunka Írta: Skublics Benedek Témavezet : Pálfy Péter Pál Eötvös Loránd Tudományegyetem Matematikai Intézet 2007 Tartalomjegyzék Bevezetés 1 1. Hálók kongruenciái 3 1.1. A
RészletesebbenÁtalakuló HR szervezet, változó Business Partneri szerepek
Átalakuló HR szervezet, változó Business Partneri szerepek dr. Jagicza Ágnes, HR és szervezetfejlesztési vezérigazgató-helyettes, Invitel Zrt. 2014. március 20. Tartalom 2 A HR szerepe a 21. században
RészletesebbenLineáris algebra és a rang fogalma (el adásvázlat, 2008. május 29.) Maróti Miklós
Lineáris algebra és a rang fogalma (el adásvázlat, 2008. május 29.) Maróti Miklós Ennek az el adásnak a megértéséhez a következ fogalmakat kell tudni: (1) A mátrixalgebrával kapcsolatban: számtest feletti
RészletesebbenKooperáció és intelligencia
Kooperáció és intelligencia Tanulás többágenses szervezetekben/3 MARL Multi Agent Reinforcement Learning Többágenses megerősítéses tanulás: áttekintés Kezdjük 1 db ágenssel. Legyenek a környezet állapotai
Részletesebben118. Szerencsi Többcélú Kistérségi Társulás
BAZ MTrT TERVEZŐI VÁLASZ 118. Szerencsi Többcélú Kistérségi Társulás 1. Szakmai szempontból elhibázott döntésnek tartjuk a Tokaji Borvidék Világörökségi terület közvetlen környezetében erőmű létesítését.
RészletesebbenFENNTARTHATÓ FEJLŐDÉS
FENNTARTHATÓ FEJLŐDÉS Kump Edina ÖKO-Pack Nonprofit Kft. E-mail: edina@okopack.hu Web: www.okopack.hu Dunaújváros, 2014. november 07. A FENNTARTHATÓ FEJLŐDÉS FOGALMA A fenntartható fejlődés a fejlődés
Részletesebben1. Metrótörténet. A feladat folytatása a következő oldalon található. Informatika emelt szint. m2_blaha.jpg, m3_nagyvaradter.jpg és m4_furopajzs.jpg.
1. Metrótörténet A fővárosi metróhálózat a tömegközlekedés gerincét adja. A vonalak építésének története egészen a XIX. század végéig nyúlik vissza. Feladata, hogy készítse el a négy metróvonal történetét
RészletesebbenIpari és vasúti szénkefék
www.schunk-group.com Ipari és vasúti szénkefék A legjelentősebb anyagminőségek fizikai tulajdonságai A legjelentősebb anyagminőségek fizikai tulajdonságai A szénkefetestként használt szén és grafit anyagminőségek
RészletesebbenIrányítástechnika 1. 5. Elıadás. Félvezetıs logikai áramkörök. Irodalom
Irányítástechnika 1 5. Elıadás Félvezetıs logikai áramkörök Irodalom - Kovács Csongor: Digitális elektronika, 2003 - Helmich József: Irányítástechnika I, 2005 Félvezetıs logikai elemek Logikai szintek
RészletesebbenMAGYAR KERESKEDELMI ÉS IPARKAMARA. Országos Szakmai Tanulmányi Verseny. Elődöntő ÍRÁSBELI FELADAT
52 523 03 0000 00 00-2012 MAGYAR KERESKEDELMI ÉS IPARKAMARA Országos Szakmai Tanulmányi Verseny Elődöntő ÍRÁSBELI FELADAT Szakképesítés: 52 523 03 0000 00 00 Modulok: 1395-06 Mechatronikai gyártórendszerek
RészletesebbenHidak építése a minőségügy és az egészségügy között
DEBRECENI EGÉSZSÉGÜGYI MINŐSÉGÜGYI NAPOK () 2016. május 26-28. Hidak építése a minőségügy és az egészségügy között A TOVÁBBKÉPZŐ TANFOLYAM KIADVÁNYA Debreceni Akadémiai Bizottság Székháza (Debrecen, Thomas
RészletesebbenA TŰZVÉDELMI TERVEZÉS FOLYAMATA. Dr. Takács Lajos Gábor okl. építészmérnök BME Építészmérnöki Kar Épületszerkezettani Tanszék
A TŰZVÉDELMI TERVEZÉS FOLYAMATA Dr. Takács Lajos Gábor okl. építészmérnök BME Építészmérnöki Kar Épületszerkezettani Tanszék BME Épít Épületsze TŰZVÉDELMI TERVEZÉSI FELADATOK A tűzvédelmi tervezési tevékenység
Részletesebbena hitelről és a lízingről tudni kell Amit
Amit a hitelről és a lízingről tudni kell Szeretné megismerni a hitel és a lízing közötti alapvető különbségeket? Kíváncsi, melyik megoldás lenne optimális az Ön számára? Tanulmányozza át füzetünket, és
RészletesebbenIlleszkedésvizsgálat
Slide 1 Illeszkedésvizsgálat (kategória értékű változóra) Freedman: 28. fejezet 1-3. Egy képzeletbeli országban 10M ember lakik: 30% szőke, 10% barna, 60% fekete. Slide 2 N = 200 fős mintát vettünk, a
RészletesebbenEgyéb előterjesztés Békés Város Képviselő-testülete 2015. december 2-i ülésére
Tárgy: Körösök Völgye Vidékfejlesztési Közhasznú Egyesület előfinanszírozási kérelme Előkészítette: Gál András osztályvezető Véleményező Pénzügyi Bizottság bizottság: Sorszám: IV/14 Döntéshozatal módja:
Részletesebben1. Írja fel prímszámok szorzataként a 420-at! 2. Bontsa fel a 36 000-et két részre úgy, hogy a részek aránya 5 : 4 legyen!
1. Írja fel prímszámok szorzataként a 40-at! 40 =. Bontsa fel a 36 000-et két részre úgy, hogy a részek aránya 5 : 4 legyen! A részek: 3. Egy sejttenyészetben naponta kétszereződik meg a sejtek száma.
RészletesebbenAz első lépések. A Start menüből válasszuk ki a Minden program parancsot. A megjelenő listában kattintsunk rá az indítandó program nevére.
A számítógép elindítása A számítógépet felépítő eszközöket (hardver elemeket) a számítógépház foglalja magába. A ház különböző méretű, kialakítású lehet. A hátoldalán a beépített elemek csatlakozói, előlapján
RészletesebbenFéléves jelentés 2016. GENERALI HAZAI KÖTVÉNY ALAP
Féléves jelentés 2016. GENERALI HAZAI KÖTVÉNY ALAP Generali Hazai Kötvény Alap I. Alapadatok Az Alap működési formája: Az Alap fajtája: Az Alap elsődleges eszközkategóriájának típusa: nyilvános nyíltvégű
RészletesebbenK&H kommunikációs verseny 2016/2017 tanév
K&H kommunikációs verseny 2016/2017 tanév 1 1. versenykiírás A K&H Bank versenyfelhívása felsőoktatásban állami finanszírozásban vagy önköltséges formában kommunikációt (beleértve a marketingkommunikációt
Részletesebben