Időzített rendszerek és az UPPAAL
|
|
- Ábel Deák
- 7 évvel ezelőtt
- Látták:
Átírás
1 Időzített rendszerek és az UPPAAL Dr. Németh L. Zoltán SZTE, Informatikai Tanszékcsoport 2008/2009 I. félév MODELL 10 1
2 Időzített rendszerek Real Time Systems = valós idejű rendszerek Olyan rendszerek, melyek helyessége, nem csak a folyamatok lépéseinek logikai sorrendjétől, de a lépések megtételének idejétől is függ. A rendszernek időbeli korlátozásokat is teljesítenie kell. Mindenütt jelen vannak, például: valós idejű operációs rendszerek valós idejű protokollok autóelektronika (ABS, légzsákok, Cruise Control/Tempomat ) szórakoztató elektronika robotok, ipari gépek, gyártósorok közlekedés (lámpák, légi irányítás, űrhajózás, stb.) általánosan RT rendszereket vezérlő hardverek / szoftverek bemenet: szenzorok (érzékelők, sensors) kimenet: aktuátorok (cselekvők, actuators) MODELL 10 2
3 Egy egyszerű példa Két fokozatú villanykapcsoló A rendszer állapotai: KI: a lámpa nem világít HALVÁNY: hangulatvilágítás, kis fényerő VILÁGOS: erős fény A felhasználó (most ő lesz a rendszer környezete)egyetlen gomb megnyomásával vezérelhesse a rendszert: gombnyomás vagy csak gomb MODELL 10 3
4 Időzítés nélkül gombnyomás? KI gombnyomás? KIS FÉNY gombnyomás? VILÁ- GOS MODELL 10 4
5 Időzített automatával KI KIS FÉNY x 500 VILÁ- GOS x>500 ahol x egy valsó idejű óra mondjuk miliszekundomokban (500 = fél másodperc) a zölddel írtak őrfeltételek (csak ekkor hajtható végre az átmenet) a pirossal írt az óra újraindítása (reset) azaz két gyors (<500ms) gombnyomás kell a VILÁGOS-ra állításhoz MODELL 10 5
6 Időzített automaták átmenetei I p x 30 & y=10 a őrfeltételek: órák egésszekkel vett összehasonlításainak (<,, =,, >) Boole kombinációi tevékenység (action) ezekkel lehet szinkronizálni q óra újraindítások (resets) MODELL 10 6
7 Időzített automaták átmenetei II Állapotok p q x 30 & y=10 a (hely, x=u, y=v) hármasok, ahol hely { p, q } u, v valós számok Átmenetek diszkrét átmentek: a (p,x=12.5,y=3.14) > (q,x=0,y=3.14) szünet átmenetek: e(1.1) (p,x=12.5,y=3.14) > (p,x=13.6,y=4.24) MODELL 10 7
8 Egy lehetséges futás KI KIS FÉNY x 500 VILÁ- GOS átmenet: e(200) x>500 állapot: (KI, x=0 ) (KI, x=200) (KIS FÉNY, x=0) e(350) (KIS FÉNY, x=350) (VILÁGOS, x=350) MODELL 10 8
9 Magától kikapcsoló lámpa x=60000 KI KISFÉNY x x 500 VILÁGOS x x=60000 a kék x feltételek invariánsok (előrehaladást tudunk velük kifejezni) a rendszer futásának az állapotra vonatkozó invariánsokat teljesíteni kell azaz sem KISFÉNY sem VILÁGOS állapotban nem várhatunk tovább 1 percnél egy perc után, ha újabb gombnyomás nem érkezik, a lámpa kikapcsol így pl. (KISFÉNY,x=0) ---e(65000) nem lehetséges MODELL 10 9
10 A lámpa UPPAAL modelljei gyakorlat I lampa1.xml: az időzítés nélküli modell, hogy kell definiálni állapotokat, átmeneteket hogyan működik a szimuláció, mit jelent a szinkronizálás lampa2.xml: az időzítés bevezetésével kapott modell felépítése őrfeltételek óra újraindítások szimulációk lampa3.xml: az egy perc után magától kikapcsoló lámpa modellje invariánsok használata verifikáció MODELL 10 10
11 Specifikációi az UPPAAL-ban A CTL (Computation Tree Logic) megszorított változata használható, a jelölés egy kicsit más: A = Allways /minden futásnál/ E = there Exists /van olyan futás/ [ ] = Globally /minden állapotban/ <> = Future /valamelyik állapotban/ Így a CTL jelölésével: A[ ] = AG, A<> = AF, E[ ] = EG, E<> = EF És még bounded livness (időben korlátozott élőségi) tulajdonságok is Bonyolultabb tulajdonságok egy monitor folyamat felvételével ellenőrizhetők Mind a diszkrét, mind a szünet átmeneteket figyelembe kell venni MODELL 10 11
12 Specifikáció az UPPAAL-ban II Possibility (lehetségesség) E<> P : van olyan futás mely során valamikor igaz lesz P Safety (biztonsági tulajdonságok) invariáns: A[ ] P : minden futás minden állapotában igaz P lehetséges invariáns: E[ ] P van olyan futás, melynek minden állapotában igaz P Liveness (élőségi tulajdonságok) végül is: A<> P : minden úton valamikor P teljesül válasz: P -> Q : minden úton, ha P teljesül, akkor valamikor Q is teljesülni fog Bounded liveness (korlátos élőségi) válasz időn belül: P -> t Q : minden úton, ha P teljesül, akkor valamikor Q is teljesülni fog t időn belül MODELL 10 12
13 Specifikáció az UPPAAL-ban III Az előzőekben P és Q olyan kifejezések melyek hivatkozhatbak: egész változókra konstansokra óra változók értékeire folyamatok aktuális állapotaira bennük a típusok megfelelőek a kifejezés mellékhatás mentes és Boole értékre értékelődik ki így pl. a szokásos Boole-műveletek használhatók: not or, and imply (a jelenben nem keverendő a ->-lal, mely időbeli választ jelent) MODELL 10 13
14 Néhány egyszerű azonosság not A [ ] P = E <> not P not A <> P = E [ ] not P P -> Q = A [ ] ( P imply A <> Q ) Ez utóbbi tehát CTL-ben is kifejezhető De a CTL-lel szemben az UPPAAL nem engedi meg az időoperátorok egymásba ágyazását pl: A[ ] ( E <> P ) nem írható MODELL 10 14
15 A lámpa UPPAAL modelljei gyakorlat II lampa3.q: CTL formulák megadása a specifikációk ellenőrzése a hiba trace elemzése a szimulátorban lampa4.xml: sablonok (templates) használata, paraméterezés a rendszer deklarációja további tulajdonságok elenőrzése MODELL 10 15
Bevezetés a lágy számítás módszereibe
BLSZM-07 p. 1/10 Bevezetés a lágy számítás módszereibe Nem fuzzy halmaz kimenetű fuzzy irányítási rendszerek Egy víztisztító berendezés szabályozását megvalósító modell Viselkedésijósló tervezési példa
RészletesebbenIdőt kezelő modellek és temporális logikák
Időt kezelő modellek és temporális logikák Valósidejű rendszerek követelményeinek formalizálása és ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információ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é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é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észletesebbenForráskód generálás formális modellek alapján
Forráskód generálás formális modellek alapján dr. Majzik István Horányi Gergő és Jeszenszky Balázs (TDK) BME Méréstechnika és Információs Rendszerek Tanszék 1 Modellek a formális ellenőrzéshez Hogyan használhatók
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é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é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é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é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észletesebbenÁrverés kezelés ECP WEBSHOP BEÉPÜLŐ MODUL ÁRVERÉS KEZELŐ KIEGÉSZÍTÉS. v2.9.28 ECP WEBSHOP V1.8 WEBÁRUHÁZ MODULHOZ
v2.9.28 Árverés kezelés ECP WEBSHOP BEÉPÜLŐ MODUL ÁRVERÉS KEZELŐ KIEGÉSZÍTÉS ECP WEBSHOP V1.8 WEBÁRUHÁZ MODULHOZ AW STUDIO Nyíregyháza, Luther utca 5. 1/5, info@awstudio.hu Árverés létrehozása Az árverésre
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é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észletesebbenAz éves statisztikai összegezés. Statisztikai összegezés az éves közbeszerzésekről a Kbt. IV. és VI. fejezete szerinti ajánlatkérők vonatkozásában
9. melléklet a 14/2010. (X.29.) NFM rendelethez Az éves statisztikai összegezés Statisztikai összegezés az éves közbeszerzésekről a Kbt. IV. és VI. fejezete szerinti ajánlatkérők vonatkozásában I. SZAKASZ:
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észletesebbenProlog 1. Készítette: Szabó Éva
Prolog 1. Készítette: Szabó Éva Prolog Logikai, deklaratív nyelv. Egy logikai program egy modellre vonatkoztatott állítások halmaza, melyek a modell tulajdonságait, és az azok között fellépő kapcsolatokat
RészletesebbenTartalomjegyzék. Tartalom 1/16
Tartalom 1/16 Tartalomjegyzék Tartalomjegyzék... 1 LOGA telepítése... 2 Leírás 1 Fájl szerveres telepítés leírás... 3 Leírás 2 LOGA mentése... 4 Melléklet 1 A LOGA telepítése (futtatható állományok telepítése)...
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é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é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é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észletesebbenOrszágos Középiskolai Tanulmányi Verseny 2011/2012 Matematika I. kategória (SZAKKÖZÉPISKOLA) Döntő. x 3x 2 <
Oktatási Hivatal Országos Középiskolai Tanulmányi Verseny 011/01 Matematika I. kategória (SZKKÖZÉPISKOL) Döntő 1. Határozza meg az összes olyan egész számot, amely eleget tesz az egyenlőtlenségnek! log
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é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észletesebbenA 2. Terminál közúti előterének kialakítására vonatkozó koncepció gyorsmegoldás 2012. július 17.
A 2. Terminál közúti előterének kialakítására vonatkozó koncepció gyorsmegoldás 2012. július 17. A jelenlegi helyzet a probléma Széleskörű hozzáférés a közúti előtérhez arkoló/megállóhelyek biztosítása
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észletesebbenProp-Tech. Vázmérő. Telepítési és eltávolítási útmutató
Prop-Tech Telepítési és eltávolítási útmutató Magyar Hungarian 5 / 1 Prop-Tech Vázmérő Telepítési és eltávolítási útmutató Tartalomjegyzék Telepítés... 2 Előfeltételek... 2 Telepítés folyamata... 2 Biztonsággal
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észletesebbenSJ5000+ MENÜBEÁLLÍTÁSOK. E l e c t r o p o i n t K f t., 1 0 4 4 B u d a p e s t, M e g y e r i ú t 1 1 6. F s z. 1. Oldal 1
SJ5000+ MENÜBEÁLLÍTÁSOK E l e c t r o p o i n t K f t., 1 0 4 4 B u d a p e s t, M e g y e r i ú t 1 1 6. F s z. 1. Oldal 1 FIGYELMEZTETÉS! A vízálló tok gombjai nagyon erős rugóval vannak ellátva, ezért
RészletesebbenTö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észletesebbenTANTÁRGYI ÚTMUTATÓ. Prezentáció és íráskészségfejlesztés. tanulmányokhoz
I. évfolyam GM és PSZ szak BA TANTÁRGYI ÚTMUTATÓ Prezentáció és íráskészségfejlesztés tanulmányokhoz TÁVOKTATÁS Tanév (2014/2015) I. félév A KURZUS ALAPADATAI Tárgy megnevezése: Prezentáció és íráskészség
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é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észletesebbenBoldva és Vidéke Taka r ékszövetkezet
A Takarékszövetkezet jelen ben szereplő, változó kamatozású i termékei esetében i kamatváltozást tesz közzé, az állandó (fix) kamatozású i termékek esetében pedig a 2014.06.15-től lekötésre kerülő ekre
RészletesebbenBoldva és Vidéke Taka r ékszövetkezet
A Takarékszövetkezet jelen ben szereplő, változó kamatozású i termékei esetében i kamatváltozást tesz közzé, az állandó (fix) kamatozású i termékek esetében pedig a 2014.08.13-tól lekötésre kerülő ekre
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észletesebbenHálózati beállítások gyorsútmutatója
Hálózati beállítások gyorsútmutatója WorkCentre M123/M128 WorkCentre Pro 123/128 701P42078_HU 2004. Minden jog fenntartva. A szerzői jogvédelem a védett anyag és információ minden formájára és tartalmára
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észletesebbenAz éves statisztikai összegezés STATISZTIKAI ÖSSZEGEZÉS AZ ÉVES KÖZBESZERZÉSEKRŐL A KLASSZIKUS AJÁNLATKÉRŐK VONATKOZÁSÁBAN
11. melléklet a 92/2011. (XII.30.) NFM rendelethez Az éves statisztikai összegezés STATISZTIKAI ÖSSZEGEZÉS AZ ÉVES KÖZBESZERZÉSEKRŐL A KLASSZIKUS AJÁNLATKÉRŐK VONATKOZÁSÁBAN I. SZAKASZ: AJÁNLATKÉRŐ I.1)
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észletesebbenSegítünk online ügyféllé válni Kisokos
Segítünk online ügyféllé válni Kisokos Kedves Ügyfelünk! Szeretnénk, ha Ön is megismerkedne Online ügyfélszolgálatunkkal, melyen keresztül kényelmesen, könnyedén, sorban állás nélkül intézheti energiaszolgáltatással
RészletesebbenFelhasználói Kézikönyv Kisbanki NetBOSS - IVR
Felhasználói Kézikönyv Kisbanki NetBOSS - IVR 2004. 10. 07. Változás-nyilvántartó lap Kiadások Sorszáma Dátuma Állomány neve Leírása 1.00 2003.12.04 tknb_felhkk_ivr.doc IVR felhasználói kézikönyv, alap
RészletesebbenAz éves statisztikai összegezés. Statisztikai összegezés az éves közbeszerzésekrıl a Kbt. IV. és VI. fejezete szerinti ajánlatkérık vonatkozásában
9. melléklet a 14/2010. (X.29.) NFM rendelethez Az éves statisztikai összegezés Statisztikai összegezés az éves közbeszerzésekrıl a Kbt. IV. és VI. fejezete szerinti ajánlatkérık vonatkozásában I. SZAKASZ:
RészletesebbenHalmazok és függvények
Halmazok és függvények Óraszám: 2+2 Kreditszám: 6 Meghirdető tanszék: Analízis Debrecen, 2005. A tárgy neve: Halmazok és függvények (előadás) A tárgy oktatója: Dr. Gilányi Attila Óraszám/hét: 2 Kreditszám:
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észletesebbenAz éves statisztikai összegezés STATISZTIKAI ÖSSZEGEZÉS AZ ÉVES KÖZBESZERZÉSEKRŐL A KLASSZIKUS AJÁNLATKÉRŐK VONATKOZÁSÁBAN
1 11. melléklet a 92/2011. (XII. 30.) NFM rendelethez Az éves statisztikai összegezés STATISZTIKAI ÖSSZEGEZÉS AZ ÉVES KÖZBESZERZÉSEKRŐL A KLASSZIKUS AJÁNLATKÉRŐK VONATKOZÁSÁBAN I. SZAKASZ: AJÁNLATKÉRŐ
Részletesebben3. Matematikai logika (megoldások)
(megoldások) 1. Hamis, ugyanis P, Q és R logikai értékét behelyettesítve kapjuk: (P Q) R = (1 0) 0 = 0 0 = 0. (Ebben és a további feladatok megoldásában alkalmazzuk a D 3.1 denícióit. A megoldást célszer
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é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észletesebben1. forduló. MEGOLDÁSOK Pontszerző Matematikaverseny 2015/2016-os tanév
MEGOLDÁSOK Pontszerző Matematikaverseny 2015/2016-os tanév 1. forduló 1. feladat: Jancsi és Juliska Matematikai Memory-t játszik. A játék lényege, hogy négyzet alakú kártyákra vagy műveletsorokat írnak
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é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é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észletesebbenIdőzített rendszerek és az UPPAAL II
Időzített rendszerek és az UPPAAL II Dr. Németh L. Zoltán (zlnemeth@inf.u-szeged.hu) SZTE, Informatikai Tanszékcsoport 2008/2009 I. félév 2008.11.15 MODELL 11 1 Rendszerek leírása az UPPAAL-ban Modellelenőrzés
RészletesebbenMobiltelefónia & biztonság
Technikai fejlődés és biztonság Kéz a kézben vagy egymás ellen? Farkas István Zoltán PR. I. év 2015 A mobilhálózatok fejlődése 0. Generáció: - 1945-ben elkészült mobil rádiótelefont, - Ez a hálózati infrastruktúra
RészletesebbenKülső eszközök Felhasználói útmutató
Külső eszközök Felhasználói útmutató Copyright 2009 Hewlett-Packard Development Company, L.P. Az itt szereplő információ előzetes értesítés nélkül változhat. A HP termékeire és szolgáltatásaira vonatkozó
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észletesebbenKülső kártyaeszközök Felhasználói útmutató
Külső kártyaeszközök Felhasználói útmutató Az SD embléma a jogtulajdonos védjegye. Copyright 2009 Hewlett-Packard Development Company, L.P. Az itt szereplő információ előzetes értesítés nélkül változhat.
RészletesebbenTanúsítvány és hozzá tartozó kulcsok feltöltése Oberthur kártyára és Oberthur SIM termékre
Tanúsítvány és hozzá tartozó kulcsok feltöltése Oberthur kártyára és Oberthur SIM termékre Windows XP, Vista és Windows 7 operációs rendszeren, PFX fájlban található tanúsítvány és kulcsok esetében 1(7)
RészletesebbenEmelt szintű érettségi feladatsorok és megoldásaik Összeállította: Szászné Simon Judit; dátum: 2005. november. I. rész
Szászné Simon Judit, 005. november Emelt szintű érettségi feladatsorok és megoldásaik Összeállította: Szászné Simon Judit; dátum: 005. november. feladat I. rész Oldjuk meg a valós számok halmazán a x 5x
RészletesebbenSCOPA-AUT Kérdőív. soha néha rendszeresen gyakran. soha néha rendszeresen gyakran. soha néha rendszeresen gyakran
SCOPA-AUT Kérdőív Ezzel a kérdőívvel azt szeretnénk megtudni, hogy az utóbbi egy hónapban milyen gyakorisággal voltak olyan testműködési problémái, mint például vizeletürítési gondok vagy túlzott izzadás.
RészletesebbenBudapest Airport embléma
Arculati kézikönyv embléma Alap logo Általános esetben használható embléma Egyszerűsített logo Ha nincs lehetőség az alapértelmezett logo teljes megjelenítésére (pl. méretkorlátok), a felirat elhagyható.
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észletesebbenEgységes fejlesztési katasztert támogató informatikai modul, önkormányzati projektmenedzserek lehetőségei
Önkormányzati fejlesztések figyelemmel kísérése c. ÁROP-1.1.20-2012-0001 sz. kiemelt projekt Egységes fejlesztési katasztert támogató informatikai modul, önkormányzati projektmenedzserek lehetőségei 2014.
RészletesebbenMAGISTER GIMNÁZIUM TANMENET 2012-2013 11. OSZTÁLY
MAGISTER GIMNÁZIUM TANMENET 2012-2013 11. OSZTÁLY Heti 3 óra Évi 111 óra Készítette: Ellenőrizte: Literáti Márta matematika tanár.. igazgató Másodfokú egyenletek. Ismétlés 1. óra: Másodfokú egyenletek,
RészletesebbenKérjük, hogy mielőtt elkezdené használni a Csavarhat webáruházat, gondosan olvassa végig ezt a segédletet.
Csavarhat webáruház Részletes útmutató a webáruház használatához Kérjük, hogy mielőtt elkezdené használni a Csavarhat webáruházat, gondosan olvassa végig ezt a segédletet. Cégeknek, kis- és nagykereskedőknek,
Részletesebbentetszőleges időpillanatban értelmezhető végtelen sok időpont értéke egy véges tartományban bármilyen értéket felvehet végtelen sok érték
Elektronika 2 tetszőleges időpillanatban értelmezhető végtelen sok időpont értéke egy véges tartományban bármilyen értéket felvehet végtelen sok érték Diszkrét időpillanatokban értelmezhető (időszakaszos)
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é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észletesebbenTelepítési leírás - 6550AM kitakarásvédett PIR mozgásérzékelő
Telepítési leírás - 6550AM kitakarásvédett PIR mozgásérzékelő Telepítési útmutató Az érzékelők kialakításuknak köszönhetően kiküszöbölik a téves riasztásokat. Kerülendők viszont az alábbiak (1. ábra):
RészletesebbenAblakok használata. 1. ábra Programablak
Ha elindítunk egy programot, az egy Ablakban jelenik meg. A program az üzeneteit szintén egy újabb ablakban írja ki számunkra. Mindig ablakokban dolgozunk. Az ismertetett operációs rendszer is az Ablakok
RészletesebbenTART TECH KFT. 9611 Csénye, Sport u. 26. Tel.: 95/310-221 Fax: 95/310-222 Mobil: 30/9973-852 E-mail: tarttech@mail.globonet.hu www.tart-tech.
TART TECH KFT. 9611 Csénye, Sport u. 26. Tel.: 95/310-221 Fax: 95/310-222 Mobil: 30/9973-852 E-mail: tarttech@mail.globonet.hu www.tart-tech.hu HASZNÁLATI UTASÍTÁS S3000/L típusú silómérleg vezérlőegységhez
RészletesebbenTC-900 Ri clock HŰTÉSTECHNIKAI SZABÁLYZÓ, VALÓS IDEJŰ ÓRÁVAL VEZÉRELT LEOLVASZTÁSSAL, RS485 SOROS VONALI KOMMUNIKÁCIÓVAL
TC-900 Ri clock HŰTÉSTECHNIKAI SZABÁLYZÓ, VALÓS IDEJŰ ÓRÁVAL VEZÉRELT LEOLVASZTÁSSAL, RS485 SOROS VONALI KOMMUNIKÁCIÓVAL Méréshatár: -50-75 C Méret: 71x28x71 mm Felbontás: 0,1 C Kivágás: 72x29 mm Tápfeszültség:
RészletesebbenActive watch MT849. Használati útmutató
Active watch MT849 Használati útmutató Bevezetés Köszönjük, hogy termékünket választotta! Az eszköz kompatibilis Android 4.1 vagy magasabb verzió számú okostelefonokkal. Annak érdekében, hogy a teljes
Részletesebben[MECHANIKA- HAJLÍTÁS]
2010. Eötvös Loránd Szakközép és Szakiskola Molnár István [MECHANIKA- HAJLÍTÁS] 1 A hajlításra való méretezést sok helyen lehet használni, sok mechanikai probléma modelljét vissza lehet vezetni a hajlítás
RészletesebbenLOGIKAI TERVEZÉS. Előadó: Dr. Oniga István egyetemi docens. 2010 I félév
LOGIKAI TERVEZÉS PROGRAMOZHATÓ ÁRAMKÖRÖKKEL Előadó: Dr. Oniga István egyetemi docens 2010 I félév A tárgy weboldala http://irh.inf.unideb.hu/user/onigai/ltpa/logikai_tervezes.htmltervezes.html Adminisztratív
RészletesebbenAz aktiválódásoknak azonban itt még nincs vége, ugyanis az aktiválódások 30 évenként ismétlődnek!
1 Mindannyiunk életében előfordulnak jelentős évek, amikor is egy-egy esemény hatására a sorsunk új irányt vesz. Bár ezen események többségének ott és akkor kevésbé tulajdonítunk jelentőséget, csak idővel,
RészletesebbenA beállítási segédprogram Használati útmutató
A beállítási segédprogram Használati útmutató Copyright 2007, 2008 Hewlett-Packard Development Company, L.P. A Windows elnevezés a Microsoft Corporation bejegyzett kereskedelmi védjegye az Amerikai Egyesült
RészletesebbenBOLYAI MATEMATIKA CSAPATVERSENY ORSZÁGOS DÖNTŐ SZÓBELI (2012. NOVEMBER 24.) 3. osztály
3. osztály Két szám összege 33. Mennyi ennek a két számnak a különbsége, ha az egyik kétszerese a másiknak? Hány olyan háromjegyű szám van, amelyben a számjegyek összege legalább 25? 4. osztály A Zimrili
Részletesebbenő ő ő ő ű Ó ő ő ű ű ő ő Ó ő ő ő ő ő ő ű ő ő ű ű ő ő ű Ó ő ő ő Ó ő ű ő ő ő ű ű ű ő ő ő ő ő ő ő Ó ő ő ő ű ő ő ő ő ő ű ő ő Ó ő ő ű ő ő ő ő ő ő ő ű ű ő ő ő ű ű ő ű ő ő Ó Ó ő Ó Ó ő Ó ű ő ő ő ő ő ű ő ű ű ű ű
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észletesebbenFelhasználói kézikönyv ACR-3580. Rádiós ébresztőóra (Olvassa el használat előtt) Letölthető PDF formátum: http://hu.akai-atd.com/hasznalati-utasitas
ACR-3580 Rádiós ébresztőóra (Olvassa el használat előtt) Letölthető PDF formátum: http://hu.akai-atd.com/hasznalati-utasitas 1 1. ON/OFF: Készülék ki/bekapcsolása vagy AM/FM mód váltás. 2. TIME: Idő PRESET:
RészletesebbenBOLYAI MATEMATIKA CSAPATVERSENY FŐVÁROSI DÖNTŐ SZÓBELI (2005. NOVEMBER 26.) 5. osztály
5. osztály Írd be az ábrán látható hat üres körbe a 10, 30, 40, 60, 70 és 90 számokat úgy, hogy a háromszög mindhárom oldala mentén a számok összege 200 legyen! 50 20 80 Egy dobozban háromféle színű: piros,
RészletesebbenFelhasználás. Készülék jellemzők. Kalibra59
RISH Multi 20 Digitális multiméter 5 ¾ digites kijelzés Felhasználás RISH Multi 20 5 ¾ digites multiméter felbontása és alacsony mérési bizonytalansága miatt kiválóan alkalmas mind oktatási, folyamatmérési,
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észletesebbenMAGYAR NYELV a 4. évfolyamosok számára. MNy2 JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ
4. évfolyam MNy2 Javítási-értékelési útmutató MAGYAR NYELV a 4. évfolyamosok számára MNy2 JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ A javítási-értékelési útmutatóban feltüntetett válaszokra a megadott pontszámok adhatók.
Részletesebben[GVMGS11MNC] Gazdaságstatisztika
[GVMGS11MNC] Gazdaságstatisztika 4 előadás Főátlagok összehasonlítása http://uni-obudahu/users/koczyl/gazdasagstatisztikahtm Kóczy Á László KGK-VMI Viszonyszámok (emlékeztető) Jelenség színvonalának vizsgálata
RészletesebbenPozitron-emissziós tomográf (PET) mire való és hogyan működik?
Pozitron-emissziós tomográf (PET) mire való és hogyan működik? Major Péter Atomoktól csillagokig, 2011. nov. 10. Vázlat Mi az hogy Tomográf? (fajták, képek) Milyen tomográfok vannak, miért van ennyi? Milyen
RészletesebbenMIT VÁR EL A PSZICHOLÓGUS A JÓ KRESZTŐL? ARANYOS JUDIT közlekedés szakpszichológus
MIT VÁR EL A PSZICHOLÓGUS A JÓ KRESZTŐL? ARANYOS JUDIT közlekedés szakpszichológus KRESZ: Közúti Rendelkezések Egységes Szabályozása, 1975 óta: rendeletekbe foglalt szabálygyűjtemény, mely a közlekedést
RészletesebbenÍRÁSBELI FELADAT MEGOLDÁSA
54 523 04 1000 00 00-2014 MAGYAR KERESKEDELMI ÉS IPARKAMARA Országos Szakmai Tanulmányi Verseny Elődöntő ÍRÁSBELI FELADAT MEGOLDÁSA Szakképesítés: 54 523 04 1000 00 00 SZVK rendelet száma: Modulok: 6308-11
RészletesebbenOláh Attila. ESRI FlexAPI alapú bevetés irányítási rendszer
Oláh Attila ESRI FlexAPI alapú bevetés irányítási rendszer A bonyolult helyzetek megkövetelik a modern bevetés irányítást! Ez, pedig ma már szinte elképzelhetetlen az együttműködő szervezetek és azok egységeinek
RészletesebbenI I. 1. 6. A b i o l ó g i a i a k t i v i t á s é r t é k s z á m í t á s e r e d m é n y e
I I. 1. 6. A b i o l ó g i a i a k t i v i t á s é r t é k s z á m í t á s e r e d m é n y e számítása a 9/2007.(IV.3.) ÖTM rendelet alapján készült. A hatályos településszerkezeti tervhez képest változó
RészletesebbenA táblázatkezelő felépítése
A táblázatkezelés A táblázatkezelő felépítése A táblázatkezelő felépítése Címsor: A munkafüzet címét mutatja, és a program nevét, amivel megnyitottam. Menüszalag: A menüsor segítségével használhatjuk az
Részletesebbenwww.acelkft.hu Elektronikus öltözőszekrényzárak
Elektronikus öltözőszekrényzárak Tronic Pro elektronikus szekrényzár Sportlétesítmények, uszodák, fürdők, szállodák, fitness klubok, bevásárló központok, iskolák, egyetemek, repülőterek, kollégiumok, hivatalok,
RészletesebbenINFORMATIKAI ALAPISMERETEK
Informatikai alapismeretek emelt szint 0911 ÉRETTSÉGI VIZSGA 2011. október 17. INFORMATIKAI ALAPISMERETEK EMELT SZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ NEMZETI ERŐFORRÁS MINISZTÉRIUM
RészletesebbenÓravázlat. A szakmai karrierépítés feltételei és lehetőségei. Milyen vagyok én? Én és te. heterogén csoportmunka
Óravázlat Tantárgy: Téma: Résztémák: osztályfőnöki A szakmai karrierépítés feltételei és lehetőségei Önismeret Milyen vagyok én? Én és te Időigény: Munkaforma: 1 óra frontális osztálymunka heterogén csoportmunka
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észletesebbenKeretszerződés költöztetési, szállítási feladatok ellátására a Pécsi Tudományegyetemen-2- AF módosítás
Keretszerződés költöztetési, szállítási feladatok ellátására a Pécsi Tudományegyetemen-2- AF módosítás Közbeszerzési Értesítő száma: 2015/44 Beszerzés tárgya: Keretszerződés költöztetési, szállítási feladatok
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észletesebben