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

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

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

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

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á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

Mozgásmodellezés. Lukovszki Csaba. Navigációs és helyalapú szolgáltatások és alkalmazások (VITMMA07)

Mozgá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észletesebben

Diszkrét állapotú rendszerek modellezése. Petri-hálók

Diszkré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é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

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

Folyamatrendszerek esemény alapú diagnosztikája

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

Alapszintű formalizmusok

Alapszintű 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észletesebben

Diszkrét állapotú rendszerek modellezése. Petri-hálók

Diszkré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é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

NGB_IN040_1 SZIMULÁCIÓS TECHNIKÁK dr. Pozna Claudio Radu, Horváth Ernő

NGB_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é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

Szoftverminőségbiztosítás

Szoftverminő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é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

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

Modellek ellenőrzése és tesztelése

Modellek 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é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

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

Formális módszerek GM_IN003_1 Program verifikálás, formalizmusok

Formá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é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

Differenciaegyenletek

Differenciaegyenletek 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é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

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

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

2. Visszalépéses keresés

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

Rendszermodellezés: házi feladat bemutatás

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

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

Biztonságkritikus rendszerek Gyakorlat: Architektúrák

Biztonsá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é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

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

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

Logikai hálózatok. Dr. Bede Zsuzsanna St. I. em. 104.

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

Digitális Technika 2. Logikai Kapuk és Boolean Algebra

Digitá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é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

Digitális technika (VIMIAA02) Laboratórium 4

Digitá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é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

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

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

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

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

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

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 3. MÉRÉSFELDOLGOZÁS

É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é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

Digitális technika (VIMIAA02) Laboratórium 4

Digitá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észletesebben

Első 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 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é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

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

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

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

Dr. Oniga István DIGITÁLIS TECHNIKA 8

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

5. Hét Sorrendi hálózatok

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

DIGITÁLIS TECHNIKA 7. Előadó: Dr. Oniga István

DIGITÁ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é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

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

Segédlet a gyakorlati tananyaghoz GEVAU141B, GEVAU188B c. tantárgyakból

Segé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é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

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

Já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 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é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

Modellellenő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ő 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é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

Színezett Petri hálók

Szí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é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

Tartalom. Á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 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é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

Megoldá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 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é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

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

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

Újrakonfigurálható eszközök

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

Szoftver-modellellenőrzés absztrakciós módszerekkel

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

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)

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

Irá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 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é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

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

BASH script programozás II. Vezérlési szerkezetek

BASH 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é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

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

Számításelmélet. Második előadás

Szá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é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

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

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