|
|
- Brigitta Nagy
- 5 évvel ezelőtt
- Látták:
Átírás
1
2
3
4
5
6
7
8
9
10
11
12 Model transformation System Design Model System V&V Model Applying design rules Refinement Architecture Design Model Back-annotation Use Architecture V&V Model Applying formal methods Applying design rules Refinement Component Design Model Use Component V&V Model Applying formal methods Applying design rules Code generation Test generation Applying formal methods Source Code and Configuration Test Cases
13
14 EAttribute name : EString [1..1] eattributetype EDataType name : EString [0..*] eattributes EClass name : EString [0..*] ereferences EReference name : EString containment : EBoolean = false [0..*] esupertypes [0..1] eopposite
15 Instance head symbol msc sample diagram Diagram name Instance name Instance axis Instance 1 Instance 2 msg1(x) Parametrized message Message Action Condition msg3 msg4 Coregion Instance end symbol
16 0 1 m1 A B x < 2 B m2 C B m3 A A y >= 4
17 Process Cold message Hot condition A B C Location Hot message m1 x < 2 m2 Prechart Simregion y >= 4 m3 Mainchart Cold condition Lifeline L I i I pos(i) = {0, 1,... pmax i } L L = { i, p i I p pos(i)} Σ m = ( i, p, σ, i, p ) L Σ L p i σ i p s (m M) (c C) s (M C) e (M C) : e s m, n M : (m s n s) m = n s, s : e (M C) : (e s e s ) s = s S 2 (M C)
18 l 1 l 2 l 1 l 2 s S, l, l L : (λ(l) = s) (λ(l ) = s) (l l ) (l l) λ L L c L, l, l L : (l c l l) l c ( i 1, 0, i 2, 0,..., i n, 0 ) i I I = n ( i 1, l 1, i 2, l 2,..., i j, l j + 1,..., i n, l n ) l 1 i 1 i j ( i 1, l 1, i 2, l 2,..., i k, l k + 1,..., i n, l n ) l 1 i 1 i k 2 3 m M : (i, m) i I m {( A, 0, B, 0, C, 0 ), ( A, 1, B, 0, C, 0 ), ( A, 1, B, 1, C, 0 )} {( A, 0, B, 0, C, 0 ), ( A, 1, B, 0, C, 0 ), ( A, 1, B, 1, C, 0 ), ( A, 1, B, 2, C, 0 ), ( A, 1, B, 2, C, 1 ), ( A, 1, B, 3, C, 1 ), ( A, 2, B, 3, C, 1 )}
19 A B C 0 1 m Location sequence number 2 m3 2 3 m2 1 (A, m1), (B, m2), (B, m3)
20 Synchronous message Asynchronous call Name of Interaction sd sample 1 a: A b: B c: C Lifeline Execution Specification m1 m2() Message Occurence- Specification General Ordering m3 m4 MessageEnd Lost message Found message
21 sd sample 2 Interaction- OperatorKind a: A b: B c: C Combined- Fragment Interaction- Operand alt [a.m < 10] [else] m1 m2 m3 ref usecsd {c.s > 3} InteractionUse StateInvariant Interaction- Constraint stopstate Gate
22 <<stereotype>> modal interactionmode : InteractionMode <<enumeration> InteractionMode hot cold <<modal>> InteractionFragment interactionmode : InteractionMode = cold
23 usd assertsample 1 a: A b: B c: C m1 m2 usd assertsample 2 a: A b: B c: C m1 m2 m3 assert m3 m4 m4 m5 m5 usd negatesample 1 a: A b: B m6 m7 usd negatesample 2 a: A b: B negate m6 m7 FALSE
24 usd considersample usd loopandalt a: A b: B m13 a: A b: B m8 alt m9 c: C consider m14 m15 m10 m16 loop 5 m11 m17 m12 b.x < 10 b.y!= 10 m16 b a m17 a b b.y = 10 m14 m15
25
26 InterfaceRealization realizationmode : RealizationMode = PROVIDED interface : Interface StatechartSpecification [0..*] imports NamedElement name : EString RealizationMode PROVIDED REQUIRED [1..1] interfacerealization [0..*] componentdeclarations Port [0..*] ports ComponentDeclaration [1..1] type [1..1] component ComponentDefinition StatechartDefinition [0..*] portbindings CompositeDefinition [0..*] components variabledeclarations [1..1] compositesystemport [0..*] channels PortBinding Channel ComponentInstance [1..1] instanceportreference BroadcastChannel SimpleChannel [1..*] requiredports [1..1] requiredport [1..1] providedport [1..1] port InstancePortReference [1..1] instance NamedElement name : EString EventDirection IN OUT INOUT Interface [0..*] events Event [1..1] event EventDeclaration direction : EventDirection = IN
27 RequiredCCW section1: SectionDeclaration section2: SectionDeclaration
28 Q, Σ, δ, q 0, F Q Σ ϵ Σ δ : Q Σ Q q Q Σ ϵ q 0 Q F Q Q, Σ, δ d, q 0, F Q Σ δ d Q Σ Q s i Q, e j Σ : s i, e j, s i+1 = 1 i [0, n 1] j [0, m 1] n = Q m = Σ ϵ q 0 Q F Q A 1 A 2 A 1 = Q 1, Σ, δ 1, q a1, F 1 A 2 = Q 2, Σ, δ 2, q a2, F 2 Q, Σ, δ, q 0, F Q = Q 1 Q 2 Σ δ : Q Σ Q p, q, e i, p, q δ p, e i, p δ 1 q, e i, q δ 2 p, q, p, q Q p, p Q 1 q, q Q 2 e i Σ q 0 Q q a1 q a2 F = F 1 F 2 A 1 A 2 L(A 1 A 2 ) = L(A 1 ) L(A 2 )
29 s 0, s 1,..., s n i : s i Q e 1, e 2,..., e n j : e j Σ {ϵ} s i Q, e j Σ s i s i+1 e j s i, e j, s i+1 δ i [0, n 1] j [0, m 1] n = Q m = Σ {ϵ} ϵ Σ s 0 = q 0 s n F M L(M) N D N e 1, e 2,..., e n D N e 1, e 2,..., e n D D N D N ϵ N D ϵclosure(s 0 ) D N N N D N ϵclosure(s 0 ) T T a U = ϵclosure(move(t, a)) U U [T, a] = U Q d D [T, a] δ d T a D move(t, a) T a N i, j : s i, e j+1, s i+1 δ d s i Q e j Σ i [0, n 1] j [0, m 1] n = Q m = Σ
30 ϵclosure(t ) T ϵclosure(t ) T ϵclosure(t ) T t u t u ϵ u ϵclosure(t ) u ϵclosure(t ) u D δ d s q 0 D Q Σ O( Q 2 ) Q Σ x s i Q s j Q s i s j x i, j : 1 i, j n, i j n = Q s i s j D M D T Q Q T [p, q] = 0 (p F q / F ) (p / F q F ) T T [p, q] a Σ p = δ(p, a) q = δ(q, a) p, q Q T [p, q ] T [p, q] = i T T [p, q] M M δ m D δ δ e Σ
31 a s 4 b b ϵ s 1 a s 0 s a 2 b a s 3 a s 3 b b a s 0 a s 1 b s 2 a a b a b s b 0 s 1 b δ e Σ s i s i+1 i : s i Q 1 i n n = Q s i+1 s i e δ Σ A 1 A 2 A 1 A 2 a b a s 0 a s 1 b A 1 a s 0 a s 1 b s 2 a b s 0 a s 1 b A 2 b b A 3
32
33
34
35
36
37
38
39 Monitor precharts of all universal charts no Does any of them match the trace? Execute maincharts of those universal charts System abort yes Is there a hot violation in any mainchart? Continue executing the active maincharts Quit that chart no no yes Is there a cold violation in any mainchart? no Is any mainchart finished?
40
41 Messages, conditions, assigments in charts Object properties External events Formalize universal charts Formalize external events Create transition relation to monitor the progress of active universal charts Run where no universal chart is eventually active no Is always at least one of the universal charts active? yes No superstep exists
42 } }{{}}{{}
43
44
45
46
47
48
49 on a specific channel on multiple channels RequiredCCW section1: SectionDeclaration section2: SectionDeclaration on a specific port
50
51
52 LT L CT L
53 a!a?a?a a?a?b!c?a?b!c?a?b!c?a?b!c?a?b!c?a?b!c?a?a?b!c?d!c?a!b?a?b!c!d?a?a?b?b!d
54
55
56 Interaction ModalityType InteractionDirection [1..*] interactions COLD HOT SEND RECEIVE InteractionFragment InteractionDefinition direction : InteractionDirection = SEND [1..*] fragments Chart [1..1] fragment CombinedFragment Signal interf : Interface event : Event [1..1] interaction ModalInteraction modality : ModalityType = COLD NamedElement Prechart Mainchart UnorderedCombinedFragment ParallelCombinedFragment AlternativeCombinedFragment name : EString [1..1] prechart PortReference ScenarioDefinition [1..1] mainchart port : Port component : ComponentInstance [1..1] port [1..*] scenarios ScenarioDeclaration statechart : StatechartSpecification
57
58
59
60
61
62 ϵ ϵ mi mi mi mi mi mi mi s ϵ ϵ
63 ϵ
64 ϵ ϵ Σ Σ\{receive P rotocol.reserve} maincharts1 send P rotocol.cannotgo
65 S 1 S 2 mainchart_end ɛ initial Σ\{receive Protocol.reserve} receive Protocol.reserve prechart_s1 ɛ send Protocol.cannotGo send Protocol.canGo ɛ mainchart_s1 mainchart_s4 send Protocol.reserve send Protocol.cannotGo mainchart_s2 mainchart_s5 send Protocol.canGo send Protocol.reserve mainchart_s3 mainchart_s6 S 1 mainchart_end ɛ initial Σ\{receive Protocol.reserve} receive Protocol.reserve prechart_s1 ɛ send Protocol.cannotGo send Protocol.canGo ɛ ɛ mainchart_s1 mainchart_s4 send Protocol.reserve send Protocol.canGo send Protocol.cannotGo mainchart_s2 mainchart_s7 mainchart_s5 send Protocol.canGo send Protocol.reserve send Protocol.reserve mainchart_s3 mainchart_s8 mainchart_s6 S 2
66 BFS traversal synchronous product transformation determinization Scenario 2 Scenario 1 Scenario Definitions Nondeterministic Finite Automata Deterministic Finite Automata Scenario 1 Scenario 2... Scenario n NFA 1 NFA 2... NFA n DFA 1 DFA 2... DFA n back-annotation minimization Traces Synchronous Product Automata Minimal DFA Trace 1 vs 2 Trace 1 vs 3... Trace n vs n-1 MFA 1 X MFA 2 MFA 1 X MFA 3... MFA n X MFA n-1 MFA 1 MFA 2... MFA n
67 ϵ k k (k 1) 2 =, ErroneousStates ErroneousStates MFA 1 MFA 2 Create synchronous product automaton SFA = MFA 1 X MFA 2 Find states in SFA which were created from accepting states of MFA 1 Calculate the intersection of the previous two result sets Find states in SFA which were created from MAINCHART_HOTVIOLATION state of MFA 2 create Find the shortest path from the inital state of SFA to one of the states in the ERRONEOUSSTATES set set of ERRONEOUS STATES
68
69 NamedElement name : EString [0..*] states State [1..1] source [1..1] target [0..*] incomings [0..*] outgoings AcceptingState InitialState [0..*] acceptingstates AutomatonDefinition [0..1] initialstate [0..*] transitions Transition [0..1] trigger InteractionDefinition direction : InteractionDirection = SEND EpsilonTransition
70 language.ui ui.contribution language.ide model.util language automaton.util.tests transformation automaton.util util automaton.model.validation automaton.model ui model
71
72
73
74 RequiredCCW section1: SectionDeclaration section2: SectionDeclaration
75
76
77
78 Scenario A Scenario B Scenario C Scenario D Scenario A Scenario B Scenario C Scenario D
79
80
81
82 Median runtime (s) Median runtime (s) R² = Unfolded model w/o VIATRA 0.2 R² = Unfolded model w/o VIATRA 80 Simpler model w/o VIATRA 0.15 Simpler model w/o VIATRA Number of modal interactions Unfolded model w/ VIATRA Simpler model w/ VIATRA Qubic (Simpler model w/o VIATRA) Number of modal interactions altogether Unfolded model w/ VIATRA Simpler model w/ VIATRA Quadratic (Simpler model w/o VIATRA) µ
83
84
85
86
87
88
89
90
91
92
93
94 Direction Direction(d) d {send, receive} i Event Event(e, i) e i m s d k, e k : Direction(d k ) Event(e k, i) d k d e k e d e i s
95 d k, e k s ModalInteraction(m) Set(m) if ragment D state D state.name source target trigger D transition D
96 S D S initialstate D lateststate lateststate D P ort S Events Event signal mi lateststate D violationstate mi.modality mi
97 lateststate D violationstate mi lateststate D ucf lateststate D newstate pcf lateststate D newstate
98 lateststate D newstate newstates D in state ϵ ϵ
99 intermediatestates D
Modellalkotás UML-ben
Modellalkotás UML-ben Modellalkotás UML-ben A Unified Modeling Language (UML) egy grafikus modellező nyelv, amely lehetőséget nyújt egy megoldandó probléma specifikációjának leírására absztrakt szinten,
RészletesebbenConstraint-ek. Fehér Béla Szántó Péter, Lazányi János, Raikovich Tamás BME MIT FPGA laboratórium
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Constraint-ek Fehér Béla Szántó Péter, Lazányi János, Raikovich Tamás
RészletesebbenAttribútumok, constraint-ek
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Attribútumok, constraint-ek Fehér Béla Szántó Péter, Lazányi János, Raikovich
RészletesebbenAdatbázis-kezelés ODBC driverrel
ADATBÁZIS-KEZELÉS ODBC DRIVERREL... 1 ODBC: OPEN DATABASE CONNECTIVITY (NYÍLT ADATBÁZIS KAPCSOLÁS)... 1 AZ ODBC FELÉPÍTÉSE... 2 ADATBÁZIS REGISZTRÁCIÓ... 2 PROJEKT LÉTREHOZÁSA... 3 A GENERÁLT PROJEKT FELÉPÍTÉSE...
RészletesebbenGenome 373: Hidden Markov Models I. Doug Fowler
Genome 373: Hidden Markov Models I Doug Fowler Review From Gene Prediction I transcriptional start site G open reading frame transcriptional termination site promoter 5 untranslated region 3 untranslated
RészletesebbenFutásidőbeli verifikáció
Futásidőbeli verifikáció Szoftverellenőrzési technikák előadás Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi
RészletesebbenSzéchenyi István Egyetem www.sze.hu/~herno
Oldal: 1/6 A feladat során megismerkedünk a C# és a LabVIEW összekapcsolásának egy lehetőségével, pontosabban nagyon egyszerű C#- ban írt kódból fordítunk DLL-t, amit meghívunk LabVIEW-ból. Az eljárás
RészletesebbenProgramozás burritokkal
Monádok (folytatás) Programozás burritokkal [2..21] Programozás monádokkal: Programstrukturálás type IO α = World (α, World) -- putstr :: String IO () -- getline :: IO String (>>=) :: IO α (α IO β) IO
Részletesebbeneseményvezérelt megoldások Vizuális programozás 5. előadás
Programozási architektúrák, eseményvezérelt megoldások Vizuális programozás 5. előadás Komponens-alapú programozás Kezdelteges formája, az első komponensek: DLL-ek Black box ujrahasznosítható kód Függvényeket
RészletesebbenCloud computing. Cloud computing. Dr. Bakonyi Péter.
Cloud computing Cloud computing Dr. Bakonyi Péter. 1/24/2011 1/24/2011 Cloud computing 2 Cloud definició A cloud vagy felhő egy platform vagy infrastruktúra Az alkalmazások és szolgáltatások végrehajtására
Részletesebben16F628A megszakítás kezelése
16F628A megszakítás kezelése A 'megszakítás' azt jelenti, hogy a program normális, szekvenciális futása valamilyen külső hatás miatt átmenetileg felfüggesztődik, és a vezérlést egy külön rutin, a megszakításkezelő
Részletesebben4. Gyakorlat: Csoportházirend beállítások
4. Gyakorlat: Csoportházirend beállítások 4.1. A Default Domain Policy jelszóra vonatkozó beállításai 4.2. Parancsikon, mappa és hálózati meghajtó megjelenítése csoport házirend segítségével 4.3. Alkalmazások
RészletesebbenCluster Analysis. Potyó László
Cluster Analysis Potyó László What is Cluster Analysis? Cluster: a collection of data objects Similar to one another within the same cluster Dissimilar to the objects in other clusters Cluster analysis
Részletesebben(NGB_TA024_1) MÉRÉSI JEGYZŐKÖNYV
Kommunikációs rendszerek programozása (NGB_TA024_1) MÉRÉSI JEGYZŐKÖNYV (5. mérés) SIP telefonközpont készítése Trixbox-szal 1 Mérés helye: Széchenyi István Egyetem, L-1/7 laboratórium, 9026 Győr, Egyetem
RészletesebbenContact us Toll free (800) fax (800)
Table of Contents Thank you for purchasing our product, your business is greatly appreciated. If you have any questions, comments, or concerns with the product you received please contact the factory.
RészletesebbenMiskolci Egyetem Gazdaságtudományi Kar Üzleti Információgazdálkodási és Módszertani Intézet Factor Analysis
Factor Analysis Factor analysis is a multiple statistical method, which analyzes the correlation relation between data, and it is for data reduction, dimension reduction and to explore the structure. Aim
RészletesebbenSQL/PSM kurzorok rész
SQL/PSM kurzorok --- 2.rész Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 9.3. Az SQL és a befogadó nyelv közötti felület (sormutatók) 9.4. SQL/PSM Sémában
RészletesebbenCloud computing Dr. Bakonyi Péter.
Cloud computing Dr. Bakonyi Péter. 1/24/2011 Cloud computing 1/24/2011 Cloud computing 2 Cloud definició A cloud vagy felhő egy platform vagy infrastruktúra Az alkalmazások és szolgáltatások végrehajtására
RészletesebbenModel-Driven Design and Verification of Component-Based Reactive Systems
Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Department of Measurement and Information Systems Model-Driven Design and Verification of Component-Based
RészletesebbenKOGGM614 JÁRMŰIPARI KUTATÁS ÉS FEJLESZTÉS FOLYAMATA
KOGGM614 JÁRMŰIPARI KUTATÁS ÉS FEJLESZTÉS FOLYAMATA System Design Wahl István 2019.03.26. BME FACULTY OF TRANSPORTATION ENGINEERING AND VEHICLE ENGINEERING Tartalomjegyzék Rövidítések A rendszer definiálása
RészletesebbenExcel vagy Given-When-Then? Vagy mindkettő?
TESZT & TEA BUDAPEST AGILE MEETUP Pénzügyi számítások automatizált agilis tesztelése: Excel vagy Given-When-Then? Vagy mindkettő? NAGY GÁSPÁR TechTalk developer coach Budapest, 2014 február 6. SpecFlow
RészletesebbenAdatkezelő szoftver. Továbbfejlesztett termékvizsgálat-felügyelet Fokozott minőség és gyártási hatékonyság
Adatkezelő szoftver ProdX Inspect szoftver Fokozott termelékenység Páratlan termékminőség Magas fokú biztonság Teljesen átlátható folyamatok Továbbfejlesztett termékvizsgálat-felügyelet Fokozott minőség
RészletesebbenBevezetés a kvantum-informatikába és kommunikációba 2015/2016 tavasz
Bevezetés a kvantum-informatikába és kommunikációba 2015/2016 tavasz Kvantumkapuk, áramkörök 2016. március 3. A kvantummechanika posztulátumai (1-2) 1. Állapotleírás Zárt fizikai rendszer aktuális állapota
RészletesebbenProxer 7 Manager szoftver felhasználói leírás
Proxer 7 Manager szoftver felhasználói leírás A program az induláskor elkezdi keresni az eszközöket. Ha van olyan eszköz, amely virtuális billentyűzetként van beállítva, akkor azokat is kijelzi. Azokkal
RészletesebbenIP/09/473. Brüsszel, 2009. március 25
IP/09/473 Brüsszel, 2009. március 25 A mobiltelefon-használat nő, míg a fogyasztói árak csökkennek: a Bizottság jelentése szerint az európai távközlési ágazat ellenáll a gazdasági lassulásnak 2008-ban
RészletesebbenDECLARATION OF PERFORMANCE CPR-20-IC-040
Page 1 of 4 DECLARATION OF PERFORMANCE CPR-20-IC-040 1. Unique identification code of the product-type: Name: Item Number: UPONOR RENOVIS PANEL PACK 1.2/0.8; 5 M2 1062201 UPONOR RENOVIS PANEL PACK 1.2/0.8;
RészletesebbenHierarchical Abstraction for the Verification of State-based Systems
Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Department of Measurement and Information Systems Hierarchical Abstraction for the Verification of State-based
RészletesebbenDigitális elektronika gyakorlat. A VHDL leírástípusok
A VHDL leírástípusok 1. A funkcionális leírásmód Company: SAPIENTIA EMTE Engineer: Domokos József Create Date: 08:48:48 03/21/06 Design Name: Module Name: Logikai es kapuk funkcionalis leirasa- Behavioral
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észletesebbenUniSim Design. Dinamikus modellezés. BME-KKFT Farkasné Szőke-Kis Anita Stelén Gábor
UniSim Design Dinamikus modellezés BME-KKFT Farkasné Szőke-Kis Anita Stelén Gábor A szabályozás hatásvázlata Áramlásszabályozás Alapadatok Komponens: víz Modell: SRK Folyamatábra: két anyagáram, szelep,
RészletesebbenKELER KSZF Zrt. bankgarancia-befogadási kondíciói. Hatályos: 2014. július 8.
KELER KSZF Zrt. bankgarancia-befogadási kondíciói Hatályos: 2014. július 8. A KELER KSZF a nem-pénzügyi klíringtagjaitól, és az energiapiaci alklíringtagjaitól a KELER KSZF Általános Üzletszabályzata szerinti
RészletesebbenEBBEN A VIZSGARÉSZBEN A VIZSGAFELADAT ARÁNYA
Az Országos Képzési Jegyzékről és az Országos Képzési Jegyzékbe történő felvétel és törlés eljárási rendjéről szóló 133/2010. (IV. 22.) Korm. rendelet alapján. Szakképesítés, szakképesítés-elágazás, rész-szakképesítés,
RészletesebbenComputer Architectures
Computer Architectures 1. A card and code based door-lock 2016. március 4. Budapest Horváth Gábor associate professor BUTE Department of Networked Systems and Services ghorvath@hit.bme.hu Számítógép Architektúrák
RészletesebbenTulajdonságalapú tesztelés
Tulajdonságalapú tesztelés QuickCheck A QuickCheck Haskell programok automatikus, tulajdonságalapú tesztelésére használható. Programspecifikáció: program által teljesítendő tulajdonságok Nagy számú, a
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észletesebbenVéges szavak általánosított részszó-bonyolultsága
Véges szavak általánosított részszó-bonyolultsága KÁSA Zoltán Sapientia Erdélyi Magyar Tudományegyetem Kolozsvár Marosvásárhely Csíkszereda Matematika-Informatika Tanszék, Marosvásárhely Budapest, 2010.
RészletesebbenElemi alkalmazások fejlesztése IV. Adatbázis-kezelés ActiveX vezérlıkkel - 1
ADATBÁZIS-KEZELÉS ACTIVEX VEZÉRLİK ALKALMAZÁSÁVAL I.... 1 ACTIVEX... 1 ACTIVEX CONTROL... 1 SAJÁT ACTIVEX VEZÉRLİ LÉTREHOZÁSA... 1 circctrl.cpp... 2 Háttérszín tulajdonság hozzárendelése a vezérlıhöz...
RészletesebbenOLYMPICS! SUMMER CAMP
OLYMPICS! SUMMER CAMP YOUNG BUSINESS CAMP 3D DESIGN CAMP OLYMPICS SUMMER CAMP 20 24 JUNE AND 27 JUNE 1 JULY AGE: 6-14 Our ESB native-speaking teachers will provide a strong English learning content throughout
RészletesebbenCorrelation & Linear Regression in SPSS
Petra Petrovics Correlation & Linear Regression in SPSS 4 th seminar Types of dependence association between two nominal data mixed between a nominal and a ratio data correlation among ratio data Correlation
RészletesebbenForráskód generálás formális modellek alapján
Forráskód generálás formális modellek alapján dr. Majzik István Horányi Gergő és Jeszenszky Balázs (TDK) BME Méréstechnika és Információs Rendszerek Tanszék 1 Modellek a formális ellenőrzéshez Hogyan használhatók
RészletesebbenSupporting Information
Supporting Information Cell-free GFP simulations Cell-free simulations of degfp production were consistent with experimental measurements (Fig. S1). Dual emmission GFP was produced under a P70a promoter
RészletesebbenCorrelation & Linear Regression in SPSS
Correlation & Linear Regression in SPSS Types of dependence association between two nominal data mixed between a nominal and a ratio data correlation among ratio data Exercise 1 - Correlation File / Open
RészletesebbenINTELLIGENT ENERGY EUROPE PROGRAMME BUILD UP SKILLS TRAINBUD. Quality label system
INTELLIGENT ENERGY EUROPE PROGRAMME BUILD UP SKILLS TRAINBUD WP4: Deliverable 4.5 Development of voluntary qualification system Quality label system 1 INTELLIGENT ENERGY EUROPE PROGRAMME BUILD UP SKILLS
RészletesebbenMiskolci Egyetem Gazdaságtudományi Kar Üzleti Információgazdálkodási és Módszertani Intézet. Correlation & Linear. Petra Petrovics.
Correlation & Linear Regression in SPSS Petra Petrovics PhD Student Types of dependence association between two nominal data mixed between a nominal and a ratio data correlation among ratio data Exercise
RészletesebbenDecision where Process Based OpRisk Management. made the difference. Norbert Kozma Head of Operational Risk Control. Erste Bank Hungary
Decision where Process Based OpRisk Management made the difference Norbert Kozma Head of Operational Risk Control Erste Bank Hungary About Erste Group 2010. 09. 30. 2 Erste Bank Hungary Erste Group entered
RészletesebbenSzemélyes adatváltoztatási formanyomtatvány- Magyarország / Personal Data Change Form - Hungary
Személyes adatváltoztatási formanyomtatvány- Magyarország / Personal Data Change Form - Hungary KITÖLTÉSI ÚTMUTATÓ: A formanyomtatványon a munkavállaló a személyes adatainak módosítását kezdeményezheti.
RészletesebbenLexington Public Schools 146 Maple Street Lexington, Massachusetts 02420
146 Maple Street Lexington, Massachusetts 02420 Surplus Printing Equipment For Sale Key Dates/Times: Item Date Time Location Release of Bid 10/23/2014 11:00 a.m. http://lps.lexingtonma.org (under Quick
Részletesebbendiscosnp demo - Peterlongo Pierre 1 DISCOSNP++: Live demo
discosnp demo - Peterlongo Pierre 1 DISCOSNP++: Live demo Download and install discosnp demo - Peterlongo Pierre 3 Download web page: github.com/gatb/discosnp Chose latest release (2.2.10 today) discosnp
RészletesebbenConstruction of a cube given with its centre and a sideline
Transformation of a plane of projection Construction of a cube given with its centre and a sideline Exercise. Given the center O and a sideline e of a cube, where e is a vertical line. Construct the projections
RészletesebbenEN United in diversity EN A8-0206/482. Amendment
21.3.2019 A8-0206/482 482 Recital 13 g (new) (13g) In recognition of the need for specific treatment for the transport sector, in which movement is the very essence of the work undertaken by drivers, the
RészletesebbenSzemélyes adatváltoztatási formanyomtatvány - Magyarország / Personal Data Change Form - Hungary
Személyes adatváltoztatási formanyomtatvány - Magyarország / Personal Data Change Form - Hungary Kitöltési útmutató: A formanyomtatványon a munkavállaló a személyes adatainak módosítását kezdeményezheti.
RészletesebbenA vitorlázás versenyszabályai a 2013-2016. évekre angol-magyar nyelvű kiadásának változási és hibajegyzéke
A vitorlázás versenyszabályai a 2013-2016. évekre angol-magyar nyelvű kiadásának változási és hibajegyzéke A dokumentum A vitorlázás versenyszabályai a 2013-2016. évekre angol-magyar nyelvű kiadásában
RészletesebbenEN United in diversity EN A8-0206/419. Amendment
22.3.2019 A8-0206/419 419 Article 2 paragraph 4 point a point i (i) the identity of the road transport operator; (i) the identity of the road transport operator by means of its intra-community tax identification
RészletesebbenKölcsönös kizárás, atomicitás, szemafor.
Kölcsönös kizárás, atomicitás, szemafor kertesz.gabor@nik.uni-obuda.hu Lock lock (object o) struktúra C#-ban Kölcsönös kizárás megvalósítása object o: szinkronizációs objektum Bármely közös változó lehet,
RészletesebbenWeb Services. (webszolgáltatások): egy osztott alkalmazásfejlesztési plattform
(webszolgáltatások): egy osztott alkalmazásfejlesztési plattform Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem A Web Service Web Service definíciója Számos definíció létezik. IBM [4] A Web
RészletesebbenSzálkezelés. Melyik az a hívás, amelynek megtörténtekor már biztosak lehetünk a deadlock kialakulásában?
Szálkezelés 1. A szekvencia diagram feladata az objektumok egymás közti üzenetváltásainak ábrázolása egy időtengely mentén elhelyezve. Az objektumok életvonala egy felülről lefelé mutató időtengely. A
Részletesebben1. Gyakorlat: Telepítés: Windows Server 2008 R2 Enterprise, Core, Windows 7
1. Gyakorlat: Telepítés: Windows Server 2008 R2 Enterprise, Core, Windows 7 1.1. Új virtuális gép és Windows Server 2008 R2 Enterprise alap lemez létrehozása 1.2. A differenciális lemezek és a két új virtuális
Részletesebben4. gyakorlat. Mosószóda nátrium-karbonát-tartalmának meghatározása potenciometrikus titrálással
4. gyakorlat Mosószóda nátrium-karbonát-tartalmának meghatározása potenciometrikus titrálással Név, osztály:... Mérés dátuma:... Feladat Ön egy mosószóda kiszerelő üzemben dolgozik. A beérkezett nátrium-karbonátot
RészletesebbenTHS710A, THS720A, THS730A & THS720P TekScope Reference
THS710A, THS720A, THS730A & THS720P TekScope Reference 070-9741-01 Getting Started 1 Connect probes or leads. 2 Choose SCOPE 3 or METER mode. Press AUTORANGE. Copyright Tektronix, Inc. Printed in U.S.A.
RészletesebbenTeszt topológia E1/1 E1/0 SW1 E1/0 E1/0 SW3 SW2. Kuris Ferenc - [HUN] Cisco Blog -
VTP Teszt topológia E1/1 E1/0 SW1 E1/0 E1/0 SW2 SW3 2 Alap konfiguráció SW1-2-3 conf t interface e1/0 switchport trunk encapsulation dot1q switchport mode trunk vtp domain CCIE vtp mode transparent vtp
RészletesebbenSZET GYAK1: Követelmények ellenőrzése
SZET GYAK1: Követelmények ellenőrzése A gyakorlaton a követelmények nyilvántartásával és ellenőrzésével kapcsolatos feladatok közül vizsgálunk meg néhányat. Követelményspecifikáció ellenőrzése átvizsgálással
RészletesebbenDiagnosztikai szemléletű talajtérképek szerkesztése korrelált talajtani adatrendszerek alapján
Diagnosztikai szemléletű talajtérképek szerkesztése korrelált talajtani adatrendszerek alapján Bakacsi Zsófia 1 - Szabó József 1 Waltner István 2 Michéli Erika 2 Fuchs Márta 2 - Laborczi Annamária 1 -
RészletesebbenBKI13ATEX0030/1 EK-Típus Vizsgálati Tanúsítvány/ EC-Type Examination Certificate 1. kiegészítés / Amendment 1 MSZ EN 60079-31:2014
(1) EK-TípusVizsgálati Tanúsítvány (2) A potenciálisan robbanásveszélyes környezetben történő alkalmazásra szánt berendezések, védelmi rendszerek 94/9/EK Direktíva / Equipment or Protective Systems Intended
RészletesebbenObjektumorientált szoftverfejlesztés IV. előadás. Diagramok készítése CASE eszközzel. <Előadó neve és elérhetősége>
Objektumorientált szoftverfejlesztés IV. előadás Diagramok készítése CASE eszközzel 2008.02.05. 10:03 Gábor Dénes Főiskola 1 Modellező nyelv és CASE eszköz - Enterprise Architect
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észletesebbenMiskolci Egyetem Gazdaságtudományi Kar Üzleti Információgazdálkodási és Módszertani Intézet. Hypothesis Testing. Petra Petrovics.
Hypothesis Testing Petra Petrovics PhD Student Inference from the Sample to the Population Estimation Hypothesis Testing Estimation: how can we determine the value of an unknown parameter of a population
RészletesebbenPhenotype. Genotype. It is like any other experiment! What is a bioinformatics experiment? Remember the Goal. Infectious Disease Paradigm
It is like any other experiment! What is a bioinformatics experiment? You need to know your data/input sources You need to understand your methods and their assumptions You need a plan to get from point
RészletesebbenA cell-based screening system for RNA Polymerase I inhibitors
Electronic Supplementary Material (ESI) for MedChemComm. This journal is The Royal Society of Chemistry 2019 Supporting Information A cell-based screening system for RNA Polymerase I inhibitors Xiao Tan,
RészletesebbenETSI ES V1.1.1 ( ) ETSI Standard. Open Service Access (OSA); Parlay X Web Services; Part 3: Call Notification (Parlay X 3)
Standard Open Service Access (OSA); Parlay X Web Services; Part 3: Call Notification (Parlay X 3) 2 Reference DES/TISPAN-01034-3-OSA Keywords API, OSA, service 650 Route des Lucioles F-06921 Sophia Antipolis
Részletesebben10. Gyakorlat: Alkalmazások publikálása Remote Desktop Szervízen keresztül
10. Gyakorlat: Alkalmazások publikálása Remote Desktop Szervízen keresztül 10.1. Jogosultságok és csoportok létrehozása 10.2. Az RDS szerver szerepkör telepítése a DC01-es szerverre 10.3. Az RDS01-es szerver
RészletesebbenAZ ISO/IEC-9126 SZOFTVER MINŐSÉGI SZABVÁNY ÁTTEKINTÉSE
AZ ISO/IEC-9126 SZOFTVER MINŐSÉGI SZABVÁNY ÁTTEKINTÉSE Csuka Zsolt Motiváció Szoftver követelmény specifikálás Szoftver minőségbiztosítási terv Számszerű minőségi elvárások Szoftverminőség modellezése
RészletesebbenVHDL szimuláció. Tervezés. Labor II. Dr. Hidvégi Timót
VHDL szimuláció Labor II. Dr. Hidvégi Timót Tervezés 1 Lefoglalt szavak abs access after alias all and architecture array assert attribute block body buffer bus case component configuration constant disconnect
RészletesebbenPIACI HIRDETMÉNY / MARKET NOTICE
PIACI HIRDETMÉNY / MARKET NOTICE HUPX Fizikai Futures (PhF) / HUPX Physical Futures (PhF) Iktatási szám / Notice #: HUPX-MN-PhF-2015-0003 Dátum / Of: 20/04/2015 Tárgy / Subject: Hatályos díjszabás és kedvezmények
RészletesebbenMechanikai állapotok: (A rudak egymáshoz mereven kapcsolódnak)
SZÉCHENYI ISTVÁN EGYETEM KÖZLEKEDÉSI ÉS GÉPÉSZMÉRNÖKI INTÉZET ÁLTALÁNOS GÉPÉSZETI TANSZÉK GÉPÉSZETI ALKALMAZOTT SZÁMÍTÁSTECHNIKA főiskolai mérnökhallgatók számára A 2. gyakorlat anyaga Feladat: síkbeli
RészletesebbenMiskolci Egyetem Gazdaságtudományi Kar Üzleti Információgazdálkodási és Módszertani Intézet Nonparametric Tests
Nonparametric Tests Petra Petrovics Hypothesis Testing Parametric Tests Mean of a population Population proportion Population Standard Deviation Nonparametric Tests Test for Independence Analysis of Variance
RészletesebbenTranzakciókezelés PL/SQL-ben
Tranzakciókezelés PL/SQL-ben ACID tulajdonságok: Tranzakció Atomosság, Konzisztencia, Izoláció, Tartósság A tranzakció állhat: - Több DML utasításból - Egy DDL utasításból A tranzakció kezdete az első
RészletesebbenTrinucleotide Repeat Diseases: CRISPR Cas9 PacBio no PCR Sequencing MFMER slide-1
Trinucleotide Repeat Diseases: CRISPR Cas9 PacBio no PCR Sequencing 2015 MFMER slide-1 Fuch s Eye Disease TCF 4 gene Fuchs occurs in about 4% of the US population. Leads to deteriorating vision without
RészletesebbenAnalitikai megoldások IBM Power és FlashSystem alapokon. Mosolygó Ferenc - Avnet
Analitikai megoldások IBM Power és FlashSystem alapokon Mosolygó Ferenc - Avnet Bevezető Legfontosabb elvárásaink az adatbázisokkal szemben Teljesítmény Lekérdezések, riportok és válaszok gyors megjelenítése
RészletesebbenOMRON PLC és IMO kijelzı egység összekötése
OMRON PLC és IMO kijelzı egység összekötése A leírás célja, hogy a ConfigManager program Help menüében található Tutorial oktatási leírás, és más egyéb leírások mellett kiegészítı anyagként szolgáljon
RészletesebbenETSI ES V1.2.1 ( )
Standard Open Service Access (OSA); Parlay X Web Services; Part 10: Call Handling (Parlay X 2) 2 Reference RES/TISPAN-01033-10-OSA Keywords API, OSA, service 650 Route des Lucioles F-06921 Sophia Antipolis
RészletesebbenGeokémia gyakorlat. 1. Geokémiai adatok értelmezése: egyszerű statisztikai módszerek. Geológus szakirány (BSc) Dr. Lukács Réka
Geokémia gyakorlat 1. Geokémiai adatok értelmezése: egyszerű statisztikai módszerek Geológus szakirány (BSc) Dr. Lukács Réka MTA-ELTE Vulkanológiai Kutatócsoport e-mail: reka.harangi@gmail.com ALAPFOGALMAK:
RészletesebbenOffice and computing machinery, equipment and supplies except furniture and software packages
Office and computing machinery, equipment and supplies except furniture and software packages Info Version 3 Url http://com.mercell.com/permalink/35255296.aspx External tender id 25288-2013 Tender type
RészletesebbenDescriptive Statistics
Descriptive Statistics Petra Petrovics DESCRIPTIVE STATISTICS Definition: Descriptive statistics is concerned only with collecting and describing data Methods: - statistical tables and graphs - descriptive
RészletesebbenPublish date 1/7/2012 4:09 AM. Change date 1/7/2012 4:09 AM
X-ray devices Info Version 2 Url http://com.mercell.com/permalink/30400850.aspx External tender id 5260-2012 Tender type Contract Award Document type Contract award Procurement procedure Open procedure
RészletesebbenLéptetőmotorok. Előnyök: Hátrányok:
Léptetőmotorok A léptetőmotorok lényeges tulajdonsága, hogy egy körülforduláshoz hány lépés szükséges. Ezt megadhatják fokban, ekkor az egy lépésre eső szögelfordulást adják meg. Illetve megadhatják az
RészletesebbenIntervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése
Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Somogyi Ferenc Attila 2016. December 07. Szoftver verifikáció és validáció kiselőadás Forrás Mathijs Schuts and Jozef
RészletesebbenNyolcbites számláló mintaprojekt
Nyolcbites számláló mintaprojekt 1. Bevezető A leírás egy nyolcbites számláló elkészítésének és tesztelésének lépéseit ismerteti. A számláló értéke az órajel felfutó élének hatására növekszik. A törlőgombbal
RészletesebbenSzámítógépes Hálózatok GY 8.hét
Számítógépes Hálózatok GY 8.hét Laki Sándor ELTE-Ericsson Kommunikációs Hálózatok Laboratórium ELTE IK - Információs Rendszerek Tanszék lakis@elte.hu http://lakis.web.elte.hu Teszt 10 kérdés 10 perc canvas.elte.hu
RészletesebbenStatistical Dependence
Statistical Dependence Petra Petrovics Statistical Dependence Deinition: Statistical dependence exists when the value o some variable is dependent upon or aected by the value o some other variable. Independent
RészletesebbenHozzunk ki többet abból amink van. Fehér Lajos
Hozzunk ki többet abból amink van Fehér Lajos Adatelérés Örök érvényű dolgaink Sor láncolás, migráció Index elhasználódás Tábla fregmentálódás Indexek száma Referenciális hivatkozások Triggerek Adatelérés
RészletesebbenA HULLATÉK-ANALÍZIS ÉS A GYOMORTARTALOM ELEMZÉS ÖSSZE- HASONLÍTÁSA VÖRÖS RÓKA TÁPLÁLKOZÁS VIZSGÁLATA SORÁN
A HULLATÉK-ANALÍZIS ÉS A GYOMORTARTALOM ELEMZÉS ÖSSZE- HASONLÍTÁSA VÖRÖS RÓKA TÁPLÁLKOZÁS VIZSGÁLATA SORÁN Szôcs Emese¹, Lanszki József², Heltai Miklós¹ és Szabó László¹ ¹Szent István Egyetem, Vadbiológiai
RészletesebbenNonrelativistic, non-newtonian gravity
Nonrelativistic, non-newtonian gravity Dieter Van den Bleeken Bog azic i University based on arxiv:1512.03799 and work in progress with C ag ın Yunus IPM Tehran 27th May 2016 Nonrelativistic, non-newtonian
RészletesebbenTartalom DCOM. Történeti áttekintés. Történeti áttekintés. Történeti áttekintés. Történeti áttekintés
Tartalom D Szoftvertechnológia elıadás Architektúra D vs CORBA Példá 2 1987 Dynamic Data Exchange (DDE) Windows 2.0-ban Windows alkalmazások közötti adatcsere Ma is használatos (pl. vágólap) NetDDE NetBIOS
RészletesebbenTervezési módszerek programozható logikai eszközökkel
Pannon Egyetem, MIK-VIRT, Veszprém Dr. Vörösházi Zsolt voroshazi.zsolt@virt.uni-pannon.hu Tervezési módszerek programozható logikai eszközökkel 3. Xilinx ISE Design Suite integrált fejlesztő rendszer használata.
RészletesebbenDR. SZABÓ LÁSZLÓ 1 DOBOS GÁBOR 2
Szolnoki Tudományos Közlemények XIII. Szolnok, 2009. DR. SZABÓ LÁSZLÓ 1 DOBOS GÁBOR 2 JAK-52 OKTATÓ REPÜLŐGÉP EGY KONSTRUKCIÓS PROBLÉMÁJÁNAK MEGOLDÁSI LEHETŐSÉGEI FESTO FLUIDSIM SZOFTVER FELHASZNÁLÁSÁVAL
RészletesebbenA teszt a következő diával indul! The test begins with the next slide!
A teszt a következő diával indul! The test begins with the next slide! A KÖVETKEZŐKBEN SZÁMOZOTT KÉRDÉSEKET VAGY KÉPEKET LÁT SZÁMOZOTT KÉPLETEKKEL. ÍRJA A SZÁMOZOTT KÉRDÉSRE ADOTT VÁLASZT, VAGY A SZÁMOZOTT
RészletesebbenTáblakezelés: Open SQL Internal table. Tarcsi Ádám: Az SAP programozása 1.
Táblakezelés: Open SQL Internal table Tarcsi Ádám: Az SAP programozása 1. OPEN SQL Tarcsi Ádám, ELTE SAP Excellence Center: SAP programozás oktatóanyag 2 Open SQL Az Open SQL kulcsszavai: SELECT INSERT
RészletesebbenCashback 2015 Deposit Promotion teljes szabályzat
Cashback 2015 Deposit Promotion teljes szabályzat 1. Definitions 1. Definíciók: a) Account Client s trading account or any other accounts and/or registers maintained for Számla Az ügyfél kereskedési számlája
RészletesebbenT W z àöä á TÜtÇç{tÄ á t [öüéå ^ äöçáöz
T W z àöä á TÜtÇç{tÄ á t [öüéå ^ äöçáöz Excel Customer Digital Experience Real time, personalised and omni channel PROVICE Informatika, 2016 1 Az Insurance Királyságban boldogan éldegélt a Királyfi az
RészletesebbenPerformance Modeling of Intelligent Car Parking Systems
Performance Modeling of Intelligent Car Parking Systems Károly Farkas Gábor Horváth András Mészáros Miklós Telek Technical University of Budapest, Hungary EPEW 2014, Florence, Italy Outline Intelligent
Részletesebben