Diagnosztika Petri háló modellek felhasználásával
|
|
- Edit Székely
- 7 évvel ezelőtt
- Látták:
Á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
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észletesebbenDinamikus 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észletesebbenGyá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észletesebbenDinamikus 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észletesebbenFizikai 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észletesebbenDiszkré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észletesebbenGyá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észletesebbenLTI 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észletesebbenIntegrá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észletesebbenIrá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észletesebbenMozgásmodellezés. Lukovszki Csaba. Navigációs és helyalapú szolgáltatások és alkalmazások (VITMMA07)
TÁVKÖZLÉSI ÉS MÉDIAINFORMATIKAI TANSZÉK () BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM (BME) Mozgásmodellezés Lukovszki Csaba Áttekintés» Probléma felvázolása» Szabadsági fokok» Diszkretizált» Hibát
RészletesebbenDiszkrét állapotú rendszerek modellezése. Petri-hálók
Diszkrét állapotú rendszerek modellezése Petri-hálók Diszkrét eseményű rendszerek Discret Event (Dynamic) Systems DES, DEDS állapotterük diszkrét halmaz állapotváltozásuk kizárólag az időben aszinkron
RészletesebbenSzabá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észletesebbenSzá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észletesebbenIrá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észletesebbenModellezé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észletesebbenFolyamatrendszerek esemény alapú diagnosztikája
Tézisfüzet Folyamatrendszerek esemény alapú diagnosztikája készítette: Tóth Attila konzulens: Hangos M. Katalin DSc Pannon Egyetem M szaki Informatikai Kar Informatikai Tudományok Doktori Iskola 2016 1.
RészletesebbenAlapszintű formalizmusok
Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények
RészletesebbenDiszkrét állapotú rendszerek modellezése. Petri-hálók
Diszkrét állapotú rendszerek modellezése Petri-hálók Diszkrét eseményű rendszerek Discret Event (Dynamic) Systems DES, DEDS állapotterük diszkrét halmaz állapotváltozásuk kizárólag az időben aszinkron
RészletesebbenAz 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észletesebbenIrá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észletesebbenNGB_IN040_1 SZIMULÁCIÓS TECHNIKÁK dr. Pozna Claudio Radu, Horváth Ernő
SZÉCHENYI ISTVÁN EGYETEM Műszaki Tudományi Kar Informatika Tanszék BSC FOKOZATÚ MÉRNÖK INFORMATIKUS SZAK NGB_IN040_1 SZIMULÁCIÓS TECHNIKÁK dr. Pozna Claudio Radu, Horváth Ernő Fejlesztői dokumentáció GROUP#6
RészletesebbenAz 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észletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2017-18/2 (9) Szoftverminőségbiztosítás Specifikáció alapú (black-box) technikák A szoftver mint leképezés Szoftverhiba Hibát okozó bement Hibás kimenet Input Szoftver Output Funkcionális
Részletesebben6. 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észletesebbenKibernetika 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észletesebbenModellek ellenőrzése és tesztelése
Modellek ellenőrzése és tesztelése Rendszermodellezés imsc gyakorlat Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika
RészletesebbenIrá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észletesebben12-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észletesebbenSztochasztikus 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.
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észletesebbenFormális módszerek GM_IN003_1 Program verifikálás, formalizmusok
Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok Program verifikálás Konkurens programozási megoldások terjedése -> verifikálás szükséges, (nehéz) logika Legszélesebb körben alkalmazott
RészletesebbenA 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észletesebbenHaszongé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észletesebbenDifferenciaegyenletek
Differenciaegyenletek Losonczi László Debreceni Egyetem, Közgazdaság- és Gazdaságtudományi Kar Debrecen, 2009/10 tanév, I. félév Losonczi László (DE) Differenciaegyenletek 2009/10 tanév, I. félév 1 / 11
RészletesebbenA 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észletesebbenDr. 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észletesebbenOTKA nyilvántartási szám: T047198 ZÁRÓJELENTÉS
MESTERSÉGES INTELLIGENCIA MÓDSZEREK ALKALMAZÁSA A FOLYAMATMODELLEZÉSBEN című OTKA pályázatról 2004. jan. 01 2007. dec. 31. (Vezető kutató: Piglerné dr. Lakner Rozália) A mesterséges intelligencia eszközök
Részletesebben2. Visszalépéses keresés
2. Visszalépéses keresés Visszalépéses keresés A visszalépéses keresés egy olyan KR, amely globális munkaterülete: egy út a startcsúcsból az aktuális csúcsba (az útról leágazó még ki nem próbált élekkel
RészletesebbenMINTA Í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észletesebbenRendszermodellezés: házi feladat bemutatás
Rendszermodellezés: házi feladat bemutatás Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology and Economics Department of Measurement
RészletesebbenHardver és szoftver rendszerek verifikációja Röviden megválaszolható kérdések
Hardver és szoftver rendszerek verifikációja Röviden megválaszolható kérdések 1. Az informatikai rendszereknél mit ellenőriznek validációnál és mit verifikációnál? 2. A szoftver verifikációs technikák
RészletesebbenBiztonságkritikus rendszerek Gyakorlat: Architektúrák
Biztonságkritikus rendszerek Gyakorlat: Architektúrák Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT
RészletesebbenGyá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észletesebbenMi 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észletesebbenDropsA 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észletesebbenLogikai hálózatok. Dr. Bede Zsuzsanna St. I. em. 104.
Logikai hálózatok Dr. Bede Zsuzsanna bede.zsuzsanna@mail.bme.hu St. I. em. 04. Tanszéki honlap: www.kjit.bme.hu/hallgatoknak/bsc-targyak-3/logikai-halozatok Gyakorlatok: hétfő + 08:5-0:00 J 208 HF: 4.
RészletesebbenDigitális Technika 2. Logikai Kapuk és Boolean Algebra
Digitális Technika 2. Logikai Kapuk és oolean lgebra Sütő József Egyetemi Tanársegéd Referenciák: [1] D.M. Harris, S.L. Harris, Digital Design and Computer rchitecture, 2nd ed., Elsevier, 213. [2] T.L.
RészletesebbenIpari 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észletesebbenDigitális technika (VIMIAA02) Laboratórium 4
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 (VIMIAA02) Laboratórium 4 Fehér Béla Raikovich Tamás,
RészletesebbenSzá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észletesebbenSzí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észletesebbenHí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észletesebbenModell 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észletesebbenElé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észletesebbenKiterjeszté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ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 3. MÉRÉSFELDOLGOZÁS
ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 3. MÉRÉSFELDOLGOZÁS Dr. Soumelidis Alexandros 2018.10.04. BME KÖZLEKEDÉSMÉRNÖKI ÉS JÁRMŰMÉRNÖKI KAR 32708-2/2017/INTFIN SZÁMÚ EMMI ÁLTAL TÁMOGATOTT TANANYAG Mérés-feldolgozás
RészletesebbenDinamikus 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észletesebbenDigitális technika (VIMIAA02) Laboratórium 4
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 (VIMIAA02) Laboratórium 4 Fehér Béla Raikovich Tamás,
RészletesebbenElső lépések. File/New. A mentés helyét érdemes módosítani! Pl. Dokumentumok. Fájlnév: pl. Proba
Első lépések File/New A mentés helyét érdemes módosítani! Pl. Dokumentumok Fájlnév: pl. Proba (megj. ékezetes karaktereket nem használhatunk a fájlnévben) 1 Konvejor pálya elkészítése System/New Rendszer
RészletesebbenGyá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észletesebben2. 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észletesebbenDigitá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észletesebbenRendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Rendszermodellezés Modellellenőrzés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Ismétlés: Mire használunk modelleket? Kommunikáció, dokumentáció Gondolkodás,
RészletesebbenDr. Oniga István DIGITÁLIS TECHNIKA 8
Dr. Oniga István DIGITÁLIS TECHNIA 8 Szekvenciális (sorrendi) hálózatok Szekvenciális hálózatok fogalma Tárolók RS tárolók tárolók T és D típusú tárolók Számlálók Szinkron számlálók Aszinkron számlálók
Részletesebben5. Hét Sorrendi hálózatok
5. Hét Sorrendi hálózatok Digitális technika 2015/2016 Bevezető példák Példa 1: Italautomata Legyen az általunk vizsgált rendszer egy italautomata, amelyről az alábbi dolgokat tudjuk: 150 Ft egy üdítő
RészletesebbenBiztonsá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észletesebbenDIGITÁLIS TECHNIKA 7. Előadó: Dr. Oniga István
IGITÁLIS TECHNIKA 7 Előadó: r. Oniga István Szekvenciális (sorrendi) hálózatok Szekvenciális hálózatok fogalma Tárolók S tárolók JK tárolók T és típusú tárolók Számlálók Szinkron számlálók Aszinkron számlálók
RészletesebbenÁ Á É ú Í Í í í ű ú í ú ú íí í ű Í Í Í í ü í í í í í Á í ü ü í í ü í í í ű í ú í ű í ű ú Í í ú ű ű í í í ű í í í í í Í ü ü í í í Á Á Á Á Á ú í í í ü ü í í í í í í í í ú Í Í í í ü í ü í í í ú í Á í ú í
RészletesebbenKezelé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észletesebbenAutomatikus 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észletesebbenSegédlet a gyakorlati tananyaghoz GEVAU141B, GEVAU188B c. tantárgyakból
Segédlet a gyakorlati tananyaghoz GEVAU141B, GEVAU188B c. tantárgyakból 1 Átviteli tényező számítása: Lineáris rendszer: Pl1.: Egy villanymotor 100V-os bemenő jelre 1000 fordulat/perc kimenő jelet ad.
RészletesebbenDINAMIKAI 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észletesebben1. Az automatizálás célja, és irányított berendezés, technológia blokkvázlata.
1. Az automatizálás célja, és irányított berendezés, technológia blokkvázlata. Az automatizálás célja gép, együttműködő gépcsoport, berendezés, eszköz, műszer, részegység minél kevesebb emberi beavatkozással
RészletesebbenJárműfedélzeti hálózatok. Fedélzeti diagnosztikai protokollok Dr. Aradi Szilárd
Járműfedélzeti hálózatok Fedélzeti diagnosztikai protokollok Dr. Aradi Szilárd A fedélzeti diagnosztika fogalma On-Board Diagnostics (OBD I-II, EOBD) Motiváció Általánosságban információt szolgáltat a
RészletesebbenAutó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észletesebbenModellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány
RészletesebbenFORD 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észletesebbenSzínezett Petri hálók
Színezett Petri hálók dr. Bartha Tamás dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Étkező filozófusok Petri-háló modellje Motiváció 2 Motiváció Miért nem így? 3 Motiváció Tokenek
RészletesebbenOPERÁ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észletesebbenTartalom. Állapottér reprezentációk tulajdonságai stabilitás irányíthatóság megfigyelhetőség minimalitás
Tartalom Állapottér reprezentációk tulajdonságai stabilitás irányíthatóság megfigyelhetőség minimalitás 2018 1 Állapottér reprezentációk tulajdonságai Általánosan egy lineáris, SISO dinamikus rendszer
RészletesebbenJelgenerá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észletesebbenMegoldás Digitális technika I. (vimia102) 4. gyakorlat: Sorrendi hálózatok alapjai, állapot gráf, állapottábla
Megoldás Digitális technika I. (vimia102) 4. gyakorlat: Sorrendi hálózatok alapjai, állapot gráf, állapottábla Elméleti anyag: Amikor a hazárd jó: élekből impulzus előállítás Sorrendi hálózatok alapjai,
RészletesebbenProlan 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észletesebbenVEGYIPARI 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észletesebbenMegoldá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Újrakonfigurálható eszközök
Újrakonfigurálható eszközök 5. A Verilog sűrűjében: véges állapotgépek Hobbielektronika csoport 2017/2018 1 Debreceni Megtestesülés Plébánia Felhasznált irodalom és segédanyagok Icarus Verilog Simulator:
RészletesebbenSzoftver-modellellenőrzés absztrakciós módszerekkel
Szoftver-modellellenőrzés absztrakciós módszerekkel Hajdu Ákos Formális módszerek 2017.03.22. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 1 BEVEZETŐ 2
Részletesebbenö Ő É ú Ú Í ü ÉÁ Í Í Í ú Ü ü ö ű ü Í Ü ű ü ű ö ű ü ö ű Í ö Í Í ű ú Í Í ű Ú ű ü ü Í ö Á ü ú Í Í Á ö Á ö Á Á ö Ü ö ű ö Ü Ú Í ü ű Ü ú ü ű ö Í Í ú ű ö Ú Á Á É Í ü ú ú É ü Íö ö ö ö ö ú ö ö ü Í ö ö ö ö Á ö ö
RészletesebbenMegoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május)
Megoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május) Teszt kérdések 1. Melyik állítás igaz a folytonos integrációval (CI) kapcsolatban? a. Folytonos
RészletesebbenIrányítástechnika GÁSPÁR PÉTER. Prof. BOKOR JÓZSEF útmutatásai alapján
Irányítástechnika GÁSPÁR PÉTER Prof. BOKOR JÓZSEF útmutatásai alapján Irányítástechnika rendszerek Irányítástechnika Budapest, 2008 2 Az előadás felépítése 1. 2. 3. 4. Irányítástechnika Budapest, 2008
RészletesebbenDr. 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észletesebbenHelyszí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észletesebbenBASH script programozás II. Vezérlési szerkezetek
06 BASH script programozás II. Vezérlési szerkezetek Emlékeztető Jelölésbeli különbség van parancs végrehajtása és a parancs kimenetére való hivatkozás között PARANCS $(PARANCS) Jelölésbeli különbség van
RészletesebbenSzá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észletesebbenMÉ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észletesebbenSzámításelmélet. Második előadás
Számításelmélet Második előadás Többszalagos Turing-gép Turing-gép k (konstans) számú szalaggal A szalagok mindegyike rendelkezik egy független író / olvasó fejjel A bemenet az első szalagra kerül, a többi
RészletesebbenSzá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észletesebbenHelyszí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észletesebbenHibadetektá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