Programiranje u realnom vremenu Bojan Furlan
|
|
- Kristian Pierce
- 6 years ago
- Views:
Transcription
1 Programiranje u realnom vremenu Bojan Furlan
2 Tri procesa sa D = T imaju sledeće karakteristike: Proces T C a 3 1 b 6 2 c 18 5 (a) Pokazati kako se može konstruisati ciklično izvršavanje ovih procesa. (b) Pokazati kako izgleda raspoređivanje ovih procesa prema FPS šemi, uz prioritete dodeljene prema RMPO šemi, počev od kritičnog trenutka.
3 Minor period: 3; Major period: 18 a b a c1 a b a c2 a b a c3
4 loop wait_for_interrupt; procedure_a; procedure_b; wait_for_interrupt; procedure_a; procedure_c1; wait_for_interrupt; procedure_a; procedure_b; wait_for_interrupt; procedure_a; procedure_c2; wait_for_interrupt; procedure_a; procedure_b; wait_for_interrupt; procedure_a; procedure_c3; end loop;
5 Raspoređivanje na osnovu fiksnih prioriteta (engl. Fixed-Priority Scheduling, FPS). Svaki proces ima svoj fiksni, statički (pre izvršavanja) određen prioritet. Za izvršavanje se uvek bira onaj spreman proces koji ima najviši prioritet. U RT sistemima, prioriteti procesa su posledice njihovih vremenskih karakteristika, odnosno vremenskih ograničenja, a ne njihovog značaja za ispravnu funkcionalnost sistema ili njegov integritet.
6 Optimalan način za dodelu prioriteta periodičnim procesima po FPS šemi, tzv. dodela prioriteta monotono po učestanostima (engl. Rate-Monotonic Priority Ordering, RMPO): periodičnim procesima se dodeljuju jedinstveni prioriteti, monotono uređeni prema učestanosti procesa, tako da proces sa kraćom periodom ima viši prioritet. Drugim rečima, za svaka dva procesa i i j važi: T i < T j P i > P j.
7 (FPS test rasporedivosti, Liu & Layland, 1973): Ako je sledeći uslov ispunjen, onda je dati skup periodičnih procesa (za koje važi D = T) rasporediv pomoću FPS šeme: N i1 C T i i N 2 1/ N 1 Ovaj uslov je dovoljan za rasporedivost, što znači da će svi procesi sigurno ispoštovati svoje rokove ukoliko je uslov zadovoljen. Međutim, on nije i neophodan: ukoliko uslov nije zadovoljen, može, ali ne mora da se desi da neki proces prekorači svoj rok u vreme izvršavanja. Zbog toga ovaj test nije sasvim tačan, ali je siguran ukoliko je ispunjen.
8 Test rasporedivosti za FPS zasnovan na iskorišćenju: Ua=1/3, Ub= 1/3, Uc= 5/18 U = 17/18 = 0,944 > U(3) = 0,78
9 c b a Executing Process release time Preempted Process completion time - deadline met Process completion time - deadline missed
10 Za procese koji počinju u istom trenutku (kritični trenutak) može se pokazati da je dovoljno posmatrati vreme do isteka prve najduže periode procesa (Liu & Layland, 1973). To znači da je dovoljno pokazati da svi procesi zadovoljavaju svoj prvi rok, pa je sigurno da će zadovoljiti i svaki naredni.
11 Da li je sledeći skup procesa rasporediv po FPS šemi? Proces T D C a b c Rasporedivost ispitati pomoću testa zasnovanog na vremenu odziva.
12 hp(i) skup svih procesa višeg prioriteta od procesa i hp(i) j j j i i i C T R C R C T R Interference Maximum j j i j _ T R releases of Number j i j
13 Prioriteti prema DMPO: P c = 3, P b = 2, P a = 1. R c = C c = 9 < D c = 20, rasporediv; R b : R b := C b = 10 R b := /30*9 = 19 R b := /30*9 = 19 < D b = 30, rasporediv; R a : R a := C a = 10 R a := /30*9 + 10/40*10 = 29 R a := /30*9 + 29/40*10 = 29 < D a = 40, rasporediv.
14 U nekom RT sistemu kritične sigurnosti (engl. safety-critical system), skup procesa može da se koristi za nadzor ključnih događaja iz okruženja. Tipično postoji vremensko ograničenje između trenutka pojave događaja i odgovarajuće reakcije sistema (izlaza). Posmatra se skup događaja zajedno sa vremenom izvršavanja potrebnim za reakciju na događaje. Ako se za nadzor svakog događaja koristi zaseban periodičan proces i ti procesi se raspoređuju po FPS šemi, pokazati kako se može obezbediti da svi vremenski zahtevi budu ispunjeni. Događaj Ograničenje vremena reakcije A 36 2 B 24 1 C 10 1 D 48 4 E 12 1 Vreme izvršavanja
15 Svakom kritičnom događaju pridružuje se jedan periodični proces. Taj proces će periodično ispitivati da li se događaj dogodio ili nije (pretpostavlja se da se događaj pamti, bilo hardverski ili softverski, sve do trenutka dok ga ne obradi ovaj proces). Da bi se zadovoljio kriterijum kritičnog odziva sistema na događaj u najgorem slučaju, potrebno je da bude zadovoljeno: T + D T c, gde je T c kritično vreme odziva sistema. Ovo je potrebno jer se u najgorem slučaju može dogoditi da se događaj dogodi tik po aktivaciji periodičnog procesa, koji će ga pri toj aktivaciji propustiti, a da se na događaj reaguje tek pri narednoj aktivaciji procesa.
16 Najlakše je primeniti test zasnovan na iskorišćenju, pa se može najpre probati sa izborom parametara T = D da bi ovaj test bio primenjiv. Tako je izvršen izbor parametara gde je T + D = T c, jer se time dobija najrelaksiraniji uslov; Odatle sledi da je izabrano T = D = T c /2.
17 Proces T c C T D U A B C D E U = < U(5) = 0.743, pa je ovaj skup procesa rasporediv po FPS.
18 Implementirati ICPP raspoređivanje u školskom Jezgru. Izvršiti potrebne modifikacije u programskom interfejsu (engl. Application Programming Interface, API) prema korisničkom kodu koje su potrebne za zadavanje prioriteta niti, ali tako da kod koji je pravljen za prethodnu verziju Jezgra bude prevodiv i na novoj verziji. Kao jedinu primitivu za pristup do deljenih resursa predvideti realizovanu klasu Mutex koju treba modifikovati na odgovarajući način.
Red veze za benzen. Slika 1.
Red veze za benzen Benzen C 6 H 6 je aromatično ciklično jedinjenje. Njegove dve rezonantne forme (ili Kekuléove structure), prema teoriji valentne veze (VB) prikazuju se uobičajeno kao na slici 1 a),
More informationTEORIJA SKUPOVA Zadaci
TEORIJA SKUPOVA Zadai LOGIKA 1 I. godina 1. Zapišite simbolima: ( x nije element skupa S (b) d je član skupa S () F je podskup slupa S (d) Skup S sadrži skup R 2. Neka je S { x;2x 6} = = i neka je b =
More informationProjektovanje paralelnih algoritama II
Projektovanje paralelnih algoritama II Primeri paralelnih algoritama, I deo Paralelni algoritmi za množenje matrica 1 Algoritmi za množenje matrica Ovde su data tri paralelna algoritma: Direktan algoritam
More informationKLASIFIKACIJA NAIVNI BAJES. NIKOLA MILIKIĆ URL:
KLASIFIKACIJA NAIVNI BAJES NIKOLA MILIKIĆ EMAIL: nikola.milikic@fon.bg.ac.rs URL: http://nikola.milikic.info ŠTA JE KLASIFIKACIJA? Zadatak određivanja klase kojoj neka instanca pripada instanca je opisana
More informationUvod u relacione baze podataka
Uvod u relacione baze podataka Ana Spasić 2. čas 1 Mala studentska baza dosije (indeks, ime, prezime, datum rodjenja, mesto rodjenja, datum upisa) predmet (id predmeta, sifra, naziv, bodovi) ispitni rok
More informationRešenja zadataka za vežbu na relacionoj algebri i relacionom računu
Rešenja zadataka za vežbu na relacionoj algebri i relacionom računu 1. Izdvojiti ime i prezime studenata koji su rođeni u Beogradu. (DOSIJE WHERE MESTO_RODJENJA='Beograd')[IME, PREZIME] where mesto_rodjenja='beograd'
More informationZbirka ispitnih zadataka iz Baza Podataka 1 Ispiti i kolokvijumi u periodu
Beogradski univerzitet Elektrotehnički fakultet Miloš Cvetanović Zbirka ispitnih zadataka iz Baza Podataka 1 Ispiti i kolokvijumi u periodu 2007-2011 Beograd, Januar 2012 Ispiti... 3 Januarski ispitni
More informationZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA. Šefket Arslanagić, Sarajevo, BiH
MAT-KOL (Banja Luka) XXIII ()(7), -7 http://wwwimviblorg/dmbl/dmblhtm DOI: 75/МК7A ISSN 5-6969 (o) ISSN 986-588 (o) ZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA Šefket Arslanagić,
More informationFajl koji je korišćen može se naći na
Machine learning Tumačenje matrice konfuzije i podataka Fajl koji je korišćen može se naći na http://www.technologyforge.net/datasets/. Fajl se odnosi na pečurke (Edible mushrooms). Svaka instanca je definisana
More informationPRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU
MAT KOL Banja Luka) ISSN 0354 6969 p) ISSN 1986 58 o) Vol. XXI )015) 105 115 http://www.imvibl.org/dmbl/dmbl.htm PRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU Bernadin Ibrahimpašić 1 Senka Ibrahimpašić
More informationMetode praćenja planova
Metode praćenja planova Klasična metoda praćenja Suvremene metode praćenja gantogram mrežni dijagram Metoda vrednovanja funkcionalnosti sustava Gantogram VREMENSKO TRAJANJE AKTIVNOSTI A K T I V N O S T
More informationMathcad sa algoritmima
P R I M J E R I P R I M J E R I Mathcad sa algoritmima NAREDBE - elementarne obrade - sekvence Primjer 1 Napraviti algoritam za sabiranje dva broja. NAREDBE - elementarne obrade - sekvence Primjer 1 POČETAK
More informationMATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING BOTTLE CAPS
http://doi.org/10.24867/jpe-2018-02-055 JPE (2018) Vol.21 (2) Choudhary, M., Narang, R., Khanna, P. Original Scientific Paper MATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING
More informationDEVELOPMENT OF MATHEMATICAL MODELS TO PREDICT THE EFFECT OF INPUT PARAMETERS ON FEED RATE OF A RECIPROCATORY TUBE FUNNEL FEEDER
http://doi.org/10.24867/jpe-2018-01-067 JPE (2018) Vol.21 (1) Jain, A., Bansal, P., Khanna, P. Preliminary Note DEVELOPMENT OF MATHEMATICAL MODELS TO PREDICT THE EFFECT OF INPUT PARAMETERS ON FEED RATE
More informationMREŽNI DIJAGRAMI Planiranje
MREŽNI DIJAGRAMI Planiranje 1 Mrežno planiranje se zasniva na grafičkom prikazivanju aktivnosti usmerenim dužima. Dužina duži nema značenja, a sa dijagrama se vidi međuzavisnost aktivnosti. U mrežnom planiranju
More informationIskazna logika 1. Matematička logika u računarstvu. oktobar 2012
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu
More informationVeleučilište u Rijeci. Dodjela procesora (eng. CPU scheduling)
Veleučilište u Rijeci Dodjela procesora (eng. CPU scheduling) Pojmovi Program Statični niz instrukcija Proces Program u izvođenju Dretva (thread) Niz instrukcija koje se izvode Po potrebi dretve dijelimo
More informationDISTRIBUIRANI ALGORITMI I SISTEMI
Postavka 7: međusobno isključivanje sa read/write promenljivama 1 DISTRIBUIRANI ALGORITMI I SISTEMI Iz kursa CSCE 668 Proleće 2014 Autor izvorne prezentacije: Prof. Jennifer Welch Read/Write deljene promenljive
More informationUvod u analizu (M3-02) 05., 07. i 12. XI dr Nenad Teofanov. principle) ili Dirihleov princip (engl. Dirichlet box principle).
Uvod u analizu (M-0) 0., 07. i. XI 0. dr Nenad Teofanov. Kardinalni broj skupa R U ovom predavanju se razmatra veličina skupa realnih brojeva. Jasno, taj skup ima beskonačno mnogo elemenata. Pokazaće se,
More informationAsian Journal of Science and Technology Vol. 4, Issue 08, pp , August, 2013 RESEARCH ARTICLE
Available Online at http://www.journalajst.com ASIAN JOURNAL OF SCIENCE AND TECHNOLOGY ISSN: 0976-3376 Asian Journal of Science and Technology Vol. 4, Issue 08, pp.037-041, August, 2013 RESEARCH ARTICLE
More informationOsobine metode rezolucije: zaustavlja se, pouzdanost i kompletnost. Iskazna logika 4
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Rezolucija 1 Metod rezolucije je postupak za dokazivanje da li je neka iskazna (ili
More informationAIR CURTAINS VAZDU[NE ZAVESE V H
AIR CURTAINS V 15.000 H 21.000 KLIMA Co. 2 KLIMA Co. Flow and system stress should be known factors in air flow. The flow is gas quantity flowing through the system during given time unit and is measured
More informationREVIEW OF GAMMA FUNCTIONS IN ACCUMULATED FATIGUE DAMAGE ASSESSMENT OF SHIP STRUCTURES
Joško PAUNOV, Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Ivana Lučića 5, H-10000 Zagreb, Croatia, jparunov@fsb.hr Maro ĆOAK, Faculty of Mechanical Engineering and Naval
More informationMetrički prostori i Riman-Stiltjesov integral
Metrički prostori i Riman-Stiltjesov integral Sadržaj 1 Metrički prostori 3 1.1 Primeri metričkih prostora................. 3 1.2 Konvergencija nizova i osobine skupova...................... 12 1.3 Kantorov
More informationReal-time Systems: Scheduling Periodic Tasks
Real-time Systems: Scheduling Periodic Tasks Advanced Operating Systems Lecture 15 This work is licensed under the Creative Commons Attribution-NoDerivatives 4.0 International License. To view a copy of
More informationLecture 13. Real-Time Scheduling. Daniel Kästner AbsInt GmbH 2013
Lecture 3 Real-Time Scheduling Daniel Kästner AbsInt GmbH 203 Model-based Software Development 2 SCADE Suite Application Model in SCADE (data flow + SSM) System Model (tasks, interrupts, buses, ) SymTA/S
More informationEmbedded Systems 15. REVIEW: Aperiodic scheduling. C i J i 0 a i s i f i d i
Embedded Systems 15-1 - REVIEW: Aperiodic scheduling C i J i 0 a i s i f i d i Given: A set of non-periodic tasks {J 1,, J n } with arrival times a i, deadlines d i, computation times C i precedence constraints
More informationANALYSIS OF INFLUENCE OF PARAMETERS ON TRANSFER FUNCTIONS OF APERIODIC MECHANISMS UDC Života Živković, Miloš Milošević, Ivan Ivanov
UNIVERSITY OF NIŠ The scientific journal FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 6, 1999 pp. 675-681 Editor of series: Nenad Radojković, e-mail: radojkovic@ni.ac.yu Address: Univerzitetski
More informationEmbedded Systems Development
Embedded Systems Development Lecture 3 Real-Time Scheduling Dr. Daniel Kästner AbsInt Angewandte Informatik GmbH kaestner@absint.com Model-based Software Development Generator Lustre programs Esterel programs
More informationKristina Popadić. Analiza preživljavanja sa primenama u zdravstvenom osiguranju - master rad -
UNIVERZITET U NOVOM SADU PRIRODNO MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Kristina Popadić Analiza preživljavanja sa primenama u zdravstvenom osiguranju - master rad - Mentor: prof.
More informationScheduling Algorithms for Multiprogramming in a Hard Realtime Environment
Scheduling Algorithms for Multiprogramming in a Hard Realtime Environment C. Liu and J. Layland Journal of the ACM, 20(1):46--61, January 1973. 2 Contents 1. Introduction and Background 2. The Environment
More informationZadatci sa ciklusima. Zadatak1: Sastaviti progra koji određuje z ir prvih prirod ih rojeva.
Zadatci sa ciklusima Zadatak1: Sastaviti progra koji određuje z ir prvih prirod ih rojeva. StrToIntDef(tekst,broj) - funkcija kojom se tekst pretvara u ceo broj s tim da je uvedena automatska kontrola
More informationGrafovi. Osnovni algoritmi sa grafovima. Predstavljanje grafova
Grafovi Osnovni algoritmi sa grafovima U ovom poglavlju će biti predstavljene metode predstavljanja i pretraživanja grafova. Pretraživanja grafa podrazumeva sistematično kretanje vezama grafa, tako da
More informationANALYSIS OF THE RELIABILITY OF THE "ALTERNATOR- ALTERNATOR BELT" SYSTEM
I. Mavrin, D. Kovacevic, B. Makovic: Analysis of the Reliability of the "Alternator- Alternator Belt" System IVAN MAVRIN, D.Sc. DRAZEN KOVACEVIC, B.Eng. BRANKO MAKOVIC, B.Eng. Fakultet prometnih znanosti,
More informationReal-time Scheduling of Periodic Tasks (2) Advanced Operating Systems Lecture 3
Real-time Scheduling of Periodic Tasks (2) Advanced Operating Systems Lecture 3 Lecture Outline The rate monotonic algorithm (cont d) Maximum utilisation test The deadline monotonic algorithm The earliest
More information1.1 Algoritmi. 2 Uvod
GLAVA 1 Uvod Realizacija velikih računarskih sistema je vrlo složen zadatak iz mnogih razloga. Jedan od njih je da veliki programski projekti zahtevaju koordinisani trud timova stručnjaka različitog profila.
More informationStatic priority scheduling
Static priority scheduling Michal Sojka Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering November 8, 2017 Some slides are derived from lectures
More informationAlgoritam za množenje ulančanih matrica. Alen Kosanović Prirodoslovno-matematički fakultet Matematički odsjek
Algoritam za množenje ulančanih matrica Alen Kosanović Prirodoslovno-matematički fakultet Matematički odsjek O problemu (1) Neka je A 1, A 2,, A n niz ulančanih matrica duljine n N, gdje su dimenzije matrice
More informationOperaciona istraživanja 2. Poglavlje 8 - Teorija igara
8.1. Predmet teorije igara i osnovni pojmovi Operaciona istraživanja 2 - skripta za I kolokvijum 2012/13 (by Stepke) - Poglavlje 8 - Teorija igara Na primer, u igri šaha, rezultat igre ne zavisi samo od
More informationAPPROPRIATENESS OF GENETIC ALGORITHM USE FOR DISASSEMBLY SEQUENCE OPTIMIZATION
JPE (2015) Vol.18 (2) Šebo, J. Original Scientific Paper APPROPRIATENESS OF GENETIC ALGORITHM USE FOR DISASSEMBLY SEQUENCE OPTIMIZATION Received: 17 July 2015 / Accepted: 25 Septembre 2015 Abstract: One
More informationThe Prediction of. Key words: LD converter, slopping, acoustic pressure, Fourier transformation, prediction, evaluation
K. Kostúr, J. et Futó al.: The Prediction of Metal Slopping in LD Coerter on Base an Acoustic ISSN 0543-5846... METABK 45 (2) 97-101 (2006) UDC - UDK 669.184.224.66:534.6=111 The Prediction of Metal Slopping
More informationUOPŠTENI INVERZI, FAKTORI USLOVLJENOSTI I PERTURBACIJE
UNIVERZITET U NIŠU PRIRODNO MATEMATIČKI FAKULTET ODSEK ZA MATEMATIKU I INFORMATIKU Dijana Mosić UOPŠTENI INVERZI, FAKTORI USLOVLJENOSTI I PERTURBACIJE Doktorska disertacija Mentor Prof. dr Dragan Djordjević
More informationBROJEVNE KONGRUENCIJE
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Vojko Nestorović BROJEVNE KONGRUENCIJE - MASTER RAD - Mentor, dr Siniša Crvenković Novi Sad, 2011. Sadržaj Predgovor...............................
More informationZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013)
MAT-KOL (Banja Luka) ISSN 0354-6969 (p), ISSN 1986-5228 (o) Vol. XIX (3)(2013), 35-44 ZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013) Nenad O. Vesi 1 Du²an
More informationMehurasto sortiranje Brzo sortiranje Sortiranje učešljavanjem Sortiranje umetanjem. Overviev Problemi pretraživanja Heš tabele.
Bubble sort Razmotrimo još jedan vrlo popularan algoritam sortiranja podataka, vrlo sličan prethodnom algoritmu. Algoritam je poznat pod nazivom Bubble sort algoritam (algoritam mehurastog sortiranja),
More informationNeke klase maksimalnih hiperklonova
UNIVERZITET U NOVOM SDU PRIRODNO-MTEMTIČKI FKULTET DERRTMN Z MTEMTIKU I INFORMTIKU Jelena Čolić Neke klase maksimalnih hiperklonova - završni rad - MENTOR: Prof. dr Rozalija Madaras-Siladi Novi Sad, 2012.
More informationKonstrukcija i analiza algoritama
Konstrukcija i analiza algoritama 27. februar 2017 1 Pravila zaključivanja i tehnike dokazivanja u iskaznoj i predikatskoj logici 1 1.1 Iskazna logika Pravila zaključivanja za iskaznu logiku: 1. DODAVANJE
More informationKarakterizacija problema zadovoljenja uslova širine 1
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Aleksandar Prokić Karakterizacija problema zadovoljenja uslova širine 1 -master rad- Mentor: dr Petar Marković
More informationModified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems
CROATICA CHEMICA ACTA CCACAA 7 (2) 83 87 (2003) ISSN-00-3 CCA-2870 Note Modified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems Damir Vuki~evi} a, * and Nenad Trinajsti}
More informationU člnaku se nastoji na jednostavan i sažet način bez ulaženja u egzaktne i formalizirane dokaze postići slijedeće:
Mr Ratimir Kvaternik Fakultet organizacije i informatike V a r a ž d i n UDK 681.142.2 Prethodno saopćenje O D R E D J I V A N J E R A D N O G S K U P A S T R A N I C A U člnaku se nastoji na jednostavan
More informationSlika 1. Slika 2. Da ne bismo stalno izbacivali elemente iz skupa, mi ćemo napraviti još jedan niz markirano, gde će
Permutacije Zadatak. U vreći se nalazi n loptica različitih boja. Iz vreće izvlačimo redom jednu po jednu lopticu i stavljamo jednu pored druge. Koliko različitih redosleda boja možemo da dobijemo? Primer
More informationScheduling Periodic Real-Time Tasks on Uniprocessor Systems. LS 12, TU Dortmund
Scheduling Periodic Real-Time Tasks on Uniprocessor Systems Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 08, Dec., 2015 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 38 Periodic Control System Pseudo-code
More informationTermodinamika. FIZIKA PSS-GRAD 29. studenog Copyright 2015 John Wiley & Sons, Inc. All rights reserved.
Termodinamika FIZIKA PSS-GRAD 29. studenog 2017. 15.1 Thermodynamic Systems and Their Surroundings Thermodynamics is the branch of physics that is built upon the fundamental laws that heat and work obey.
More informationEXPERIMENTAL ANALYSIS OF THE STRENGTH OF A POLYMER PRODUCED FROM RECYCLED MATERIAL
A. Jurić et al. EXPERIMENTAL ANALYSIS OF THE STRENGTH OF A POLYMER PRODUCED FROM RECYCLED MATERIAL Aleksandar Jurić, Tihomir Štefić, Zlatko Arbanas ISSN 10-651 UDC/UDK 60.17.1/.:678.74..017 Preliminary
More informationCEC 450 Real-Time Systems
CEC 450 Real-Time Systems Lecture 3 Real-Time Services Part 2 (Rate Monotonic Theory - Policy and Feasibility for RT Services) September 7, 2018 Sam Siewert Quick Review Service Utility RM Policy, Feasibility,
More informationReal-Time Systems. Event-Driven Scheduling
Real-Time Systems Event-Driven Scheduling Hermann Härtig WS 2018/19 Outline mostly following Jane Liu, Real-Time Systems Principles Scheduling EDF and LST as dynamic scheduling methods Fixed Priority schedulers
More informationNAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA
NAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA studij Matematika i fizika; smjer nastavnički NFP 1 1 ZADACI 1. Mjerenjem geometrijskih dimenzija i otpora
More informationDYNAMIC HEAT TRANSFER IN WALLS: LIMITATIONS OF HEAT FLUX METERS
DYNAMI EAT TRANFER IN WALL: LIMITATION OF EAT FLUX METER DINAMIČKI PRENO TOPLOTE U ZIDOVIMA: OGRANIČENJA MERAČA TOPLOTNOG PROTOKA (TOPLOTNOG FLUKA) 1 I. Naveros a, b,. Ghiaus a a ETIL UMR58, INA-Lyon,
More informationKonstrukcija i analiza algoritama
Konstrukcija i analiza algoritama 27. februar 207 Matematička indukcija Princip matematičke indukcije: Da bi za svako n N važilo tvrdjenje T (n) dovoljno je pokazati: bazu indukcije: tvrdjenje T () induktivni
More informationTask Models and Scheduling
Task Models and Scheduling Jan Reineke Saarland University June 27 th, 2013 With thanks to Jian-Jia Chen at KIT! Jan Reineke Task Models and Scheduling June 27 th, 2013 1 / 36 Task Models and Scheduling
More informationFraktali - konačno u beskonačnom
Prirodno-Matematički fakultet, Niš. dexterofnis@gmail.com www.pmf.ni.ac.rs/dexter Nauk nije bauk, 2011 Sadržaj predavanja 1 Sadržaj predavanja 1 2 Sadržaj predavanja 1 2 3 Box-Counting dimenzija Hausdorfova
More informationAKSIOM IZBORA I EKVIVALENCIJE
Sveučilište J.J. Strossmayera Odjel za matematiku Preddiplomski sveučilišni studij matematike Igor Sušić AKSIOM IZBORA I EKVIVALENCIJE Završni rad Osijek, 2013. Sveučilište J.J. Strossmayera Odjel za matematiku
More informationVREMENSKE SERIJE U FINANSIJAMA: ARCH I GARCH
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Zoranka Desnica VREMENSKE SERIJE U FINANSIJAMA: ARCH I GARCH -završni rad - Novi Sad, oktobar 009. PREDGOVOR
More informationABOUT SOME VARIOUS INTERPRETATIONS OF THE FATIGUE CRITERION AT LOW NUMBER OF STRAIN CYCLES UDC Miodrag Janković
The Scientific Journal FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 8, 2001, pp. 955-964 ABOUT SOME VARIOUS INTERPRETATIONS OF THE FATIGUE CRITERION AT LOW NUMBER OF STRAIN CYCLES UDC
More informationUNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Ivan Marinković Klasifikacija H-matrica metodom skaliranja i njena primena u odred ivanju oblasti konvergencije
More informationKrive u prostoru Minkovskog
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Maja Jolić Krive u prostoru Minkovskog - master rad - Mentor: dr Sanja Konjik Novi Sad, 2016 Predgovor Na vratima
More informationKsenija Doroslovački KOMBINATORIKA INTERPRETIRANA FUNKCIJAMA I NJIHOVIM OSOBINAMA MASTER RAD. NOVI SAD jun 2008
1 Ksenija Doroslovački KOMBINATORIKA INTERPRETIRANA FUNKCIJAMA I NJIHOVIM OSOBINAMA MASTER RAD NOVI SAD jun 2008 2 Sadržaj 1 UVOD 5 2 FUNKCIJE 11 3 KLASIČNI KOMBINATORNI OBJEKTI 17 4 NEKI NEKLASIČNI KOMBINATORNI
More informationHamiltonovi grafovi i digrafovi
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Slobodan Nogavica Hamiltonovi grafovi i digrafovi Master rad Novi Sad, 2016 Sadržaj Predgovor...2 Glava 1. Uvod...3
More informationSinhronizacija procesa
Sinhronizacija procesa Procesi često moraju međusobno komunicirati. Za procese smo rekli da su kooperativni ako utiču ili na njih utiču drugi procesi. Oni mogu, ili direktno dijeliti logički adresni prostor,
More informationSchedulability of Periodic and Sporadic Task Sets on Uniprocessor Systems
Schedulability of Periodic and Sporadic Task Sets on Uniprocessor Systems Jan Reineke Saarland University July 4, 2013 With thanks to Jian-Jia Chen! Jan Reineke July 4, 2013 1 / 58 Task Models and Scheduling
More informationAnalogne modulacije / Analog modulations
Analogne modulacije / Analog modulations Zadatak: Na slici 1 je prikazana blok ²ema prijemnika AM-1B0 signala sa sinhronom demodulacijom. Moduli²u i signal m(t) ima spektar u opsegu ( f m f m ) i snagu
More informationReal-Time Systems. Lecture #14. Risat Pathan. Department of Computer Science and Engineering Chalmers University of Technology
Real-Time Systems Lecture #14 Risat Pathan Department of Computer Science and Engineering Chalmers University of Technology Real-Time Systems Specification Implementation Multiprocessor scheduling -- Partitioned
More informationMatematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin
Matematika (PITUP) FOI, Varaždin Dio II Bez obzira kako nam se neki teorem činio korektnim, ne možemo biti sigurni da ne krije neku nesavršenost sve dok se nam ne čini prekrasnim G. Boole The moving power
More informationBounding the End-to-End Response Times of Tasks in a Distributed. Real-Time System Using the Direct Synchronization Protocol.
Bounding the End-to-End Response imes of asks in a Distributed Real-ime System Using the Direct Synchronization Protocol Jun Sun Jane Liu Abstract In a distributed real-time system, a task may consist
More informationThe temperature dependence of the disproportionation reaction of iodous acid in aqueous sulfuric acid solutions
J. Serb. Chem. Soc. 67(5)347 351(2002) UDC 542.9:546.155+535.243:536.5 JSCS-2955 Original scientific paper The temperature dependence of the disproportionation reaction of iodous acid in aqueous sulfuric
More informationOperativni sistemi 2
Operativni sistemi 2 3. Upravljanje resursima Zadatak 1. Januar 2007. Tri uporedna procesa, A, B i C zauzimaju i oslobađaju dva nedeljiva resursa X i Y po sledećem redosledu: A: request(x), release(x),
More informationTEHNIČKO REŠENJE. Algoritam za sinhronizaciju rada prediktora DRAM memorija
TEHNIČKO REŠENJE Algoritam za sinhronizaciju rada prediktora DRAM memorija M-85: Prototip, nova metoda, softver, standardizovan ili atestiran instrument, nova genetska proba, mikroorganizmi Autori: Vladimir
More informationU X. 1. Multivarijantna statistička analiza 1
. Multivarijantna statistička analiza Standardizovana (normalizovana) vrednost obeležja Normalizovano odstupanje je mera varijacije koja pokazuje algebarsko odstupanje jedne vrednosti obeležja od aritmetičke
More information24. Balkanska matematiqka olimpijada
4. Balkanska matematika olimpijada Rodos, Gka 8. apil 007 1. U konveksnom etvoouglu ABCD vaжi AB = BC = CD, dijagonale AC i BD su azliite duжine i seku se u taki E. Dokazati da je AE = DE ako i samo ako
More informationDekartov proizvod grafova
UNIVERZITET U NOVOM SADU PRIRODNO - MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Marijana Petričević Jović Dekartov proizvod grafova Master rad Mentor: Prof. dr Ivica Bošnjak Novi Sad, 2017
More informationNon-Preemptive and Limited Preemptive Scheduling. LS 12, TU Dortmund
Non-Preemptive and Limited Preemptive Scheduling LS 12, TU Dortmund 09 May 2017 (LS 12, TU Dortmund) 1 / 31 Outline Non-Preemptive Scheduling A General View Exact Schedulability Test Pessimistic Schedulability
More informationPRIMENA FAZI LOGIKE ZA REŠAVANJE NP-TEŠKIH PROBLEMA RUTIRANJA VOZILA I
UNIVERZITET U BEOGRADU MATEMATIČKI FAKULTET Nina Radojičić PRIMENA FAZI LOGIKE ZA REŠAVANJE NP-TEŠKIH PROBLEMA RUTIRANJA VOZILA I METODAMA LOKACIJE RESURSA RAČUNARSKE INTELIGENCIJE doktorska disertacija
More informationAPPLICATION OF THOMAS-FERMI MODEL TO FULLERENE MOLECULE AND NANOTUBE UDC 547. Yuri Kornyushin
FACTA UNIVERSITATIS Series: Physics, Chemistry and Technology Vol. 5, N o 1, 2007, pp. 11-18 DOI: 10.2298/FUPCT0701011K APPLICATION OF THOMAS-FERMI MODEL TO FULLERENE MOLECULE AND NANOTUBE UDC 547 Yuri
More informationSignal s(t) ima spektar S(f) ograničen na opseg učestanosti (0 f m ). Odabiranjem signala s(t) dobijaju se 4 signala odbiraka: δ(t kt s τ 2 ),
Signali i sistemi Signal st ima spektar Sf ograničen na opseg učestanosti 0 f m. Odabiranjem signala st dobijaju se signala odbiraka: s t = st s t = st s t = st s t = st δt k, δt k τ 0, δt k τ i δt k τ,
More informationON ORBITS FOR A PARTICULAR CASE OF AXIAL SYMMETRY
Serb. Astron. J. 178 (2009), 29-37 UDC 524.62 334.2 DOI: 10.2298/SAJ0978029N Original scientific paper ON ORBITS FOR A PARTICULAR CASE OF AXIAL SYMMETRY S. Ninković and B. Jovanović Astronomical Observatory,
More informationKVADRATNE INTERPOLACIJSKE METODE ZA JEDNODIMENZIONALNU BEZUVJETNU LOKALNU OPTIMIZACIJU 1
MAT KOL (Banja Luka) ISSN 0354 6969 (p), ISSN 1986 5228 (o) Vol. XXII (1)(2016), 5 19 http://www.imvibl.org/dmbl/dmbl.htm KVADRATNE INTERPOLACIJSKE METODE ZA JEDNODIMENZIONALNU BEZUVJETNU LOKALNU OPTIMIZACIJU
More informationMULTIVERZUM I TOPOLOGIJA VREMENA
THEORIA 1 BIBLID 0351 2274 : (2013) : 56 : p. 47 57 DOI: 10.2298/THEO1301045J Originalni naučni rad Original Scientific Paper Vladimir Jevtić MULTIVERZUM I TOPOLOGIJA VREMENA APSTRAKT: Savremene kosmološke
More informationFibonaccijev brojevni sustav
Fibonaccijev brojevni sustav Ljerka Jukić asistentica Odjela za matematiku Sveučilišta u Osijeku, ljukic@mathos.hr Helena Velić studentica Odjela za matematiku Sveučilišta u Osijeku, hvelic@mathos.hr Sažetak
More informationSegment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks
Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks Junsung Kim, Björn Andersson, Dionisio de Niz, and Raj Rajkumar Carnegie Mellon University 2/31 Motion Planning on Self-driving Parallel
More informationNilpotentni operatori i matrice
Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Nikolina Romić Nilpotentni operatori i matrice Završni rad Osijek, 2016. Sveučilište J. J. Strossmayera
More informationReal-Time Systems. Event-Driven Scheduling
Real-Time Systems Event-Driven Scheduling Marcus Völp, Hermann Härtig WS 2013/14 Outline mostly following Jane Liu, Real-Time Systems Principles Scheduling EDF and LST as dynamic scheduling methods Fixed
More informationLec. 7: Real-Time Scheduling
Lec. 7: Real-Time Scheduling Part 1: Fixed Priority Assignment Vijay Raghunathan ECE568/CS590/ECE495/CS490 Spring 2011 Reading List: RM Scheduling 2 [Balarin98] F. Balarin, L. Lavagno, P. Murthy, and A.
More information6 th INTERNATIONAL CONFERENCE
6 th INTERNATIONAL CONFERENCE Contemporary achievements in civil engineering 20. April 2018. Subotica, SERBIA ABSOLUTE MOVEMENTS OF LARGE DAMS ANALYSIS BY REGRESSION METHOD UTILIZATION Žarko Nestorović
More informationON A JERK DYNAMICAL SYSTEM II UDC Sonja Gegovska-Zajkova 1, Ljubiša M. Kocic 2
FACTA UNIVERSITATIS Series: Automatic Control and Robotics Vol. 10, N o 1, 2011, pp. 29-36 ON A JERK DYNAMICAL SYSTEM II UDC 681.5.01 517.93 Sonja Gegovska-Zajkova 1, Ljubiša M. Kocic 2 1 University Ss
More informationDynamic analysis of 2-D and 3-D quasi-brittle solids and structures by D/BEM
THEORETICAL AND APPLIED MECHANICS vol. 27, pp. 39-48, 2002 Dynamic analysis of 2-D and 3-D quasi-brittle solids and structures by D/BEM George D.Hatzigeorgiou and Dimitri E.Beskos Submitted 12 February,
More informationMATHEMATICAL MODELING OF DIE LOAD IN THE PROCESS OF CROSS TUBE HYDROFORMING
Journal for Technology of Plasticity, Vol. 40 (2015), Number 1 MATHEMATICAL MODELING OF DIE LOAD IN THE PROCESS OF CROSS TUBE HYDROFORMING Mehmed Mahmić, Edina Karabegović University of Bihać, Faculty
More informationFTN Novi Sad Katedra za motore i vozila. Drumska vozila Uputstvo za izradu vučnog proračuna motornog vozila. 1. Ulazni podaci IZVOR:
1. Ulazni podaci IZVOR: WWW.CARTODAY.COM 1. Ulazni podaci Masa / težina vozila Osovinske reakcije Raspodela težine napred / nazad Dimenzije pneumatika Čeona površina Koeficijent otpora vazduha Brzinska
More informationDetermination of Synchronous Generator Armature Leakage Reactance Based on Air Gap Flux Density Signal
ISSN 0005 1144 ATKAAF 48(3 4), 129 135 (2007) Martin Jadrić, Marin Despalatović, Božo Terzić, Josip Macan Determination of Synchronous Generator Armature Leakage Reactance Based on Air Gap Flux Density
More informationINVESTIGATION OF UPSETTING OF CYLINDER BY CONICAL DIES
INVESTIGATION OF UPSETTING OF CYLINDER BY CONICAL DIES D. Vilotic 1, M. Plancak M 1, A. Bramley 2 and F. Osman 2 1 University of Novi Sad, Yugoslavia; 2 University of Bath, England ABSTRACT Process of
More information