Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation
|
|
- Hubert Carr
- 6 years ago
- Views:
Transcription
1 Clulg E Trsve Closure for Normlzed Affe Ieger Tuple elo W Bele*, T Klme*, KTrfuov** *Fuly of Compuer See, Tehl Uversy of Szze, lme@wpspl, bele@wpspl ** INIA Sly d Prs-Sud Uversy, ordrfuov@rfr Absr: A pproh o lule he e rsve losure of prmeerzed d ormlzed ffe eger uple relo s preseed A relo s ormlzed whe desrbes grphs of he h opology oly A proedure of he ormlzo s hed The e rsve losure lulo s bsed o resolvg sysem of reurree equos beg formed from he pu d oupu uples of ormlzed relo The pproh perms for lulg e rsve losure for relo whe he osrs of hs losure re represeed by boh ffe d o-ler forms Emples of lulg he e rsve losure of ormlzed ffe eger uple relos re preseed Keywords: ffe eger uple relo, e rsve losure, Presburger Arhme, reurree equo Iroduo My problems redue o ompug rsve losures of grphs, for emple, dbse problems, prsg uom ompler osruos, opmzg ompler problems: redud syhrozo removl [], esg he legly of ero reorderg rsformos [], ompug losed form epressos for duo vrbles[], ero spe slg d ode geero [,] Grphs be represeed dffere wys Oe of possble represeos s bsed o uple relos I hs pper, we osder he lss of prmeerzed d ormlzed ffe eger uple relos whose osrs oss of ffe equles d equles Suh relos desrbe fe grphs There re los of ehques for ompug rsve losures for fe grphs, bu o our bes owledge, ehques for ompug he posve rsve losure of prmeerzed ffe eger uple relo, h desrbes fe grphs, were he sube of he vesgo of few ppers oly [] The soluo, preseed pper [] does o perm lulg e rsve losure whe s osrs
2 re preseed by o-ler forms, oly ppromos be ppled for oe represeo of rsve losure The gol of hs pper s o prese ehque permg us o lule he e rsve losure of prmeerzed d ormlzed ffe eger uple relo whe he osrs of hs losure re represeed by boh ffe d o-ler forms Bgroud The rsve losure of dreed grph G=V, E) s grph H=V, F) wh edge v, w) F f d oly f here s ph from v o w G I s very esy o he f here s ph from ode v o ode w G usg he rsve losure H of grph G There s ph G f d oly f here s edge v, w) H A grph be represeed wh eger uple relo whose dom osss of eger -uples d whose rge osss of eger -uples, for some fed d The followg s emple of relo from -uple o -uples [] [, ] The geerl form of eger uple relo s s follows[] :,,, m s F,,, y, y,, y where he F s re ouos of ffe equles d equles o he pu vrbles,,,, he oupu vrbles y, y,, y, he eselly qufed vrbles,,,, d symbol oss Ths relo be wre equvlely s he uo of umber of smpler relos, eh of whh be desrbed usg sgle ou[]:,,, y, y,, y,,, s m F m I s evde h eger uple relo desrbes he orrespode grph where he pu d oupu uples of he relo represe veres of he grph whle ffe equles d equles desrbe he edges of he grph edge ess f orrespode ffe equles d equles re hoored for gve pr of veres represeed wh pu d oupu uples) There es he wo relos reled o rsve losure: posve rsve losure, +, d rsve losure, *= + I, where I s he dey relo, I [] [] : osr s for Fgure shows grphs represeed wh he followg relo := {[][+]: <= <= }, where =, s well s relos + d *, respevely
3 + * Fgure elo, s posve rsve losure, +, d rsve losure, *, respevely The e rsve losure + of relo be preseed by he followg formul From he formul bove s ler h o lule +, we frsly lule d he relo + by mg he formul bove eselly qufed, e, ddg he qufero o he osrs of Normlzo of relo The pproh preseed hs pper dels oly wh ormlzed relos elo s ormlzed f ssfes he followg odos: elo s o preseed s uo of wo or more smpler relos,, =,,,, where s he umber of relos, wh pu d oupu uples, IN, OUT, suh h here es l, m [,] suh h IN l IN m or OUT l OUT m Eh soure/deso vere desrbed by he relo hs he ely oe orrespode deso/soure vere All equles d equles wh he relo osrs re resolved Codos d ogeher guree h ormlzed relo desrbes grphs of he h opology oly, whle odo perms us o smplfy he proess of buldg reurree equos for lulg see Seo 4) If relo does o ssfy y of he odos bove, we should pply he ormlzo proedure preseed below If relo s represeed s uo of wo or more smpler relos whose pu d oupu uples re dffere, he he ed wh sglg he flure of
4 he ormlzo If relo s represeed s he uo of wo or more relos wh he sme pu d oupu uples, he form sgle relo whose osr s he dsuo of he osrs of ll relos Che wheher eh soure/deso vere desrbed by he relo yelded sep,, hs he ely oe orrespode deso/soure vere, e, for eh soure/deso vere, s/d, s dom), d rge ) here ess he ely oe deso/soure d/s, for hs purpose, we mus he wheher here es suh s d s h s s d s) s ) s well s suh d d d h d d d d ) d ) If he verfed odo s o rue, he ry o remove redud edges desrbed by pplyg well-ow-ehques [] d repe he heg proess Whe suess, go o sep, oherwse he ed wh sglg he flure of he ormlzo esolve ll equos beg oed he osrs of, le = be he soluo o hese equos, subsue ll he pperes of for he pu d oupu uples of s well s s osrs 4 esolve ll equles he relo osrs Le us osder he followg emple of [, ] [, [, ] [, ] : ] : 5 5 Afer sep of he ormlzo proedure, we ge [, ] [, ] : 5 O 5 Afer eeug seps -4, he ormlzed relo s of he form [,] [,] : 4 O 49 4 Clulg relos d + for ormlzed relo If he szes of he pu d oupu uples of relo re dffere or he se dom) rge) s empy, whh mes h eh deso vere desrbed by s o y soure vere he sme me, we wre for for hs pper dels oly wh sgle ormlzed relo, our fuure reserh we ed o vesge lulg he power of uo of mulple relos 4
5 Oherwse g o ou h ormlzed relo desrbes grphs of he h opology oly, we form sysem of reurree equos desrbg he sme grphs h relo does For relo beg represeed he form "! " " b " # b!! b! " " d # d osrs!! d o, we wre he followg sysem of reurree equos "! " " b " # b!! b! " " d # d!! d ) d he sysem defg l vlues of uow veor " "!! For emple, for he relo [] [ ] ), we form he followg equo The soluo o s where s he l vlue of A sysem of reurree equos ) wh l odos ) be resolved by mes of y well-ow solver, for emple, suh s Mple [5], Mhem [6], Mm [7], MuPAD [8], PUS [9] For rryg ou our epermes, we,,, hose Mhem Gve soluo,,, o sysems ) d ),,,, s veor defg l vlues of veor for =), we where wre he form,,,,,,,,, :,,, dom),,,,,,,,, rge ),,,,,,, ) $ 4,,, d =,,, where,,, of ) re he pu d oupu uples, respevely; he osrs ) me he followg osrs mposed o he pu uple of, osrs defg vlues of he oupu uple of o he bss of he soluo of sysems ) d ) hey deped o d ), 5
6 osrs mposed o he oupu uple of o he se rge ), : he rge of mus belog 4 osrs mposed o he oupu uple of : relo desrbes he sme rsve relos h relo does Beuse + s uow whle we form, we rewre osr 4 he form:, % : UVD), 4) where UVD Ulme Vere Desos ) deoes se of vere desos h re o y soure vere; % s he ego operor; s he esee qufer operor Cosr 4) mes h here does o es y edge bewee y wo dso hs lyg log sgle le he grphsee Fgure ) Fgure elo desrbes wo hs log eh sgle le he grph To dsover wheher osr 4) s eessry, we use he proedure followg Clule se UVS dom) rge), Clule se UVD rge) dom), Clule Hull UVS UVD), 6
7 4 Form relo r whose pu d oupu uples re he sme s hose of relo whle s dom d rge belog o HullUVS UVD), e, relo r desrbes oly ouous hs wh Hull UVS UVD) 5 Che wheher r, f so he desrbes ouous hs wh Hull UVS UVD ), oherwse oe or more hs desrbed by re o ouous wh Hull UVS UVD) Le us llusre he proedure bove by mes of he followg emple of [] [ ] : :,4#, 4# ) The resuls of he proedure seps re he followg UVS [] [] : : 4# ), UVD [] : : 4 # 4 ), Hull UVS UVD ) [] :, 4 r [] [] :, 5 r The fl resul mes h relo Le us ow demosre lulg mus lude osr 4) for he followg emple of [, ] [, ]: Ths relo requres he ormlzo Applyg he ormlzo proedure, we ge he ormlzed relo below [, # ] [, 4 ] : 4 4 The proess of formg relos d + ludes he followg seps Form he followg sysem of reurree equos # 4 # wh he followg sysem for l vlues of uows The soluo o he sysems bove produed by Mhem s s follows,, # # # # ) 7
8 Clule se dom) [, ] : lph: lph 4 4 ) Clule se rge) [, ] : lph: 4lph & & ) 4 Clule se UVS [, ] : [, ] : 5 Clule se UVD [, ] : [, ] : [, ] : : # 4 4 ) : 4# 4 4 ) : 4 : 4 4 ) : 4 4 ) 6 Che wheher osr 4) s eessry For hs purpose, we fulfl he followg lulos Clule HullUVS uo UVD) Clule relo r ) [, ] : r [, ] [, ]: 4,, Clule 7 Form relo r, e, osr 4) s o eessry ordg o formul ),, [, ] [, ]: $ : # # 4 4 ),, #& # # #,,, : # # 4 ) 8 Form relo + by mg he relo bove eselly qufed 8
9 ,, [, ] [, ]: : $ : # # 4 4 ),, #& # # #,,, : # # 4 )) 5 Emples of lulg + Applyg he proposed pproh, we hve luled relos d + for he relos preseed Tble I s worh o oe h ll relos from he ble re o-uform d y from well-ow lgorhms d ools do o perm for lulg d + for hese relos N Tble elos, elo [, ] [, ] : 5 [, ] [, ]:, [,# ] [, ]: 5 4 [,# ] [, ]: 5 5 [] [] : :,4#, 4# ) Tble preses he resuls of lulg relos + for he relos preseed Tble 9
10 4,,,, [,] [, ]: : $ 5 #,,, :# )) [, ] [, ]:,,, [, ] [, ]: : $ : 5 ),, # # 4 # # ),,,, : # # 4, 4, )),, [,] [, ]: : $ : 5 ),, # # # 4 # # ),,,, : # 4#, 4# 4,)) 5, [ ] [ ]: : $ :,4#,4 # ),, :,4#,4 # 4) % : : 4#4 ))) 4 6 eled wor To our bes owledge, oly pper [] preses severl ehques for lulg he rsve losure of prmeerzed ffe eger uple relo The m lmo of hose ehques s hey o produe he e rsve losure of relo whe he osrs of hs losure re represeed by oler forms I hs se, he uhors of pper [] demosre how ppromos of rsve losure be luled The pproh preseed hs pper
11 llows for lulg he e rsve losure of relo whe s osrs re boh ffe d o-ler No-ler osrs re produed s soluo o reurree equos beg formed from he pu d oupu uples of relo 7 Coluso We preseed pproh permg for lulg he e rsve losure of ormlzed ffe eger uple relo whe he osrs of hs losure re represeed o oly by ffe forms bu lso by o-ler oes Ths opes he door for elrgg he usge of rsve losure felds where s requred, for emple, for resg prllelsm erg from sequel progrms by mes of opmzg omplers Our fuure reserh s o develop pprohes permg for lulg he rsve losure for uo of ormlzed relos eferees W Kelly, W Pugh, E osser, T Shpesm, Trsve lousure of fe grphs d s pplos, Lguges d Complers for Prllel Compug, 995 W Kelly, V Mslov, W Pugh, E osser, T Shpesm, D Woo, The Omeg lbrry erfe gude, Tehl epor CS-T-445, Dep of Compuer See, Uversy of Mryld, College Pr, Mrh 995 Beles A, Bele W, S Pero P, 7 Erg Corse- Gred Prllelsm Progrm Loops wh he Slg Frmewor I Proeedgs of ISPDC 8 4 Bele W, Beles A, Płows M, S Pero P, 8 Fdg syhrozo-free prllelsm represeed wh rees of depede operos I Proeedgs of ICAPP8 5 hp://wwwmplesofom 6 hp://wwwwolfrmom 7 hp://mmsoureforgee 8 hp://wwwmupdom 9 Bgr e l, The uom soluo of reurree relos I Ler reurrees of fe order wh os oeffes, Qudero 4, Dprmeo d Mem, Uvers d Prm, Ily,
ASYMPTOTIC BEHAVIOR OF SOLUTIONS OF DISCRETE EQUATIONS ON DISCRETE REAL TIME SCALES
ASYPTOTI BEHAVIOR OF SOLUTIONS OF DISRETE EQUATIONS ON DISRETE REAL TIE SALES J. Dlí B. Válvíová 2 Bro Uversy of Tehology Bro zeh Repul 2 Deprme of heml Alyss d Appled hems Fuly of See Uversy of Zl Žl
More informationChapter Trapezoidal Rule of Integration
Cper 7 Trpezodl Rule o Iegro Aer redg s per, you sould e le o: derve e rpezodl rule o egro, use e rpezodl rule o egro o solve prolems, derve e mulple-segme rpezodl rule o egro, 4 use e mulple-segme rpezodl
More informationTEACHERS ASSESS STUDENT S MATHEMATICAL CREATIVITY COMPETENCE IN HIGH SCHOOL
Jourl o See d rs Yer 5, No., pp. 5-, 5 ORIGINL PPER TECHERS SSESS STUDENT S MTHEMTICL CRETIVITY COMPETENCE IN HIGH SCHOOL TRN TRUNG TINH Musrp reeved: 9..5; eped pper:..5; Pulsed ole:..5. sr. ssessme s
More informationLaplace Transform. Definition of Laplace Transform: f(t) that satisfies The Laplace transform of f(t) is defined as.
Lplce Trfor The Lplce Trfor oe of he hecl ool for olvg ordry ler dfferel equo. - The hoogeeou equo d he prculr Iegrl re olved oe opero. - The Lplce rfor cover he ODE o lgerc eq. σ j ple do. I he pole o
More informationDecompression diagram sampler_src (source files and makefiles) bin (binary files) --- sh (sample shells) --- input (sample input files)
. Iroduco Probblsc oe-moh forecs gudce s mde b 50 esemble members mproved b Model Oupu scs (MO). scl equo s mde b usg hdcs d d observo d. We selec some prmeers for modfg forecs o use mulple regresso formul.
More informationOn Metric Dimension of Two Constructed Families from Antiprism Graph
Mah S Le 2, No, -7 203) Mahemaal Sees Leers A Ieraoal Joural @ 203 NSP Naural Sees Publhg Cor O Mer Dmeso of Two Cosrued Famles from Aprm Graph M Al,2, G Al,2 ad M T Rahm 2 Cere for Mahemaal Imagg Tehques
More informationIntegral Equations and their Relationship to Differential Equations with Initial Conditions
Scece Refleco SR Vol 6 wwwscecereflecocom Geerl Leers Mhemcs GLM 6 3-3 Geerl Leers Mhemcs GLM Wese: hp://wwwscecereflecocom/geerl-leers--mhemcs/ Geerl Leers Mhemcs Scece Refleco Iegrl Equos d her Reloshp
More informationAn Improvement on Disc Separation of the Schur Complement and Bounds for Determinants of Diagonally Dominant Matrices
ISSN 746-7659, Egd, UK Jor of Iformo d Compg See Vo. 5, No. 3, 2, pp. 224-232 A Improveme o Ds Sepro of he Shr Compeme d Bods for Deerms of Dgoy Dom Mres Zhohog Hg, Tgzh Hg Shoo of Mhem Sees, Uversy of
More informationChapter Simpson s 1/3 Rule of Integration. ( x)
Cper 7. Smpso s / Rule o Iegro Aer redg s per, you sould e le o. derve e ormul or Smpso s / rule o egro,. use Smpso s / rule o solve egrls,. develop e ormul or mulple-segme Smpso s / rule o egro,. use
More information4. Runge-Kutta Formula For Differential Equations
NCTU Deprme o Elecrcl d Compuer Egeerg 5 Sprg Course by Pro. Yo-Pg Ce. Ruge-Ku Formul For Derel Equos To solve e derel equos umerclly e mos useul ormul s clled Ruge-Ku ormul
More informationRepresentation of Solutions of Linear Homogeneous Caputo Fractional Differential Equations with Continuous Variable Coefficients
Repor Nuber: KSU MATH 3 E R 6 Represeo o Souos o Ler Hoogeeous puo Fro ere Equos w ouous Vrbe oees Su-Ae PAK Mog-H KM d Hog-o O * Fu o Mes K Sug Uvers Pogg P R Kore * orrespodg uor e: oogo@ooo Absr We
More informationSolution. The straightforward approach is surprisingly difficult because one has to be careful about the limits.
ose ad Varably Homewor # (8), aswers Q: Power spera of some smple oses A Posso ose A Posso ose () s a sequee of dela-fuo pulses, eah ourrg depedely, a some rae r (More formally, s a sum of pulses of wdh
More informationThe University of Sheffield
The Uversy of Sheffeld Deprme of uom Corol d Sysems Egeerg Sldg ode Corol of Noler Sysems Houm Dlll.S. Corol Sysems ugus 7 Supervsor: Professor Sephe P. Bks dssero submed prl fulflme of he requremes for
More informationCyclically Interval Total Colorings of Cycles and Middle Graphs of Cycles
Ope Joural of Dsree Mahemas 2017 7 200-217 hp://wwwsrporg/joural/ojdm ISSN Ole: 2161-7643 ISSN Pr: 2161-7635 Cylally Ierval Toal Colorgs of Cyles Mddle Graphs of Cyles Yogqag Zhao 1 Shju Su 2 1 Shool of
More informationModeling and Predicting Sequences: HMM and (may be) CRF. Amr Ahmed Feb 25
Modelg d redcg Sequeces: HMM d m be CRF Amr Ahmed 070 Feb 25 Bg cure redcg Sgle Lbel Ipu : A se of feures: - Bg of words docume - Oupu : Clss lbel - Topc of he docume - redcg Sequece of Lbels Noo Noe:
More information4. Runge-Kutta Formula For Differential Equations. A. Euler Formula B. Runge-Kutta Formula C. An Example for Fourth-Order Runge-Kutta Formula
NCTU Deprme o Elecrcl d Compuer Egeerg Seor Course By Pro. Yo-Pg Ce. Ruge-Ku Formul For Derel Equos A. Euler Formul B. Ruge-Ku Formul C. A Emple or Four-Order Ruge-Ku Formul
More informationChebyshev Polynomials for Solving a Class of Singular Integral Equations
Appled Mahemas, 4, 5, 75-764 Publshed Ole Marh 4 SRes. hp://www.srp.org/joural/am hp://d.do.org/.46/am.4.547 Chebyshev Polyomals for Solvg a Class of Sgular Iegral Equaos Samah M. Dardery, Mohamed M. Alla
More informationOn the Existence and uniqueness for solution of system Fractional Differential Equations
OSR Jourl o Mhms OSR-JM SSN: 78-578. Volum 4 ssu 3 Nov. - D. PP -5 www.osrjourls.org O h Es d uquss or soluo o ssm rol Drl Equos Mh Ad Al-Wh Dprm o Appld S Uvrs o holog Bghdd- rq Asr: hs ppr w d horm o
More informationEurasian International Center of Theoretical Physics, Eurasian National University, Astana , Kazakhstan
Joul o Mhems d sem ee 8 8 87-95 do: 765/59-59/8 D DAVID PUBLIHIG E Loled oluos o he Geeled +-Dmesol Ldu-Lsh Equo Gulgssl ugmov Ao Mul d Zh gdullev Eus Ieol Cee o Theoel Phss Eus ol Uves As 8 Khs As: I
More informationIntroduction to Neural Networks Computing. CMSC491N/691N, Spring 2001
Iroduco o Neurl Neorks Compug CMSC49N/69N, Sprg 00 us: cvo/oupu: f eghs: X, Y j X Noos, j s pu u, for oher us, j pu sgl here f. s he cvo fuco for j from u o u j oher books use Y f _ j j j Y j X j Y j bs:
More informationA NEW FIVE-POINT BINARY SUBDIVISION SCHEME WITH A PARAMETER
Jourl of ure d Appled Mhemcs: Advces d Applcos Volume 9 Numer ges -9 Avlle hp://scefcdvcesco DOI: hp://dxdoorg/6/ms_9 A NEW FIVE-OINT BINARY UBDIVIION CHEME WITH A ARAMETER YAN WANG * d HIMING LI chool
More informationInterval Estimation. Consider a random variable X with a mean of X. Let X be distributed as X X
ECON 37: Ecoomercs Hypohess Tesg Iervl Esmo Wh we hve doe so fr s o udersd how we c ob esmors of ecoomcs reloshp we wsh o sudy. The queso s how comforble re we wh our esmors? We frs exme how o produce
More informationReinforcement Learning
Reiforceme Corol lerig Corol polices h choose opiml cios Q lerig Covergece Chper 13 Reiforceme 1 Corol Cosider lerig o choose cios, e.g., Robo lerig o dock o bery chrger o choose cios o opimize fcory oupu
More informationINTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY
[Mjuh, : Jury, 0] ISSN: -96 Scefc Jourl Impc Fcr: 9 ISRA, Impc Fcr: IJESRT INTERNATIONAL JOURNAL OF ENINEERIN SCIENCES & RESEARCH TECHNOLOY HAMILTONIAN LACEABILITY IN MIDDLE RAPHS Mjuh*, MurlR, B Shmukh
More informationChapter Gauss-Seidel Method
Chpter 04.08 Guss-Sedel Method After redg ths hpter, you should be ble to:. solve set of equtos usg the Guss-Sedel method,. reogze the dvtges d ptflls of the Guss-Sedel method, d. determe uder wht odtos
More informationSTOCHASTIC CALCULUS I STOCHASTIC DIFFERENTIAL EQUATION
The Bk of Thld Fcl Isuos Polcy Group Que Models & Fcl Egeerg Tem Fcl Mhemcs Foudo Noe 8 STOCHASTIC CALCULUS I STOCHASTIC DIFFERENTIAL EQUATION. ก Through he use of ordry d/or prl deres, ODE/PDE c rele
More informationAuthor(s) Guenfoud, Salah; Bosakov, Sergey V.; Laefer, Debra F.
Provded he uhor(s) d Uvers College Dul Lrr orde wh pulsher poles. Plese e he pulshed verso whe vlle. Tle Dm lss of ple resg o els hlf-spe wh dsruve properes Auhor(s) Guefoud Slh; Boskov Serge V.; Lefer
More informationBEST PATTERN OF MULTIPLE LINEAR REGRESSION
ERI COADA GERMAY GEERAL M.R. SEFAIK AIR FORCE ACADEMY ARMED FORCES ACADEMY ROMAIA SLOVAK REPUBLIC IERAIOAL COFERECE of SCIEIFIC PAPER AFASES Brov 6-8 M BES PAER OF MULIPLE LIEAR REGRESSIO Corel GABER PEROLEUM-GAS
More informationCyclone. Anti-cyclone
Adveco Cycloe A-cycloe Lorez (963) Low dmesoal aracors. Uclear f hey are a good aalogy o he rue clmae sysem, bu hey have some appealg characerscs. Dscusso Is he al codo balaced? Is here a al adjusme
More informationWeek 8 Lecture 3: Problems 49, 50 Fourier analysis Courseware pp (don t look at French very confusing look in the Courseware instead)
Week 8 Lecure 3: Problems 49, 5 Fourier lysis Coursewre pp 6-7 (do look Frech very cofusig look i he Coursewre ised) Fourier lysis ivolves ddig wves d heir hrmoics, so i would hve urlly followed fer he
More information8. Queueing systems lect08.ppt S Introduction to Teletraffic Theory - Fall
8. Queueg sysems lec8. S-38.45 - Iroduco o Teleraffc Theory - Fall 8. Queueg sysems Coes Refresher: Smle eleraffc model M/M/ server wag laces M/M/ servers wag laces 8. Queueg sysems Smle eleraffc model
More information4th International Conference on Sensors, Measurement and Intelligent Materials (ICSMIM 2015)
4h Ierol Coferee o Sesors, Mesureme d Iellge Merls (ICSMIM 205) The bled opmzo of he proje quly shedule d os bsed o Gee Algorhm Xueme Du, *, Xg Tg,b, Hu Go, d Zogqu Zhou,d Shool of Eooms d Mgeme, Togj
More informationUnscented Transformation Unscented Kalman Filter
Usceed rsformo Usceed Klm Fler Usceed rcle Fler Flerg roblem Geerl roblem Seme where s he se d s he observo Flerg s he problem of sequell esmg he ses (prmeers or hdde vrbles) of ssem s se of observos become
More informationThe Cell Transmission Model, Newell s Cumulative Curves and Min-Plus Algebra
The Cell Trasmsso Model eell s Cumulae Cures ad M-Plus lgebra Takash kamasu Deember 003. Prelmares Dagazo s Cell Trasmsso Model Suppose ha he relaoshp beee raff flo q ad desy k a homogeeous road seo s
More information4.1 Schrödinger Equation in Spherical Coordinates
Phs 34 Quu Mehs D 9 9 Mo./ Wed./ Thus /3 F./4 Mo., /7 Tues. / Wed., /9 F., /3 4.. -. Shodge Sphe: Sepo & gu (Q9.) 4..-.3 Shodge Sphe: gu & d(q9.) Copuo: Sphe Shodge s 4. Hdoge o (Q9.) 4.3 gu Moeu 4.4.-.
More informationAn improved Bennett s inequality
COMMUNICATIONS IN STATISTICS THEORY AND METHODS 017,VOL.0,NO.0,1 8 hps://do.org/10.1080/0361096.017.1367818 A mproved Bee s equly Sogfeg Zheg Deprme of Mhemcs, Mssour Se Uversy, Sprgfeld, MO, USA ABSTRACT
More informationSolution set Stat 471/Spring 06. Homework 2
oluo se a 47/prg 06 Homework a Whe he upper ragular elemes are suppressed due o smmer b Le Y Y Y Y A weep o he frs colum o oba: A ˆ b chagg he oao eg ad ec YY weep o he secod colum o oba: Aˆ YY weep o
More informationExplicit Representation of Green s Function for Linear Fractional. Differential Operator with Variable Coefficients
KSU-MH--E-R-: Verso 3 Epc Represeo of Gree s uco for er rco ffere Operor w Vrbe Coeffces Mog-H K d Hog-Co O cu of Mecs K Sug Uvers Pogg P R Kore Correspodg uor e-: oogco@ooco bsrc We provde epc represeos
More informationReview for the Midterm Exam.
Review for he iderm Exm Rememer! Gross re e re Vriles suh s,, /, p / p, r, d R re gross res 2 You should kow he disiio ewee he fesile se d he udge se, d kow how o derive hem The Fesile Se Wihou goverme
More informationBethe-Salpeter Equation
Behe-Slpee Equo No-elvs Fomlsm Behe-Slpee Equo: ouo o he op. Dgesso Seo Quzo. Dgesso: fs quzo s movo fo seo quzo. Quum Fel Theoel Hmlo Seo Quzo. Shöge Equo. Equo of Moo. Shöge Fomulo. Behe-Slpee Equo fo
More informationX-Ray Notes, Part III
oll 6 X-y oe 3: Pe X-Ry oe, P III oe Deeo Coe oupu o x-y ye h look lke h: We efe ue of que lhly ffee efo h ue y ovk: Co: C ΔS S Sl o oe Ro: SR S Co o oe Ro: CR ΔS C SR Pevouly, we ee he SR fo ye hv pxel
More informationThe z-transform. LTI System description. Prof. Siripong Potisuk
The -Trsform Prof. Srpog Potsuk LTI System descrpto Prevous bss fucto: ut smple or DT mpulse The put sequece s represeted s ler combto of shfted DT mpulses. The respose s gve by covoluto sum of the put
More informationIsotropic Non-Heisenberg Magnet for Spin S=1
Ierol Jourl of Physcs d Applcos. IN 974- Volume, Number (, pp. 7-4 Ierol Reserch Publco House hp://www.rphouse.com Isoropc No-Heseberg Mge for p = Y. Yousef d Kh. Kh. Mumov.U. Umrov Physcl-Techcl Isue
More informationReal-Time Systems. Example: scheduling using EDF. Feasibility analysis for EDF. Example: scheduling using EDF
EDA/DIT6 Real-Tme Sysems, Chalmers/GU, 0/0 ecure # Updaed February, 0 Real-Tme Sysems Specfcao Problem: Assume a sysem wh asks accordg o he fgure below The mg properes of he asks are gve he able Ivesgae
More information(1) Cov(, ) E[( E( ))( E( ))]
Impac of Auocorrelao o OLS Esmaes ECON 3033/Evas Cosder a smple bvarae me-seres model of he form: y 0 x The four key assumpos abou ε hs model are ) E(ε ) = E[ε x ]=0 ) Var(ε ) =Var(ε x ) = ) Cov(ε, ε )
More informationContinuous Time Markov Chains
Couous me Markov chas have seay sae probably soluos f a oly f hey are ergoc, us lke scree me Markov chas. Fg he seay sae probably vecor for a couous me Markov cha s o more ffcul ha s he scree me case,
More informationSupporting information How to concatenate the local attractors of subnetworks in the HPFP
n Effcen lgorh for Idenfyng Prry Phenoype rcors of Lrge-Scle Boolen Newor Sng-Mo Choo nd Kwng-Hyun Cho Depren of Mhecs Unversy of Ulsn Ulsn 446 Republc of Kore Depren of Bo nd Brn Engneerng Kore dvnced
More informatione t dt e t dt = lim e t dt T (1 e T ) = 1
Improper Inegrls There re wo ypes of improper inegrls - hose wih infinie limis of inegrion, nd hose wih inegrnds h pproch some poin wihin he limis of inegrion. Firs we will consider inegrls wih infinie
More informationInternational Journal of Pure and Applied Sciences and Technology
I J Pure Al S Teol, 04, 64-77 Ierol Jourl o Pure d Aled Sees d Teoloy ISSN 9-607 Avlle ole wwwjos Reser Per O New Clss o rmo Uvle Fuos Deed y Fox-r Geerled yereomer Fuo Adul Rm S Jum d Zrr,* Derme o Mems,
More informationApplication of Multiple Exp-Function Method to Obtain Multi-Soliton Solutions of (2 + 1)- and (3 + 1)-Dimensional Breaking Soliton Equations
Amerc Jourl of Compuol Appled Mhemcs: ; (: 4-47 DOI:.593/j.jcm..8 Applco of Mulple Exp-Fuco Mehod o Ob Mul-Solo Soluos of ( + - (3 + -Dmesol Breg Solo Equos M. T. Drvsh,*, Mlheh Njf, Mohmmd Njf Deprme
More information1. Consider an economy of identical individuals with preferences given by the utility function
CO 755 Problem Se e Cbrer. Cosder ecoomy o decl dduls wh reereces e by he uly uco U l l Pre- rces o ll hree oods re ormled o oe. Idduls suly ood lbor < d cosume oods d. The oerme c mose d lorem es o oods
More informationSpecial Curves of 4D Galilean Space
Irol Jourl of Mhml Egrg d S ISSN : 77-698 Volum Issu Mrh hp://www.jms.om/ hps://ss.googl.om/s/jmsjourl/ Spl Curvs of D ll Sp Mhm Bkş Mhmu Ergü Alpr Osm Öğrmş Fır Uvrsy Fuly of S Dprm of Mhms 9 Elzığ Türky
More informationDetermination of Antoine Equation Parameters. December 4, 2012 PreFEED Corporation Yoshio Kumagae. Introduction
refeed Soluos for R&D o Desg Deermao of oe Equao arameers Soluos for R&D o Desg December 4, 0 refeed orporao Yosho Kumagae refeed Iroduco hyscal propery daa s exremely mpora for performg process desg ad
More informationKey words: Fractional difference equation, oscillatory solutions,
OSCILLATION PROPERTIES OF SOLUTIONS OF FRACTIONAL DIFFERENCE EQUATIONS Musafa BAYRAM * ad Ayd SECER * Deparme of Compuer Egeerg, Isabul Gelsm Uversy Deparme of Mahemacal Egeerg, Yldz Techcal Uversy * Correspodg
More informationStability Analysis for VAR systems. )', a VAR model of order p (VAR(p)) can be written as:
Sbl Anlss for VAR ssems For se of n me seres vrbles (,,, n ', VAR model of order p (VAR(p n be wren s: ( A + A + + Ap p + u where he A s re (nxn oeffen mres nd u ( u, u,, un ' s n unobservble d zero men
More informationExistence Of Solutions For Nonlinear Fractional Differential Equation With Integral Boundary Conditions
Reserch Ivey: Ieriol Jourl Of Egieerig Ad Sciece Vol., Issue (April 3), Pp 8- Iss(e): 78-47, Iss(p):39-6483, Www.Reserchivey.Com Exisece Of Soluios For Nolier Frciol Differeil Equio Wih Iegrl Boudry Codiios,
More information1 4 6 is symmetric 3 SPECIAL MATRICES 3.1 SYMMETRIC MATRICES. Defn: A matrix A is symmetric if and only if A = A, i.e., a ij =a ji i, j. Example 3.1.
SPECIAL MATRICES SYMMETRIC MATRICES Def: A mtr A s symmetr f d oly f A A, e,, Emple A s symmetr Def: A mtr A s skew symmetr f d oly f A A, e,, Emple A s skew symmetr Remrks: If A s symmetr or skew symmetr,
More informationLecture 3 summary. C4 Lecture 3 - Jim Libby 1
Lecue su Fes of efeece Ivce ude sfoos oo of H wve fuco: d-fucos Eple: e e - µ µ - Agul oeu s oo geeo Eule gles Geec slos cosevo lws d Noehe s heoe C4 Lecue - Lbb Fes of efeece Cosde fe of efeece O whch
More informationMidterm Exam. Tuesday, September hour, 15 minutes
Ecoomcs of Growh, ECON560 Sa Fracsco Sae Uvers Mchael Bar Fall 203 Mderm Exam Tuesda, Sepember 24 hour, 5 mues Name: Isrucos. Ths s closed boo, closed oes exam. 2. No calculaors of a d are allowed. 3.
More informationLeast Squares Fitting (LSQF) with a complicated function Theexampleswehavelookedatsofarhavebeenlinearintheparameters
Leas Squares Fg LSQF wh a complcaed fuco Theeampleswehavelookedasofarhavebeelearheparameers ha we have bee rg o deerme e.g. slope, ercep. For he case where he fuco s lear he parameers we ca fd a aalc soluo
More informationAfrican Journal of Science and Technology (AJST) Science and Engineering Series Vol. 4, No. 2, pp GENERALISED DELETION DESIGNS
Af Joul of See Tehology (AJST) See Egeeg See Vol. 4, No.,. 7-79 GENERALISED DELETION DESIGNS Mhel Ku Gh Joh Wylff Ohbo Dee of Mhe, Uvey of Nob, P. O. Bo 3097, Nob, Key ABSTRACT:- I h e yel gle ele fol
More informationThe Poisson Process Properties of the Poisson Process
Posso Processes Summary The Posso Process Properes of he Posso Process Ierarrval mes Memoryless propery ad he resdual lfeme paradox Superposo of Posso processes Radom seleco of Posso Pos Bulk Arrvals ad
More informationANALYSIS OF FLUID-SATURATED POROUS MEDIA IN TWO DIMENSIONS UNDER EARTHQUAKE LOAD
ANALYI O LI-ATATE POO MEIA IN TWO IMENION NE EATHQAKE LOA Xoj QIN hol CHEN Ad Xh ZEN 3 MMAY The lss of d rse pheoe fld-sred poros ed s of gre eres geoehl egeerg d egeerg sesolog. I he prese pper he respose
More informationThe ray paths and travel times for multiple layers can be computed using ray-tracing, as demonstrated in Lab 3.
C. Trael me cures for mulple reflecors The ray pahs ad rael mes for mulple layers ca be compued usg ray-racg, as demosraed Lab. MATLAB scrp reflec_layers_.m performs smple ray racg. (m) ref(ms) ref(ms)
More informationANSWERS TO ODD NUMBERED EXERCISES IN CHAPTER 2
Joh Rley Novembe ANSWERS O ODD NUMBERED EXERCISES IN CHAPER Seo Eese -: asvy (a) Se y ad y z follows fom asvy ha z Ehe z o z We suppose he lae ad seek a oado he z Se y follows by asvy ha z y Bu hs oads
More informationReal-time Classification of Large Data Sets using Binary Knapsack
Real-me Classfcao of Large Daa Ses usg Bary Kapsack Reao Bru bru@ds.uroma. Uversy of Roma La Sapeza AIRO 004-35h ANNUAL CONFERENCE OF THE ITALIAN OPERATIONS RESEARCH Sepember 7-0, 004, Lecce, Ialy Oule
More information14. Poisson Processes
4. Posso Processes I Lecure 4 we roduced Posso arrvals as he lmg behavor of Bomal radom varables. Refer o Posso approxmao of Bomal radom varables. From he dscusso here see 4-6-4-8 Lecure 4 " arrvals occur
More informationCURVE FITTING LEAST SQUARES METHOD
Nuercl Alss for Egeers Ger Jord Uverst CURVE FITTING Although, the for of fucto represetg phscl sste s kow, the fucto tself ot be kow. Therefore, t s frequetl desred to ft curve to set of dt pots the ssued
More informationNONLINEAR SYSTEM OF SINGULAR PARTIAL DIFFERENTIAL EQUATIONS
Jourl of Mhemcl Sceces: dvces d pplcos Volume 43, 27, Pges 3-53 vlble hp://scefcdvces.co. DOI: hp://d.do.org/.8642/ms_72748 OLIER SYSTEM OF SIGULR PRTIL DIFFERETIL EQUTIOS PTRICE POGÉRRD Mhemcs Lborory
More informationQuantum Chemistry. Lecture 1. Disposition. Sources. Matti Hotokka Department of Physical Chemistry Åbo Akademi University
Lere Q hesry M Hookk epre of Physl hesry Åbo Akde Uversy oes Irodo o hs orse The HrreeFok eqos sposo Sores ) The Hükel ehod ) The HrreeFok eqos ) Bss ses d oher prles 4) Wh be lled 5) orrelo 6) The FT
More informationChapter 2. LOGARITHMS
Chpter. LOGARITHMS Dte: - 009 A. INTRODUCTION At the lst hpter, you hve studied bout Idies d Surds. Now you re omig to Logrithms. Logrithm is ivers of idies form. So Logrithms, Idies, d Surds hve strog
More informationA NEW ALGORITHM FOR SOLVING FULLY FUZZY BI-LEVEL QUADRATIC PROGRAMMING PROBLEMS
Operos Reserh d Applos : A Ierol Jorl ORAJ Vol5 No M 8 A NEW AORITHM OR SOVIN UY UZZY BI-EVE QUADRATIC PRORAMMIN PROBEMS ABSTRACT A H Aer Depre of Mhes l of See Helw Uvers Cro Egp Ths pper s oered wh ew
More informationStat 6863-Handout 5 Fundamentals of Interest July 2010, Maurice A. Geraghty
S 6863-Hou 5 Fuels of Ieres July 00, Murce A. Gerghy The pror hous resse beef cl occurreces, ous, ol cls e-ulero s ro rbles. The fl copoe of he curl oel oles he ecooc ssupos such s re of reur o sses flo.
More informationContraction Mapping Principle Approach to Differential Equations
epl Journl of Science echnology 0 (009) 49-53 Conrcion pping Principle pproch o Differenil Equions Bishnu P. Dhungn Deprmen of hemics, hendr Rn Cmpus ribhuvn Universiy, Khmu epl bsrc Using n eension of
More informationFALL HOMEWORK NO. 6 - SOLUTION Problem 1.: Use the Storage-Indication Method to route the Input hydrograph tabulated below.
Jorge A. Ramírez HOMEWORK NO. 6 - SOLUTION Problem 1.: Use he Sorage-Idcao Mehod o roue he Ipu hydrograph abulaed below. Tme (h) Ipu Hydrograph (m 3 /s) Tme (h) Ipu Hydrograph (m 3 /s) 0 0 90 450 6 50
More informationPTAS for Bin-Packing
CS 663: Patter Matchg Algorthms Scrbe: Che Jag /9/00. Itroducto PTAS for B-Packg The B-Packg problem s NP-hard. If we use approxmato algorthms, the B-Packg problem could be solved polyomal tme. For example,
More informationSupplement: Gauss-Jordan Reduction
Suppleme: Guss-Jord Reducio. Coefficie mri d ugmeed mri: The coefficie mri derived from sysem of lier equios m m m m is m m m A O d he ugmeed mri derived from he ove sysem of lier equios is [ ] m m m m
More informationModified Taylor's Method and Nonlinear Mixed Integral Equation
Uversl Jourl of Iegrl quos 4 (6), 9 wwwpperscecescom Modfed Tylor's Mehod d oler Mxed Iegrl quo R T Moog Fculy of Appled Scece, Umm Al Qurh Uversy Mkh, Kgdom of Sud Ar rmoog_777@yhoocom Asrc I hs pper,
More informationSeptember 20 Homework Solutions
College of Engineering nd Compuer Science Mechnicl Engineering Deprmen Mechnicl Engineering A Seminr in Engineering Anlysis Fll 7 Number 66 Insrucor: Lrry Creo Sepember Homework Soluions Find he specrum
More informationMaximum likelihood estimate of phylogeny. BIOL 495S/ CS 490B/ MATH 490B/ STAT 490B Introduction to Bioinformatics April 24, 2002
Mmm lkelhood eme of phylogey BIO 9S/ S 90B/ MH 90B/ S 90B Iodco o Bofomc pl 00 Ovevew of he pobblc ppoch o phylogey o k ee ccodg o he lkelhood d ee whee d e e of eqece d ee by ee wh leve fo he eqece. he
More informationME 501A Seminar in Engineering Analysis Page 1
Mtr Trsformtos usg Egevectors September 8, Mtr Trsformtos Usg Egevectors Lrry Cretto Mechcl Egeerg A Semr Egeerg Alyss September 8, Outle Revew lst lecture Trsformtos wth mtr of egevectors: = - A ermt
More informationThe Mean Residual Lifetime of (n k + 1)-out-of-n Systems in Discrete Setting
Appled Mahemacs 4 5 466-477 Publshed Ole February 4 (hp//wwwscrporg/oural/am hp//dxdoorg/436/am45346 The Mea Resdual Lfeme of ( + -ou-of- Sysems Dscree Seg Maryam Torab Sahboom Deparme of Sascs Scece ad
More informationESTABILIZATION TIME FOR SUBCRITICAL SYSTEM WITH DIFFERENT EXTERNAL NEUTRON SOURCE
03 Iero Nuer Coferee - INC 03 Refe PE Brz Noveer 4-9 03 OCIÇÃO BRILEIR E ENERGI NUCLER - BEN IBN: 978-85-994-05- ETBILIZTION TIE FOR UBCRITICL YTE WITH IFFERENT EXTERNL NEUTRON OURCE Bry. Fose Ferdo C.
More informationAsymptotic Behavior of Solutions of Nonlinear Delay Differential Equations With Impulse
P a g e Vol Issue7Ver,oveber Global Joural of Scece Froer Research Asypoc Behavor of Soluos of olear Delay Dffereal Equaos Wh Ipulse Zhag xog GJSFR Classfcao - F FOR 3 Absrac Ths paper sudes he asypoc
More informationDirect Current Circuits
Eler urren (hrges n Moon) Eler urren () The ne moun of hrge h psses hrough onduor per un me ny pon. urren s defned s: Dre urren rus = dq d Eler urren s mesured n oulom s per seond or mperes. ( = /s) n
More informationBoyce/DiPrima 9 th ed, Ch 7.6: Complex Eigenvalues
BocDPm 9 h d Ch 7.6: Compl Egvlus Elm Dffl Equos d Boud Vlu Poblms 9 h do b Wllm E. Boc d Rchd C. DPm 9 b Joh Wl & Sos Ic. W cosd g homogous ssm of fs od l quos wh cos l coffcs d hus h ssm c b w s ' A
More informationA note on Turán number Tk ( 1, kn, )
A oe o Turá umber T (,, ) L A-Pg Beg 00085, P.R. Cha apl000@sa.com Absrac: Turá umber s oe of prmary opcs he combaorcs of fe ses, hs paper, we wll prese a ew upper boud for Turá umber T (,, ). . Iroduco
More informationGlobal alignment in linear space
Globl linmen in liner spe 1 2 Globl linmen in liner spe Gol: Find n opiml linmen of A[1..n] nd B[1..m] in liner spe, i.e. O(n) Exisin lorihm: Globl linmen wih bkrkin O(nm) ime nd spe, bu he opiml os n
More informationP-Convexity Property in Musielak-Orlicz Function Space of Bohner Type
J N Sce & Mh Res Vol 3 No (7) -7 Alble ole h://orlwlsogocd/deh/sr P-Coey Proery Msel-Orlcz Fco Sce o Boher ye Yl Rodsr Mhecs Edco Deree Fcly o Ss d echology Uerss sl Neger Wlsogo Cerl Jdoes Absrcs Corresodg
More informationA Mean- maximum Deviation Portfolio Optimization Model
A Mea- mamum Devato Portfolo Optmzato Model Wu Jwe Shool of Eoom ad Maagemet, South Cha Normal Uversty Guagzhou 56, Cha Tel: 86-8-99-6 E-mal: wujwe@9om Abstrat The essay maes a thorough ad systemat study
More informationThe solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6.
[~ o o :- o o ill] i 1. Mrices, Vecors, nd Guss-Jordn Eliminion 1 x y = = - z= The soluion is ofen represened s vecor: n his exmple, he process of eliminion works very smoohly. We cn elimine ll enries
More informationTechnical Appendix for Inventory Management for an Assembly System with Product or Component Returns, DeCroix and Zipkin, Management Science 2005.
Techc Appedx fo Iveoy geme fo Assemy Sysem wh Poduc o Compoe eus ecox d Zp geme Scece 2005 Lemm µ µ s c Poof If J d µ > µ he ˆ 0 µ µ µ µ µ µ µ µ Sm gumes essh he esu f µ ˆ > µ > µ > µ o K ˆ If J he so
More informationCollocation Method for Nonlinear Volterra-Fredholm Integral Equations
Ope Joural of Appled Sees 5- do:436/oapps6 Publshed Ole Jue (hp://wwwsrporg/oural/oapps) Colloao Mehod for olear Volerra-Fredhol Iegral Equaos Jafar Ahad Shal Parvz Daraa Al Asgar Jodayree Akbarfa Depare
More informationNumerical Methods using the Successive Approximations for the Solution of a Fredholm Integral Equation
ece Advce Appled d eorecl ec uercl eod u e Succeve Approo or e Soluo o Fredol Ierl Equo AIA OBIŢOIU epre o ec d opuer Scece Uvery o Peroş Uvery Sree 6 Peroş OAIA rdorou@yoo.co Arc: pper pree wo eod or
More informationAverage & instantaneous velocity and acceleration Motion with constant acceleration
Physics 7: Lecure Reminders Discussion nd Lb secions sr meeing ne week Fill ou Pink dd/drop form if you need o swich o differen secion h is FULL. Do i TODAY. Homework Ch. : 5, 7,, 3,, nd 6 Ch.: 6,, 3 Submission
More informationFundamentals of Speech Recognition Suggested Project The Hidden Markov Model
. Projec Iroduco Fudameals of Speech Recogo Suggesed Projec The Hdde Markov Model For hs projec, s proposed ha you desg ad mpleme a hdde Markov model (HMM) ha opmally maches he behavor of a se of rag sequeces
More informationSolution 2. Since. 1. Sums and Products
. Sus Prous I h, ver oe we hve soe eresg uers whh we woul le o her su or prou. elow we wll loo ew ehos or og hese operos. (Here we wll lso oser egrls whh we vew s sug uoul uers.) Prg Meho. Rell o S we
More informationModeling uncertainty using probabilities
S 1571 Itroduto to I Leture 23 Modelg uertty usg probbltes Mlos Huskreht mlos@s.ptt.edu 5329 Seott Squre dmstrto Fl exm: Deember 11 2006 12:00-1:50pm 5129 Seott Squre Uertty To mke dgost feree possble
More information1 Notes on Little s Law (l = λw)
Copyrigh c 26 by Karl Sigma Noes o Lile s Law (l λw) We cosider here a famous ad very useful law i queueig heory called Lile s Law, also kow as l λw, which assers ha he ime average umber of cusomers i
More informationA Kalman filtering simulation
A Klmn filering simulion The performnce of Klmn filering hs been esed on he bsis of wo differen dynmicl models, ssuming eiher moion wih consn elociy or wih consn ccelerion. The former is epeced o beer
More information