Diagnosztika Petri háló modellek felhasználásával

Save this PDF as:
 WORD  PNG  TXT  JPG

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Diagnosztika Petri háló modellek felhasználásával"

Átírás

1 Diagnosztika - Ea9. p. 1/2 Modell Alapú Diagnosztika Diszkrét Módszerekkel Diagnosztika Petri háló modellek felhasználásával Hangos Katalin PE Villamosmérnöki és Információs Rendszerek Tanszék

2 Diagnosztika - Ea9. p. 2/2 Tartalomjegyzék Színes Petri hálók (Coloured Petri Nets) legfontosabb tulajdonságok Színes Petri hálók és kvalitatív differenciaegyenletek megfeleltetés, hibamódokat tartalmazó modellek jel-nyomok előállítása Operátori eljárások és formális leírásuk kapcsolat a diszkrét idejű modellekkel Diagnózerek fogalma és jellemzői Petri háló diagnózerek karakterisztikus jel-nyomok felismerésére

3 Színes Petri hálók Coloured Petri Nets (CPNs) Diagnosztika - Ea9. p. 3/2

4 ! " Diagnosztika - Ea9. p. 4/2 Futópálya Petri háló modellje időzített RWY Időzített Peri háló modell

5 : 7 6 ( /. & & & & ) ) ) ) ) ) / /. & & & & Diagnosztika - Ea9. p. 5/2 Futópálya Petri háló modell színes Színezett Peri háló modell: "feliratok" Élfüggvény: afelki : if val(pfp_lefogl) = then true afel = val(pfp_lefogl), val(pfel) = afel Szinhalmaz: Cfelle = {, } # 3 ' ( ' $ ' * : 5 6 ( ' * - ( ' ) ) ) ( * $ ' ( $ ' # 3 ' (, ($+ $ ' * $ % ( $ ' # $ % * $ % : : 5 6

6 Színes Petri hálók és kvalitatív modellek Diagnosztika - Ea9. p. 6/2

7 Diagnosztika - Ea9. p. 7/2 Az irányítandó rendszer leírása Színezett Petri hálóval (CPN): kvalitatív modellből állíthatjuk elő színhalmazok: a változók kvalitatív értékkészletéből helyek: változókhoz rendeltek átmenetek: egyenletekhez rendelten (statikus és dinamikus egyenlettel) Diagnosztikai alkalmazások: a meghibásodásokat is modellezni kell!

8 Diagnosztika - Ea9. p. 8/2 Statikus példa: érzékelő additív hibával 1 Algebrai model egyenlet: v m = v + χ E [v], [v] m e, χ B 1 = { 1, 0,1}, [E] = L [v m ] [χ] [v] mode N H 0 N normal 0 H normal L 0 L normal normal e+ 1 H faulty H 1 N faulty N 1 L faulty L 1 0 faulty N L -1 H faulty -1 N faulty 0-1 L faulty e -1 0 faulty

9 Diagnosztika - Ea9. p. 9/2 Statikus példa: érzékelő additív hibával 2 CPN modell B -1 v X t E (0) v m

10 Diagnosztika - Ea9. p. 10/2 Kvalitatív jelek Kvalitatív érték-készlet "normális" N értékkel rendelkező változókra = {H, N, L, 0}, B = {0, 1}, E = {H, N, L, 0, e+, e } ahol High, Low, Normal, error. Egy kvalitatív jel egy olyan jel (bemenet, kimenet, állapot vagy zavarás (fault indicator!)) amely értékeit minden időpillanatban egy véges kvalitatív érték-készletből veszi. Egy esemény következik be, ha egy kvalitatív jel értéke megváltozik. Egy e X eseményt formálisan a e X (t, q X ) = (t, [x](t) = q X ) párral jellemezhetünk, ahol t az az időpillanat, mikor az [x] kvaltatív jel felveszi a q X értéket.

11 Diagnosztika - Ea9. p. 11/2 Jel-nyomok esemény-sorozatok Egy [x] kvalitatív jel jel-nyoma (signal trace) egy esemény-sorozat T (x) (t 0, t F ) = {(t 0 ; [x](t 0 ) = q x0 ), (t 1 ; [x](t 1 )] = q x1 ),..., (t F ; [x](t F ) = q xf )} a (t 0, t F ) időintervallumon, ahol q x Több jelnek együttesen is lehet jel-nyoma, például T (u,d,y) (t 0, t F ) Egyszerűsített jelölés: az időt elhagyjuk, például T (h,t) (1, 3) = {(N, N), (L, H), (L, e+)} Diagnosztikai célra definiálhatunk nominális (normális viselkedést leíró) jel-nyomokat karakterisztikus (jellemző) jel-nyomokat (valamilyen adott meghibasodásra)

12 Diagnosztika - Ea9. p. 12/2 Egyszerű dinamikus példa Szabad kifolyású tartály: kvalitatív modellegyenletek [m](k + 1) = [m](k) + [v in ](k) K [m](k) χ leak B kis lyuk - [B] = L + érzékelő additív hibával CPN modell: m B X leak v in m X leak B v in m X leak B v in t tartaly (1) YES NO t tartaly (1) YES NO t tartaly (1) YES NO LOW LOW LOW B -1 NORMAL HIGH B -1 NORMAL HIGH B -1 NORMAL HIGH X mes Vout(k+1) e- X mes Vout(k+1) e- X mes Vout(k+1) e- e+ e+ e+ t meres (0) t meres (0) t meres (0) v m out v m out v m out e e e

13 Diagnosztika - Ea9. p. 13/2 Egyszerű dinamikus példa Megoldás: kvalitatív bemenet-kimenet jel-nyomokkal

14 Diagnosztika - Ea9. p. 14/2 P C R G Operátori eljárások

15 Diagnosztika - Ea9. p. 15/2 Operátori eljárások P C R G Diszkrét, soros és párhuzamos lépéseket is tartalmazó vezérlési eljárások. Fajtái: indítási, leállítási, üzemmód-váltási biztonsági szabályozási Elemei: diszkrét lépések

16 Diagnosztika - Ea9. p. 16/2 Az operátori eljárások környezete P C R G PEOPLE Plant Diagnosis measurements actions PLANT Pre-actions actions actions measurements Procedure Diagnosis PROCEDURES

17 Diagnosztika - Ea9. p. 17/2 Egy eljárás lépés formális leírása P C R G Színezett Petri hálóval (CPN) Plant (t Ps ) PreCondition ToDo associated Start Proc_step (t Ps ) c Input ( Start, PreCondition ) Begin wait(tps) ToDo End [ActionTaken] PostCondition Done [CondTimeOut] Step_evalutation [CondFail] [CondAim] Next_Proc_step TimeOut Fail Aim

18 Diagnosztika - Ea9. p. 18/2 P C R G Diagnosztika színes Petri hálókkal Diagnózerek

19 Diagnosztika - Ea9. p. 19/2 Jellemző jel-nyomok P C R G Minden meghibásodási módra egy olyan jel-nyom, ami azt egyértelműen azonosítja Pozitív additív szenzor-hiba jellemző jel-nyoma T (vin,v m out ) (1, 4) = {(0,H), (0,N), (0,L), (0,L)}

20 Diagnosztika - Ea9. p. 20/2 Diagnózerek P C R G A diagnózer egy olyan diszkrét eseményű rendszer, ami "felismeri" egy meghibásodási mód jellemző jel-nyomát, és így azonosítja azt. A diagnózer szerkezete: minden eseményhez a jellemző jel-nyomban külön átmenet t ti belső helyek: minden időlépés után p Dti : a jellemző jel-nyom i-edik eseménye megtörtént a mért jelekhez tartozó helyekhez teszt-él segítségével kapcsolódik Példa: T (vin,v m out ) (1, 3) = {(0, N), (0, L), (0, L)} { 0 } v in { 0 } { 0 } { N } v m out { L } { L } D1 D2 DD! t D1 (1) t D2 (1) t D3 (1)

21 Diagnosztika - Ea9. p. 21/2 Diagnózer a tartály szenzorral példára P C R G Hiba: pozitív hiba az érzékelőben Jellemző jel-nyom: (0; v in = 0), (1; v m out = H) m X leak B v in t tartaly (1) YES NO v in { NO } LOW B -1 NORMAL HIGH t D1 (1) X mes V out (k+1) e- e+ D1 t meres (0) { e+, HIGH, NORMAL } t D2 (0) v m out e v m out X mes { YES }

22 Diagnosztika - Ea9. p. 22/2 Vezetővel irányított garázskapu diagnózerei P C R G

folyamatrendszerek modellezése

folyamatrendszerek modellezése Diszkrét eseményű folyamatrendszerek modellezése Hangos Katalin Számítástudomány Alkalmazása Tanszék Veszprémi Egyetem Haladó Folyamatmodellezés és modell analízis PhD kurzus p. 1/36 Tartalom Diszkrét

Részletesebben

Dinamikus modellek szerkezete, SDG modellek

Dinamikus modellek szerkezete, SDG modellek Diagnosztika - 3. p. 1/2 Modell Alapú Diagnosztika Diszkrét Módszerekkel Dinamikus modellek szerkezete, SDG modellek Hangos Katalin PE Villamosmérnöki és Információs Rendszerek Tanszék Diagnosztika - 3.

Részletesebben

Gyártórendszerek Dinamikája. Irányítástechnikai alapfogalmak

Gyártórendszerek Dinamikája. Irányítástechnikai alapfogalmak GyRDin-11 p. 1/19 Gyártórendszerek Dinamikája Irányítástechnikai alapfogalmak Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu GyRDin-11 p. 2/19 Tartalom

Részletesebben

Dinamikus modellek felállítása mérnöki alapelvek segítségével

Dinamikus modellek felállítása mérnöki alapelvek segítségével IgyR - 3/1 p. 1/20 Integrált Gyártórendszerek - MSc Dinamikus modellek felállítása mérnöki alapelvek segítségével Hangos Katalin PE Villamosmérnöki és Információs Rendszerek Tanszék IgyR - 3/1 p. 2/20

Részletesebben

Fizikai alapú közelítő dinamikus modellek

Fizikai alapú közelítő dinamikus modellek P C R G Fizikai alapú közelítő dinamikus modellek a Paksi Atomerőmű primerkörével kapcsolatos feladatokra Hangos Katalin Folyamatirányítási Kutató Csoport MTA SzTAKI Publikációs Díjazottak Előadása 2006

Részletesebben

Diszkrét Eseményű Rendszerek Diagnosztikája és Irányítása

Diszkrét Eseményű Rendszerek Diagnosztikája és Irányítása Diszkrét és hibrid diagnosztikai és irányítórendszerek Diszkrét Eseményű Rendszerek Diagnosztikája és Irányítása Hangos Katalin Közlekedésautomatika Tanszék Rendszer- és Irányításelméleti Kutató Laboratórium

Részletesebben

Irányításelmélet és technika II.

Irányításelmélet és technika II. Irányításelmélet és technika II. Legkisebb négyzetek módszere Magyar Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék amagyar@almos.vein.hu 200 november

Részletesebben

LTI Rendszerek Dinamikus Analízise és Szabályozásának Alapjai

LTI Rendszerek Dinamikus Analízise és Szabályozásának Alapjai Diszkrét és hibrid diagnosztikai és irányítórendszerek LTI Rendszerek Dinamikus Analízise és Szabályozásának Alapjai Hangos Katalin Közlekedésautomatika Tanszék Rendszer- és Irányításelméleti Kutató Laboratórium

Részletesebben

Gyártórendszerek irányítási struktúrái

Gyártórendszerek irányítási struktúrái GyRDin-10 p. 1/2 Gyártórendszerek Dinamikája Gyártórendszerek irányítási struktúrái Hangos Katalin Villamosmérnöki és Információs Rendszerek Tanszék e-mail: hangos@scl.sztaki.hu GyRDin-10 p. 2/2 Tartalom

Részletesebben

Integrált gyártórendszerek

Integrált gyártórendszerek IGYR-7 p. 1/4 Integrált gyártórendszerek Gyártásütemezés: az ütemezések analízise Gantt-chart módszerrel, az optimalizálási feladat kitűzése és változatai, megoldás a kritikus út módszerrel, dinamikus

Részletesebben

Irányítástechnika 2. előadás

Irányítástechnika 2. előadás Irányítástechnika 2. előadás Dr. Kovács Levente 2013. 03. 19. 2013.03.19. Tartalom Tipikus vizsgálójelek és azok információtartalma Laplace transzformáció, állapotegyenlet, átviteli függvény Alaptagok

Részletesebben

Modellezési esettanulmányok. elosztott paraméterű és hibrid példa

Modellezési esettanulmányok. elosztott paraméterű és hibrid példa Modellezési esettanulmányok elosztott paraméterű és hibrid példa Hangos Katalin Számítástudomány Alkalmazása Tanszék Veszprémi Egyetem Haladó Folyamatmodellezés és modell analízis PhD kurzus p. 1/38 Tartalom

Részletesebben

Szabályalapú diagnosztika - Diagnosztika HAZID információk felhasználásával

Szabályalapú diagnosztika - Diagnosztika HAZID információk felhasználásával Diagnosztika 5 p. 1/2 Modell Alapú Diagnosztika Disztkrét Módszerekkel Szabályalapú diagnosztika - Diagnosztika HAZID információk felhasználásával Hangos Katalin PE Villamosmérnöki és Információs Rendszerek

Részletesebben

Számítógéppel irányított rendszerek elmélete. Gyakorlat - Mintavételezés, DT-LTI rendszermodellek

Számítógéppel irányított rendszerek elmélete. Gyakorlat - Mintavételezés, DT-LTI rendszermodellek Számítógéppel irányított rendszerek elmélete Gyakorlat - Mintavételezés, DT-LTI rendszermodellek Hangos Katalin Villamosmérnöki és Információs Rendszerek Tanszék e-mail: hangos.katalin@virt.uni-pannon.hu

Részletesebben

Az irányítástechnika alapfogalmai. 2008.02.15. Irányítástechnika MI BSc 1

Az irányítástechnika alapfogalmai. 2008.02.15. Irányítástechnika MI BSc 1 Az irányítástechnika alapfogalmai 2008.02.15. 1 Irányítás fogalma irányítástechnika: önműködő irányítás törvényeivel és gyakorlati megvalósításával foglakozó műszaki tudomány irányítás: olyan művelet,

Részletesebben

Irányításelmélet és technika I.

Irányításelmélet és technika I. Irányításelmélet és technika I Folytonos idejű rendszerek leírása az állapottérben Állapotvisszacsatolást alkalmazó szabályozási körök Magyar Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki

Részletesebben

Az irányítástechnika alapfogalmai

Az irányítástechnika alapfogalmai Az irányítástechnika alapfogalmai 2014. 02. 08. Folyamatirányítás - bevezetés Legyen adott egy tetszőleges technológiai rendszer Mi a cél? üzemeltetés az előírt tevékenység elvégzése (termék előállítása,

Részletesebben

6. hét: A sorrendi hálózatok elemei és tervezése

6. hét: A sorrendi hálózatok elemei és tervezése 6. hét: A sorrendi hálózatok elemei és tervezése Sorrendi hálózat A Sorrendi hálózat Y Sorrendi hálózat A Sorrendi hálózat Y Belső állapot Sorrendi hálózat Primer változó A Sorrendi hálózat Y Szekunder

Részletesebben

Irányítástechnikai alapok. Zalotay Péter főiskolai docens KKMF

Irányítástechnikai alapok. Zalotay Péter főiskolai docens KKMF Irányítástechnikai alapok Zalotay Péter főiskolai docens KKMF Az irányítás feladatai és fajtái: Alapfogalmak Irányítás: Műszaki berendezések ( gépek, gyártó sorok, szállító eszközök, vegyi-, hő-technikai

Részletesebben

Kibernetika korábbi vizsga zárthelyi dolgozatokból válogatott tesztkérdések Figyelem! Az alábbi tesztek csak mintául szolgálnak a tesztkérdések megoldásához, azaz a bemagolásuk nem jelenti a tananyag elsajátítását

Részletesebben

12-13. Informatika E FAKT 2013-12-05 , = ±

12-13. Informatika E FAKT 2013-12-05 , = ± 2-3. Informatika E FAKT 203-2-05 if (feltétel) then todo todo if ( == ) //elágazás case (érték) todo case (érték2) todo2 todo switch () case : Console.WriteLine("nem, nem 2");. Írjuk meg a fenti folyamatábrán

Részletesebben

Sztochasztikus temporális logikák

Sztochasztikus temporális logikák Sztochasztikus temporális logikák Teljesítmény és szolgáltatásbiztonság jellemzők 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é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.

... 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észletesebben

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)

Részletesebben

Haszongépj. Németh. Huba. és s Fejlesztési Budapest. Kutatási. Knorr-Bremse. 2004. November 17. Knorr-Bremse 19.11.

Haszongépj. Németh. Huba. és s Fejlesztési Budapest. Kutatási. Knorr-Bremse. 2004. November 17. Knorr-Bremse 19.11. Haszongépj pjármű fékrendszer intelligens vezérl rlése Németh Huba Knorr-Bremse Kutatási és s Fejlesztési si Központ, Budapest 2004. November 17. Knorr-Bremse 19.11.2004 Huba Németh 1 Tartalom Motiváció

Részletesebben

Elérhetőségi probléma egyszerűsítése: Állapottér és struktúra redukció Petri-háló alosztályok

Elérhetőségi probléma egyszerűsítése: Állapottér és struktúra redukció Petri-háló alosztályok Elérhetőségi probléma egyszerűsítése: Állapottér és struktúra redukció Petri-háló alosztályok dr. Bartha Tamás Dr. Pataricza András BME Méréstechnika és Információs Rendszerek Tanszék Elérhetőségi probléma

Részletesebben

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)

Részletesebben

OTKA nyilvántartási szám: T047198 ZÁRÓJELENTÉS

OTKA 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észletesebben

Kiterjesztések sek szemantikája

Kiterjesztések sek szemantikája Kiterjesztések sek szemantikája Példa D Integer = {..., -1,0,1,... }; D Boolean = { true, false } D T1... T n T = D T 1... D Tn D T Az összes függvf ggvény halmaza, amelyek a D T1,..., D Tn halmazokból

Részletesebben

MINTA Írásbeli Záróvizsga Mechatronikai mérnök MSc. Debrecen,

MINTA Írásbeli Záróvizsga Mechatronikai mérnök MSc. Debrecen, MINTA Írásbeli Záróvizsga Mechatronikai mérnök MSc Debrecen, 2017. 01. 03. Név: Neptun kód: Megjegyzések: A feladatok megoldásánál használja a géprajz szabályait, valamint a szabványos áramköri elemeket.

Részletesebben

Gyártórendszerek dinamikája

Gyártórendszerek dinamikája GYRD-7 p. 1/17 Gyártórendszerek dinamikája Gyártásütemezés: az ütemezések analízise Gantt-chart módszerrel, az optimalizálási feladat kitűzése és változatai, megoldás a kritikus út módszerrel Werner Ágnes

Részletesebben

DropsA VIP-5 Külső vezérlőegység Telepített és mobil alkalmazásokhoz. Kezelési és karbantartási utasítás

DropsA VIP-5 Külső vezérlőegység Telepített és mobil alkalmazásokhoz. Kezelési és karbantartási utasítás DropsA VIP-5 Külső vezérlőegység Telepített és mobil alkalmazásokhoz Kezelési és karbantartási utasítás VIP-5 külső vezérlőegység Státusz és leírása Szivattyú ON bekapcsolva LED ON OFF STANBY Ciklus státusz

Részletesebben

Automatikus tesztgenerálás modell ellenőrző segítségével

Automatikus tesztgenerálás modell ellenőrző segítségével Méréstechnika és Információs Rendszerek Tanszék Automatikus tesztgenerálás modell ellenőrző segítségével Micskei Zoltán műszaki informatika, V. Konzulens: Dr. Majzik István Tesztelés Célja: a rendszerben

Részletesebben

Mi a diagnosztika? Néhány definíció, közelítés és elhatárolódás. Dr. Nagyszokolyai Iván, BME Gépjárművek tanszék

Mi a diagnosztika? Néhány definíció, közelítés és elhatárolódás. Dr. Nagyszokolyai Iván, BME Gépjárművek tanszék Mi a diagnosztika? Néhány definíció, közelítés és elhatárolódás Dr. Nagyszokolyai Iván, BME Gépjárművek tanszék A műszaki diagnosztika a mechatronikai rendszerek állapot-felügyeletéhez szükséges műszaki

Részletesebben

Autóipari beágyazott rendszerek CAN hardver

Autóipari beágyazott rendszerek CAN hardver Scherer Balázs, Tóth Csaba: Autóipari beágyazott rendszerek CAN hardver Előadásvázlat Kézirat Csak belső használatra! 2012.02.19. SchB, TCs BME MIT 2012. Csak belső használatra! Autóipari beágyazott rendszerek

Részletesebben

Ipari kemencék PID irányítása

Ipari kemencék PID irányítása Ipari kemencék PID irányítása 1. A gyakorlat célja: Az ellenállással melegített ipari kemencék modelljének meghatározása. A Opelt PID tervezési módszer alkalmazása ipari kemencék irányítására. Az ipari

Részletesebben

VEGYIPARI RENDSZEREK MODELLEZÉSE

VEGYIPARI RENDSZEREK MODELLEZÉSE VEGYIPARI RENDSZEREK MODELLEZÉSE ANYAGMÉRNÖK MSC KÉPZÉS SZAKMAI TÖRZSANYAG (nappali munkarendben) TANTÁRGYI KOMMUNIKÁCIÓS DOSSZIÉ MISKOLCI EGYETEM MŰSZAKI ANYAGTUDOMÁNYI KAR KERÁMIA- és POLIMERMÉRNÖKI

Részletesebben

Színezett Petri-hálók

Színezett Petri-hálók Színezett Petri-hálók dr. Bartha Tamás BME Méréstechnika és Információs Rendszerek Tanszék Bevezetés Mik a színezett Petri-hálók? A színezett Petri-hálók olyan modellek, amik a grafikus reprezentációt

Részletesebben

Modell alapú tesztelés mobil környezetben

Modell alapú tesztelés mobil környezetben Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed

Részletesebben

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7.

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7. Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7. előadás Szederkényi Gábor Pázmány Péter Katolikus Egyetem Információs

Részletesebben

Híradástechikai jelfeldolgozás

Híradástechikai jelfeldolgozás Híradástechikai jelfeldolgozás 13. Előadás 015. 04. 4. Jeldigitalizálás és rekonstrukció 015. április 7. Budapest Dr. Gaál József docens BME Hálózati Rendszerek és SzolgáltatásokTanszék gaal@hit.bme.hu

Részletesebben

Dinamikus modell: állapotdiagram, szekvencia diagram

Dinamikus modell: állapotdiagram, szekvencia diagram Programozási : állapotdiagram, szekvencia diagram osztályszerep Informatikai Kar Eötvös Loránd Tudományegyetem 1 osztályszerep Tartalom 1 2 3 osztályszerep 2 Bevezető Állapot Interakciós Tevékenység osztályszerep

Részletesebben

2. DIGITÁLIS ÁRAMKÖRÖK TESZTJEINEK SZÁMÍTÁSA (Dr. Sziray József, 2001.)

2. DIGITÁLIS ÁRAMKÖRÖK TESZTJEINEK SZÁMÍTÁSA (Dr. Sziray József, 2001.) 2. DIGITÁLIS ÁRAMKÖRÖK TESZTJEINEK SZÁMÍTÁSA (Dr. Sziray József, 2001.) 2.1 A digitális tesztelés alapjai A következőkben a digitális áramköröket elvont formában, vagyis digitális vagy logikai hálózatokként

Részletesebben

Gyártórendszerek Dinamikája. Gyártórendszerek jellemzése és szerkezete Gyártórendszerekkel kapcsolatos mérnöki feladatok

Gyártórendszerek Dinamikája. Gyártórendszerek jellemzése és szerkezete Gyártórendszerekkel kapcsolatos mérnöki feladatok GyRDin-02 p. 1/20 Gyártórendszerek Dinamikája Gyártórendszerek jellemzése és szerkezete Gyártórendszerekkel kapcsolatos mérnöki feladatok Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék

Részletesebben

Biztonsági kézikönyv. PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz

Biztonsági kézikönyv. PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz Hajtástechnika \ Hajtásautomatizálás \ Rendszerintegráció \ Szolgáltatások Biztonsági kézikönyv PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz Kiadás: 2012. 05. 19388977 / HU SEW-EURODRIVE Driving

Részletesebben

MÉRÉSTECHNIKA. BME Energetikai Gépek és Rendszerek Tanszék Fazekas Miklós (1) márc. 1

MÉRÉSTECHNIKA. BME Energetikai Gépek és Rendszerek Tanszék Fazekas Miklós (1) márc. 1 MÉRÉSTECHNIKA BME Energetikai Gépek és Rendszerek Tanszék Fazekas Miklós (1) 463 26 14 16 márc. 1 Méréstechnikai alapfogalmak CÉL Mennyiségek mérése Fizikai mennyiség Hosszúság L = 2 m Mennyiségi minőségi

Részletesebben

Á Á É ú Í Í í í ű ú í ú ú íí í ű Í Í Í í ü í í í í í Á í ü ü í í ü í í í ű í ú í ű í ű ú Í í ú ű ű í í í ű í í í í í Í ü ü í í í Á Á Á Á Á ú í í í ü ü í í í í í í í í ú Í Í í í ü í ü í í í ú í Á í ú í

Részletesebben

Digitális jelfeldolgozás

Digitális jelfeldolgozás Digitális jelfeldolgozás Kvantálás Magyar Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék magyar.attila@virt.uni-pannon.hu 2010. szeptember 15. Áttekintés

Részletesebben

Hibadetektáló rendszer légtechnikai berendezések számára

Hibadetektáló rendszer légtechnikai berendezések számára Hibadetektáló rendszer légtechnikai berendezések számára Tudományos Diákköri Konferencia A feladatunk Légtechnikai berendezések Monitorozás Hibadetektálás Újrataníthatóság A megvalósítás Mozgásérzékelő

Részletesebben

Kezelési Útmutató DVR 411M Digitális rögzítő. (Cserélhető HDD-vel)

Kezelési Útmutató DVR 411M Digitális rögzítő. (Cserélhető HDD-vel) Kezelési Útmutató DVR 411M Digitális rögzítő. (Cserélhető HDD-vel) 1. Tartalomjegyzék: 1. Tartalomjegyzék... 3 2. A készülék bemutatása...4 3. A DVR üzembe helyezése...5 A. Csatlakoztatás a monitorhoz...5

Részletesebben

Logisztikai szimulációs módszerek

Logisztikai szimulációs módszerek Üzemszervezés Logisztikai szimulációs módszerek Dr. Juhász János Integrált, rugalmas gyártórendszerek tervezésénél használatos szimulációs módszerek A sztochasztikus külső-belső tényezőknek kitett folyamatok

Részletesebben

12. előadás - Markov-láncok I.

12. 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észletesebben

OPERÁCIÓKUTATÁS, AZ ELFELEDETT TUDOMÁNY A LOGISZTIKÁBAN (A LOGISZTIKAI CÉL ELÉRÉSÉNEK ÉRDEKÉBEN)

OPERÁCIÓKUTATÁS, AZ ELFELEDETT TUDOMÁNY A LOGISZTIKÁBAN (A LOGISZTIKAI CÉL ELÉRÉSÉNEK ÉRDEKÉBEN) OPERÁCIÓKUTATÁS, AZ ELFELEDETT TUDOMÁNY A LOGISZTIKÁBAN (A LOGISZTIKAI CÉL ELÉRÉSÉNEK ÉRDEKÉBEN) Fábos Róbert 1 Alapvető elvárás a logisztika területeinek szereplői (termelő, szolgáltató, megrendelő, stb.)

Részletesebben

DINAMIKAI VIZSGÁLAT ÁLLAPOTTÉRBEN. 2003.11.06. Dr. Aradi Petra, Dr. Niedermayer Péter: Rendszertechnika segédlet 1

DINAMIKAI VIZSGÁLAT ÁLLAPOTTÉRBEN. 2003.11.06. Dr. Aradi Petra, Dr. Niedermayer Péter: Rendszertechnika segédlet 1 DINAMIKAI VIZSGÁLAT ÁLLAPOTTÉRBEN 2003..06. Dr. Aradi Petra, Dr. Niedermayer Péter: Rendszertechnika segédlet Egy bemenetű, egy kimenetű rendszer u(t) diff. egyenlet v(t) zárt alakban n-edrendű diff. egyenlet

Részletesebben

Mérési hibák 2006.10.04. 1

Mérési hibák 2006.10.04. 1 Mérési hibák 2006.10.04. 1 Mérés jel- és rendszerelméleti modellje Mérési hibák_labor/2 Mérési hibák mérési hiba: a meghatározandó értékre a mérés során kapott eredmény és ideális értéke közötti különbség

Részletesebben

Véges állapotú gépek (FSM) tervezése

Véges állapotú gépek (FSM) tervezése Véges állapotú gépek (FSM) tervezése F1. A 2. gyakorlaton foglalkoztunk a 3-mal vagy 5-tel osztható 4 bites számok felismerésével. Abban a feladatban a bemenet bitpárhuzamosan, azaz egy időben minden adatbit

Részletesebben

FORD TRANSIT VAN Transit_Van_13.25_V3_3mm_Covers.indd 1-3 09/08/2012 10:33

FORD TRANSIT VAN Transit_Van_13.25_V3_3mm_Covers.indd 1-3 09/08/2012 10:33 1 10 2 3 4 5 6 7 8 9 A B 10 11 12 13 14 15 16 17 18 19 [Nm] 370 350 330 310 290 270 250 230 210 190 170 150 130 110 90 140 PS 100 PS 125 PS [kw] [PS] 110 150 100 136 90 122 80 109 70 60 50 40 30 20 95

Részletesebben

Jelek és rendszerek 1. 10/9/2011 Dr. Buchman Attila Informatikai Rendszerek és Hálózatok Tanszék

Jelek és rendszerek 1. 10/9/2011 Dr. Buchman Attila Informatikai Rendszerek és Hálózatok Tanszék Jelek és rendszerek 1 10/9/2011 Dr. Buchman Attila Informatikai Rendszerek és Hálózatok Tanszék 1 Ajánlott irodalom: FODOR GYÖRGY : JELEK ÉS RENDSZEREK EGYETEMI TANKÖNYV Műegyetemi Kiadó, Budapest, 2006

Részletesebben

Jelgenerálás virtuális eszközökkel. LabVIEW 7.1

Jelgenerálás virtuális eszközökkel. LabVIEW 7.1 Jelgenerálás virtuális eszközökkel (mágneses hiszterézis mérése) LabVIEW 7.1 3. előadás Dr. Iványi Miklósné, egyetemi tanár LabVIEW-7.1 EA-3/1 Folytonos idejű jelek diszkrét idejű mérése A mintavételezési

Részletesebben

Prolan Zrt. fejlesztéseiben. Petri Dániel

Prolan Zrt. fejlesztéseiben. Petri Dániel Az szabvány alkalmazása a Prolan Zrt. fejlesztéseiben Petri Dániel dpetri@prolan.hu PROLAN Irányítástechnikai Zrt. Áttekintés 61850 szabvánnyal kapcsolatos fejlesztéseink ProField IED mezőgép Új alállomási

Részletesebben

ö Ő É ú Ú Í ü ÉÁ Í Í Í ú Ü ü ö ű ü Í Ü ű ü ű ö ű ü ö ű Í ö Í Í ű ú Í Í ű Ú ű ü ü Í ö Á ü ú Í Í Á ö Á ö Á Á ö Ü ö ű ö Ü Ú Í ü ű Ü ú ü ű ö Í Í ú ű ö Ú Á Á É Í ü ú ú É ü Íö ö ö ö ö ú ö ö ü Í ö ö ö ö Á ö ö

Részletesebben

Megoldás. Feladat 1. Statikus teszt Specifikáció felülvizsgálat

Megoldás. Feladat 1. Statikus teszt Specifikáció felülvizsgálat Megoldás Feladat 1. Statikus teszt Specifikáció felülvizsgálat A feladatban szereplő specifikáció eredeti, angol nyelvű változata egy létező eszköz leírása. Nem állítjuk, hogy az eredeti dokumentum jól

Részletesebben

Márkus Zsolt Tulajdonságok, jelleggörbék, stb BMF -

Márkus Zsolt Tulajdonságok, jelleggörbék, stb BMF - Márkus Zsolt markus.zsolt@qos.hu Tulajdonságok, jelleggörbék, stb. 1 A hatáslánc részegységekből épül fel, melyek megvalósítják a jelátvitelt. A jelátviteli sajátosságok jellemzésére (leírására) létrehozott

Részletesebben

Helyszíni beállítások táblázata

Helyszíni beállítások táblázata /7 [6.8.] =... ID43/46 Alkalmazható beltéri egységek *GSQHS8AA9W ThermaliaC* Megjegyzések - 4P3938-D -. /7 Felhasználói beállítások Előre beállított értékek Szobahőmérséklet Kényelmi (fűtés) 7.4.. R/W

Részletesebben

Dr. Oniga István DIGITÁLIS TECHNIKA 9

Dr. Oniga István DIGITÁLIS TECHNIKA 9 r. Oniga István IGITÁLIS TEHNIKA 9 Regiszterek A regiszterek több bites tárolók hálózata S-R, J-K,, vagy kapuzott tárolókból készülnek Fontosabb alkalmazások: adatok tárolása és adatmozgatás Funkcióik:

Részletesebben

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 9. el?

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 9. el? Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 9. el?adás Szederkényi Gábor Pázmány Péter Katolikus Egyetem Információs

Részletesebben

Számítógéppel irányított rendszerek elmélete. A rendszer- és irányításelmélet legfontosabb részterületei. Hangos Katalin. Budapest

Számítógéppel irányított rendszerek elmélete. A rendszer- és irányításelmélet legfontosabb részterületei. Hangos Katalin. Budapest CCS-10 p. 1/1 Számítógéppel irányított rendszerek elmélete A rendszer- és irányításelmélet legfontosabb részterületei Hangos Katalin Villamosmérnöki és Információs Rendszerek Tanszék Folyamatirányítási

Részletesebben

Időzített átmeneti rendszerek

Időzített átmeneti rendszerek Időzített átmeneti rendszerek Legyen A egy ábécé, A = A { (d) d R 0 }. A feletti (valós idejű) időzített átmeneti rendszer olyan A = (S, T,,, ) címkézett átmeneti rendszert ( : T A ), melyre teljesülnek

Részletesebben

Helyszíni beállítások táblázata

Helyszíni beállítások táblázata /8 [6.8.2] =... ID432/462 Alkalmazható beltéri egységek *HYHBHAAV3 *HYHBH8AAV3 *HYHBX8AAV3 Megjegyzések - 4P3373-D - 2.2 2/8 Felhasználói beállítások Előre beállított értékek Szobahőmérséklet Kényelmi

Részletesebben

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

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám. 1 Az utazó ügynök problémája Utazó ügynök feladat Adott n számú város és a városokat összekötő utak, amelyeknek ismert a hossza. Adott továbbá egy ügynök, akinek adott városból kiindulva, minden várost

Részletesebben

2. Visszalépéses stratégia

2. Visszalépéses stratégia 2. Visszalépéses stratégia A visszalépéses keres rendszer olyan KR, amely globális munkaterülete: út a startcsúcsból az aktuális csúcsba (ezen kívül a még ki nem próbált élek nyilvántartása) keresés szabályai:

Részletesebben

Leuze lumiflex. Moduláris biztonsági interfész MSI-mi/R MSI-mi/T típusok. Csatlakozási és használati utasítás. Leuze lumiflex MSI-mi 1

Leuze lumiflex. Moduláris biztonsági interfész MSI-mi/R MSI-mi/T típusok. Csatlakozási és használati utasítás. Leuze lumiflex MSI-mi 1 Leuze lumiflex Moduláris biztonsági interfész MSI-mi/R MSI-mi/T típusok Csatlakozási és használati utasítás 603706-02/00 Változtatások joga fenntartva Leuze lumiflex MSI-mi 1 A csatlakozási és használati

Részletesebben

Hangfrekvenciás mechanikai rezgések vizsgálata

Hangfrekvenciás mechanikai rezgések vizsgálata Hangfrekvenciás mechanikai rezgések vizsgálata (Mérési jegyzőkönyv) Hagymási Imre 2007. május 7. (hétfő délelőtti csoport) 1. Bevezetés Ebben a mérésben a szilárdtestek rugalmas tulajdonságait vizsgáljuk

Részletesebben

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: A Formális nyelvek vizsga teljesítése a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: 1. Öt kis kérdés megválaszolása egyenként 6 pontért, melyet minimum 12

Részletesebben

Programozási módszertan. Dinamikus programozás: szerelőszalag ütemezése Mátrixok véges sorozatainak szorzása

Programozási módszertan. Dinamikus programozás: szerelőszalag ütemezése Mátrixok véges sorozatainak szorzása PM-06 p. 1/28 Programozási módszertan Dinamikus programozás: szerelőszalag ütemezése Mátrixok véges sorozatainak szorzása Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu

Részletesebben

Mérés és adatgyűjtés

Mérés és adatgyűjtés Mérés és adatgyűjtés 4. óra - levelező Mingesz Róbert Szegedi Tudományegyetem 2011. március 18. MA lev - 4. óra Verzió: 1.3 Utolsó frissítés: 2011. május 15. 1/51 Tartalom I 1 A/D konverterek alkalmazása

Részletesebben

Mérés és modellezés Méréstechnika VM, GM, MM 1

Mérés és modellezés Méréstechnika VM, GM, MM 1 Mérés és modellezés 2008.02.04. 1 Mérés és modellezés A mérnöki tevékenység alapeleme a mérés. A mérés célja valamely jelenség megismerése, vizsgálata. A mérés tervszerűen végzett tevékenység: azaz rögzíteni

Részletesebben

A szemantikus elemzés helye. A szemantikus elemzés feladatai. A szemantikus elemzés feladatai. Deklarációk és láthatósági szabályok

A szemantikus elemzés helye. A szemantikus elemzés feladatai. A szemantikus elemzés feladatai. Deklarációk és láthatósági szabályok A szemantikus elemzés helye Forrásprogram Forrás-kezelő (source handler) Lexikális elemző (scanner) A szemantikus elemzés feladatai Fordítóprogramok előadás (A, C, T szakirány) Szintaktikus elemző (parser)

Részletesebben

7.hét: A sorrendi hálózatok elemei II.

7.hét: A sorrendi hálózatok elemei II. 7.hét: A sorrendi hálózatok elemei II. Tárolók Bevezetés Bevezetés Regiszterek Számlálók Memóriák Regiszter DEFINÍCIÓ Tárolóegységek összekapcsolásával, egyszerű bemeneti kombinációs hálózattal kiegészítve

Részletesebben

Programozási módszertan. Dinamikus programozás: A leghosszabb közös részsorozat

Programozási módszertan. Dinamikus programozás: A leghosszabb közös részsorozat PM-07 p. 1/13 Programozási módszertan Dinamikus programozás: A leghosszabb közös részsorozat Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu PM-07

Részletesebben

Zárójelentés 2003-2005

Zárójelentés 2003-2005 Zárójelentés 2003-2005 A kutatási programban nemlineáris rendszerek ún. lineáris, paraméter-változós (LPV) modellezésével és rendszer elméleti tulajdonságainak kidolgozásával foglalkoztunk. Az LPV modellosztály

Részletesebben

ő ő ű í ú ő ü ő ü í ü ü ü ü ő ü ú ü ú Á Á í ü ú í ü Ö ő í ő í É í ő ő ű í ú í É Á Á ű í ő ő ő ő í í Á í í ü í í ő Ö Ö Ö Á í Á ő ő É ú ú ú í ő Á Ö ő í ő ő ű í ú É Í Á Á ű í ő ő ő í ő ő ő í ő í É É í í ü

Részletesebben

Számítógéppel segített folyamatmodellezés p. 1/20

Számítógéppel segített folyamatmodellezés p. 1/20 Számítógéppel segített folyamatmodellezés Piglerné Lakner Rozália Számítástudomány Alkalmazása Tanszék Pannon Egyetem Számítógéppel segített folyamatmodellezés p. 1/20 Tartalom Modellező rendszerektől

Részletesebben

tétel: különböző típusú adatokat csoportosít, ezeket egyetlen adatként kezeli, de hozzáférhetünk az elemeihez is

tétel: különböző típusú adatokat csoportosít, ezeket egyetlen adatként kezeli, de hozzáférhetünk az elemeihez is A tétel (record) tétel: különböző típusú adatokat csoportosít, ezeket egyetlen adatként kezeli, de hozzáférhetünk az elemeihez is A tétel elemei mezők. Például tétel: személy elemei: név, lakcím, születési

Részletesebben

Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat

Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat Név:...................................... Neptunkód:................... Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat 2015. április 22. (szerda) Kitöltési útmutató A dolgozat kitöltéséhez

Részletesebben

Újfajta, automatikus, döntési fa alapú adatbányászati módszer idősorok osztályozására

Újfajta, automatikus, döntési fa alapú adatbányászati módszer idősorok osztályozására VÉGZŐS KONFERENCIA 2009 2009. május 20, Budapest Újfajta, automatikus, döntési fa alapú adatbányászati módszer idősorok osztályozására Hidasi Balázs hidasi@tmit.bme.hu Konzulens: Gáspár-Papanek Csaba Budapesti

Részletesebben

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 8.

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 8. Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 8. előadás Szederkényi Gábor Pázmány Péter Katolikus Egyetem Információs

Részletesebben

Mozgáselemzés MEMS alapúgyorsulás mérőadatai alapján

Mozgáselemzés MEMS alapúgyorsulás mérőadatai alapján Mozgáselemzés MEMS alapúgyorsulás mérőadatai alapján Nyers Szabina Konzulens: Tihanyi Attila Pázmány Péter Katolikus Egyetem Információs Technológia Kar Feladatok: Végezzen irodalom kutatást, mely tartalmazza

Részletesebben

2. gyakorlat Állapot alapú modellezés Megoldások

2. gyakorlat Állapot alapú modellezés Megoldások 2. gyakorlat Állapot alapú modellezés ok 1. Közlekedési lámpa Közlekedési lámpát vezérlő elektronikát tervezünk. a) Készítsük el egy egyszerű piros sárga zöld közlekedési lámpa olyan állapotterét, amely

Részletesebben

Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Irányítástechnika és Informatika Tanszék. Önálló laboratórium

Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Irányítástechnika és Informatika Tanszék. Önálló laboratórium Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Irányítástechnika és Informatika Tanszék Önálló laboratórium (BMEVIIIA355) Téma: Eaton-Moeller PLC-k alkalmazástechnikája

Részletesebben

4. Példa: Másodfokú egyenlet megoldása (program2_1.vi)

4. Példa: Másodfokú egyenlet megoldása (program2_1.vi) 4. Példa: Másodfokú egyenlet megoldása (program2_1.vi) Mielőtt nekilátnánk a programozásnak, idézzük fel a másodfokú egyenlet általános alakját, és ez alapján gondoljuk végig, hogy milyen elemekre lesz

Részletesebben

Verifikáció és validáció Általános bevezető

Verifikáció és validáció Általános bevezető Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának

Részletesebben

Feldspar: Nyelv digitális jelfeldolgozáshoz

Feldspar: Nyelv digitális jelfeldolgozáshoz Feldspar: Nyelv digitális jelfeldolgozáshoz Eötvös Loránd Tudományegyetem, Budapest Támogatja: Ericsson, KMOP-1.1.2-08 Feldspar funkcionális beágyazott nyelv Feldspar digitális jelfeldolgozáshoz párhuzamossághoz

Részletesebben

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

9. előadás. Programozás-elmélet. Programozási tételek Elemi prog. Sorozatszámítás Eldöntés Kiválasztás Lin. keresés Megszámolás Maximum. Programozási tételek Programozási feladatok megoldásakor a top-down (strukturált) programtervezés esetén három vezérlési szerkezetet használunk: - szekvencia - elágazás - ciklus Eddig megismertük az alábbi

Részletesebben

Tartalom. 1. Állapotegyenletek megoldása 2. Állapot visszacsatolás (pólusallokáció)

Tartalom. 1. Állapotegyenletek megoldása 2. Állapot visszacsatolás (pólusallokáció) Tartalom 1. Állapotegyenletek megoldása 2. Állapot visszacsatolás (pólusallokáció) 2015 1 Állapotgyenletek megoldása Tekintsük az ẋ(t) = ax(t), x(0) = 1 differenciálegyenletet. Ismert, hogy a megoldás

Részletesebben

PREDIKCIÓN ALAPULÓ DIAGNOSZTIKA

PREDIKCIÓN ALAPULÓ DIAGNOSZTIKA PREDIKCIÓN ALAPULÓ DIAGNOSZTIKA MESTERSÉGES INTELLIGENCIA MÓDSZEREK FELHASZNÁLÁSÁVAL doktori (PhD) értekezés tézisei Készítette: NÉMETH ERZSÉBET a Pannon Egyetem Informatikai Tudományok Doktori Iskolája

Részletesebben

Irányításelmélet és technika II.

Irányításelmélet és technika II. Irányításelmélet és technika II. Modell-prediktív szabályozás Magyar Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék amagyar@almos.vein.hu 2010 november

Részletesebben

Járműkövető rendszer RÉSZLETES ISMERTETŐ

Járműkövető rendszer RÉSZLETES ISMERTETŐ efollow Járműkövető rendszer RÉSZLETES ISMERTETŐ Tartalomjegyzék 1.1. BEVEZETÉS...3 1.2. JÁRMŰKÖVETŐ RENDSZER FELADATA...3 2.1. MIT TUD AZ EFOLLOW?...3 2.2. MILYEN JÁRMŰADATOKAT MÉR JELENLEG A RENDSZER?...3

Részletesebben

Elérhetőségi analízis Petri hálók dinamikus tulajdonságai

Elérhetőségi analízis Petri hálók dinamikus tulajdonságai Elérhetőségi analízis Petri hálók dinamikus tulajdonságai dr. Bartha Tamás Dr. Pataricza András BME Méréstechnika és Információs Rendszerek Tanszék Petri hálók vizsgálata Az elemzés mélysége szerint: Vizsgálati

Részletesebben

MetaSat Programozó Használati útmutató

MetaSat Programozó Használati útmutató MetaSat Programozó Használati útmutató Gördítés felfelé Többfunkciós gombok Gördítés lefelé Belépés a menübe, funkciók nyugtázása, adattárolás 1 1. fejezet A BERENDEZÉS ELŐZETES ELLENŐRZÉSE A telepítés

Részletesebben