UNIVERSITY OF TWENTE. Energy-optimization for Dataflow Applications using Timed Automata. Formal Methods & Tools. Jaco van de Pol, 18 Aug 2016
|
|
- Clinton Jefferson
- 6 years ago
- Views:
Transcription
1 UNIVERSITY OF TWENTE. Formal Methods & Tools. Energy-optimization for Dataflow Applications sing Timed Atomata Jaco van de Pol, 8 Ag 206 ICT Energy Science Conference, Aalborg Joint work with Waheed Ahmad and Mariëlle Stoelinga
2 Over 0 years history of mlti-core architectres: PC, mobile HD video playback, web browsing, 3D gaming, 3D interfaces By 205, video cases 2/3 of mobile data traffic (Cisco, 20) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
3 Over 0 years history of mlti-core architectres: PC, mobile HD video playback, web browsing, 3D gaming, 3D interfaces By 205, video cases 2/3 of mobile data traffic (Cisco, 20) Mltimedia services are energy-hngry How to get qality & performance within tight energy bonds? FP7 Sensation: Self-energy-spporting atonomos compting UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
4 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management Modeling: Kinetic Battery Model Analysis: Hybrid Atomata and Uppaal SMC 4 Extension 2: Handling Uncertainty by Adaptation Modeling: Exection Time is Stochastic Analysis: Stochastic Hybrid Games and Uppaal Stratego 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
5 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management 3 Extension : Battery Management 4 Extension 2: Handling Uncertainty by Adaptation 5 Conclsion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
6 Synchronos Data Flow graphs (Lee, 986) An SDF Graph is a tple G = (A, D, Tok 0, τ) where: A is a finite set of actors , 2 v, 2 w, UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
7 Synchronos Data Flow graphs (Lee, 986) An SDF Graph is a tple G = (A, D, Tok 0, τ) where: A is a finite set of actors D is a finite set of channels D A 2 N , 2 v, 2 w, UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
8 Synchronos Data Flow graphs (Lee, 986) An SDF Graph is a tple G = (A, D, Tok 0, τ) where: A is a finite set of actors D is a finite set of channels D A 2 N 2 Tok 0 : D N denotes initial tokens in each bffered channel , 2 v, 2 w, UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
9 Synchronos Data Flow graphs (Lee, 986) An SDF Graph is a tple G = (A, D, Tok 0, τ) where: A is a finite set of actors D is a finite set of channels D A 2 N 2 Tok 0 : D N denotes initial tokens in each bffered channel τ : A N assigns an exection time to each actor , 2 v, 2 w, UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
10 Synchronos Data Flow graphs (Lee, 986) An SDF Graph is a tple G = (A, D, Tok 0, τ) where: A is a finite set of actors D is a finite set of channels D A 2 N 2 Tok 0 : D N denotes initial tokens in each bffered channel τ : A N assigns an exection time to each actor , 2 v, 2 w, Actor firing: consme and prodce tokens throgh channels Actors fire concrrently; even ato-concrrency is possible UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
11 Some SDF Examples (Wiggers 09, Theelen 2) MP3, SRC, DAC, MP3 Playback VLD, IDCT, FD,2 MC, 5 RC, MPEG-4 Decoder
12 Some SDF Examples (Wiggers 09, Theelen 2) MP3, SRC, DAC, MP3 Playback VLD, IDCT, FD,2 MC, 5 RC, MPEG-4 Decoder Face Recognition (Recore) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
13 Self-timed Exection [SDF3] (Ghamarian, Theelen, 06) 2 3 2, 2 v, 2 w, To get to a stable periodic exection: Repetition vector γ : A N, sch that p.γ(a) = q.γ(b) For this example: γ, v, w = 4, 2, 3 UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
14 Self-timed Exection [SDF3] (Ghamarian, Theelen, 06) 2 3 2, 2 v, 2 w, To get to a stable periodic exection: Repetition vector γ : A N, sch that p.γ(a) = q.γ(b) For this example: γ, v, w = 4, 2, 3 The self-timed exection garantees maximm throghpt: processors p0 p p2 p3 graph iteration v v v v w w w w w graph iteration time w UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
15 SDF for parallel, self-timed exection Advantages of SDF with self-timed exection SDF fits streaming applications (no data dependencies, SADF) Garantees maximal throghpt, transient + periodic phase Simple, polynomial algorithms (implemented in SDF3) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
16 SDF for parallel, self-timed exection Advantages of SDF with self-timed exection SDF fits streaming applications (no data dependencies, SADF) Garantees maximal throghpt, transient + periodic phase Simple, polynomial algorithms (implemented in SDF3) Limitations of SDF with self-timed exection Leads to maximal parallelism, which is expensive So far, a homogeneos processor model is assmed Worst-case assmptions lead to over-dimensioning UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
17 Modelling Limited, Heterogeneos Resorces Some actors can be mapped to particlar processors only floating point, analog/digital,... Definition A hardware platform model is a tple (P, ζ) consisting of a finite set P of processors; and a fnction ζ : P A {0, }: actor A can rn on processor P Firing Starts Firing Ends Exection Time Claim Idle Processor Release Processor UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
18 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management 3 Extension : Battery Management 4 Extension 2: Handling Uncertainty by Adaptation 5 Conclsion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
19 Approach sing Timed Atomata Ahmad, De Groote, Hölzenspies, Stoelinga, van de Pol ACSD 4 Application SDF Graph Architectre Translation to TA Translation to TA Mapping & Schedling by Uppaal Model- Checking Optimal Schedle UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag 206 / 44
20 Timed Atomata and Uppaal [Alr,Dill 94] [Larsen etal. 95] Ingredients of Timed Atomata States and Transitions as in finite atomata Real valed clock variables (here y) Clock constraints, invariants and resets (y 5, y := 0) Synchronisation between atomata via action labels UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
21 Timed Atomata and Uppaal [Alr,Dill 94] [Larsen etal. 95] Ingredients of Timed Atomata States and Transitions as in finite atomata Real valed clock variables (here y) Clock constraints, invariants and resets (y 5, y := 0) Synchronisation between atomata via action labels The Uppaal model-checker can then check: reachability of states (also safety, liveness properties) It can synthesize shortest or fastest traces UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
22 Translation of Processor Model and SDF graph A processor can be occpied by at most one task at the time Clock x specifies the dration of the task Model for each Processor p id : UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
23 Translation of Processor Model and SDF graph A processor can be occpied by at most one task at the time Clock x specifies the dration of the task On firing: check for reqired tokens, and consme them On ending: prodce the reqired tokens Model for each Processor p id : Model for actors a, b, c: UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
24 Synthesizing a schedle Actors are mapped on Processors non-deterministically We qery Uppaal for the fastest trace to a fll iteration. In addition, the model checker Uppaal cold check for absence of deadlocks, bffer bonds, safety, liveness,... UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
25 Synthesizing a schedle Actors are mapped on Processors non-deterministically We qery Uppaal for the fastest trace to a fll iteration. In addition, the model checker Uppaal cold check for absence of deadlocks, bffer bonds, safety, liveness,... Design Exploration Let s analyse the throghpt, and synthesize schedles, if we vary: The nmber of processors The capabilities of the processors UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
26 Reslts on Rnning Example: throghpt verss processors Self-timed exection ses 4 processors: throghpt /9 processors graph iteration graph iteration p0 p v v v v v v p2 w w w w w w p3 w w w time UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
27 Reslts on Rnning Example: throghpt verss processors Self-timed exection ses 4 processors: throghpt /9 graph iteration graph iteration p0 p v v v v v v processors p2 w w w w w w p3 w w w time Restrict to 3 processors: still the same throghpt /9 graph iteration graph iteration processors p0 v v v v v v p w p2 w w w w w w w w time UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
28 Reslts on Rnning Example: throghpt verss processors Self-timed exection ses 4 processors: throghpt /9 graph iteration graph iteration p0 p v v v v v v processors p2 w w w w w w p3 w w w time Restrict to 3 processors: still the same throghpt /9 graph iteration graph iteration p0 v v v v v v processors p w p2 w w w w w w w w time Restrict to 2 processors: small penalty, throghpt / graph iteration processors p0 p a a b a b a a b a b a a b a a c c c a c c c a time UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
29 Reslts on Rnning Example: Heterogeneos processors Assme: p 0, p can execte task, v; and p 2, p 3 only execte w Self-timed exection ses 4 processors: throghpt /9 processors graph iteration graph iteration p0 p v v v v v v p2 w w w w w w p3 w w w time Using 4 heterogeneos processors, still same throghpt /9 processors p0 p p2 p3 graph iteration v v v v w w w w w time UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
30 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management Modeling: Kinetic Battery Model Analysis: Hybrid Atomata and Uppaal SMC 4 Extension 2: Handling Uncertainty by Adaptation Modeling: Exection Time is Stochastic Analysis: Stochastic Hybrid Games and Uppaal Stratego 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
31 Dynamic Power Managament (DPM) Idle processors can be switched off to a low power (sleep) state This is redces energy sage in idle time Don t ignore it static power consmption Switching consmes some energy as well 0.W 0.W ON 0.2W DIM 0.2W OFF P=4W P=2.5W P=2W LCD ON OFF OFF Backlight ON ON OFF UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
32 Voltage and Freqency Scaling (DFVS) (Zhravlev 3) Lower the voltage and freqency dynamically This redces energy dring active time At the expense of increasing the exection time Again, switching freqency levels has some cost UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
33 Voltage and Freqency Islands (VFI) (Ogras, DAC 07) Local verss Global DVFS VFI: a grop of processors clstered together Common clock freqency/voltage per island Examples: Intel i7, IBM Power 7 series, Samsng S5 octa core UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
34 Hardware Platform Model We extend the Hardware Platform Model to the following tple: (P, ζ, F, Time act, Pow idle, Pow occ, Pow tr ) P: set of processors, partitioned in voltage freqency islands ζ : P A {0, }: maps actors on heterogeneos processors F : finite set of freqency levels f < < f m Time act : A F N : exection time of A at freqency F Pow idle : P F R + : power consmption in idle state Pow occ : P F R + : power consmption in bsy state Pow tr : P F 2 R + : overhead of switching freqency level UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
35 Example: Samsng Exynos 420 (Park, TCAD 3) Level Voltage (V) Freqency (MHz) Exper. P idle (W) Exper. P occ (W) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
36 Table of Contents Schedling and Mapping on Mlti-core Hardware 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management 4 Extension 2: Handling Uncertainty by Adaptation 5 Conclsion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
37 Approach with Priced Timed Atomata Uppaal Cora Ahmad, Hölzenspies, Stoelinga, van de Pol DSD 5 Application SDF Graph Architectre Translation to PTA Translation to PTA Uppaal Cora Throghpt Reqirement Model- Checking Energy Efficient Schedle UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
38 Priced Timed Atomata [Behrman, Larsen, et al. 2005] Specification of a lamp: Costs accmlate over transitions and while residing in states Uppaal Cora can synthesize fastest or cheapest traces UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
39 Translation of Hardware Platform Model UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
40 Using Uppaal Cora Uppaal Cora spports compting fastest and cheapest traces Obtain the completion time via fastest trace as before Incorporate the fond completion time in the model Obtain Energy Efficient Schedle via cheapest trace UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
41 Using Uppaal Cora Uppaal Cora spports compting fastest and cheapest traces Obtain the completion time via fastest trace as before Incorporate the fond completion time in the model Obtain Energy Efficient Schedle via cheapest trace Design Exploration Let s analyse the energy sage when we vary The reqired throghpt The nmber of processors and freqency islands UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
42 Reslts of Power Management Optimization for MPEG-4 Energy Consmption (mws) /3 5/3 4/3 3/2 2/2 / Frames per second Energy/frame verss Frames/second. Legend: nmber of processors/vfis. High throghpt: sing more processors is cheaper (rn at decent speed) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
43 Reslts of Power Management Optimization for MPEG-4 Energy Consmption (mws) /3 5/3 4/3 3/2 2/2 / Frames per second Energy/frame verss Frames/second. Legend: nmber of processors/vfis. High throghpt: sing more processors is cheaper (rn at decent speed) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
44 Reslts of Power Management Optimization for MPEG-4 Energy Consmption (mws) /3 5/3 4/3 3/2 2/2 / Frames per second Energy/frame verss Frames/second. Legend: nmber of processors/vfis. Lower throghpt: sing less processors is cheaper (can switch off others) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
45 Reslts of Power Management Optimization for MPEG-4 Energy Consmption (mws) /3 5/3 4/3 3/2 2/2 / Frames per second Energy/frame verss Frames/second. Legend: nmber of processors/vfis. Very low throghpt: ses more energy per frame ( idle time dominates) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
46 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management Modeling: Kinetic Battery Model Analysis: Hybrid Atomata and Uppaal SMC 4 Extension 2: Handling Uncertainty by Adaptation Modeling: Exection Time is Stochastic Analysis: Stochastic Hybrid Games and Uppaal Stratego 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
47 Kinetic Battery Model (KiBaM) [Manwell, McGowan, 993] Inclde battery schedling considerations. Needs a model. This model explains the apparent recovery effect of batteries KiBaM distingishes two wells: bond and available charge Two differential eqations describe the evoltion over time c c ȧ(t) = i(t)+k(h b h a ) ḃ(t) = k(h b h a ) h b b(t) k a(t) h a i(t) h a = a(t) c h b = b(t) c UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
48 Approach sing Hybrid Atomata Uppaal SMC Ahmad, Jongerden, Stoelinga, van de Pol ACSD 206 T trn thermostat off on T 27 T = T + 30 off T 23 T = T T off off trn thermostate on off T 23 HA for Thermostat q = on on on Simlation of HA evoltion Hybrid Atomata [Henzinger, 996] Basis: states and transitions as in atomata Clock constraints, invariants, synchronisation via action labels Real-time variables evolve with a rate governed by ODEs UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
49 Analysis with Uppaal SMC [David, Larsen, Legay, et al. 2] The Uppaal SMC model checker Spports (Stochastic) Hybrid atomata Statistical Model Checking (cf. Monte Carlo simlations) Visalisation of simlated rns with line or bar plots We (and others) have sed this to investigate: Varios battery schedling policies [Wognsen, Haverkort, et al. 5] Variation in nmber of batteries, processors Srvivability of the system nder varios circmstances Scales better than previos approach sing discretisation and PTA UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
50 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management Modeling: Kinetic Battery Model Analysis: Hybrid Atomata and Uppaal SMC 4 Extension 2: Handling Uncertainty by Adaptation Modeling: Exection Time is Stochastic Analysis: Stochastic Hybrid Games and Uppaal Stratego 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
51 Adaptive Schedling with Stochastic Hybrid Games Ahmad, van de Pol Isola 206 (forthcoming) Can we avoid overdimensioning de to worst-case exection time? Strategy can be adaptive: If task A happens fast, we can relax for task B Model: replace WCET by lower/pper bond Goal: Garantee reqired throghpt, minimize expected energy 0 simlations: Safe Strategy 0 simlations: Optimized Strategy UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
52 Uppaal Stratego (David, Jensen, Larsen, Mikčionis, Taankvist, 5) Stochastic Hybrid Atomata Uppaal Stratego Extends Hybrid Atomata Distingish controllable transitions (schedling decisions) from non-controllable transitions (stochastic exection times) Synthesize safe strategies, garanteeing a reqired throghpt Refine to near-optimal strategies, optimizing energy sage Means: game strategy synthesis, statistical model checking, reinforcement learning UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
53 Table of Contents Schedling and Mapping on Mlti-core Hardware Modeling: Synchronos Dataflow and Hardware Platform Analysis: Timed Atomata and Uppaal 2 Energy Optimization by Power Management Modeling: DPM, DVFS, VFI in Hardware Platform Model Analysis: Priced Timed Atomata and Uppaal Cora 3 Extension : Battery Management Modeling: Kinetic Battery Model Analysis: Hybrid Atomata and Uppaal SMC 4 Extension 2: Handling Uncertainty by Adaptation Modeling: Exection Time is Stochastic Analysis: Stochastic Hybrid Games and Uppaal Stratego 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
54 Model-Driven Framework UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
55 Meta Models, Transformations, Graphical Editors Meta-model for Hardware Platform Model Similar, we designed (or adapted): Graphical editor for Hardware Platform Model Meta-models for SDF, compatible with SDF3 tool site Meta-models for PTA, compatible with Uppaal tool site Model2Model Transformations: SDF + HPM PTA UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
56 Tool Spport Tool Chain is compatible with SDF3 and Uppaal -family Mappings are compositional model transformations in Epsilon Self-timed exection SDF graphs SDF3 Mapping & Schedling Timed Atomata Uppaal Power Management Priced Timed Atomata Uppaal Cora Battery Management Hybrid Atomata Uppaal SMC Handling Uncertainty Hybrid Stochastic Games Uppaal Stratego Main challenge: scalability. Better Algorithms (heristics, statistical methods) More clever modeling Leverage High-performance Model Checking UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
57 Visalizing the reslt: UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
58 Table of Contents Schedling and Mapping on Mlti-core Hardware 2 Energy Optimization by Power Management 3 Extension : Battery Management 4 Extension 2: Handling Uncertainty by Adaptation 5 Conclsion Tool Spport Discssion UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
59 Smmary Schedling and Mapping on Heterogeneos Mlti-core Schedle maximal throghpt on small nmber of processors Handling heterogeneos processor application models UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
60 Smmary Schedling and Mapping on Heterogeneos Mlti-core Schedle maximal throghpt on small nmber of processors Handling heterogeneos processor application models Power Optimization Exploit and combine modern power management strategies Use model checking PTA for optimal mapping & schedling, trading off throghpt verss energy UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
61 Smmary Schedling and Mapping on Heterogeneos Mlti-core Schedle maximal throghpt on small nmber of processors Handling heterogeneos processor application models Power Optimization Exploit and combine modern power management strategies Use model checking PTA for optimal mapping & schedling, trading off throghpt verss energy Extensible method Battery Management Adaptation to Uncertainty Hybrid Atomata Stochastic Hybrid Games UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
62 ... Schedling & Mapping Power Optimization Batteries Adaptation Conclsion... Applications and Ftre Work I FP7 SENSATION had several Cool and Hot applications: I Face Recognition (Recore, Twente) I Nano-satellites (Gomspace, Aalborg) I E-bikes (EnergyBs consortim) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
63 ... Schedling & Mapping Power Optimization Batteries Adaptation Conclsion... Applications and Ftre Work I FP7 SENSATION had several Cool and Hot applications: I Face Recognition (Recore, Twente) I Nano-satellites (Gomspace, Aalborg) I E-bikes (EnergyBs consortim) I Get closer to engineering I More extensive experimental validation is still reqired I Generate SDF + HPM from instrmented experiments I Extensions I Inclde: commnication costs, processor pinning/affinity,... I Inclde: battery charging: flly energy-self-aware systems I Scalability (heristic algorithms + parallel implementation) UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
64 Bibliography This presentation is based on for papers with PhD stdent Waheed Ahmad and co-spervisor Mariëlle Stoelinga: Ahmad, De Groote, Hölzenspies, Stoelinga, van de Pol, Resorce-constrained optimal schedling of synchronos dataflow graphs via timed atomata ACSD 4 Ahmad, Hölzenspies, Stoelinga, van de Pol, Green compting: Power optimisation of VFI-based real-time mltiprocessor dataflow applications DSD 5 Ahmad, Jongerden, Stoelinga, van de Pol, Model checking and evalating QoS of batteries in MPSoC dataflow applications via hybrid atomata ACSD 6 Waheed Ahmad and Jaco van de Pol, Synthesizing Energy-Optimal Controllers for Mltiprocessor Dataflow Applications with Uppaal Stratego.. ISOLA 6 UNIVERSITY OF TWENTE. Energy-optimization with Timed Atomata 8 Ag / 44
An Energy-Efficient Relaying Scheme for Internet of Things Communications
An Energy-Efficient Relaying Scheme for Internet of Things Commnications Ahmad Alsharoa, Xiaoyn Zhang, Daji Qiao, and Ahmed Kamal Electrical and Compter Engineering Iowa State University, Ames, Iowa Email:
More informationA Mathematical Model for Joint Optimization of Coverage and Capacity in Self-Organizing Network in Centralized Manner
2012 7th International ICST Conference on Commnications and Networking in China (CHINACOM) A Mathematical Model for Joint Optimization of Coverage and Capacity in Self-Organizing Network in Centralized
More informationNeuro-predictive control based self-tuning of PID controllers
Nero-predictive control based self-tning of PID controllers Corneli Lazar, Sorin Carari, Dragna Vrabie, Maris Kloetzer Gh. Asachi Technical Universit of Iasi, Department of Atomatic Control Blvd. D. Mangeron
More informationIEEE TRANSACTIONS ON COMPUTERS, VOL. 57, NO. 3, MARCH
IEEE TRANSACTIONS ON COMPUTERS, VOL. 57, NO. 3, MARCH 2008 1 An Energy-Delay Tnable Task Allocation Strategy for Collaborative Applications in Networked Embedded Systems Tao ie, Member, IEEE, and iao Qin,
More informationUTRAN Radio Resource Management
UTRAN Radio Resorce Management BTS 3 BTS 1 UE BTS 2 Introdction Handover Control Soft/Softer Handover Inter Freqency Handover Power Control Closed Loop Power Control Open Loop Power Control Interference
More informationHigh-Throughput Low-Complexity Successive- Cancellation Polar Decoder Architecture using One s Complement Scheme
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE, VOL.5, NO.3, JUNE, 5 ISSN(Print) 598-657 http://dx.doi.org/.5573/jsts.5.5.3.47 ISSN(Online) 33-4866 High-Throghpt Low-Complexity Sccessive- Cancellation
More informationNSF LC Workshop Comments
NSF LC Workshop Comments John Wroclawski USC/ISI The DETER Testbed Facility is: An experimental research platform... that spports the design, constrction, exection and stdy of complex networked cyber-
More informationAN ENERGY-AWARE AUCTION FOR HYBRID ACCESS IN HETEROGENEOUS NETWORKS UNDER QOS REQUIREMENTS
AN ENERGY-AWARE AUCTION FOR HYBRID ACCESS IN HETEROGENEOUS NETWORKS UNDER QOS REQUIREMENTS Fei Shen, Pin-Hsn Lin +, Lca Sanginetti, Meroane Debbah, Edard A. Jorswieck + Large Networks and System Grop (LANEAS,
More informationIEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 4, APRIL
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 4, APRIL 017 379 Dynamic Radio Cooperation for User-Centric Clod-RAN With Compting Resorce Sharing Tyen X. Tran, Stdent Member, IEEE and Dario
More informationMassive MIMO for Crowd Scenarios: A Solution Based on Random Access
Massive MIMO for Crowd Scenarios: A Soltion Based on Random Access Jesper H. Sørensen, Elisabeth de Carvalho and Petar Popovski Aalborg University, Department of Electronic Systems, Fredrik Bajers Vej
More informationFlexible Full-duplex Cognitive Radio Networks by Antenna Reconfiguration
IEEE/CIC ICCC Symposim on Wireless Commnications Systems Flexible Fll-dplex Cognitive Radio Networks by Antenna Reconfigration Liwei Song Yn Liao and Lingyang Song State Key Laboratory of Advanced Optical
More informationPerformance Analysis of MIMO MC-DS/CDMA System Using Chaotic Spreading Sequence
Performance Analysis of IO C-DS/CDA System Using Chaotic Spreading Seqence V.Nagarajan and P. Dananjayan 1 Abstract This paper presents a novel chaotic spreading seqence for mltiple inpt mltiple otpt mlti-carrier
More informationJOINT RESOURCE ALLOCATION ALGORITHMS FOR UPLINK IN 5G AND LTE NETWORK
JOINT RESOURCE ALLOCATION ALGORITHMS FOR UPLINK IN 5G AND LTE NETWORK Alaa Ghaith 1, Rima Hatom 2, Abbas Hatom 3 1 HKS Lab, Faclty of Sciences, Lebanese University, Beirt, Lebanon 2 LIP6, UPMC - University
More informationAdaptive Generation Method of OFDM Signals in SLM Schemes for Low-complexity
Adaptive Generation Method of OFDM Signals in SLM Schemes for Low-compleity Kee-Hoon Kim, Hyn-Seng Joo, Jong-Seon No, and Dong-Joon Shin 1 ariv:128.6412v1 [cs.it] 31 Ag 212 Abstract There are many selected
More informationUNIVERSITY OF TWENTE. Guard-based Partial-Order Reduction in LTSmin. Formal Methods & Tools.
UNIVERSITY OF TWENTE. Formal Methods & Tools. Guard-based Partial-Order Reduction in LTSmin Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 8 july 2013 SPIN 13, Stony Brook LTSmin Tool Architecture
More informationWireless Image Transmissions over Frequency Selective Channel Using Recent OFDMA Systems
American Jornal of Comptation, Commnication and Control 2018; 5(1): 30-38 http://www.aascit.org/jornal/ajccc ISSN: 2375-3943 Wireless Image Transmissions over Freqency Selective Channel sing Recent OFDA
More informationApplication of digital filters for measurement of nonlinear distortions in loudspeakers using Wolf s method
Application o digital ilters or measrement o nonlinear distortions in lodspeakers sing Wol s method R. Siczek Wroclaw University o Technology, Wybrzeze Wyspianskiego 7, 50-70 Wroclaw, Poland raal.siczek@pwr.wroc.pl
More informationOptimisation for the Telecommunication Industry using Quantum Annealing
Optimisation for the Telecommnication Indstry sing Qantm Annealing Catherine White, Tdor Popa BT Applied Research Plantagenet SYSTEMS BT Adastral Park http://atadastral.co.k/abot/bt-labs/ HARD PROBLEMS
More informationIEOR 130 Methods of Manufacturing Improvement Fall, 2016, Prof. Leachman Solutions to Homework Assignment 10.
IEOR 130 Methods of Manfactring Improvement Fall, 016, Prof. Leachman Soltions to Homework Assignment 10. 1. Consider a fab prodcing a NAND flash device. Prodction volme is 50,000 wafer starts per week.
More informationAn Adaptive Power Allocation Scheme for Space-Time Block Coded MIMO Systems
An Adaptive Power Allocation Scheme for Space-Time Block Coded IO Systems LiangXianandHapingLi School of Electrical Engineering and Compter Science Oregon State University Corvallis, OR 9733 USA Email:
More informationExtremum Tracking in Sensor Fields with Spatio-temporal Correlation
The Military Commnications Conference - Unclassified Program - Networking Protocols and Performance Track Extremm Tracking in Sensor Fields with Spatio-temporal Correlation Prithwish Bas Raytheon BBN Technologies
More informationNovel Approach to Uncertainty of Antenna Factor Measurement. Bittera Mikulas, Smiesko Viktor, Kovac Karol 1
7 th Symposim IEKO TC 4, rd Symposim IEKO TC 9 and 5 th IWADC Workshop Instrmentation for the ICT Era Sept. 8-0, 00, Kosice, Slovakia Novel Approach to Uncertainty of Antenna Factor easrement Bittera iklas,
More informationDynamic Fractional Frequency Reuse based on an Improved Water-Filling for Network MIMO
KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS VOL. 0, NO. 5, May. 06 4 Copyright c06 KSII Dynamic Fractional Freqency Rese based on an Improved Water-Filling for Network MIMO Noor Shahida M. K,,
More informationChapter 5 Design of a Digital Sliding Mode Controller
Chapter 5 Design of a Digital Sliding Mode Controller In chapter 4 the linear controllers PID and RST are developed to reglate the Bck converter pt voltage. Frthermore based on the PID and RST control
More informationA Cone-Based Distributed Topology-Control Algorithm for Wireless Multi-Hop Networks
A Cone-Based Distribted Topology-Control Algorithm for Wireless Mlti-Hop Networks Li (Erran) Li y Joseph Y. Halpern y Department of Compter Science Department of Compter Science Cornell University Cornell
More informationPowPak 20 A Receptacle Control Relay Module
PowPak Receptacle Control Relay Modle The PowPak Relay Receptacle Control Modle is a radio-freqency (RF), receptacle switching soltion that is capable of controlling receptacles based on inpt from Pico
More informationPractical solutions of numerical noise problems at simulation of switching transients to ship electric power systems
Practical soltions of nmerical noise problems at simlation of switching transients to ship electric power systems J. PROUSALIDIS 1 S. PERROS 2 I.K.HATZILAU 3 N. HATZIARGYRIOU 4 1 NATIONAL TECHNICAL UNIVERSITY
More informationPowPak 20 A Relay Module
PowPak 20 A Relay Modle The PowPak 20 A Relay Modle is a radio-freqency (RF), receptacle switching soltion that is capable of controlling 20 A receptacles based on inpt from Pico wireless controls and
More informationTelematics Solutions. Solutions. Telematics Solutions.
Telematics Soltions Soltions Telematics Soltions www.cti-int.com Telematics Telematics... Telematics is defined as machine-to-machine commnication, whereby a device plgged into the on-board diagnostics
More informationSIMSEN : A MODULAR SOFTWARE PACKAGE FOR THE ANALYSIS OF POWER NETWORKS AND ELECTRICAL MACHINES
SIMSEN : A MODULA SOFTWAE PACKAGE FO THE ANALYSIS OF POWE NETWOKS AND ELECTICAL MACHINES Dr A. Sapin, Prof. Dr J.J. Simond Swiss Federal Institte of Technology Electrical Engineering Dept CH1015 EcblensLasanne
More informationXIV International PhD Workshop OWD 2012, October Lumped Parameter Model of a Resistance Spot Welding DC-DC converter
XIV International PhD Workshop OWD, 3 October Lmped Parameter Model of a Resistance Spot Welding DC-DC converter Martin Petrn, University of Maribor (prof. dr. Drago Dolinar, University of Maribor) Abstract
More informationSHARING OF SPECTRUM USED BY SATELLITE SYSTEMS
SHARING OF SPECTRUM USED BY SATELLITE SYSTEMS HOW SATELLITE SYSTEMS SHARE SPECTRUM AMONG THEMSELVES, AND WITH TERRESTRIAL SYSTEMS Jose Albqerqe Chief, Satellite Division FCC May 17, 2017 Jly 20, 2015 Sharing
More informationTime Delay Estimation of Stochastic Signals Using Conditional Averaging
MEASUREMENT 11, Proceedings of the 8th International Conference, Smolenice, Slovakia Time Delay Estimation of Stochastic Signals Using Conditional Averaging 1 A. Kowalcyk, 1 R. Hans, 1 A. Slachta 1 Resow
More informationCROSS-LAYER RESOURCE ALLOCATION SCHEME UNDER HETEROGENEOUS CONSTRAINTS FOR NEXT GENERATION HIGH RATE WPAN
CROSS-LAYER RESOURCE ALLOCATION SCHEME UNDER HETEROGENEOUS CONSTRAINTS FOR NEXT GENERATION HIGH RATE WPAN Ayman Khalil, Matthie Crssière and Jean-François Hélard INSA, 20 avene des Bttes de Coësmes, 35708
More informationPerformance Analysis of Resource Selection Schemes for a Large Scale Video-on-demand System
Performance Analysis of Resorce Selection Schemes for a Large Scale Video-on-demand System Jn Go, Member, IEEE, Eric W. M. Wong, Senior Member, IEEE, Sammy Chan, Member, IEEE, Peter Taylor, Moshe Zkerman,
More information4G LTE PRODUCT CATALOGUE
4G LTE PRODUCT CATALOGUE AO100/4G/SMA Otdoor GSM/LTE Colinear Antenna AO100/4G/SMA/LL_15-0 Otdoor GSM/LTE Colinear Antenna SMA (Male) - options available on reqest 5m RG58 - other lengths are available
More informationTopology Control and Mobility Management in Mobile Ad Hoc Networks
Topology Control and Mobility Management in Mobile Ad Hoc Netorks Fei Dai and JIe W Department of Electrical and Compter Engineering North Dakota State Uniersity Department of Compter Science and Engineering
More informationVive Wireless Receptacle With Clear Connect Technology Wireless Receptacle Control. 15 A Split Receptacle * 15 A Duplex Receptacle * White WH
3691034c 1 09.01.17 The is a radio-freqency (RF) receptacle switching soltion that is capable of controlling 15 A or 20 A split or dplex style receptacles when paired with Pico wireless controls and occpancy/vacancy
More informationAlgorithms for Enhanced Inter Cell Interference Coordination (eicic) in LTE HetNets
1 Algorithms for Enhanced Inter Cell Interference Coordination (eicic) in LTE HetNets Spratim Deb, Pantelis Monogiodis, Jerzy Miernik, James P. Seymor arxiv:1302.3784v1 [cs.ni] 15 Feb 2013 Abstract The
More informationUNCERTAINTY ANALYSIS OF MEASURING SYSTEM FOR INSTANTANEOUS POWER RESEARCH
Metrol. Meas. Syst., Vol. XIX (0), No. 3, pp. 573-58. METROLOGY AND MEASUREMENT SYSTEMS Index 330930, ISSN 0860-89 www.metrology.pg.gda.pl UNCERTAINTY ANALYSIS OF MEASURING SYSTEM FOR INSTANTANEOUS POWER
More informationService Characterizations for Multi Hop Multiaccess Wireless Networks
Service Characterizations for Mlti Hop Mltiaccess Wireless Networks Hssein Al-Zbaidy Jörg Liebeherr EES Royal Institte of Technology Sweden; ECE University of Toronto Canada E-mail: hzbaidy@kthse jorg@commtorontoca
More informationPDHonline Course L175J (6 PDH) GPS Surveying. Instructor: Jan Van Sickle, P.L.S. PDH Online PDH Center
PDHonline Corse L175J (6 PDH GPS Srveying Instrctor: Jan Van Sickle, P.L.S. 01 PDH Online PDH Center 57 Meadow Estates Drive Fairfax, VA 0306658 Phone & Fax: 7039880088 www.pdhonline.org www.pdhcenter.com
More informationPerfection in all dimensions
44 55 60 S c a n w i d t h Perfection in all dimensions Optical resoltion 2400 x 1200 dpi Scan and mlti-fnctional soltions Made in Germany Perfection in all dimensions 44 55 60 S c a n w i d t h The sets
More informationTwo Control Strategies for Aggregated Wind Turbine Model with Permanent Magnet Synchronous Generator
Eropean Association for the Development of Renewable Energies, Environment and Power Qality (EA4EPQ) International Conference on Renewable Energies and Power Qality (ICREPQ ) Santiago de Compostela (Spain),
More informationA Novel Concept for Mains Voltage Proportional Input Current Shaping of a VIENNA Rectifier Eliminating Controller Multipliers
1 of 10 A Novel Concept for Mains Voltage Proportional Inpt Crrent Shaping of a VIENNA Rectifier Eliminating Controller Mltipliers Part I: Basic Theoretical Considerations and Experimental Verification
More informationAUTOMATIC SYNTHESIS USING GENETIC PROGRAMMING OF IMPROVED PID TUNING RULES
AUTOMATIC SYNTHESIS USING GENETIC PROGRAMMING OF IMPROVED PID TUNING RULES Matthew J. Streeter 1, Martin A. Keane, and John R. Koza 3 1 Genetic Programming, Inc. Econometrics, Inc. 3 Stanford University
More informationStudy of Color Quality Uniformity in Digital Dry Toner Electro-photographic Printing
International Jornal of Modern Commnication Technologies & Research (IJMCTR) ISSN: 2321-0850, Volme-2, Isse-9, September 2014 Stdy of Color Qality Uniformity in Digital Dry Toner Electro-photographic Printing
More informationOn Locality of Dominating Set in Ad Hoc Networks with Switch-On/Off Operations
On Locality of Dominating Set in Ad Hoc Netorks ith Sitch-On/Off Operations Jie W and Fei Dai Department of Compter Science and Engineering Florida Atlantic Uniersity Boca Raton, FL 3343 Abstract Roting
More informationREAL TIME COMPUTATION OF DIFFERENCE EQUATIONS
REAL TIME COMPUTATION OF DIFFERENCE EQUATIONS Carlos Celaya Borges, Jorges Illescas Chávez, Esteban Torres León, Artro Prieto Fenlabrada Institto Tecnológico de Pebla, Universidad Atónoma de Pebla ccelaya@si.bap.mx,
More informationTEN TOWERS OF TEN. Getting Ready. The Activity. Overview. Introducing
TEN TOWERS OF TEN NUMER PROAILIT/STATISTICS Addition Chance Eqations Getting Ready What o ll Need Snap Cbes, 60 of each of 2 colors per pair Die, 1 per pair Ten Towers of Ten game board, 1 per pair, page
More informationPhase Rotation Shift Keying for Low Power and High Performance WBAN In-body systems
Phase Rotation Shift Keying for Low Power and High Performance WBAN In-body systems Jng-Yeol Oh *, Jeong-Ki Kim, Hyng-Soo Lee *, Sang-Sng Choi *, Dong S. Ha Dept. Of Electrical and Compter Engineering
More informationAn Accurate Method to Determine the Muzzle Leaving Time of Guns
Sensors & Transdcers 4 by IFSA Pblishing, S. L. http://www.sensorsportal.com An Accrate Method to Determine the Mzzle Leaving Time of Gns H. X. Chao, M. Go, H. S. Hang, X. Y. Gao, S. L. Li, W. B. D Northwest
More informationDifferential Space Time Shift Keying for Dispersive Multi-user Scenarios using OFDM
Differential Space Time Shift Keying for Dispersive Mlti-ser Scenarios sing OFDM S.Rth Karnya Department of Information & Commnication Engineering, Anna University Chennai, Regional Center Madrai Madrai,
More informationEfficient Backbone Construction Methods in MANETs Using Directional Antennas
Efficient Backbone Constrction Methods in MANETs Using Directional Antennas Shhi Yang, Jie W Department of Compter Science and Engineering Florida Atlantic Uniersity Boca Raton, FL 33431 Fei Dai Microsoft
More informationStudy on Performance of Non-Linear Reactive Power Compensation by Using Active Power Filter under Load Conditions
http://dx.doi.org/10.5755/j01.eee.22.1.14098 ELEKTRONIKA IR ELEKTROTECHNIKA, ISSN 1392-1215, VOL. 22, NO. 1, 2016 Stdy on Performance of Non-Linear Reactive Power Compensation by Using Active Power Filter
More informationData Aggregation Scheduling in Wireless Networks with Cognitive Radio Capability
Data Aggregation Schedling in Wireless Networks with Cognitive Radio Capability Mingyan Yan, Sholing Ji, Meng Han, Yingsh Li, and Zhipeng Cai Department of Compter Science, Georgia State University, ATL,
More informationA NOVEL DECENTRALIZED MIMO-OFDM UPLINK DETECTION SCHEME. Andreas Ahrens, Xinning Wei, Tobias Weber, Shiyang Deng
A NOVEL DECENTRALIZED MIMO-OFDM ULINK DETECTION SCHEME Andreas Ahrens, Xinning Wei, Tobias Weber, Shiyang Deng University of Rostock Institte of Commnications {andreas.ahrens}{tobias.weber}@ni-rostock.de
More informationBit Error Probability of Space Shift Keying MIMO over Multiple-Access Independent Fading Channels
Bit Error Probability of Space Shift Keying MIMO over Mltiple-Access Independent Fading Channels Marco Di Renzo, Harald Haas To cite this version: Marco Di Renzo, Harald Haas. Bit Error Probability of
More informationMODELLING AND CONTROL OF A SINGLE DEGREE-OF-FREEDOM DYNAMIC WIND TUNNEL RIG
MODELLING AND CONTROL OF A SINGLE DEGREE-OF-FREEDOM DYNAMIC WIND TUNNEL RIG Pal M. Davison, Mario di Bernardo, Mark H. Lowenberg Departments of Aerospace Engineering and Engineering Mathematics, University
More informationIncrease in Multicast OFDM Data Rate in PLC Network using Adaptive LP-OFDM
Athor manscript, plished in "IEEE ICAST, Accra : Ghana (2009)" Increase in Mlticast OFDM Data Rate in PLC Network sing Adaptive LP-OFDM Ali Maiga, Jean-Yves Badais and Jean-François Hélard Institte of
More informationTHE MORE, THE BETTER. Getting Ready. The Activity. Overview. Introducing
THE MORE, THE BETTER Getting Ready What Yo ll Need Tangrams, set per child 7-piece Tangram Sqares, page 99, per grop (optional) Overview Children search for all the convex Tangram shapes that can be made
More informationAntenna Orientation Optimization for Minimum-Energy Multicast Tree Construction in Wireless Ad Hoc Networks with Directional Antennas
Antenna Orientation Optimization for Minimm-Energy Mlticast Tree Constrction in Wireless Ad Hoc Networks with Directional Antennas Song Go and Olier Yang School of Information Technology and Engineering
More informationDocument Version Publisher s PDF, also known as Version of Record (includes final page, issue and volume numbers)
Three-port bi-directional converter for electric vehicles: focs on high-freqency coaxial transformer Waltrich, G.; Darte, J.L.; Hendrix, M.A.M.; Palides, J.J.H. Pblished in: Proceedings of the 5th EVER
More informationA Resource Allocation Policy for Macro-Femto Double-layer Network
A Resorce Allocation Policy or Macro-Femto Doble-layer Network Yeshn He*, Ping D, Wenjing Li College o Inormation Engineering, East China University o Technology, Nanchang, Jiangxi,330013,China Abstract
More informationReview Paper Geometric Configuration Optimization for Baseline Interferometry
Research Jornal of Recent Sciences ISSN 2277-252 Vol. 2(5), 78-82, May (213) Res.J.Recent Sci. Reiew Paper Geometric Configration Optimization for Baseline Interferometry Abstract Aidin Gharahdaghi Amirkabir
More informationHIGH ACCURACY FILTER TRANSMISSION MEASUREMENT FOR DETERMINATION OF THE DETECTION EFFICIENCY CALIBRATION OF Si-SPAD DETECTORS
10th International DM Baltic Conference "INDUSTRIL ENGINEERING" 1-13 May 015, Tallinn, Estonia HIGH CCURCY FILTER TRNSMISSION MESUREMENT FOR DETERMINTION OF THE DETECTION EFFICIENCY CLIBRTION OF Si-SPD
More informationInternational Conference on Intelligent Systems Research and Mechatronics Engineering (ISRME 2015)
International Conference on Intelligent Systems Research and Mechatronics Engineering (ISRME 2015) An Improved Control Strategy for Fll-controlled Single-phase H Bridge Rectifier Qi Sheng-long 1, a, X
More informationOptimized Cosecant Patterns from Arrays of Discrete Sources
International Jornal of Compter Applications (975 8887) Volme 3 No. 8, March 25 Optimized Cosecant Patterns from Arrays of Discrete Sorces M. Chandrasekhar Research Scholar, Dept. of Electronics and Commnication
More informationThe information and wave-theoretic limits of analog beamforming
The information and wave-theoretic limits of analog beamforming Amine Mezghani and Robert W. Heath, Jr. Wireless Networking and Commnications Grop Department of ECE, The University of Texas at Astin Astin,
More informationRelationship between tensile properties of fibres and nonwoven fabrics
Indi an 10rnal of Fibre & Textile Research Vol. 26, December 200 I, pp. 398-402 Relationship between tensile properties of fibres and nonwoven fabrics P C Patel & V K Kothari a Department of Tex ti le
More informationSENSOR TECHNOLGY APPLICATIONS FOR MEDIUM VOLTAGE
1(8) SENSOR TECHNOLGY APPLICATIONS FOR MEDIUM VOLTAGE )** Athor & Presenter: Bo Westerholm B.Sc. Prodct development engineer, ABB Oy, Medim Voltage Technology 1. Introdction Sensors are a new soltion for
More informationHybrid Digital-Analog Transmission Taking Into Account D/A and A/D Conversion
Hybrid -Analog Transmission Taking Into Accont and Conversion Matthias Rüngeler and Peter Vary Institte of Commnication Systems and Data Processing ( ) RWTH Aachen University, Germany {rengeler vary}@ind.rwth-aachen.de
More informationAccurate Absolute and Relative Power Measurements Using the Agilent N5531S Measuring Receiver System. Application Note
Accrate Absolte and Relative ower easrements Using the Agilent N5531S easring Receiver System Application Note Table of Contents Introdction... N5531S easring Receiver System...3 N553A/B sensor modle...3
More informationComparative Evaluation of Multi-Loop Control Schemes for a High-Bandwidth AC Power Source with a Two-Stage LC Output Filter
22 IEEE Proceedings of the International Conference on Renewable Energy Research and Applications (ICRERA 22), Nagasaki, Japan, November -4, 22 Comparative Evalation of Mlti-Loop Control Schemes for a
More informationRedundancy detection protocol for area coverage control in heterogeneous wireless sensor networks
www.ijcsi.org 00 Redndancy detection protocol for area coverage control in heterogeneos wireless sensor networks Hervé Goko Diédié, Michel Babri and Soleymane Omtanaga 3 Compter Science Department, University
More informationImplementation of SVPWM Based Three Phase Inverter Using 8 Bit Microcontroller
International Jornal of Science, Engineering and Technology Research (IJSETR), Volme 4, Isse 6, Jne 015 Implementation of SVPWM Based Three Phase Inverter Using 8 Bit Microcontroller Prof. S. K. Patil
More informationMastering Operational Limitations of LEO Satellites The GOMX-3 Approach
IAC-16,B4,3,11,x35160 Mastering Operational Limitations of LEO Satellites The GOMX-3 Approach Gilles Nies 1, Marvin Stenger 1, Jan Krčál 1, Holger Hermanns 1, Morten Bisgaard 2, David Gerhardt 2, Boudewijn
More informationW-CDMA for UMTS Principles
W-CDMA for UMTS Principles Introdction CDMA Backgrond/ History Code Division Mltiple Access (CDMA) Why CDMA? CDMA Principles / Spreading Codes Mlti-path Radio Channel and Rake Receiver Problems to Solve
More informationIn-band Full Duplex Radio: A survey
In-band Fll Dplex Radio: A srvey Ashish Kmar Rao Research Scholar, Department of Electronics Engineering Institte of Engineering and Technology Lcknow, UP, India Rajiv Kmar Singh Assistant Professor Department
More informationOn the Performance of Transmitted-Reference Impulse Radio
MITSUBISHI LCTRIC RSARCH LABORATORIS http://wwwmerlcom On the erformance of Transmitted-Reference Implse Radio Sinan Gezici, Fredri Tfvesson, Andreas Molisch TR2004-14 November 2004 Abstract We consider
More informationANALYSIS OF THE EFFECT OF CALIBRATION ERROR ON LIGHT FIELD SUPER- RESOLUTION RENDERING
04 IEEE International Conference on Acostic, Speech and Signal Processing (ICASSP) ANALYSIS OF THE EFFECT OF CALIBRATION ERROR ON LIGHT FIELD SUPER- RESOLUTION RENDERING Kang-Ts Shih, Chen-Y Hs, Cheng-Chieh
More informationCompute-and-Forward for Random-Access: The Case of Multiple Access Points
JOURNAL OF LATEX CLASS FILES, VOL. 4, NO. 8, AUGUST 5 Compte-and-Forward for Random-Access: The Case of Mltiple Access Points Shwan Ashrafi, Chen Feng, Member, IEEE, and Smit Roy, Fellow, IEEE Abstract
More informationAalborg Universitet. Published in: I E E E Antennas and Wireless Propagation Letters
Aalborg Universitet Throghpt Modeling and Validations for MIMO-OTA Testing with Arbitrary Mltipath Chen Xiaoming; Fan Wei; Hentilä Lassi; Kyösti Pea; Pedersen Gert F. Pblished in: I E E E Antennas and
More informationNavegação e Determinação de Atitude em Aeronaves Através de Múltiplos Receptores GNSS
Navegação e Determinação de Atitde em Aeronaves Através de Múltiplos Receptores GNSS Afonso Rodriges Gonçalves Institto Sperior Técnico, Universidade Técnica de Lisboa Avenida Rovisco Pais, 1-149-1 Lisbon,
More informationFRT 041 System Identification Laboratory Exercise 3
FRT 041 System Identification Laboratory Exercise 3 Ulf Holmberg Revised: Kjell Gstafsson Karl Henrik Johansson Anders Wallén Johan Nilsson Rolf Johansson Johan Bengtsson Maria Henningsson Department of
More informationFIR Filter Design Using The Signed-Digit Number System and Carry Save Adders A Comparison
(IJAA) International Jornal of Advanced ompter cience and Applications, Vol. 4, No., 03 FIR Filter Design Using The igned-digit Nmber ystem and arry ave Adders A omparison Hesham Altwaijry ompter Engineering
More informationMultiple Clock and Voltage Domains for Chip Multi Processors
Multiple Clock and Voltage Domains for Chip Multi Processors Efraim Rotem- Intel Corporation Israel Avi Mendelson- Microsoft R&D Israel Ran Ginosar- Technion Israel institute of Technology Uri Weiser-
More informationPixel race. Resolution. f/2.8 For a 0.8 µm pixel pitch, the f-number needs to be lowered to f/2.0, according to the definition on the previous slide.
Pixel race Sense and sensitivity 29 International Image Sensor Workshop Mats Wernersson and Henrik Eliasson Not a race for more pixels: it s a race for smaller pixels! Why do pixels shrink? Becase we can!
More informationImprovement in direction discrimination: No role for eye movements
Perception & Psychophysics 1985, 38 (6), 554-558 Improvement in direction discrimination: No role for eye movements WILLIAM KOSNIK, JOHN FIKRE, and ROBERT SEKULER Northwestern University, Evanston, Illinois
More informationResource Optimization and Power Allocation in Full Duplex Non-Orthogonal Multiple Access (FD-NOMA) Networks
1 Resorce Optimization and Power Allocation in Fll Dplex Non-Orthogonal Mltiple Access (FD-NOMA) Networks Mohammed S. Elamy, Mehdi Bennis, Walid Saad, Méroane Deah, and Matti Latva-aho Centre for Wireless
More informationMulti-Cell Switch-Mode Power Amplifier with Closed-Loop Hybrid Output Voltage Filter
PIM Erope 05, 9 May 05, remberg, Germany Mlti-ell Switch-Mode Power Amplifier with losed-oop Hybrid Otpt Voltage Filter H.. Votzi, H. Ertl niversity of echnology Vienna, Institte of Energy Systems and
More informationDesign of APRS Network using Low Cost Nanosatellite
Design of APRS etwork sing Low Cost anosatellite Adnane ADDAIM, Abdelhak KHERRAS, El Bachir ZAOU, Abdelhafid ER-RADI Centre de Recherches et d Etdes Spatiales Ecole Mohammedia d Ingéniers, Rabat, Morocco.
More informationON THE DETECTION OF NON-STATIONARY SIGNALS IN THE MATCHED SIGNAL TRANSFORM DOMAIN
ON THE DETECTION OF NON-STATIONARY SIGNALS IN THE MATCHED SIGNAL TRANSFORM DOMAIN Andrei Anghel Gabriel Vasile Cornel Ioana Rems Cacovean Silvi Ciochina Grenoble INP / CNRS, Grenoble-Image-sPeech-Signal-Atomatics
More informationFrequency Synchronization Analysis in Digital lock-in Methods for Bio-impedance Determination
.478/msr-4-47 Freqency ynchronization Analysis in Digital lock-in Methods for Bio-impedance Determination obert Brajkovič, Tomaž Žagar and Dejan Križaj niversity of Ljbljana, Faclty of Electrical Engineering,
More informationApplication of Random Space Vector Pulse Width Modulation in Electric Vehicle
dvanced Science Technology Letters Vol143 (ST 017), pp89-93 http://dxdoiorg/101457/astl01714318 pplication of Rom Space Vector Plse Width Modlation in Electric Vehicle Goqiang hen School of Mechanical
More informationLocalization in a Wireless Sensor Network based on RSSI and a decision tree
Amine CHERIET, Mohamed OUSLIM, Kamel AIZI University of science and Technology Oran USTOMB Localization in a Wireless Sensor Network based on RSSI and a decision tree Abstract. In this paper, we propose
More informationChapter 5: outline. Network-layer functions. Chapter 5: outline. Routing protocols. data plane. Logically centralized control plane
Chapter : otline. introdction. roting protocols distance ector. intra-as roting in the Netork-laer fnctions Recall: to netork-laer fnctions: forarding: moe packets roter s inpt to appropriate roter otpt
More informationMinimization of the DC Current Ripple of a Three-Phase Buck+Boost PWM Unity Power Factor Rectifier
Minimization of the DC Crrent Ripple of a Three-Phase Bck+Boost PWM Unity Power Factor Rectifier Martina Bamann Vienna University of Technology Department of Electrical Drives and Machines Gsshasstrasse
More informationPerformance Comparison of Conventional STATCOM and STATCOM with Energy Storage in a Low Voltage Induction Motor Application
Performance Comparison of Conventional STATCOM and STATCOM with Energy Storage in a Low oltage Indction Motor Application Antti irtanen Department of Electrical Energy Engineering Tampere University of
More informationPerformance Analysis of TDMA MAC Schemes for Ad-Hoc Networks with Topology Control
erformance Analysis of MA MAC chemes for Ad-Hoc Networks with opology Control Konstantinos ikonomo, Member, I, Nikos ronios, Member, I, and Ioannis tavrakakis, enior Member, I 1 Abstract raditional omni-directional
More information