MARKOV MODEL: Analyzing its behavior for Uncertainty conditions
|
|
- Valentine Wade
- 5 years ago
- Views:
Transcription
1 MARKOV MODEL: Anlyzing its behvior for Unertinty onditions Llith.R.V.S Sri Si Adity Institute of Siene nd Tehnology,Surmplem e- mil: Sri Divy.R Sri Si Adity Institute of Siene nd Tehnology,Surmplem e-mil: Abstrt: Mrkov model is used to nlyze the dynmi behvior of the system in prediting the next stte with the previous stte. The proess of ttempting to guess the next hrter revels informtion bout the pssword strtegy. In this pper, we give fuzzy inferenes bout the guessing psswords, by exmining with the previous stte nd omputing the possible outomes of probbility of eh hrter. For some problems there nnot be omplete solutions. For suh problems Fuzzy inferenes llow us to evlute sub expressions. In the present pper, we disuss how to tre out some unertinty onditions nd nlyze their behvior using fuzzy inferene system nd finlly test the system for finding stedy stte behvior in guessing the hrters in the pssword. Keywords: Mrkov model, Fuzzy sets, Trnsition mtrix, Membership funtions, Fuzzy Logi 1. Introdution: To understnd the nture of the thret to pssword-bsed systems, we hve to hve informtion bout the guessble psswords. Mrkov model [1] gives representtion of guessble psswords by reting trnsition mtrix using prefixes. If the users re ssigned psswords tht ontin eight rndomly seleted printble hrters, then remembering pssword is diffiult, so pssword rking is very diffiult. The tehniques used to eliminte guessble psswords re 1. User Edution-users re given the guidelines for seleting hrd psswords. 2. Computer generted psswords- If the psswords re rndom, diffiult to remember.3--retive pssword heking system periodilly runs rker to find guessble psswords for nelling psswords guessed by the user.4. Protive pssword heking user is llowed to selet his or her own pssword. While guessing psswords guessing entire string is diffiult. But when subset of string is guessed we n predit the next ourrene by storing its previous stte. The next hrter to be rrived depends only on the previous stte but not independent. This onept is useful in plying rds, rolling die et. In this pper, we give mthemtil representtion for few mthemtil models for the omputtion of next possible stte bsed on the urrent stte. In pssword heking, guessble pssword is ompred with the ditionry of psswords stored. When the probbility of the ertin word is rehed, we n forget the ourrene of the prtiulr hrter in the next subsequent sttes. For tht, we explin some of the mthemtil representtions for omputing vrious ombintions of subsets of the string. The ide of fuzzy sets ws born in July The onept of grde of membership is the bkbone of fuzzy set theory. Fuzzy set is set with smooth boundry. Fuzzy sets re used where to generlize query or to del with prtil membership. Prtil membership ours when either onsequent or nteedent hve prtil stisftion. Fuzzy rules re helpful to give nlysis for sub expressions. By tking onlusion, by ombining ll the outomes of the fuzzy sub expressions we will obtin solution whih overs lmost ll the possible entities. In setion 2 we disussed the bsi priniple of Mrkov model. In setion 3 we disussed the onepts of unertinty onditions by tking n exmple. In setion 4, we disussed the behviorl study of Fuzzy inferenes for some of the sttes n be dedued using inferene logi of Fuzzy theory. The inferene logi helps us to retrieve informtion either by omprtive nlysis or by probbilisti pproh. We onsider the probbilisti pproh for evluting subsets. In setion 5, the signifine of tringulr membership funtion, operting between lower nd upper bounds is disussed. Finlly, in setion 6, we hve given mthemtil representtion, for some of the strings guessed, nd 1
2 omputed their probbilities. In setion [7] we gve few smples for prourement of probbilities nd to hve some history of previous sttes. 2. Priniple of Mrkov model:- The problems ssoited with the bove pprohes re 1. Spe nd 2. Time. Mrkov model helps in prepring list of guessble psswords, whih re to be rejeted by the system Fig : 1 M={ m, A, T, k} M= {3, {, b, }, T, 1} T= A Mrkov model is qudruple [m, A, T, k], where m is the number of sttes in the model, A is the stte spe, T is the mtrix of trnsition probbilities, nd k is the order of the model. Mrkov model is pplible if eh row of trnsition mtrix sums to 1. The sum of row of elements of row 1 = =1.0 The sum of elements of row 2 = =1.0 The sum of elements of row 3 = =1.0 The Mrkov model is not pplible, if the elements of ny row is less thn or greter thn Anlyzing the behvior for some unertinty onditions:- In the Fig 2, entire informtion is sinked into the node b, s there is no outgoing stte. No outgoing stte identifies tht there will be no ourrene of next hrter. If we nlyze the behvior of stte b we n derive the previous stte nlysis tht is rehing b. 2
3 b Fig:2 The trnsition mtrix for Fig.2 is T= By this, we n onlude tht the guessble psswords for this trnsition mtrix n be b, or b, or b, or b or b or b or et. Whih shows the position of b is lwys lst for most of the substrings nd the position of n be either t the beginning or t the lst. The probble ourrenes of the next hrter for n be, b or.the probble ourrenes of the next hrter for is or b. And the probble ourrenes of the next hrter for b is nothing. 4.Fuzzy Inferenes:- We n pply fuzzy inferenes logil resoning, for the sttes tht output to the sme stte. To know how to onvert the risp set into fuzzy one nd fuzzy into risp one, observe the following rules for the exmple sttes tken s below: Let x is pssword submitted by the user. The fuzzy rule for the fig.1 n be written s Rule 1: if x is then y is b with 0.7 probbility Rule 2: if x is then y is b with 0.3 probbility Obviously, multiple inputs produe the sme output upto some extent. Fuzzy resoning is used to generlize logil resoning lled modus ponens. This n be referred generliztion, in the sense whtever the inputs submitted we re obtining the stte b for some probbilities. Fuzzy rule bsed inferene: As the probbilities of getting b for nd re different, we n ssure tht we n predit b fter or for 0.3 probbility lso. This type of inferenes n by represented using membership funtions. 3
4 Input Crisp Set Fuzzy Fuzzy Fuzzifier b Inferene Logi z Defuzzifier Crisp Output Fig:3 5. Representtion of Fig 3, using Tringulr membership funtion: This funtion is designed, to distinguish the lower nd upper bounds of two inputs to be onsidered for produing the sme output. A fuzzy is defined by funtion tht mps objets in domin of onern to their membership vlue in the set. Suh funtion is lled membership funtion, denoted by Greek symbol µ for reognition nd onsisteny. The membership [4] of fuzzy set A is defined s µ nd the membership vlue of x in A is µ (x). Let A= {, b, } µ µ (b) 1.0 b x Fig:4 In the bove fig, with 0.7 probbility nd with 0.3 probbility outputs to. The next ourrene of hrter b ppers only with the probbilities of 0.7 nd b 0.3. Beyond tht heking for the ourrene of hrter b is not required. If there is proess with 4 elements, we n go for trpezoidl membership funtion. These membership funtions llow us to give informtion bout the rnge of vlues to be llowed for omputtion. To obtin the region of informtion tht is ommon to both the sttes, we dopt sling nd lipping methods, to dedue inferene logi. The following two digrms, gives informtion bout the inferred onlusion with mthing degree
5 µ 1.0 b 0.3 x 0.0 Fig. 5 inferred onlusion using lipping method 1.0 µ 0.3 b x 0.0 Fig. 6 inferred onlusion using sling method 6. Computtion of no. possible ourrenes of eh hrter [2]:- To evlute the behvior of the stedy stte vetor, Consider Mrkov hin with N sttes. A stte vetor for Mrkov hin is row vetor X=[x 1,x 2..x n ] Our exmple Mrkov proess is with 3 sttes (,b,). Row vetor 1= 1, 1b, 1 Row vetor 2 =b 2, b 2b, b 2 Row vetor 3= 3, 3b, 3 1 is the probbility tht the probbility of in first stte so tht it gets the next hrter s in the next stte nd so on. Let X= [ b ] Let T is n x n mtrix, k is the k th X=lim T power of mtrix, then[8], 5
6 Let X 0 denote the initil stte of the Mrkov hin. In generl, Xn = X n 1 T Let Identity mtrix I= And Trnsition mtrix T= is the mtrix obtined initilly by multiplying identity mtrix with the trnsition mtrix for finding the initil stte[3]. Let us find probbilities for some exmple strings. Probbility of obtining only b s in the string. x 0 x 1 = x 0 T Probbility of obtining only s in the string Probbility of obtining only s in the string[6]: Finding probbility of two hrter word (bi-grm) in the pssword- Probbility of getting b in the string =[.6 1 0] Finding probbility of three hrter word(trigrm)[5] in the pssword- Probbility of getting b in the string =[.6 1.4] nd so on. The strings re heked for probbilities tking initil stte s. If we hnge the initil stte, we go for ny ombintion of strings, like b, b et. 6
7 7. Unertinity onditions: Set s is the set of eptble strings. And w1, w2, w3... re the probble strings/substrings in the set. S={ w 1,w 2 w n } Let N ij be the no. of trnsitions mde by string from stte i to stte j. Totl no. of trnsitions(n ij ) from stte i to stte j depends on the probbility of the prtiulr hrter tht n hve trnsition from stte i to stte j. N i tul no. of trnsitions mde. Then trnsition probbility(tp) from stte i to stte j is N ij / N i Then emission probbility n be omputed s Probbility of stte I - N ij / N i For eg. Emission probbility (ep) for stte is 0.7 N b /N As the emission probbility inreses, the probbility of guessing pssword hrter dereses. 8. Conlusion:- The probbilities omputed for eh hrter from trnsition mtrix nd the probbilities derived from the vetor, both beome sme. With the bove omputtion nlysis, we n restrit our guess in prediting the next hrter up to some extent. 9. Future sope: This nlysis n be extended to seond order Mrkov model. By giving nlysis of more nd more sub expressions of fuzzy nlysis, leds to omprehensive study of the prediting psswords. Referenes: 1. Network Seurity Essentils Applitions nd Stndrds by Willim Stllings, Person Edution Fuzzy mrkov modeling in utomti ontrol of omplex dynmi systems V.Arkov, Institute of Mehnis, Russin Ademy of Siene, Uf, Russi G.G.Kukikov, T.V. Breikin, Uf Stte Avition, Tehnil University, Uf, Russi 4. FUZZY LOGIC - INTELLEGENCE,CONTROL, AND INFORMATION by JOHN YEN, REGA LANGARI 5. Introdution to Informtion Retrievl - Serh Engines Mihel Hwthornthwite works t Aid Computer Servies (Mnhester) who speilize in web design, web development nd bespoke softwre development Regulr Mrkov Chins Tom Lewis Winter Term
8 This demi rtile ws published by The Interntionl Institute for Siene, Tehnology nd Edution (IISTE). The IISTE is pioneer in the Open Aess Publishing servie bsed in the U.S. nd Europe. The im of the institute is Aelerting Globl Knowledge Shring. More informtion bout the publisher n be found in the IISTE s homepge: The IISTE is urrently hosting more thn 30 peer-reviewed demi journls nd ollborting with demi institutions round the world. Prospetive uthors of IISTE journls n find the submission instrution on the following pge: The IISTE editoril tem promises to the review nd publish ll the qulified submissions in fst mnner. All the journls rtiles re vilble online to the reders ll over the world without finnil, legl, or tehnil brriers other thn those inseprble from gining ess to the internet itself. Printed version of the journls is lso vilble upon request of reders nd uthors. IISTE Knowledge Shring Prtners EBSCO, Index Copernius, Ulrih's Periodils Diretory, JournlTOCS, PKP Open Arhives Hrvester, Bielefeld Ademi Serh Engine, Elektronishe Zeitshriftenbibliothek EZB, Open J-Gte, OCLC WorldCt, Universe Digtil Librry, NewJour, Google Sholr
Hyers-Ulam stability of Pielou logistic difference equation
vilble online t wwwisr-publitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom - wwwisr-publitionsom/jns Hyers-Ulm stbility of Pielou logisti differene eqution Soon-Mo
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106
8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly
More informationMath 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)
Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion
More informationBehavior Composition in the Presence of Failure
Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re
More informationLearning Partially Observable Markov Models from First Passage Times
Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).
More informationEngr354: Digital Logic Circuits
Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost
More informationANALYSIS AND MODELLING OF RAINFALL EVENTS
Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.
More informationThe study of dual integral equations with generalized Legendre functions
J. Mth. Anl. Appl. 34 (5) 75 733 www.elsevier.om/lote/jm The study of dul integrl equtions with generlized Legendre funtions B.M. Singh, J. Rokne,R.S.Dhliwl Deprtment of Mthemtis, The University of Clgry,
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More informationElectromagnetic-Power-based Modal Classification, Modal Expansion, and Modal Decomposition for Perfect Electric Conductors
LIAN: EM-BASED MODAL CLASSIFICATION EXANSION AND DECOMOSITION FOR EC 1 Eletromgneti-ower-bsed Modl Clssifition Modl Expnsion nd Modl Deomposition for erfet Eletri Condutors Renzun Lin Abstrt Trditionlly
More informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationMetodologie di progetto HW Technology Mapping. Last update: 19/03/09
Metodologie di progetto HW Tehnology Mpping Lst updte: 19/03/09 Tehnology Mpping 2 Tehnology Mpping Exmple: t 1 = + b; t 2 = d + e; t 3 = b + d; t 4 = t 1 t 2 + fg; t 5 = t 4 h + t 2 t 3 ; F = t 5 ; t
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More informationAutomatic Synthesis of New Behaviors from a Library of Available Behaviors
Automti Synthesis of New Behviors from Lirry of Aville Behviors Giuseppe De Giomo Università di Rom L Spienz, Rom, Itly degiomo@dis.unirom1.it Sestin Srdin RMIT University, Melourne, Austrli ssrdin@s.rmit.edu.u
More informationA Mathematical Model for Unemployment-Taking an Action without Delay
Advnes in Dynmil Systems nd Applitions. ISSN 973-53 Volume Number (7) pp. -8 Reserh Indi Publitions http://www.ripublition.om A Mthemtil Model for Unemployment-Tking n Ation without Dely Gulbnu Pthn Diretorte
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More information#A42 INTEGERS 11 (2011) ON THE CONDITIONED BINOMIAL COEFFICIENTS
#A42 INTEGERS 11 (2011 ON THE CONDITIONED BINOMIAL COEFFICIENTS Liqun To Shool of Mthemtil Sienes, Luoyng Norml University, Luoyng, Chin lqto@lynuedun Reeived: 12/24/10, Revised: 5/11/11, Aepted: 5/16/11,
More informationGlobal alignment. Genome Rearrangements Finding preserved genes. Lecture 18
Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationMore Properties of the Riemann Integral
More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl
More informationPetri Nets. Rebecca Albrecht. Seminar: Automata Theory Chair of Software Engeneering
Petri Nets Ree Alreht Seminr: Automt Theory Chir of Softwre Engeneering Overview 1. Motivtion: Why not just using finite utomt for everything? Wht re Petri Nets nd when do we use them? 2. Introdution:
More informationCore 2 Logarithms and exponentials. Section 1: Introduction to logarithms
Core Logrithms nd eponentils Setion : Introdution to logrithms Notes nd Emples These notes ontin subsetions on Indies nd logrithms The lws of logrithms Eponentil funtions This is n emple resoure from MEI
More informationHybrid Systems Modeling, Analysis and Control
Hyrid Systems Modeling, Anlysis nd Control Rdu Grosu Vienn University of Tehnology Leture 5 Finite Automt s Liner Systems Oservility, Rehility nd More Miniml DFA re Not Miniml NFA (Arnold, Diky nd Nivt
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationMATRIX INVERSE ON CONNEX PARALLEL ARCHITECTURE
U.P.B. Si. Bull., Series C, Vol. 75, Iss. 2, ISSN 86 354 MATRIX INVERSE ON CONNEX PARALLEL ARCHITECTURE An-Mri CALFA, Gheorghe ŞTEFAN 2 Designed for emedded omputtion in system on hip design, the Connex
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationPrefix-Free Regular-Expression Matching
Prefix-Free Regulr-Expression Mthing Yo-Su Hn, Yjun Wng nd Derik Wood Deprtment of Computer Siene HKUST Prefix-Free Regulr-Expression Mthing p.1/15 Pttern Mthing Given pttern P nd text T, find ll sustrings
More informationf (x)dx = f(b) f(a). a b f (x)dx is the limit of sums
Green s Theorem If f is funtion of one vrible x with derivtive f x) or df dx to the Fundmentl Theorem of lulus, nd [, b] is given intervl then, ording This is not trivil result, onsidering tht b b f x)dx
More informationarxiv: v1 [math.ca] 21 Aug 2018
rxiv:1808.07159v1 [mth.ca] 1 Aug 018 Clulus on Dul Rel Numbers Keqin Liu Deprtment of Mthemtis The University of British Columbi Vnouver, BC Cnd, V6T 1Z Augest, 018 Abstrt We present the bsi theory of
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More informationSection 3.6. Definite Integrals
The Clulus of Funtions of Severl Vribles Setion.6 efinite Integrls We will first define the definite integrl for funtion f : R R nd lter indite how the definition my be extended to funtions of three or
More informationAlpha Algorithm: Limitations
Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t
More information(h+ ) = 0, (3.1) s = s 0, (3.2)
Chpter 3 Nozzle Flow Qusistedy idel gs flow in pipes For the lrge vlues of the Reynolds number typilly found in nozzles, the flow is idel. For stedy opertion with negligible body fores the energy nd momentum
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationCo-ordinated s-convex Function in the First Sense with Some Hadamard-Type Inequalities
Int. J. Contemp. Mth. Sienes, Vol. 3, 008, no. 3, 557-567 Co-ordinted s-convex Funtion in the First Sense with Some Hdmrd-Type Inequlities Mohmmd Alomri nd Mslin Drus Shool o Mthemtil Sienes Fulty o Siene
More informationBisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More informationDriving Cycle Construction of City Road for Hybrid Bus Based on Markov Process Deng Pan1, a, Fengchun Sun1,b*, Hongwen He1, c, Jiankun Peng1, d
Interntionl Industril Informtics nd Computer Engineering Conference (IIICEC 15) Driving Cycle Construction of City Rod for Hybrid Bus Bsed on Mrkov Process Deng Pn1,, Fengchun Sun1,b*, Hongwen He1, c,
More informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More information16z z q. q( B) Max{2 z z z z B} r z r z r z r z B. John Riley 19 October Econ 401A: Microeconomic Theory. Homework 2 Answers
John Riley 9 Otober 6 Eon 4A: Miroeonomi Theory Homework Answers Constnt returns to sle prodution funtion () If (,, q) S then 6 q () 4 We need to show tht (,, q) S 6( ) ( ) ( q) q [ q ] 4 4 4 4 4 4 Appeling
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More informationCS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014
S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown
More informationLecture Summaries for Multivariable Integral Calculus M52B
These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationReinforcement Learning
Reinforcement Lerning Tom Mitchell, Mchine Lerning, chpter 13 Outline Introduction Comprison with inductive lerning Mrkov Decision Processes: the model Optiml policy: The tsk Q Lerning: Q function Algorithm
More informationCommon intervals of genomes. Mathieu Raffinot CNRS LIAFA
Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr
More informationSEMANTIC ANALYSIS PRINCIPLES OF PROGRAMMING LANGUAGES. Norbert Zeh Winter Dalhousie University 1/28
SEMNTI NLYSIS PRINIPLES OF PROGRMMING LNGUGES Norbert Zeh Winter 2018 Dlhousie University 1/28 PROGRM TRNSLTION FLOW HRT Soure progrm (hrter strem) Snner (lexil nlysis) Front end Prse tree Prser (syntti
More informationOn the Co-Ordinated Convex Functions
Appl. Mth. In. Si. 8, No. 3, 085-0 0 085 Applied Mthemtis & Inormtion Sienes An Interntionl Journl http://.doi.org/0.785/mis/08038 On the Co-Ordinted Convex Funtions M. Emin Özdemir, Çetin Yıldız, nd Ahmet
More informationDevelopment of Failure Probability Analysis Method for. Concrete Piers of Multi-span Continuous Bridges using
Development o Filure Probbility Anlysis Method or Conrete Piers o Multi-spn Continuous Bridges using the Probbilisti Cpity Spetrum Method Je Shin CHOI, Je Kwn KIM ABSTRACT When erthqukes our, strutures
More informationTable of Content. c 1 / 5
Tehnil Informtion - t nd t Temperture for Controlger 03-2018 en Tble of Content Introdution....................................................................... 2 Definitions for t nd t..............................................................
More informationArrow s Impossibility Theorem
Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}
More informationA Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version
A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More informationPropositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.
Propositionl models Historil models of omputtion Steven Lindell Hverford College USA 1/22/2010 ISLA 2010 1 Strt with fixed numer of oolen vriles lled the voulry: e.g.,,. Eh oolen vrile represents proposition,
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationSystem Validation (IN4387) November 2, 2012, 14:00-17:00
System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise
More informationON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs
ON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs A.I. KECHRINIOTIS AND N.D. ASSIMAKIS Deprtment of Eletronis Tehnologil Edutionl Institute of Lmi, Greee EMil: {kehrin,
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationVehicle Equipment Selection Model for Preliminary Design Using Fuzzy Multi-Criteria Decision Making Method
Vehile Equipment Seletion Model for Preliminry Design Using Fuzzy Multi-Criteri Deision Mking Method Ab. Smn Abd. Kder, Jmlih Idris, Mohd Afifi Abdul Mukti, Mohd Zmni Ahmd Fulty of Mehnil Engineering,
More informationNEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE
NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE V.S. Gordeev, G.A. Myskov Russin Federl Nuler Center All-Russi Sientifi Reserh Institute of Experimentl Physis (RFNC-VNIIEF)
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationAlpha Algorithm: A Process Discovery Algorithm
Proess Mining: Dt Siene in Ation Alph Algorithm: A Proess Disovery Algorithm prof.dr.ir. Wil vn der Alst www.proessmining.org Proess disovery = Ply-In Ply-In event log proess model Ply-Out Reply proess
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationLecture 6. CMOS Static & Dynamic Logic Gates. Static CMOS Circuit. PMOS Transistors in Series/Parallel Connection
NMOS Trnsistors in Series/Prllel onnetion Leture 6 MOS Stti & ynmi Logi Gtes Trnsistors n e thought s swith ontrolled y its gte signl NMOS swith loses when swith ontrol input is high Peter heung eprtment
More informationCOMPUTER SCIENCE TRIPOS
CST.2011.2.1 COMPUTER SCIENCE TRIPOS Prt IA Tuesdy 7 June 2011 1.30 to 4.30 COMPUTER SCIENCE Pper 2 Answer one question from ech of Sections A, B nd C, nd two questions from Section D. Submit the nswers
More informationExtended nonlocal games from quantum-classical games
Extended nonlocl gmes from quntum-clssicl gmes Theory Seminr incent Russo niversity of Wterloo October 17, 2016 Outline Extended nonlocl gmes nd quntum-clssicl gmes Entngled vlues nd the dimension of entnglement
More informationIntroduction to Bioinformatics
Introdution to Bioinformtis Outline } Method without onsidering bkground distribution } Generl pproh onsidering bkground distribution } Wys to speed up the lgorithm Trnsription Ftor Binding Sites (TFBSs)
More informationBehavior Composition in the Presence of Failure
Behior Composition in the Presene of Filure Sestin Srdin RMIT Uniersity, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Uni. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re t
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More informationDecision Networks. CS 188: Artificial Intelligence Fall Example: Decision Networks. Decision Networks. Decisions as Outcome Trees
CS 188: Artificil Intelligence Fll 2011 Decision Networks ME: choose the ction which mximizes the expected utility given the evidence mbrell Lecture 17: Decision Digrms 10/27/2011 Cn directly opertionlize
More informationMath Lecture 23
Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of
More informationLing 3701H / Psych 3371H: Lecture Notes 9 Hierarchic Sequential Prediction
Ling 3701H / Psyh 3371H: Leture Notes 9 Hierrhi Sequentil Predition Contents 9.1 Complex events.................................... 1 9.2 Reognition of omplex events using event frgments................
More informationRobustness of Evolvable Hardware in the Case of Fault and Environmental Change
Proeedings of the IEEE Interntionl Conferene on Rootis nd Biomimetis Deemer -,, Guilin, Chin Roustness of Evolvle Hrdwre in the Cse of Fult nd Environmentl Chnge Jin Gong, Mengfei Yng Astrt The ontroller
More informationA New Flexible Discrete Distribution: Theory and Empirical Evidence
A ew Flexible Disrete Distribution: Theor nd Empiril Evidene Abstrt Giovnni Pollio Giovnni De Lu The Prthenope Universit of ples Itl A new disrete distribution with two prmeters is introdued nd disussed.
More information20 b The prime numbers are 2,3,5,7,11,13,17,19.
Topi : Probbility Short nswer tehnology- free The following my be of use in this test:! 0 0 Two rows of Psl s tringle re: ontiner holds irulr piees eh of the sme size. Written on eh is different number,
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing
More informationFast index for approximate string matching
Fst index for pproximte string mthing Dekel Tsur Astrt We present n index tht stores text of length n suh tht given pttern of length m, ll the sustrings of the text tht re within Hmming distne (or edit
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationLine Integrals and Entire Functions
Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 22 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationLossless Compression Lossy Compression
Administrivi CSE 39 Introdution to Dt Compression Spring 23 Leture : Introdution to Dt Compression Entropy Prefix Codes Instrutor Prof. Alexnder Mohr mohr@s.sunys.edu offie hours: TBA We http://mnl.s.sunys.edu/lss/se39/24-fll/
More information] dx (3) = [15x] 2 0
Leture 6. Double Integrls nd Volume on etngle Welome to Cl IV!!!! These notes re designed to be redble nd desribe the w I will eplin the mteril in lss. Hopefull the re thorough, but it s good ide to hve
More information8 THREE PHASE A.C. CIRCUITS
8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),
More informationHW3, Math 307. CSUF. Spring 2007.
HW, Mth 7. CSUF. Spring 7. Nsser M. Abbsi Spring 7 Compiled on November 5, 8 t 8:8m public Contents Section.6, problem Section.6, problem Section.6, problem 5 Section.6, problem 7 6 5 Section.6, problem
More informationCan one hear the shape of a drum?
Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:
More informationSome Aspects of Non-Orthogonal Stagnation-Point Flow towards a Stretching Surface
Engineering, 00,, 705-709 doi:0.436/eng.00.909 Published Online September 00 (http://www.sirp.org/journl/eng) Some Aspets of Non-Orthogonl Stgntion-Point Flow towrds Strething Surfe Abstrt Mothr Rez, Andi
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,
More informationAVL Trees. D Oisín Kidney. August 2, 2018
AVL Trees D Oisín Kidne August 2, 2018 Astrt This is verified implementtion of AVL trees in Agd, tking ides primril from Conor MBride s pper How to Keep Your Neighours in Order [2] nd the Agd stndrd lirr
More informationArithmetic & Algebra. NCTM National Conference, 2017
NCTM Ntionl Conference, 2017 Arithmetic & Algebr Hether Dlls, UCLA Mthemtics & The Curtis Center Roger Howe, Yle Mthemtics & Texs A & M School of Eduction Relted Common Core Stndrds First instnce of vrible
More informationDescriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata
Desriptionl Complexity of Non-Unry Self-Verifying Symmetri Differene Automt Lurette Mris 1,2 nd Lynette vn Zijl 1 1 Deprtment of Computer Siene, Stellenosh University, South Afri 2 Merk Institute, CSIR,
More information