Optimal Static Partition Configuration in ARINC653 System
|
|
- Lora Tate
- 5 years ago
- Views:
Transcription
1 JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 9, NO. 4, DECEMBER 7 Optmal Statc rtton Confguraton n ARINC6 System Sheng-Ln Gu, Le Luo, Sen-Sen Tang, and Yang Meng Abstract ARINC6 systems, whch have been wdely used n avoncs ndustry, are an mportant class of safety-crtcal applcatons. rttons are the core concept n the Arnc6 system archtecture. Due to the exstence of parttons, the system desgner must allocate adequate tme slots statcally to each partton n the desgn phase. Although some tme slot allocaton polces could be borrowed from task schedulng polces, no exstng lteratures gve an optmal allocaton polcy. In ths paper, we present a partton confguraton polcy and prove that ths polcy s optmal n the sense that f ths polcy fals to confgure adequate tme slots to each partton, nor do other polces. Then, by smulaton, we show the effects of dfferent partton confguraton polces on tme slot allocaton of parttons and task response tme, respectvely. Index Terms ARINC6, earlest-next release tme frst polcy, optmal partton confguraton polcy, real-tme systems.. Introducton Hard real-tme (HRT) systems are a class of specfc computng systems, whch are usually embedded nto other physcal devces and used to execute tasks wth rgorous real-tme computng requrements. Wth the ncrement of hardware capablty and enhancement of software engneerng technques, HRT systems become more wdely used n aerospace domans, such as ntegrated modular avoncs (IMA) [] and flght control systems. To promote safety, effcency, regularty, and nterchangeablty, and to reduce lfe-cycle costs n the development of dgtal Manuscrpt receved July 8, ; revsed October 7,. Ths work was supported by the Natonal Natural Scence Foundaton of Chna under Grant No and by the Natonal Hgh-Tech Research and Development Plan of Chna under Grant No. 7AA4. S.-L. Gu, L. Luo, S.-S. Tang, and Y. Meng are wth the School of Computer Scence and Engneerng, Unversty of Electronc Scence and Technology of Chna (e-mal: shengln_gu@uestc.edu.cn; lluo@uestc. edu.cn; tssen@6.com; mengyang@6.com). Color versons of one or more of the fgures n ths paper are avalable onlne at Dgtal Object Identfer:.969/j.ssn X..4.6 avoncs systems, the 6 seres of ARINC (Aeronautcal Rado, Incorporated) specfcatons and reports descrbe the desgn foundaton for such systems nstalled on arcrafts. Wthn the 6 seres, a standard, ARINC6 [], was presented to defne space and tme parttonng, whereby the applcatons resdent on a core module are parttoned wth respect to space (memory parttonng) and tme (temporal parttonng). These parttons on the same core module must be scheduled on statcally predefned and fxed tme slots wthn each major tme frame (MTF), and satsfy the correspondng partton parameters. The tme slot allocaton to each partton wthn a MTF s called as partton confguraton. That MTF s perodcally repeated throughout the module s runtme operaton. Due to most works on ARINC6 doman focusng on modelng [],[4] and on task analyss [] [7], system desgners usually confgure tme slots of each partton manually [8], whch s a heavy, complcated, and error-prone job when the number of parttons ncreases, snce the tme slots of each partton nvocaton could be non-consecutve and constrcted by the perodcty requrement. In addton, a few tools [8],[9] could facltate system desgners only to a lmted extent. requrement enforcement analyss language (REAL) [8], for example, just helps desgners to verfy correctness of MTF, not generatng partton confguraton. Other lteratures gve some ways to generate partton confguratons automatcally accordng to some schedulng algorthms, lke deadlne-monotonc schedulng [] (DMS). In [], the authors dscussed some confguraton prncples of IO (nput/output) partton. To our best knowledge, none of the exstng lteratures dscussed the optmal ssue n partton confguraton of ARINC6 systems. Hence, the motvaton of ths paper s to fnd the optmal partton confguraton polcy n parttoned systems, f ths optmal polcy s not feasble for a set of parttons, nor are other confguratons. In Secton, the formal model and the correspondng notatons of ARINC6 partton are gven. Secton presents a polcy to generate partton confguraton automatcally and proves ths polcy optmal. In Secton 4, by smulaton, we show the effects of dfferent partton confguraton polces on tme slot allocaton and on task response tme, respectvely. Fnally, conclusons are drawn n Secton.
2 74 JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 9, NO. 4, DECEMBER Fg.. ARINC6 system archtecture.. System Model An Arnc6 system may comprse of one or more core modules connected wth one another usng swtched Ethernet, and each core module may consst of one or more processors, as llustrated n Fg.. A set of parttons, Π = { P, P,, } P n, runs on a processor of a core module, and s scheduled on statc tme slots wthn a perodc local MTF, where each partton P k ( k n ) has a perod U k, a duraton S k, an offset O k relatve to the start of the frst MTF, and a set of tasks, Γ {,,, = τ,,, } k τ k τ k k n. Each nvocaton of a partton must complete ts duraton before the next nvocaton s release of the same partton. The length of the local MTF, MF, s fxed and defned as a multple of the least common multple (LCM) of all partton perods on the processor, namely MF = k LCM( U, U,, U ), k () n where s the set of nature numbers. Unless otherwse specfed, ths paper concerns the parttons on one processor by default. Hence, n the rest of ths paper, MTF means the local MTF. A detaled example of a partton set s gven by Table. On one processor there are three parttons. We can see partton P wth U = ms s released at tme ponts ms, τ, τ,n Pratton Pratton Pratton Pratton Pratton P P P P P MF MF Core module Module Table : rtton parameters rtton U/ms S/ms O/ms Task set P 8 τ, τ P 4 τ, τ 4 P 4 7 τ, τ 6 P P P P P P P P P P P P P P P P P Fg.. Example of a MTF. τ, τ,n τ, Processor τ,n MF Processor Processor MF (ms) τ, τ,n CoreModule module Ethernet 4 τ, Processor τ,n MF CoreModule module ms, 6 ms, 9 ms, and ms, respectvely; partton P s released every ms, begnnng from the tme pont 4 ms, wth ts perod U = ms and offset Ο =4 ms; partton P s released at tme ponts 7 ms, 47 ms, and 87 ms. MF s set as LCM(U,U,U )= ms. The frst MTF s shown n Fg., wthn the tme nterval [, ]. The symbol denotes the release of a partton nvocaton. Due to the frst releases of parttons P and P, both the frst nvocaton of partton P and that of P are cut nto two nonadjacent tme ntervals.. rtton Confguraton As mentoned n Secton, the tme slot allocaton to each partton n each MTF must satsfy the correspondng partton propertes. We frst gve the defnton of the feasblty of the partton confguraton polcy. Defnton. A partton confguraton polcy s feasble for a set of parttons, f any nvocaton of each partton can be allocated wth tme slots, of whch the total amount s equal to the correspondng partton duraton, before the next released nvocaton of the same partton. The partton confguraton polcy n Fg. s feasble, snce each partton nvocaton could be allocated adequate tme slots before the next released one. If there exsts a feasble tme slot confguraton polcy for a set of parttons, Π={P, P,, P n }, we have the followng property. Theorem. If there exsts a feasble partton confguraton polcy for a set of parttons, Π={P, P,, P n }, S U must be satsfed. n Proof. Assume S U > and there also exsts a n feasble partton confguraton polcy. The total amount of tme slots needed by all parttons wthn the length of MTF, MF, s ( U ) S, whch satsfes: MF n ( MF U) S = MF S U > MF. () n n Equaton () means the total needed amount of tme slots s larger than MF, that s, there must exst at least one partton nvocaton that could not fnsh before ts next release, whch contradcts the assumpton above. An nterestng observaton n Fg. s that tme slots are always allocated to the newly released parttons, as f the newly released partton has the hghest prorty. For example, at tme pont 4, partton P s released and preempts P ; at tme pont 7, partton P s released and preempts P. In other words, although ARINC6 defnes that all parttons are equal, ts semantcs mples that the prorty of tme slot allocaton s gven to the newly released partton. We call ths property preempton frst (PF). However, ARINC6 s semantcs does not defne whch preempted partton should resume executon
3 GUI et al.: Optmal Statc rtton Confguraton n ARINC6 System 7 frst after the newly released partton fnshes, namely the defnton of resumng polces s absent from ARINC6. In Fg., at tme pont 8, partton P fnshes, and whch partton, P or P, should resume executon frst, s nondetermnstc. The resumng polcy n Fg. chooses partton P to resume frst. By ths resumng polcy, all partton nvocatons can fnsh before the next released nvocaton of the same partton. Snce partton confguraton polces are dstnct from each other just n resumng polces, n ths paper, unless otherwse specfed, we do not dstngush between the partton confguraton polcy and the resumng polcy. In the followng part, an optmal partton confguraton polcy, earlest-next release tme frst (ENRTF), are presented to generate partton confguraton automatcally, so that a lot of system desgners tme and efforts could be saved when the scale of parttons ncreases. Frstly, the defntons of an optmal partton confguraton polcy and the ENRTF polcy are gven as follows. Defnton. A partton confguraton polcy s optmal n the sense that f ths polcy s not feasble for a set of parttons, nor are other polces. Defnton. The partton confguraton polcy ENRTF resumes the preempted nvocaton wth the earlest-next release tme, when the newly released partton fnshes, and confgures tme slots to ths nvocaton untl the duraton of ths nvocaton s satsfed, or a new partton s released. In Fg., the resumng polcy does not satsfy ENRTF polcy, at tme pont 8, partton P fnshes and P resumes. However, the next nvocatons of P and P wll be released at tme ponts and 4, respectvely, where tme pont 4 s the earlest one seen from tme pont 8. Hence, accordng to the ENRTF polcy, the tme slots [8, ] should be allocated to partton P and slots [, 4] to P. Theorem. The partton confguraton polcy, ENRTF, s an optmal resumng polcy. Proof. We shall prove the nverse negatve proposton of Defnton, that s, f there exsts a feasble partton confguraton polcy for a set of parttons, then the ENRTF polcy s also feasble for those parttons. Assume there exsts a feasble polcy X for a set of parttons. Wthout loss of generalty, consder the tme slots between two nvocatons of partton P a n Fg. (a). Before P a fnshes, P b s released and preempts P a. Smlarly, P c s released and preempts P b before P b fnshes, then P d and P e are released n sequence. Note that the resumng polces are responsble for assgnng tme slots to those preempted parttons only when the latest released partton fnshes and no new partton s released, as llustrated by the bold box,, and n Fg. (a). Each slot n box s denoted as P P, where P { P, P, P, } x, x a b c { P, P, P, P, }, P { P, P, P, P, P, } x a b c d. x a b c d e P x = P a x x P b t MF (a) means that ths slot s dle. Hence, due to the feasble polcy X, there must be tme slots wthn these three boxes for P a, of whch the amount s equal to S a x, shown as the shaded tme slots n Fg. (a). We could shft and consoldate all Px s, whch are equal to P a and wthn the three boxes, towards P c s completon tme t, as shown n Fg. (b). Now the tme slot allocaton n the new box s consstent wth the ENRTF polcy, snce P a has the earlest-next release tme seen from tme t. Then, the above process could repeat for the rest tme slots, untl all tme slots allocaton becomes consstent wth the ENRTF polcy. The case gven above can be generalzed as the followng process. When a feasble partton confguraton polcy exsts for a gven set of parttons, let us scan ts whole tme slot allocaton from ts begnnng to the end. At any tme t m, when a partton fnshes, we choose the one wth the earlest-next release among all released parttons, say P, and consoldate the tme slots of P wthn the nterval [t m, t ], where t s the P s next release tme. Consoldaton s processed by shftng these tme slots towards tme pont t m and dsplacng tme slots that have not been consoldated. Snce ths process merely swtches the order of the tme slots wthn the nterval endng at t, no tme slots are dsplaced beyond t, n other words, no dsplaced tme slots affect the feasblty of that resumng polcy. The resultng tme slot allocaton after the scan s the ENRTF polcy, whch s also feasble for that set of parttons. MF Ωa x (b) Fg.. Tme slots assgned by partton confguraton polcy X. P P ENRTF Resumng polcy X P P P P P P P U MF U Fg. 4. Tme slot allocaton wthn two MTFs. P b P d P d P c P c P P P P P P MF
4 76 Although we have proved the optmal partton confguraton polcy for ARINC6 systems, that s stll not suffcent for generatng the partton confguraton automatcally. To guarantee the perodcty of tme slot confguraton of MTF, we have to make more constrants on partton parameters. Consder the followng two parttons: U = ms, S = ms, and O = ms; U =4 ms, S = ms, and O = ms, and assume the value of k n MF equal to, hence MF=LCM(U, U )=. The partton confguraton polcy we choose allocates tme slots to partton P when P and P released smultaneously, as shown n Fg. 4. In Fg. 4, we can see that ths polcy s feasble for these two parttons. However, the tme slot allocaton n the frst MTF s not exactly the same as that n the second one, snce the last released nvocaton of P n the frst MTF does not fnsh by the tme pont ms, whch nterferes wth the tme slot allocaton n the next MTF. If all the released partton nvocatons wthn each MTF could fnsh before ts next MTF, then tme slot allocaton n each MTF s exactly the same. Theorem. When generatng tme slot confguraton under a certan feasble polcy, just consderng the frst MTF s suffcent, f under ths polcy all the partton nvocatons released wthn the frst MTF could fnsh before the second MTF starts. Proof. If all the partton nvocatons released wthn the frst MTF could fnsh before the next one starts, no precedng partton nvocatons can nterfere wth tme slot allocaton n the next MTF, hence tme slot allocaton n the next MTF s exactly the same as that n the precedng one, whch guarantees the perodcty of MTF. Corollary. MTFs wth dfferent MFs are equvalent, f when MTF has the shortest MF, the followng condtons are both satsfed: ) the used partton confguraton polces s feasble; ) all the partton nvocatons released wthn the frst MTF could fnsh before the next MTF starts. Proof. For a set of parttons, {P, P,, P n }, consder the frst MTF wth the shortest length MF=LCM(U, U,, U n ). For a feasble polcy, f all released parttons wthn the nterval [, MF] could fnsh wthn the same nterval, then each nterval [kmf, (k+)mf] (k ) has exactly the same tme slot confguraton as that n [, MF]. Therefore, a MTF wth the length MF=kLCM(U, U,, U n ) s equvalent to the shortest MTF repeatng k tmes. Note that the proof of theorem s ndependent of the length of the MTF. 4. Smulaton In ths secton, two experments are set up to show how dfferent partton confguraton polces affect the tme slot confguraton of parttons and the response tme of tasks, respectvely. JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 9, NO. 4, DECEMBER rtton response tme (ms) rtton response tme (ms) rtton response tme (ms) rtton P rtton P rtton P 44 6 rtton nvocatons (a) rtton P rtton P rtton P 4 6 rtton nvocatons (b) rtton P rtton P rtton P 4 6 rtton nvocatons (c) Fg.. rtton response tme under dfferent polces: (a) under ENRTF polcy, (b) under DMS polcy, and (c) under FIFO polcy. 4. Effects on rtton Tme Slot Allocaton To show the effects on partton tme slot allocaton from partton confguraton polces, we use the partton parameters shown n Table and the partton confguraton polces of ENRTF, DMS, and FIFO (frst n, frst out), respectvely. The condtons of Corollary are satsfed for all three polces under these partton parameters, hence MF s set as LCM(U,U,U )= ms. Those effects on partton tme slot allocaton are shown by the so-called response tme of parttons, smlar to that defned for tasks. Fg. shows the effects, n a MTF, from polces ENRTF, DMS, and FIFO sequentally. It can be seen that partton P has the same worst-case response tme under three polces, P has the mnmum worst-case response tme under polcy ENRTF, and P has the mnmum
5 GUI et al.: Optmal Statc rtton Confguraton n ARINC6 System 77 ] Task response tme (ms) 4 Task response tme (ms) 4 Task response tme (ms) Task response tme (ms) 4 4 Task nvocatons (a) 4 4 Task nvocatons (c) 4 Task response tme (ms) Task response tme (ms) 4 4 Task nvocatons 4 4 (b) 4 4 Task nvocatons (d) Task nvocatons Task nvocatons (e) (f) Fg. 6. Task response tme under dfferent polces: (a) task τ, (b) task τ, (c) task τ, (d) task τ 4, (e) task τ, and (f) task τ 6. worst-case response tme under polcy FIFO. However, we should note that the worst-case response tme of P s, equal to ts perod, under both DMS and FIFO. If we augment any duraton S ( {,,}) wth even ms, ths partton system s not feasble any more under polcy DMS or FIFO. Polcy ENRTF reduces the worst-case response tme of P by augmentng the worst-case response tme of P slghtly, snce P has adequate slack tme. Hence, polcy ENRTF s optmal n the sense that ENRTF tres to gve adequate tme slots to each partton nvocaton, f t fals, no other polces could succeed. 4. Effects on Task Response Tme To show the effects on task response tme from partton confguraton polces, we fx partton and task parameters usng the partton confguraton polces among ENRTF, DMS, and FIFO. The partton parameters lsted n Table are stll used. For tasks, we assume all tasks are perodc, and they are scheduled by DMS n the correspondng parttons. The task parameters are gven as follows: C =8 ms, T =7 ms; C =8 ms, T =6 ms; C = ms, T =4 ms; C 4 = ms, T 4 = ms; C =6 ms, T = ms; and C 6 = ms, T 6 =4 ms, where C s the worst-case executon tme and T s the task perod. Fg. 6 shows the effects on each task from dfferent partton confguraton polces. Polcy ENRTF makes tasks τ and τ have the maxmum worst-case response tme, and task τ have the mnmum worst-case response tme under
6 78 JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 9, NO. 4, DECEMBER ENRTF n contrast. Smlarly, polcy DMS makes tasks τ and τ 6 have the maxmum worst-case response tme, whereas tasks τ and τ have the mnmum worst-case response tme under DMS. Fg. 6 (d) and (e) show that both tasks τ 4 and τ have the same worst-case response tme under the three polces. Note that each fgure n Fg. 6 shows the perodcty of task response tme, thus choosng the frst task nvocatons s suffcent to show ther response tmes. From the smulaton results, we can see that no partton confguraton polcy could guarantee that each task has ts mnmum worst-case response tme. Researchng whether there s a partton confguraton polcy whch makes each task has acceptable worst-case response tme s a part of our future work.. Conclusons In ths paper, the optmal partton confguraton polcy s studed n the sense that f ths optmal polcy could not confgure tme slots to each partton successfully wthn the MTF, nor can other polces. We also show the smulaton results of the partton confguraton polcy s effects on tme slot confguraton and on task response tme. Note that n ths paper a necessary condton s gven for determnng the feasblty of partton confguraton polces. However, the current man technque fgurng out the feasblty of those polces s stll to smulate the tme slot allocaton wthn one MTF. Dervng suffcent condtons for determnng the feasblty of those partton confguraton polces s our future work. References [] R. L. Alena, J. P. Ossenfort, K. I. Laws, A. Goforth, and F. Fgueroa, Communcatons for ntegrated modular avoncs, n Proc. of 7 IEEE Aerospace Conf., Montana, 7, pp. 8. [] Avoncs applcaton software standard nterface ARINC Specfcaton 6P-, Aeronautcal Rado Inc., Annapols, 6. [] F. Snghoff and A. Plantec, AADL modelng and analyss of herarchcal schedulers, n Proc. of SIGAda Annual Internatonal Conf. on the Ada Programmng Language, Farfax, 7, pp. 4. [4] J. Delange, A. Plantec, and F. Kordon, Valdate, smulate and mplement ARINC6 systems usng AADL, n Proc. of the ACM SIGAda Annual Internatonal Conf. on Ada and Related Technologes, Tampa Bay, 9, pp. 44. [] Y. Lee, D. Km, M. Youns, and J. Zhou, rtton schedulng n APEX runtme envronment for embedded avoncs software, n Proc. of Internatonal Conf. on Real-Tme Computng Systems and Applcatons, Hroshma, 998, pp. 9. [6] L. Almeda and P. dreras, Schedulng wthn temporal parttons: response-tme analyss and server desgn, n Proc. of ACM Internatonal Conf. on Embedded Software, Psa, 4, pp. 9. [7] Y. Lee and D. Km, Schedulng tool and algorthm for ntegrated modular avoncs systems, n Proc. of Dgtal Avoncs Systems Conf., Phladelpha,, pp..c.-.c.-8. [8] J. Delange, O. Glles, J. Hugues, and L. utet, Model-based engneerng for the development of ARINC6 archtectures, n Proc. of SAE 9 AeroTech Congress and Exhbton, Seattle, 9, do:.47/9--4. [9] Safety-Crtcal Software Development for Integrated Modular Avoncs, Wnd Rver Systems, Inc., Berkeley, 6. [] A Compostonal Framework for Avoncs Systems, Unversty of nnsylvana, Phladelpha, 9. [] L. Knnan and J. Wlad, Portng applcatons to an ARINC6 complant IMA platform usng VxWorks as an example, n Proc. of the rd Dgtal Avoncs Systems Conference, Salt Lake Cty, 4, pp..b..-8. Sheng-Ln Gu was born n Chongqng n 98. He receved the B.S. degree from Unversty of Electronc Scence and Technology of Chna (UESTC) n. He s currently pursung hs Ph.D. degree wth UESTC. Hs research nterests nclude real-tme software modelng and schedulablty analyss. Le Luo was born n Schuan Provnce n 967. She s a professor and doctoral supervsor wth UESTC. Her research nterests nclude embedded real-tme operatng systems, embedded development tools, embedded mddleware, embedded software platforms, etc. Sen-Sen Tang was born n Anhu Provnce, n 986. He receved her B.S. degree from UESTC n 9. He s currently pursung hs M.S. degree wth UESTC. Hs research nterests nclude real-tme software modelng and mplementaton. Yang Meng was born n Henan Provnce n 987. She receved her B.S. degree from Huazhong Agrcultural Unversty n 8. She s currently pursung her M.S. degree wth UESTC. Her research nterests nclude embedded software analyss and modelng tool mplementaton.
Embedded Systems. 4. Aperiodic and Periodic Tasks
Embedded Systems 4. Aperodc and Perodc Tasks Lothar Thele 4-1 Contents of Course 1. Embedded Systems Introducton 2. Software Introducton 7. System Components 10. Models 3. Real-Tme Models 4. Perodc/Aperodc
More informationTwo Methods to Release a New Real-time Task
Two Methods to Release a New Real-tme Task Abstract Guangmng Qan 1, Xanghua Chen 2 College of Mathematcs and Computer Scence Hunan Normal Unversty Changsha, 410081, Chna qqyy@hunnu.edu.cn Gang Yao 3 Sebel
More informationReal-Time Systems. Multiprocessor scheduling. Multiprocessor scheduling. Multiprocessor scheduling
Real-Tme Systems Multprocessor schedulng Specfcaton Implementaton Verfcaton Multprocessor schedulng -- -- Global schedulng How are tasks assgned to processors? Statc assgnment The processor(s) used for
More informationLecture 4: November 17, Part 1 Single Buffer Management
Lecturer: Ad Rosén Algorthms for the anagement of Networs Fall 2003-2004 Lecture 4: November 7, 2003 Scrbe: Guy Grebla Part Sngle Buffer anagement In the prevous lecture we taled about the Combned Input
More informationThe Minimum Universal Cost Flow in an Infeasible Flow Network
Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationSimultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals
Smultaneous Optmzaton of Berth Allocaton, Quay Crane Assgnment and Quay Crane Schedulng Problems n Contaner Termnals Necat Aras, Yavuz Türkoğulları, Z. Caner Taşkın, Kuban Altınel Abstract In ths work,
More informationOn the Multicriteria Integer Network Flow Problem
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 5, No 2 Sofa 2005 On the Multcrtera Integer Network Flow Problem Vassl Vasslev, Marana Nkolova, Maryana Vassleva Insttute of
More informationThe optimal delay of the second test is therefore approximately 210 hours earlier than =2.
THE IEC 61508 FORMULAS 223 The optmal delay of the second test s therefore approxmately 210 hours earler than =2. 8.4 The IEC 61508 Formulas IEC 61508-6 provdes approxmaton formulas for the PF for smple
More informationOverhead-Aware Compositional Analysis of Real-Time Systems
Overhead-Aware ompostonal Analyss of Real-Tme Systems Lnh T.X. Phan, Meng Xu, Jaewoo Lee, nsup Lee, Oleg Sokolsky PRESE enter Department of omputer and nformaton Scence Unversty of Pennsylvana ompostonal
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationAN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS
AN EXENDIBLE APPROACH FOR ANALYSING FIXED PRIORIY HARD REAL-IME ASKS K. W. ndell 1 Department of Computer Scence, Unversty of York, England YO1 5DD ABSRAC As the real-tme computng ndustry moves away from
More informationEcon107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4)
I. Classcal Assumptons Econ7 Appled Econometrcs Topc 3: Classcal Model (Studenmund, Chapter 4) We have defned OLS and studed some algebrac propertes of OLS. In ths topc we wll study statstcal propertes
More informationSpeeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem
H.K. Pathak et. al. / (IJCSE) Internatonal Journal on Computer Scence and Engneerng Speedng up Computaton of Scalar Multplcaton n Ellptc Curve Cryptosystem H. K. Pathak Manju Sangh S.o.S n Computer scence
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationGlobal EDF Scheduling for Parallel Real-Time Tasks
Washngton Unversty n St. Lous Washngton Unversty Open Scholarshp Engneerng and Appled Scence Theses & Dssertatons Engneerng and Appled Scence Sprng 5-15-2014 Global EDF Schedulng for Parallel Real-Tme
More informationA Simple Inventory System
A Smple Inventory System Lawrence M. Leems and Stephen K. Park, Dscrete-Event Smulaton: A Frst Course, Prentce Hall, 2006 Hu Chen Computer Scence Vrgna State Unversty Petersburg, Vrgna February 8, 2017
More informationLast Time. Priority-based scheduling. Schedulable utilization Rate monotonic rule: Keep utilization below 69% Static priorities Dynamic priorities
Last Tme Prorty-based schedulng Statc prortes Dynamc prortes Schedulable utlzaton Rate monotonc rule: Keep utlzaton below 69% Today Response tme analyss Blockng terms Prorty nverson And solutons Release
More informationTwo-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems
1 Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Tme Mult-Core Systems Mohammad Saleh, Alreza Ejlal, and Bashr M. Al-Hashm, Fellow, IEEE Abstract Ths paper proposes an N-modular redundancy (NMR)
More informationCOMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS
Avalable onlne at http://sck.org J. Math. Comput. Sc. 3 (3), No., 6-3 ISSN: 97-537 COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationLecture Notes on Linear Regression
Lecture Notes on Lnear Regresson Feng L fl@sdueducn Shandong Unversty, Chna Lnear Regresson Problem In regresson problem, we am at predct a contnuous target value gven an nput feature vector We assume
More informationModule 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationFUZZY GOAL PROGRAMMING VS ORDINARY FUZZY PROGRAMMING APPROACH FOR MULTI OBJECTIVE PROGRAMMING PROBLEM
Internatonal Conference on Ceramcs, Bkaner, Inda Internatonal Journal of Modern Physcs: Conference Seres Vol. 22 (2013) 757 761 World Scentfc Publshng Company DOI: 10.1142/S2010194513010982 FUZZY GOAL
More informationSingle-Facility Scheduling over Long Time Horizons by Logic-based Benders Decomposition
Sngle-Faclty Schedulng over Long Tme Horzons by Logc-based Benders Decomposton Elvn Coban and J. N. Hooker Tepper School of Busness, Carnege Mellon Unversty ecoban@andrew.cmu.edu, john@hooker.tepper.cmu.edu
More informationLOW BIAS INTEGRATED PATH ESTIMATORS. James M. Calvin
Proceedngs of the 007 Wnter Smulaton Conference S G Henderson, B Bller, M-H Hseh, J Shortle, J D Tew, and R R Barton, eds LOW BIAS INTEGRATED PATH ESTIMATORS James M Calvn Department of Computer Scence
More informationCONTRAST ENHANCEMENT FOR MIMIMUM MEAN BRIGHTNESS ERROR FROM HISTOGRAM PARTITIONING INTRODUCTION
CONTRAST ENHANCEMENT FOR MIMIMUM MEAN BRIGHTNESS ERROR FROM HISTOGRAM PARTITIONING N. Phanthuna 1,2, F. Cheevasuvt 2 and S. Chtwong 2 1 Department of Electrcal Engneerng, Faculty of Engneerng Rajamangala
More informationMMA and GCMMA two methods for nonlinear optimization
MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons
More informationAppendix B: Resampling Algorithms
407 Appendx B: Resamplng Algorthms A common problem of all partcle flters s the degeneracy of weghts, whch conssts of the unbounded ncrease of the varance of the mportance weghts ω [ ] of the partcles
More informationPartitioned Mixed-Criticality Scheduling on Multiprocessor Platforms
Parttoned Mxed-Crtcalty Schedulng on Multprocessor Platforms Chuanca Gu 1, Nan Guan 1,2, Qngxu Deng 1 and Wang Y 1,2 1 Northeastern Unversty, Chna 2 Uppsala Unversty, Sweden Abstract Schedulng mxed-crtcalty
More informationPower law and dimension of the maximum value for belief distribution with the max Deng entropy
Power law and dmenson of the maxmum value for belef dstrbuton wth the max Deng entropy Bngy Kang a, a College of Informaton Engneerng, Northwest A&F Unversty, Yanglng, Shaanx, 712100, Chna. Abstract Deng
More informationCalculation of time complexity (3%)
Problem 1. (30%) Calculaton of tme complexty (3%) Gven n ctes, usng exhaust search to see every result takes O(n!). Calculaton of tme needed to solve the problem (2%) 40 ctes:40! dfferent tours 40 add
More informationPhysics 5153 Classical Mechanics. Principle of Virtual Work-1
P. Guterrez 1 Introducton Physcs 5153 Classcal Mechancs Prncple of Vrtual Work The frst varatonal prncple we encounter n mechancs s the prncple of vrtual work. It establshes the equlbrum condton of a mechancal
More informationImproved Worst-Case Response-Time Calculations by Upper-Bound Conditions
Improved Worst-Case Response-Tme Calculatons by Upper-Bound Condtons Vctor Pollex, Steffen Kollmann, Karsten Albers and Frank Slomka Ulm Unversty Insttute of Embedded Systems/Real-Tme Systems {frstname.lastname}@un-ulm.de
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationThe Study of Teaching-learning-based Optimization Algorithm
Advanced Scence and Technology Letters Vol. (AST 06), pp.05- http://dx.do.org/0.57/astl.06. The Study of Teachng-learnng-based Optmzaton Algorthm u Sun, Yan fu, Lele Kong, Haolang Q,, Helongang Insttute
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationResource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud
Resource Allocaton wth a Budget Constrant for Computng Independent Tasks n the Cloud Wemng Sh and Bo Hong School of Electrcal and Computer Engneerng Georga Insttute of Technology, USA 2nd IEEE Internatonal
More information4 Analysis of Variance (ANOVA) 5 ANOVA. 5.1 Introduction. 5.2 Fixed Effects ANOVA
4 Analyss of Varance (ANOVA) 5 ANOVA 51 Introducton ANOVA ANOVA s a way to estmate and test the means of multple populatons We wll start wth one-way ANOVA If the populatons ncluded n the study are selected
More informationThe Two-scale Finite Element Errors Analysis for One Class of Thermoelastic Problem in Periodic Composites
7 Asa-Pacfc Engneerng Technology Conference (APETC 7) ISBN: 978--6595-443- The Two-scale Fnte Element Errors Analyss for One Class of Thermoelastc Problem n Perodc Compostes Xaoun Deng Mngxang Deng ABSTRACT
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationEnergy-Efficient Primary/Backup Scheduling Techniques for Heterogeneous Multicore Systems
Energy-Effcent Prmary/Backup Schedulng Technques for Heterogeneous Multcore Systems Abhshek Roy, Hakan Aydn epartment of Computer Scence George Mason Unversty Farfax, Vrgna 22030 aroy6@gmu.edu, aydn@cs.gmu.edu
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationDepartment of Statistics University of Toronto STA305H1S / 1004 HS Design and Analysis of Experiments Term Test - Winter Solution
Department of Statstcs Unversty of Toronto STA35HS / HS Desgn and Analyss of Experments Term Test - Wnter - Soluton February, Last Name: Frst Name: Student Number: Instructons: Tme: hours. Ads: a non-programmable
More informationA new construction of 3-separable matrices via an improved decoding of Macula s construction
Dscrete Optmzaton 5 008 700 704 Contents lsts avalable at ScenceDrect Dscrete Optmzaton journal homepage: wwwelsevercom/locate/dsopt A new constructon of 3-separable matrces va an mproved decodng of Macula
More informationSecond Order Analysis
Second Order Analyss In the prevous classes we looked at a method that determnes the load correspondng to a state of bfurcaton equlbrum of a perfect frame by egenvalye analyss The system was assumed to
More informationSystem in Weibull Distribution
Internatonal Matheatcal Foru 4 9 no. 9 94-95 Relablty Equvalence Factors of a Seres-Parallel Syste n Webull Dstrbuton M. A. El-Dacese Matheatcs Departent Faculty of Scence Tanta Unversty Tanta Egypt eldacese@yahoo.co
More informationQuantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines
Quantfyng the Sub-optmalty of Unprocessor Fxed Prorty Pre-emptve Schedulng for Sporadc Tasksets wth Arbtrary Deadlnes Robert Davs, Sanjoy Baruah, Thomas Rothvoss, Alan Burns To cte ths verson: Robert Davs,
More informationLimited Preemptive Scheduling for Real-Time Systems: a Survey
Lmted Preemptve Schedulng for Real-Tme Systems: a Survey Gorgo C. Buttazzo, Fellow Member, IEEE, Marko Bertogna, Senor Member, IEEE, and Gang Yao Abstract The queston whether preemptve algorthms are better
More informationSchedulability Analysis of Task Sets with Upper- and Lower-Bound Temporal Constraints
Schedulablty Analyss of Task Sets wth Upper- and Lower-Bound Temporal Constrants The MIT Faculty has made ths artcle openly avalable. Please share how ths access benefts you. Your story matters. Ctaton
More informationECE559VV Project Report
ECE559VV Project Report (Supplementary Notes Loc Xuan Bu I. MAX SUM-RATE SCHEDULING: THE UPLINK CASE We have seen (n the presentaton that, for downlnk (broadcast channels, the strategy maxmzng the sum-rate
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationHigh resolution entropy stable scheme for shallow water equations
Internatonal Symposum on Computers & Informatcs (ISCI 05) Hgh resoluton entropy stable scheme for shallow water equatons Xaohan Cheng,a, Yufeng Ne,b, Department of Appled Mathematcs, Northwestern Polytechncal
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationAn Interactive Optimisation Tool for Allocation Problems
An Interactve Optmsaton ool for Allocaton Problems Fredr Bonäs, Joam Westerlund and apo Westerlund Process Desgn Laboratory, Faculty of echnology, Åbo Aadem Unversty, uru 20500, Fnland hs paper presents
More informationChapter - 2. Distribution System Power Flow Analysis
Chapter - 2 Dstrbuton System Power Flow Analyss CHAPTER - 2 Radal Dstrbuton System Load Flow 2.1 Introducton Load flow s an mportant tool [66] for analyzng electrcal power system network performance. Load
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationComputer Control: Task Synchronisation in Dynamic Priority Scheduling
Computer Control: Task Synchronsaton n Dynamc Prorty Schedulng Sérgo Adrano Fernandes Lopes Department of Industral Electroncs Engneerng School Unversty of Mnho Campus de Azurém 4800 Gumarães - PORTUGAL
More informationEconomics 101. Lecture 4 - Equilibrium and Efficiency
Economcs 0 Lecture 4 - Equlbrum and Effcency Intro As dscussed n the prevous lecture, we wll now move from an envronment where we looed at consumers mang decsons n solaton to analyzng economes full of
More informationThe L(2, 1)-Labeling on -Product of Graphs
Annals of Pure and Appled Mathematcs Vol 0, No, 05, 9-39 ISSN: 79-087X (P, 79-0888(onlne Publshed on 7 Aprl 05 wwwresearchmathscorg Annals of The L(, -Labelng on -Product of Graphs P Pradhan and Kamesh
More informationFixed-Priority Multiprocessor Scheduling with Liu & Layland s Utilization Bound
Fxed-Prorty Multprocessor Schedulng wth Lu & Layland s Utlzaton Bound Nan Guan, Martn Stgge, Wang Y and Ge Yu Department of Informaton Technology, Uppsala Unversty, Sweden Department of Computer Scence
More informationAn Admission Control Algorithm in Cloud Computing Systems
An Admsson Control Algorthm n Cloud Computng Systems Authors: Frank Yeong-Sung Ln Department of Informaton Management Natonal Tawan Unversty Tape, Tawan, R.O.C. ysln@m.ntu.edu.tw Yngje Lan Management Scence
More informationNumerical Heat and Mass Transfer
Master degree n Mechancal Engneerng Numercal Heat and Mass Transfer 06-Fnte-Dfference Method (One-dmensonal, steady state heat conducton) Fausto Arpno f.arpno@uncas.t Introducton Why we use models and
More informationfind (x): given element x, return the canonical element of the set containing x;
COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More informationFuzzy Boundaries of Sample Selection Model
Proceedngs of the 9th WSES Internatonal Conference on ppled Mathematcs, Istanbul, Turkey, May 7-9, 006 (pp309-34) Fuzzy Boundares of Sample Selecton Model L. MUHMD SFIIH, NTON BDULBSH KMIL, M. T. BU OSMN
More informationEEL 6266 Power System Operation and Control. Chapter 3 Economic Dispatch Using Dynamic Programming
EEL 6266 Power System Operaton and Control Chapter 3 Economc Dspatch Usng Dynamc Programmng Pecewse Lnear Cost Functons Common practce many utltes prefer to represent ther generator cost functons as sngle-
More informationAssortment Optimization under MNL
Assortment Optmzaton under MNL Haotan Song Aprl 30, 2017 1 Introducton The assortment optmzaton problem ams to fnd the revenue-maxmzng assortment of products to offer when the prces of products are fxed.
More informationChapter 2 A Class of Robust Solution for Linear Bilevel Programming
Chapter 2 A Class of Robust Soluton for Lnear Blevel Programmng Bo Lu, Bo L and Yan L Abstract Under the way of the centralzed decson-makng, the lnear b-level programmng (BLP) whose coeffcents are supposed
More informationValuated Binary Tree: A New Approach in Study of Integers
Internatonal Journal of Scentfc Innovatve Mathematcal Research (IJSIMR) Volume 4, Issue 3, March 6, PP 63-67 ISS 347-37X (Prnt) & ISS 347-34 (Onlne) wwwarcournalsorg Valuated Bnary Tree: A ew Approach
More informationOnline Appendix: Reciprocity with Many Goods
T D T A : O A Kyle Bagwell Stanford Unversty and NBER Robert W. Stager Dartmouth College and NBER March 2016 Abstract Ths onlne Appendx extends to a many-good settng the man features of recprocty emphaszed
More informationManaging Capacity Through Reward Programs. on-line companion page. Byung-Do Kim Seoul National University College of Business Administration
Managng Caacty Through eward Programs on-lne comanon age Byung-Do Km Seoul Natonal Unversty College of Busness Admnstraton Mengze Sh Unversty of Toronto otman School of Management Toronto ON M5S E6 Canada
More informationRemarks on the Properties of a Quasi-Fibonacci-like Polynomial Sequence
Remarks on the Propertes of a Quas-Fbonacc-lke Polynomal Sequence Brce Merwne LIU Brooklyn Ilan Wenschelbaum Wesleyan Unversty Abstract Consder the Quas-Fbonacc-lke Polynomal Sequence gven by F 0 = 1,
More informationAging model for a 40 V Nch MOS, based on an innovative approach F. Alagi, R. Stella, E. Viganò
Agng model for a 4 V Nch MOS, based on an nnovatve approach F. Alag, R. Stella, E. Vganò ST Mcroelectroncs Cornaredo (Mlan) - Italy Agng modelng WHAT IS AGING MODELING: Agng modelng s a tool to smulate
More informationOrientation Model of Elite Education and Mass Education
Proceedngs of the 8th Internatonal Conference on Innovaton & Management 723 Orentaton Model of Elte Educaton and Mass Educaton Ye Peng Huanggang Normal Unversty, Huanggang, P.R.Chna, 438 (E-mal: yepeng@hgnc.edu.cn)
More informationParallel Real-Time Scheduling of DAGs
Washngton Unversty n St. Lous Washngton Unversty Open Scholarshp All Computer Scence and Engneerng Research Computer Scence and Engneerng Report Number: WUCSE-013-5 013 Parallel Real-Tme Schedulng of DAGs
More informationISSN: ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 3, Issue 1, July 2013
ISSN: 2277-375 Constructon of Trend Free Run Orders for Orthogonal rrays Usng Codes bstract: Sometmes when the expermental runs are carred out n a tme order sequence, the response can depend on the run
More informationANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U)
Econ 413 Exam 13 H ANSWERS Settet er nndelt 9 deloppgaver, A,B,C, som alle anbefales å telle lkt for å gøre det ltt lettere å stå. Svar er gtt . Unfortunately, there s a prntng error n the hnt of
More informationOutline. Communication. Bellman Ford Algorithm. Bellman Ford Example. Bellman Ford Shortest Path [1]
DYNAMIC SHORTEST PATH SEARCH AND SYNCHRONIZED TASK SWITCHING Jay Wagenpfel, Adran Trachte 2 Outlne Shortest Communcaton Path Searchng Bellmann Ford algorthm Algorthm for dynamc case Modfcatons to our algorthm
More informationA General Architecture for Reliable Decentralized Supervisory Control of Discrete Event Systems
Jont 48th IEEE Conference on Decson and Control and 28th Chnese Control Conference Shangha, P.R. Chna, December 16-18, 2009 WeA06.3 A General Archtecture for Relable Decentralzed Supervsory Control of
More informationThe Quadratic Trigonometric Bézier Curve with Single Shape Parameter
J. Basc. Appl. Sc. Res., (3541-546, 01 01, TextRoad Publcaton ISSN 090-4304 Journal of Basc and Appled Scentfc Research www.textroad.com The Quadratc Trgonometrc Bézer Curve wth Sngle Shape Parameter Uzma
More informationWinter 2008 CS567 Stochastic Linear/Integer Programming Guest Lecturer: Xu, Huan
Wnter 2008 CS567 Stochastc Lnear/Integer Programmng Guest Lecturer: Xu, Huan Class 2: More Modelng Examples 1 Capacty Expanson Capacty expanson models optmal choces of the tmng and levels of nvestments
More informationComments on a secure dynamic ID-based remote user authentication scheme for multiserver environment using smart cards
Comments on a secure dynamc ID-based remote user authentcaton scheme for multserver envronment usng smart cards Debao He chool of Mathematcs tatstcs Wuhan nversty Wuhan People s Republc of Chna Emal: hedebao@63com
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationOn the Interval Zoro Symmetric Single-step Procedure for Simultaneous Finding of Polynomial Zeros
Appled Mathematcal Scences, Vol. 5, 2011, no. 75, 3693-3706 On the Interval Zoro Symmetrc Sngle-step Procedure for Smultaneous Fndng of Polynomal Zeros S. F. M. Rusl, M. Mons, M. A. Hassan and W. J. Leong
More informationSimulated Power of the Discrete Cramér-von Mises Goodness-of-Fit Tests
Smulated of the Cramér-von Mses Goodness-of-Ft Tests Steele, M., Chaselng, J. and 3 Hurst, C. School of Mathematcal and Physcal Scences, James Cook Unversty, Australan School of Envronmental Studes, Grffth
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationCOMPLETE BUFFER SHARING IN ATM NETWORKS UNDER BURSTY ARRIVALS
COMPLETE BUFFER SHARING WITH PUSHOUT THRESHOLDS IN ATM NETWORKS UNDER BURSTY ARRIVALS Ozgur Aras and Tugrul Dayar Abstract. Broadband Integrated Servces Dgtal Networks (B{ISDNs) are to support multple
More informationTwo-Way and Multiple-Access Energy Harvesting Systems with Energy Cooperation
Two-Way and Multple-Access Energy Harvestng Systems wth Energy Cooperaton Berk Gurakan, Omur Ozel, Jng Yang 2, and Sennur Ulukus Department of Electrcal and Computer Engneerng, Unversty of Maryland, College
More informationMinimizing Energy Consumption of MPI Programs in Realistic Environment
Mnmzng Energy Consumpton of MPI Programs n Realstc Envronment Amna Guermouche, Ncolas Trquenaux, Benoît Pradelle and Wllam Jalby Unversté de Versalles Sant-Quentn-en-Yvelnes arxv:1502.06733v2 [cs.dc] 25
More informationChapter Newton s Method
Chapter 9. Newton s Method After readng ths chapter, you should be able to:. Understand how Newton s method s dfferent from the Golden Secton Search method. Understand how Newton s method works 3. Solve
More informationScroll Generation with Inductorless Chua s Circuit and Wien Bridge Oscillator
Latest Trends on Crcuts, Systems and Sgnals Scroll Generaton wth Inductorless Chua s Crcut and Wen Brdge Oscllator Watcharn Jantanate, Peter A. Chayasena, and Sarawut Sutorn * Abstract An nductorless Chua
More informationResource Sharing. CSCE 990: Real-Time Systems. Steve Goddard. Resources & Resource Access Control (Chapter 8 of Liu)
CSCE 990: Real-Tme Systems Resource Sharng Steve Goddard goddard@cse.unl.edu http://www.cse.unl.edu/~goddard/courses/realtmesystems Resources & Resource Access Control (Chapter 8 of Lu) Real-Tme Systems
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationMinimisation of the Average Response Time in a Cluster of Servers
Mnmsaton of the Average Response Tme n a Cluster of Servers Valery Naumov Abstract: In ths paper, we consder task assgnment problem n a cluster of servers. We show that optmal statc task assgnment s tantamount
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More information