THE NEW HEURISTIC GUESS AND DETERMINE ATTACK ON SNOW 2.0 STREAM CIPHER
|
|
- Felicia Scott
- 5 years ago
- Views:
Transcription
1 THE NEW HEURISTIC GUESS AND DETERMINE ATTACK ON SNOW 0 STREAM CIPHER Mohammad Sadegh Nemai Nia 1, Ali Payandeh 1, Faculy of Informaion, Telecommunicaion and Securiy Technologies, Malek-e- Ashar Universiy of Technology, Tehran, Iran (m_s_nemai; payandeh)@muacir ABSTRACT SNOW 0 is a word oriened sream cipher ha has been seleced as a sandard sream cipher on ISO/IEC One of he general aacks on he sream ciphers is Guess and Deermine aack Heurisic GD aack is GD aack ha represens an algorihmic mehod o analysis he sream cipher wih he variables of he same size The resuls of HGD aack on TIPSY, SNOW 10 and SNOW 0 sream ciphers led o less compleiy raher han previously known GD aacks In his paper, he auhors use of wo auiliary polynomials o improve HGD aack on SNOW 0 This aack reduces he compleiy and he size of he guessed basis from O ( 6 ) o O ( 19 ) and 8 o 6, respecively, compared wih previous ad-hoc and heurisic GD aacks KEYWORDS Crypanalysis, Sream cipher, Guess and Deermine aack, SNOW 0 1 INTRODUCTION Crypology is he science ha provides securiy for he sorage and communicaion daa The crypography is a branch of crypology ha sudies design of crypographic algorihms and proocols [1] The sream ciphers are he classes of symmeric crypographic algorihms ha ofen use in he wireless and elecommunicaion securiy applicaions [] A family sream cipher use in he GSM mobile elephone and RC4 uses in he wireless LAN [3] Unlike block ciphers ha have a sandard block cipher, i is AES, here is no one sream cipher as a sandard sream cipher Alhough, some compeiions are hold around he sream cipher such as NESSIE projec in 000 and estream projec in 004, bu no one sream cipher was sandard One of he reasons, here is no mehod o design of he sream cipher algorihms [4] However, in he final porfolio of estream, afer hree sages in wo profiles suiable for Sofware and Hardware applicaions, seven sream ciphers were proposed [] SNOW family are sream ciphers consis of four algorihms ha evolved a si year Firs, he SNOW 10 [6] was submied o NESSIE projec [7] by Ekdahel and Ericsson in 000 Hawkes and Rose launched GD aack [8] on SNOW 10 ha eploied he second power of LFSR polynomial of he algorihm This aack show a weakness in apping of LFSR equaions Anoher weakness of he cipher, he FSM akes one inpu from he Linear Feedback Shif Regiser ha is led o linear crypanalysis of SNOW 10 [9] These weaknesses improved in new version of he algorihm ha reinroduced o NESSIE projec A he end of he projec, he new algorihm, was called SNOW 0, was suggesed by evaluaors [10] Many general aacks are applied on sream ciphers for he securiy evaluaion of hem The guess and deermine aack is one of hese general aacks In his aack, he aacker,
2 firs guesses some regisers of he cipher and hen deermine remaining regisers Ne, he running he keysream If he resuled keysream is equal wih he observed keysream, he guessed values is rue and he cipher is broken Oherwise he aacker guessed anoher values for regisers and repea he above sages The elemens of he cipher ha is guessed by aacker is named as guessed basis [11] Ahmadi and Eghlidos inroduced a sysemaic algorihm for GD aack as Heurisic Guess and Deermine (HGD) aack This mehod improved he compleiy of GD aacks on SNOW family [11] In his paper, auhors improve he compleiy of HGD aack on SNOW 0 by he auiliary equaions from O( 6 ) o O( 19 ) For his sake, he paper organized as follows In secion, he srucure of SNOW 0 is described In secion 3, he new HGD aack launched on SNOW 0 and discussed on he resul of he aack The las secion is allocaed o he conclusion of he paper A SHORT DESCRIPTION OF SNOW 0 SNOW 0 is a word oriened sream cipher, wih 18-regisers inernal sae The oupu words are holding 3 bis The srucure of he cipher like SNOW family, consiss wo pars: Linear feedback shif regiser (LFSR) and Finie sae machine (FSM) The srucure of he cipher is depiced in Figure 1 Figure 1 The srucure of SNOW 0 [10] The lengh of LFSR is sages The feedback polynomial of LFSR is as follows p( ) F 3 [ ] (1) Where α is a roo of F [ ], and β is a roo of 8 8 S 7 3 F[ ] The recursive equaion of LFSR is given by S1 S S () The FSM consiss of wo 3-bi regisers, called R1 and R and is feed by wo words inpu, aken from LFSR The oupu of FSM is 3-bi word F The recursive equaions of FSM which updae he regisers R1 and R and generae he oupu F are given by
3 R1 R S 4 (3) R S _ Bo( R1 1) (4) F ( R1 S 1) R () By subsiuing (4) in R of (3) he following equaion is yielded: R 1 S 4 S _ Bo( R1 ) (6) The cipher has wo modes of operaion: key iniializaion mode and normal mode In he key iniializaion mode, he cipher is iniialized by wo parameers as inpu values; a 18- bi or 6-bi word as a secre key and 18-bi word as iniializaion vecor (IV) Afer he iniializaion he inpu values, he cipher is clocked 3 imes In his mode, he oupu of FSM is incorporaed o feedback loop (see figure 3), and in he normal mode i XORed wih he righmos regiser of LFSR o produce keysream, see figure The equaion of oupus of algorihm as follows: Z S F (7) By subsiuing () in F and (4) in R he following equaion is concluded: Z S S R1 ) S _ Bo( R1 ) (8) ( 3 HGD ATTACK ON SNOW 0 Heurisic guess and deermine aack is a sysemaic GD aack ha inroduces an algorihm for GD aack on he sream ciphers The main idea of he procedure is eploiaion of inde ables The inde ables are made corresponding o he equaions induced by he updae and oupu funcion of he sream cipher, according o [11] The searching operaion o selecs he bes inde as a guessed candidae is performed according o he prioriy crieria [11] Ahmadi and Eghlidos launched HGD aack on SNOW 0 sream cipher wih compleiy of O( 6 ) wih he size of guessed basis of 8 This aack eploi equaions (), (6), (8) and he square of recursive equaion of LFSR equaion The inde ables corresponding o hese equaions are shown on Table 1, respecively 31 Improved HGD aack The auhors define wo ypes of equaions as following: - Main equaion: The equaion is eraced from he cipher, direcly - Auiliary equaion: The equaion is he muliple of recursive equaion of LFSR (as a main equaion) - Table 1 Main Inde ables corresponding o equaions (), (6) and (8) M1 M M
4 The algorihm eploi auiliary inde able corresponding o auiliary equaion o improve HGD aack Bu he number of facor is infiniive and he compleiy of selecing he bes facor for recursive equaion of LFSR is high Therefore, we presen a general form for facors ha i gives a finie number of he facors The auiliary equaion is convenien when is weigh and maimum degree of he equaion should be low Therefore, he weigh of he facor polynomial is chosen lowes weigh, equals o On he oher hand o increase he efficiency of auiliary inde able, he indices of main inde able should be repeaed on i Then one of he erms of binomial is consan Then he form of he facor is a n +b In he field of GF() or eension of i, "a" and "b" is 1 The our eperiences show when he amoun of n is chosen from se of differen degrees of main polynomial, hen he algorihm of HGD aack gives lowes guessed basis raher han n is chosen oherwise The auhors eploi from his mehod o improve he HGD aack on SNOW 0 sream cipher The aack eplain in he ne 3 Improved HGD aack on SNOW 0 To launch HGD aack on SNOW 0 is used inde ables M1, M and M3 corresponding o main equaions (), () and (8) The auhors use of auiliary inde ables corresponding o auiliary equaions o improve HGD aack To make he auiliary equaions is used from facors +1 and +1 as following: q ( ) ( )( 18 ( ) 3 q ( ) ( )( 1 19 ) F 7 ) F ( [ ) [ ) ) Where he recursive equaions corresponding o polynomials as following: (9) (10) S S 8 S6 S3 S1 S 4 ) S 1 ) S6 S1 S 7 S S ( S (11) ( S (1) and he auiliary inde ables corresponding auiliary equaions (11), (1) are demonsraed in Table The sages of Improved HGD aack on SNOW 0 sream cipher shows in Table 3 Table Auiliary Inde ables corresponding o equaions (11) and (1) M4 M
5 Sep Known indices Table 3 Consecuive sages of improved HGD aack on SNOW 0 Used equaion(s) (inde ables) Deermined indices Sep Known indices Used equaion(s) (inde ables) Deermined indices 1 guessed basis - 18,6,,,6 3,0 7 13,7 M 9 18,6 M 64 8,0, M3 4 3, 6 M 60 9,9,60 M3 10 4,60 M ,1,1 M1 6,63,64 M ,3,4 M ,0,9 M1 34 3,,19 M ,63 M ,1,30 M1 3 8,18,9,34 M1,M4 7, ,63 M 6 9,,7,3 M1,M4,30 3 1,6 M ,0,,,7 M1,M4 9, ,67 M ,11,18,0,3 M1,M4 7,3 37 3,18,3 M3 1 18,0,3,,9,34 M 39 38,4 M ,9,18,3 M1,M4,1 39 8,10,19 M1 4,18,1,3,7,3 M ,4,9 M1 1 1,7,11,,1 M1,M 0, 41 4,1,0 M1 6 0,,11,,18 M1,M4 4,13 4 6,8, M ,13,17 M1 43 3,1,17 M1 1 18,66 M ,17,6 M ,6,63 M ,19,8 M1 33 0,3,8 M ,1,49 M ,8 M ,0 M 48 7,,6 M ,9 M ,7 M 49 18,0,,9,31,34 M , M ,19,,4,8,33 M 38 7,3 M ,1,4,6,30,3 M 40 6,1 M The rows of 1 and 1 are shown he effec of auiliary inde ables in Table 3 While each of auiliary inde ables isn used in HGD aack, hen he algorihm of HGD aack should guess number of indices {,0,37,1,,39} Then he size of guessed basis and he compuaional compleiy of he aack increases 33 The compleiy During aack, he algorihm found si linear sysem of wo equaions and wo unknowns Though, he sysems are linear and hen he compleiy of aack is resuled of he compleiy of guessed basis The guessed basis is {18, 6,,, 63, 0} and hen he aack reduces he compleiy of he pervious HGD aack from O( 6 ) o O( 19 ) Table 4, show he comparison of he GD aacks are applied on SNOW 0 Table 4 compare Guess and Deermine aack on SNOW 0 Sream cipher Type of aack Add hoc GD aack HGD aack Improved HGD aack Guessed Basis Compleiy - O( ) O( 19 )
6 4 CONCLUSIONS In his paper, he auhors presened new mehod for improve HGD aack by using addiional equaions are named auiliary equaions on SNOW 0 sream cipher The auiliary equaions can improve he deermine sage of HGD aack on sream cipher The aack on SNOW 0 used wo inde ables corresponding wo muliples of LFSR connecion polynomial The resul shows decreasing he compleiy and he size of guessed basis from O( 6 ) o O( 19 ) and 8 o 6, respecively, and implies using of auiliary equaions idea leads o significan reducion in compleiy of GD aack REFERENCES [1] J LANO, hesis: CRYPTANALYSIS AND DESIGN OF SYNCHRONOUS STREAM CIPHERS, B Preneel, Ed, KATHOLIEKE UNIVERSITEIT LEUVEN, 006 [] A Menezes, P v Oorscho and S Vansone, Handbook of Applied Crypography, CRC Press, 1997 ISBN [3] A Klein, Sream Ciphers, Ghen, Belgium: Springer-Verlag London, 013 [4] A w Den and C J Michell, User s Guide o Crypography and Sandards, Norwood, US: Arech House, 00 [] S Babbage, J Borghoff and V Velichkov, The estream Porfolio in 01, Babbage, Seve ; Borghoff, Julia; Velichkov,Vesselin, Carlos Cid and Ma Robshaw ed, 01 [6] P EKDAHL and T JOHANSSON, SNOW a new sream cipher, Firs NESSIE Workshop, Heverlee, Belgium, 000 [7] P B, New European Schemes for Signaure, Inegriy and Encrypion (NESSIE): A Saus Repor, in h Inernaional Workshop PKC 00, 00 [8] P Hawkes and G Rose, Guess and deermine aaks on SNOW, in In Seleced Area of Crypography-SAC00, 00 [9] D Coppersmih, S Halevi and C Jula, Crypanalysis of sream ciphers wih linear masking, in Advances in Crypology CRYPTO 00, 00 [10] P EKDAHL and T JOHANSSON, A New Version of he Sream Cipher SNOW, in SAC 00, Berlin Heidelberg 003, Springer_Verlag, LNCS 9, PP 47-61, 00 [11] H Ahmadi and T Eghlidos, Heurisic guess-and-deermine aacks on sream ciphers, in Informaion Securiy IET, Vol3, No, PP66-73, 0h January 009
Cryptanalysis of RAKAPOSHI Stream Cipher
Crypanalysis of RAKAPOSHI Sream Cipher Lin Ding, Jie Guan Zhengzhou Informaion Science and Technology Insiue, China E-mail: dinglin_cipher@63.com; guanie7@63.com Absrac. RAKAPOSHI is a hardware oriened
More informationLi An-Ping. Beijing , P.R.China
A NEW TYPE OF CIPHER: DICING_CSB Li An-Ping Beijing 100085, P.R.China apli0001@sina.com Absrac: In his paper, we will propose a new ype of cipher named DICING_CSB, which come from our previous a synchronous
More informationSpring Ammar Abu-Hudrouss Islamic University Gaza
Chaper 7 Reed-Solomon Code Spring 9 Ammar Abu-Hudrouss Islamic Universiy Gaza ١ Inroducion A Reed Solomon code is a special case of a BCH code in which he lengh of he code is one less han he size of he
More information10. State Space Methods
. Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he
More informationCryptanalysis of Reduced NORX initially discussed at ASK 2016
Crypanalysis of Reduced NORX iniiy discussed a ASK 2016 Nasour Bagheri (SRTTU, Iran), Tao Huang (NTU, Singaopre), Keing Jia (Tsinghua Univ., Sae Key Lab, China), Florian Mendel (TUGraz, Ausria), Yu Sasaki
More informationAlgebraic Attacks on Summation Generators
Algebraic Aacks on Summaion Generaors Dong Hoon Lee, Jaeheon Kim, Jin Hong, Jae Woo Han, and Dukjae Moon Naional Securiy Research Insiue 161 Gajeong-dong, Yuseong-gu, Daejeon, 305-350, Korea {dlee,jaeheon,jinhong,jwhan,djmoon}@eri.re.kr
More informationRobust estimation based on the first- and third-moment restrictions of the power transformation model
h Inernaional Congress on Modelling and Simulaion, Adelaide, Ausralia, 6 December 3 www.mssanz.org.au/modsim3 Robus esimaion based on he firs- and hird-momen resricions of he power ransformaion Nawaa,
More informationSingle-Pass-Based Heuristic Algorithms for Group Flexible Flow-shop Scheduling Problems
Single-Pass-Based Heurisic Algorihms for Group Flexible Flow-shop Scheduling Problems PEI-YING HUANG, TZUNG-PEI HONG 2 and CHENG-YAN KAO, 3 Deparmen of Compuer Science and Informaion Engineering Naional
More informationModal identification of structures from roving input data by means of maximum likelihood estimation of the state space model
Modal idenificaion of srucures from roving inpu daa by means of maximum likelihood esimaion of he sae space model J. Cara, J. Juan, E. Alarcón Absrac The usual way o perform a forced vibraion es is o fix
More informationSTATE-SPACE MODELLING. A mass balance across the tank gives:
B. Lennox and N.F. Thornhill, 9, Sae Space Modelling, IChemE Process Managemen and Conrol Subjec Group Newsleer STE-SPACE MODELLING Inroducion: Over he pas decade or so here has been an ever increasing
More informationVehicle Arrival Models : Headway
Chaper 12 Vehicle Arrival Models : Headway 12.1 Inroducion Modelling arrival of vehicle a secion of road is an imporan sep in raffic flow modelling. I has imporan applicaion in raffic flow simulaion where
More informationComputer-Aided Analysis of Electronic Circuits Course Notes 3
Gheorghe Asachi Technical Universiy of Iasi Faculy of Elecronics, Telecommunicaions and Informaion Technologies Compuer-Aided Analysis of Elecronic Circuis Course Noes 3 Bachelor: Telecommunicaion Technologies
More informationLearning Objectives: Practice designing and simulating digital circuits including flip flops Experience state machine design procedure
Lab 4: Synchronous Sae Machine Design Summary: Design and implemen synchronous sae machine circuis and es hem wih simulaions in Cadence Viruoso. Learning Objecives: Pracice designing and simulaing digial
More informationImproved Approximate Solutions for Nonlinear Evolutions Equations in Mathematical Physics Using the Reduced Differential Transform Method
Journal of Applied Mahemaics & Bioinformaics, vol., no., 01, 1-14 ISSN: 179-660 (prin), 179-699 (online) Scienpress Ld, 01 Improved Approimae Soluions for Nonlinear Evoluions Equaions in Mahemaical Physics
More informationTechnical Report Doc ID: TR March-2013 (Last revision: 23-February-2016) On formulating quadratic functions in optimization models.
Technical Repor Doc ID: TR--203 06-March-203 (Las revision: 23-Februar-206) On formulaing quadraic funcions in opimizaion models. Auhor: Erling D. Andersen Convex quadraic consrains quie frequenl appear
More informationSimulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010
Simulaion-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Week Descripion Reading Maerial 2 Compuer Simulaion of Dynamic Models Finie Difference, coninuous saes, discree ime Simple Mehods Euler Trapezoid
More informationd 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3
and d = c b - b c c d = c b - b c c This process is coninued unil he nh row has been compleed. The complee array of coefficiens is riangular. Noe ha in developing he array an enire row may be divided or
More informationChapter 2. First Order Scalar Equations
Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.
More informationMore Digital Logic. t p output. Low-to-high and high-to-low transitions could have different t p. V in (t)
EECS 4 Spring 23 Lecure 2 EECS 4 Spring 23 Lecure 2 More igial Logic Gae delay and signal propagaion Clocked circui elemens (flip-flop) Wriing a word o memory Simplifying digial circuis: Karnaugh maps
More informationChristos Papadimitriou & Luca Trevisan November 22, 2016
U.C. Bereley CS170: Algorihms Handou LN-11-22 Chrisos Papadimiriou & Luca Trevisan November 22, 2016 Sreaming algorihms In his lecure and he nex one we sudy memory-efficien algorihms ha process a sream
More informationGeorey E. Hinton. University oftoronto. Technical Report CRG-TR February 22, Abstract
Parameer Esimaion for Linear Dynamical Sysems Zoubin Ghahramani Georey E. Hinon Deparmen of Compuer Science Universiy oftorono 6 King's College Road Torono, Canada M5S A4 Email: zoubin@cs.orono.edu Technical
More informationNotes on Kalman Filtering
Noes on Kalman Filering Brian Borchers and Rick Aser November 7, Inroducion Daa Assimilaion is he problem of merging model predicions wih acual measuremens of a sysem o produce an opimal esimae of he curren
More informationArticle from. Predictive Analytics and Futurism. July 2016 Issue 13
Aricle from Predicive Analyics and Fuurism July 6 Issue An Inroducion o Incremenal Learning By Qiang Wu and Dave Snell Machine learning provides useful ools for predicive analyics The ypical machine learning
More information3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon
3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of
More informationShiva Akhtarian MSc Student, Department of Computer Engineering and Information Technology, Payame Noor University, Iran
Curren Trends in Technology and Science ISSN : 79-055 8hSASTech 04 Symposium on Advances in Science & Technology-Commission-IV Mashhad, Iran A New for Sofware Reliabiliy Evaluaion Based on NHPP wih Imperfec
More informationCHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK
175 CHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK 10.1 INTRODUCTION Amongs he research work performed, he bes resuls of experimenal work are validaed wih Arificial Neural Nework. From he
More informationParticle Swarm Optimization
Paricle Swarm Opimizaion Speaker: Jeng-Shyang Pan Deparmen of Elecronic Engineering, Kaohsiung Universiy of Applied Science, Taiwan Email: jspan@cc.kuas.edu.w 7/26/2004 ppso 1 Wha is he Paricle Swarm Opimizaion
More informationSection 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients
Secion 3.5 Nonhomogeneous Equaions; Mehod of Undeermined Coefficiens Key Terms/Ideas: Linear Differenial operaor Nonlinear operaor Second order homogeneous DE Second order nonhomogeneous DE Soluion o homogeneous
More informationPade and Laguerre Approximations Applied. to the Active Queue Management Model. of Internet Protocol
Applied Mahemaical Sciences, Vol. 7, 013, no. 16, 663-673 HIKARI Ld, www.m-hikari.com hp://dx.doi.org/10.1988/ams.013.39499 Pade and Laguerre Approximaions Applied o he Acive Queue Managemen Model of Inerne
More informationERROR LOCATING CODES AND EXTENDED HAMMING CODE. Pankaj Kumar Das. 1. Introduction and preliminaries
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 1 (2018), 89 94 March 2018 research paper originalni nauqni rad ERROR LOCATING CODES AND EXTENDED HAMMING CODE Pankaj Kumar Das Absrac. Error-locaing codes, firs
More informationMath 315: Linear Algebra Solutions to Assignment 6
Mah 35: Linear Algebra s o Assignmen 6 # Which of he following ses of vecors are bases for R 2? {2,, 3, }, {4,, 7, 8}, {,,, 3}, {3, 9, 4, 2}. Explain your answer. To generae he whole R 2, wo linearly independen
More informationAn recursive analytical technique to estimate time dependent physical parameters in the presence of noise processes
WHAT IS A KALMAN FILTER An recursive analyical echnique o esimae ime dependen physical parameers in he presence of noise processes Example of a ime and frequency applicaion: Offse beween wo clocks PREDICTORS,
More informationDesigning Information Devices and Systems I Spring 2019 Lecture Notes Note 17
EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive
More informationMorning Time: 1 hour 30 minutes Additional materials (enclosed):
ADVANCED GCE 78/0 MATHEMATICS (MEI) Differenial Equaions THURSDAY JANUARY 008 Morning Time: hour 30 minues Addiional maerials (enclosed): None Addiional maerials (required): Answer Bookle (8 pages) Graph
More informationApplying Genetic Algorithms for Inventory Lot-Sizing Problem with Supplier Selection under Storage Capacity Constraints
IJCSI Inernaional Journal of Compuer Science Issues, Vol 9, Issue 1, No 1, January 2012 wwwijcsiorg 18 Applying Geneic Algorihms for Invenory Lo-Sizing Problem wih Supplier Selecion under Sorage Capaciy
More informationThe field of mathematics has made tremendous impact on the study of
A Populaion Firing Rae Model of Reverberaory Aciviy in Neuronal Neworks Zofia Koscielniak Carnegie Mellon Universiy Menor: Dr. G. Bard Ermenrou Universiy of Pisburgh Inroducion: The field of mahemaics
More informationWEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x
WEEK-3 Reciaion PHYS 131 Ch. 3: FOC 1, 3, 4, 6, 14. Problems 9, 37, 41 & 71 and Ch. 4: FOC 1, 3, 5, 8. Problems 3, 5 & 16. Feb 8, 018 Ch. 3: FOC 1, 3, 4, 6, 14. 1. (a) The horizonal componen of he projecile
More informationADDITIONAL PROBLEMS (a) Find the Fourier transform of the half-cosine pulse shown in Fig. 2.40(a). Additional Problems 91
ddiional Problems 9 n inverse relaionship exiss beween he ime-domain and freuency-domain descripions of a signal. Whenever an operaion is performed on he waveform of a signal in he ime domain, a corresponding
More informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More informationChapter 3 Boundary Value Problem
Chaper 3 Boundary Value Problem A boundary value problem (BVP) is a problem, ypically an ODE or a PDE, which has values assigned on he physical boundary of he domain in which he problem is specified. Le
More information5.1 - Logarithms and Their Properties
Chaper 5 Logarihmic Funcions 5.1 - Logarihms and Their Properies Suppose ha a populaion grows according o he formula P 10, where P is he colony size a ime, in hours. When will he populaion be 2500? We
More informationRandom Walk with Anti-Correlated Steps
Random Walk wih Ani-Correlaed Seps John Noga Dirk Wagner 2 Absrac We conjecure he expeced value of random walks wih ani-correlaed seps o be exacly. We suppor his conjecure wih 2 plausibiliy argumens and
More information2.160 System Identification, Estimation, and Learning. Lecture Notes No. 8. March 6, 2006
2.160 Sysem Idenificaion, Esimaion, and Learning Lecure Noes No. 8 March 6, 2006 4.9 Eended Kalman Filer In many pracical problems, he process dynamics are nonlinear. w Process Dynamics v y u Model (Linearized)
More informationState-Space Models. Initialization, Estimation and Smoothing of the Kalman Filter
Sae-Space Models Iniializaion, Esimaion and Smoohing of he Kalman Filer Iniializaion of he Kalman Filer The Kalman filer shows how o updae pas predicors and he corresponding predicion error variances when
More informationA DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS
A DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS Xinping Guan ;1 Fenglei Li Cailian Chen Insiue of Elecrical Engineering, Yanshan Universiy, Qinhuangdao, 066004, China. Deparmen
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationFinding Near-Optimum Message Scheduling Settings for SHA-256 Variants Using Genetic Algorithms
Finding Near-Opimum essage Scheduling Seings for SHA-256 Varians Using Geneic Algorihms CHU-HSING LIN, CHEN-YU LEE 2, KRISHNA. KAVI 3, DENG-JYI CHEN 2, YI-SHIUNG YEH 2 Deparmen of Compuer Science Tunghai
More informationMechanical Fatigue and Load-Induced Aging of Loudspeaker Suspension. Wolfgang Klippel,
Mechanical Faigue and Load-Induced Aging of Loudspeaker Suspension Wolfgang Klippel, Insiue of Acousics and Speech Communicaion Dresden Universiy of Technology presened a he ALMA Symposium 2012, Las Vegas
More informationSome Basic Information about M-S-D Systems
Some Basic Informaion abou M-S-D Sysems 1 Inroducion We wan o give some summary of he facs concerning unforced (homogeneous) and forced (non-homogeneous) models for linear oscillaors governed by second-order,
More informationChapter 4. Truncation Errors
Chaper 4. Truncaion Errors and he Taylor Series Truncaion Errors and he Taylor Series Non-elemenary funcions such as rigonomeric, eponenial, and ohers are epressed in an approimae fashion using Taylor
More informationApplication of a Stochastic-Fuzzy Approach to Modeling Optimal Discrete Time Dynamical Systems by Using Large Scale Data Processing
Applicaion of a Sochasic-Fuzzy Approach o Modeling Opimal Discree Time Dynamical Sysems by Using Large Scale Daa Processing AA WALASZE-BABISZEWSA Deparmen of Compuer Engineering Opole Universiy of Technology
More informationThis document is downloaded from DR-NTU, Nanyang Technological University Library, Singapore.
This documen is downloaded from DR-NTU, Nanyang Technological Universiy Library, Singapore. Tile Auhor(s) Ciaion A Pracical Faul Aack on ARX-Like Ciphers wih a Case Sudy on ChaCha20 Kumar, S. V. Dilip;
More informationReferences are appeared in the last slide. Last update: (1393/08/19)
SYSEM IDEIFICAIO Ali Karimpour Associae Professor Ferdowsi Universi of Mashhad References are appeared in he las slide. Las updae: 0..204 393/08/9 Lecure 5 lecure 5 Parameer Esimaion Mehods opics o be
More informationLecture 3: Exponential Smoothing
NATCOR: Forecasing & Predicive Analyics Lecure 3: Exponenial Smoohing John Boylan Lancaser Cenre for Forecasing Deparmen of Managemen Science Mehods and Models Forecasing Mehod A (numerical) procedure
More informationThe Rosenblatt s LMS algorithm for Perceptron (1958) is built around a linear neuron (a neuron with a linear
In The name of God Lecure4: Percepron and AALIE r. Majid MjidGhoshunih Inroducion The Rosenbla s LMS algorihm for Percepron 958 is buil around a linear neuron a neuron ih a linear acivaion funcion. Hoever,
More informationSliding Mode Controller for Unstable Systems
S. SIVARAMAKRISHNAN e al., Sliding Mode Conroller for Unsable Sysems, Chem. Biochem. Eng. Q. 22 (1) 41 47 (28) 41 Sliding Mode Conroller for Unsable Sysems S. Sivaramakrishnan, A. K. Tangirala, and M.
More informationKINEMATICS IN ONE DIMENSION
KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings move how far (disance and displacemen), how fas (speed and velociy), and how fas ha how fas changes (acceleraion). We say ha an objec
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationPresentation Overview
Acion Refinemen in Reinforcemen Learning by Probabiliy Smoohing By Thomas G. Dieerich & Didac Busques Speaer: Kai Xu Presenaion Overview Bacground The Probabiliy Smoohing Mehod Experimenal Sudy of Acion
More informationA Hop Constrained Min-Sum Arborescence with Outage Costs
A Hop Consrained Min-Sum Arborescence wih Ouage Coss Rakesh Kawara Minnesoa Sae Universiy, Mankao, MN 56001 Email: Kawara@mnsu.edu Absrac The hop consrained min-sum arborescence wih ouage coss problem
More informationTimed Circuits. Asynchronous Circuit Design. Timing Relationships. A Simple Example. Timed States. Timing Sequences. ({r 6 },t6 = 1.
Timed Circuis Asynchronous Circui Design Chris J. Myers Lecure 7: Timed Circuis Chaper 7 Previous mehods only use limied knowledge of delays. Very robus sysems, bu exremely conservaive. Large funcional
More informationCSE Computer Architecture I
Single cycle Conrol Implemenaion CSE 332 Compuer Archiecure I l x I Lecure 7 - uli Cycle achines i i [ ] I I r l ichael Niemier Deparmen of Compuer Science and Engineering I ] i X.S. Hu 5- X.S. Hu 5-2
More information20. Applications of the Genetic-Drift Model
0. Applicaions of he Geneic-Drif Model 1) Deermining he probabiliy of forming any paricular combinaion of genoypes in he nex generaion: Example: If he parenal allele frequencies are p 0 = 0.35 and q 0
More informationEnsamble methods: Boosting
Lecure 21 Ensamble mehods: Boosing Milos Hauskrech milos@cs.pi.edu 5329 Senno Square Schedule Final exam: April 18: 1:00-2:15pm, in-class Term projecs April 23 & April 25: a 1:00-2:30pm in CS seminar room
More informationProbabilistic Models for Reliability Analysis of a System with Three Consecutive Stages of Deterioration
Yusuf I., Gaawa R.I. Volume, December 206 Probabilisic Models for Reliabiliy Analysis of a Sysem wih Three Consecuive Sages of Deerioraion Ibrahim Yusuf Deparmen of Mahemaical Sciences, Bayero Universiy,
More informationWATER LEVEL TRACKING WITH CONDENSATION ALGORITHM
WATER LEVEL TRACKING WITH CONDENSATION ALGORITHM Shinsuke KOBAYASHI, Shogo MURAMATSU, Hisakazu KIKUCHI, Masahiro IWAHASHI Dep. of Elecrical and Elecronic Eng., Niigaa Universiy, 8050 2-no-cho Igarashi,
More informationSliding Mode Extremum Seeking Control for Linear Quadratic Dynamic Game
Sliding Mode Exremum Seeking Conrol for Linear Quadraic Dynamic Game Yaodong Pan and Ümi Özgüner ITS Research Group, AIST Tsukuba Eas Namiki --, Tsukuba-shi,Ibaraki-ken 5-856, Japan e-mail: pan.yaodong@ais.go.jp
More informationEXPLICIT TIME INTEGRATORS FOR NONLINEAR DYNAMICS DERIVED FROM THE MIDPOINT RULE
Version April 30, 2004.Submied o CTU Repors. EXPLICIT TIME INTEGRATORS FOR NONLINEAR DYNAMICS DERIVED FROM THE MIDPOINT RULE Per Krysl Universiy of California, San Diego La Jolla, California 92093-0085,
More information6.01: Introduction to EECS I Lecture 8 March 29, 2011
6.01: Inroducion o EES I Lecure 8 March 29, 2011 6.01: Inroducion o EES I Op-Amps Las Time: The ircui Absracion ircuis represen sysems as connecions of elemens hrough which currens (hrough variables) flow
More informationLecture Notes 2. The Hilbert Space Approach to Time Series
Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship
More informationMATHEMATICAL DESCRIPTION OF THEORETICAL METHODS OF RESERVE ECONOMY OF CONSIGNMENT STORES
MAHEMAICAL DESCIPION OF HEOEICAL MEHODS OF ESEVE ECONOMY OF CONSIGNMEN SOES Péer elek, József Cselényi, György Demeer Universiy of Miskolc, Deparmen of Maerials Handling and Logisics Absrac: Opimizaion
More informationAnalyze patterns and relationships. 3. Generate two numerical patterns using AC
envision ah 2.0 5h Grade ah Curriculum Quarer 1 Quarer 2 Quarer 3 Quarer 4 andards: =ajor =upporing =Addiional Firs 30 Day 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 andards: Operaions and Algebraic Thinking
More informationTopic Astable Circuits. Recall that an astable circuit has two unstable states;
Topic 2.2. Asable Circuis. Learning Objecives: A he end o his opic you will be able o; Recall ha an asable circui has wo unsable saes; Explain he operaion o a circui based on a Schmi inverer, and esimae
More informationSolutionbank Edexcel AS and A Level Modular Mathematics
Page of 4 Soluionbank Edexcel AS and A Level Modular Mahemaics Exercise A, Quesion Quesion: Skech he graphs of (a) y = e x + (b) y = 4e x (c) y = e x 3 (d) y = 4 e x (e) y = 6 + 0e x (f) y = 00e x + 0
More informationLie Group Analysis of Second-Order Non-Linear Neutral Delay Differential Equations ABSTRACT
Malaysian Journal of Mahemaical Sciences 0S March : 7-9 06 Special Issue: The 0h IMT-GT Inernaional Conference on Mahemaics Saisics and is Applicaions 04 ICMSA 04 MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES
More informationSequential Importance Resampling (SIR) Particle Filter
Paricle Filers++ Pieer Abbeel UC Berkeley EECS Many slides adaped from Thrun, Burgard and Fox, Probabilisic Roboics 1. Algorihm paricle_filer( S -1, u, z ): 2. Sequenial Imporance Resampling (SIR) Paricle
More informationFITTING EQUATIONS TO DATA
TANTON S TAKE ON FITTING EQUATIONS TO DATA CURRICULUM TIDBITS FOR THE MATHEMATICS CLASSROOM MAY 013 Sandard algebra courses have sudens fi linear and eponenial funcions o wo daa poins, and quadraic funcions
More informationThe Optimal Stopping Time for Selling an Asset When It Is Uncertain Whether the Price Process Is Increasing or Decreasing When the Horizon Is Infinite
American Journal of Operaions Research, 08, 8, 8-9 hp://wwwscirporg/journal/ajor ISSN Online: 60-8849 ISSN Prin: 60-8830 The Opimal Sopping Time for Selling an Asse When I Is Uncerain Wheher he Price Process
More informationPROC NLP Approach for Optimal Exponential Smoothing Srihari Jaganathan, Cognizant Technology Solutions, Newbury Park, CA.
PROC NLP Approach for Opimal Exponenial Smoohing Srihari Jaganahan, Cognizan Technology Soluions, Newbury Park, CA. ABSTRACT Esimaion of smoohing parameers and iniial values are some of he basic requiremens
More informationPENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD
PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD HAN XIAO 1. Penalized Leas Squares Lasso solves he following opimizaion problem, ˆβ lasso = arg max β R p+1 1 N y i β 0 N x ij β j β j (1.1) for some 0.
More informationSpeech and Language Processing
Speech and Language rocessing Lecure 4 Variaional inference and sampling Informaion and Communicaions Engineering Course Takahiro Shinozaki 08//5 Lecure lan (Shinozaki s par) I gives he firs 6 lecures
More informationEECE251. Circuit Analysis I. Set 4: Capacitors, Inductors, and First-Order Linear Circuits
EEE25 ircui Analysis I Se 4: apaciors, Inducors, and Firs-Order inear ircuis Shahriar Mirabbasi Deparmen of Elecrical and ompuer Engineering Universiy of Briish olumbia shahriar@ece.ubc.ca Overview Passive
More informationEE202 Circuit Theory II , Spring. Dr. Yılmaz KALKAN & Dr. Atilla DÖNÜK
EE202 Circui Theory II 2018 2019, Spring Dr. Yılmaz KALKAN & Dr. Ailla DÖNÜK 1. Basic Conceps (Chaper 1 of Nilsson - 3 Hrs.) Inroducion, Curren and Volage, Power and Energy 2. Basic Laws (Chaper 2&3 of
More informationSub Module 2.6. Measurement of transient temperature
Mechanical Measuremens Prof. S.P.Venkaeshan Sub Module 2.6 Measuremen of ransien emperaure Many processes of engineering relevance involve variaions wih respec o ime. The sysem properies like emperaure,
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
More informationEchocardiography Project and Finite Fourier Series
Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every
More informationNavneet Saini, Mayank Goyal, Vishal Bansal (2013); Term Project AML310; Indian Institute of Technology Delhi
Creep in Viscoelasic Subsances Numerical mehods o calculae he coefficiens of he Prony equaion using creep es daa and Herediary Inegrals Mehod Navnee Saini, Mayank Goyal, Vishal Bansal (23); Term Projec
More informationA Specification Test for Linear Dynamic Stochastic General Equilibrium Models
Journal of Saisical and Economeric Mehods, vol.1, no.2, 2012, 65-70 ISSN: 2241-0384 (prin), 2241-0376 (online) Scienpress Ld, 2012 A Specificaion Tes for Linear Dynamic Sochasic General Equilibrium Models
More informationAn introduction to the theory of SDDP algorithm
An inroducion o he heory of SDDP algorihm V. Leclère (ENPC) Augus 1, 2014 V. Leclère Inroducion o SDDP Augus 1, 2014 1 / 21 Inroducion Large scale sochasic problem are hard o solve. Two ways of aacking
More informationSection 4.4 Logarithmic Properties
Secion. Logarihmic Properies 59 Secion. Logarihmic Properies In he previous secion, we derived wo imporan properies of arihms, which allowed us o solve some asic eponenial and arihmic equaions. Properies
More informationdt = C exp (3 ln t 4 ). t 4 W = C exp ( ln(4 t) 3) = C(4 t) 3.
Mah Rahman Exam Review Soluions () Consider he IVP: ( 4)y 3y + 4y = ; y(3) = 0, y (3) =. (a) Please deermine he longes inerval for which he IVP is guaraneed o have a unique soluion. Soluion: The disconinuiies
More informationA Forward-Backward Splitting Method with Component-wise Lazy Evaluation for Online Structured Convex Optimization
A Forward-Backward Spliing Mehod wih Componen-wise Lazy Evaluaion for Online Srucured Convex Opimizaion Yukihiro Togari and Nobuo Yamashia March 28, 2016 Absrac: We consider large-scale opimizaion problems
More informationEE363 homework 1 solutions
EE363 Prof. S. Boyd EE363 homework 1 soluions 1. LQR for a riple accumulaor. We consider he sysem x +1 = Ax + Bu, y = Cx, wih 1 1 A = 1 1, B =, C = [ 1 ]. 1 1 This sysem has ransfer funcion H(z) = (z 1)
More informationEE 301 Lab 2 Convolution
EE 301 Lab 2 Convoluion 1 Inroducion In his lab we will gain some more experience wih he convoluion inegral and creae a scrip ha shows he graphical mehod of convoluion. 2 Wha you will learn This lab will
More informationDecentralized Stochastic Control with Partial History Sharing: A Common Information Approach
1 Decenralized Sochasic Conrol wih Parial Hisory Sharing: A Common Informaion Approach Ashuosh Nayyar, Adiya Mahajan and Demoshenis Tenekezis arxiv:1209.1695v1 [cs.sy] 8 Sep 2012 Absrac A general model
More informationSection 4.4 Logarithmic Properties
Secion. Logarihmic Properies 5 Secion. Logarihmic Properies In he previous secion, we derived wo imporan properies of arihms, which allowed us o solve some asic eponenial and arihmic equaions. Properies
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationAn Invariance for (2+1)-Extension of Burgers Equation and Formulae to Obtain Solutions of KP Equation
Commun Theor Phys Beijing, China 43 2005 pp 591 596 c Inernaional Academic Publishers Vol 43, No 4, April 15, 2005 An Invariance for 2+1-Eension of Burgers Equaion Formulae o Obain Soluions of KP Equaion
More informationMean-square Stability Control for Networked Systems with Stochastic Time Delay
JOURNAL OF SIMULAION VOL. 5 NO. May 7 Mean-square Sabiliy Conrol for Newored Sysems wih Sochasic ime Delay YAO Hejun YUAN Fushun School of Mahemaics and Saisics Anyang Normal Universiy Anyang Henan. 455
More informationMethodology. -ratios are biased and that the appropriate critical values have to be increased by an amount. that depends on the sample size.
Mehodology. Uni Roo Tess A ime series is inegraed when i has a mean revering propery and a finie variance. I is only emporarily ou of equilibrium and is called saionary in I(0). However a ime series ha
More information