ŠVOČ 2015 Bratislava. 3D point cloud surface reconstruction by using level set methods Rekonštrukcia plôch z mračien bodov pomocou level-set metód

Size: px
Start display at page:

Download "ŠVOČ 2015 Bratislava. 3D point cloud surface reconstruction by using level set methods Rekonštrukcia plôch z mračien bodov pomocou level-set metód"

Transcription

1 ŠVOČ 015 Bratislava 3D oint cloud surface reconstruction by using level set metods Rekonštrukcia lôc z mračien bodov omocou level-set metód Meno a riezvisko študenta: Škola: Fakulta: Ročník, Program/Odbor štúdia: Vedúci ráce: Katedra: Bc. Balázs Kósa Slovenská tecnická univerzita Stavebná fakulta. ročník,. stueň MPM rof. RNDr. Karol Mikula, DrSc. KMDG máj 015

2 Abstrakt V rámci ráce sme vytvorili matematický model a numerickú metódu na rekonštrukciu lôc z 3D mračien bodov omocou tzv. level-set metódy. Prezentovaná metóda rieši rekonštrukciu lôc výočtom distančnej funkcie k útvaru, ktorý je rerezentovaný mračnom bodov, s oužitím tzv. Fast Sweeing Metódy a riešenia advečnej rovnice s krivostnou časťou, ktorá vytvorí evolúciu očiatočnej odmienky do finálneo stavu. Pre numerickú diskretizáciu sme navrli novú bezodmienečne stabilnú metódu, ktorá využíva semi-imlicitnú co-volume scému re krivostnú časť a imlicitný uwind re advektívnu časť modelu. Metóda bola narogramovaná v jazyku C, a testovaná na rerezentatívnyc ríkladoc a komlexnýc reálnyc dátac. Predkladaná ráca ŠVOČ tvorí odstatnú časť dilomovej ráce autora. Abstract In tis work we created a matematical model and numerical metod for surface reconstruction from 3D oint cloud data, using te level-set metod. Te resented metod solves surface reconstruction by te calculation of te distance function to te sae, reresented by te oint cloud, using te so called Fast Sweeing Metod, and te solution of advection equation wit curvature term, wic creates te evolution of an initial condition to te final state. For te numerical discretization of te model we suggested a novel unconditionally stable metod, in wic te semi-imlicit co-volume sceme is used in curvature art and imlicit uwind sceme in advective art. Te metod was imlemented in te rogramming language C and tested on reresentative examles as well as comlex real data. Te resented work is an essential art of te final tesis of te autor.

3 Contents 1 Introduction 4 Matematical formulation 4 3 Numerical solution Calculation of te distance function Numerical sceme for advection equation wit curvature term Time discretization Satial discretization Calculating te coefficients of te linear system Calculation of te initial condition Numerical results 18 5 Conclusions 1

4 1 Introduction Te aim of our work is to create a reliable numerical metod wic can easily create comuterized 3D models from oint cloud data tat resembles te original object as muc as ossible. Tese tye of data can be obtained by 3D scanning or by otogrammetric metods. Paers as [1, ] ave sown us tat for tese tye of tasks te level-set metod is suitable. We follow basic ideas from tese aers, but we take a different aroac in te solution of te artial differential equation resented ere. In te next section we will fully resent our metod and its numerical discretization and solution as well as results wic we acieved so far. Matematical formulation Te level set metod, wic we are using is based on te solution of te advection equation wit te curvature term u t d u δ u (x, t) Ω [0, T ] ( ) u = 0 u (.1) were v = d is te advective velocity defined by te gradient of te distance function d, te arameter δ [0, 1] before te curvature art determines its influence to te result and Ω is te comutational domain. Tis equation is couled wit omogeneous Neumann boundary conditions and an initial condition wic we will discuss later in tis aer. 3 Numerical solution For te numerical solution of te model created from oint cloud data, denoted by Ω 0 Ω and determined by equation (.1) te following stes ave to be executed. First we ave to calculate te distance function to te oint cloud, ten we ave to find a surface containing Ω 0 wic will be te initial condition for te generation of te final solution of te equation. Te final model will be reresented by an isosurface of te calculated function u (x) wit value

5 3.1 Calculation of te distance function For te calculation of distance function we use te Fast sweeing metod, as introduced in [3], wic solves te Eikonal equation wit boundary conditions wic in our case as te following form d (x) = f (x) x Ω d (x) = 0 x Ω 0 Ω (3.1) were f (x) = 1. For introducing te metod we will use te following notation. x i,j,k will be used for te grid oint of Ω, is te size of te edges of a grid cell and d i,j,k denotes te numerical solution at x i,j,k. Te discretization of (3.1) at interior grid oints is done according to te Godunov uwind difference sceme: [ (di,j,k d x min ) ] [ (di,j,k d y min ) ] [ (di,j,k d z min ) ] = i = 1,..., I 1, j = 1,..., J 1, k = 1,..., K 1 d x min = min (d i,j 1,k, d i,j1,k ) (3.) d y min = min (d i 1,j,k, d i1,j,k ) d z min = min (d i,j,k 1, d i,j,k1 ) (x) x, x > 0 = 0, x 0 At te boundary of Ω we use one sided difference. Te initialization of d(x) is done te following way. For every grid cell wic contains a oint from te oint cloud we calculate te exact distance between te vertexes of te element and te oint and set te values of d i,j,k to te calculated distance. For te values to be correct we ave to ceck if tere is a smaller distance for te vertexes in te neigboring grid cells. Te obtained values will be fixed in te main rocess of te algoritm. Tis way we enforce te boundary condition d (x) = 0 x Ω 0 Ω. At all te oter grid oints a large ositive number is assigned to d i,j,k. After te initialization is done te algoritm continues wit Gauss-Seidel iterations wit alternating sweeing orderings. For eac non fixed grid oint x i,j,k we comute te solution of (3.) from te neigboring values d i,j 1,k, d i,j1,k, d i 1,j,k, d i1,j,k, d i,j,k 1, d i,j,k1 and ten we udate d i,j,k if te solution is smaller tan te current value. For tree dimension we swee te comutational domain wit eigt alternating orderings: 5

6 1. i = 1 : I, j = 1 : J, k = 1 : K. i = I : 1, j = 1 : J, k = 1 : K 3. i = I : 1, j = J : 1, k = 1 : K 4. i = I : 1, j = J : 1, k = K : 1 5. i = I : 1, j = 1 : J, k = K : 1 6. i = 1 : I, j = 1 : J, k = K : 1 (3.3) 7. i = 1 : I, j = J : 1, k = K : 1 8. i = 1 : I, j = J : 1, k = 1 : K Te unique solution, denoted by x, to te equation [ (x a1 ) ] [ (x a ) ] [ (x a3 ) ] = (3.4) were a 1 = d x min, a = d y min, a 3 = d z min can be found as follows. We order a 1, a, a 3 in increasing order. For generality we assume a 1 a a 3. Tere is an integer, 1 3, suc tat x is te unique solution tat satisfies (x a 1 ) (x a ) (x a 3 ) = and a < x < a 1 (3.5) To find x we start wit = 1. If x = a 1 a ten x = x. Oterwise we ave to find te solution of te quadratic equation (x a 1 ) (x a ) = tat satisfies x > a. We always take te maximum of te two solutions as our x. If x a 3 ten x = x. If we still doesn t ave a x wic satisfies all te conditions as te tird ste we comute te solution of te quadratic equation (x a 1 ) (x a ) (x a 3 ) = wic will satisfy (3.5). 3. Numerical sceme for advection equation wit curvature term Now tat te distance function is calculated we roceed wit te discretization of te equation (.1). We will do tis analogically to te discretization used in [4] Time discretization For te time discretization we ave to coose uniform discrete time ste, denoted by τ. We can relace te time derivative in (.1) wit a backward difference. Ten we can formulate our semi-imlicit time discretization te following way: 6

7 Let τ be a fixed number and u 0 te initial surface of our model. Ten at every discrete time t n = nτ, n = 1,..., N we searc for te function u n as te solution of te equation u n u n 1 d u n δ ( ) u n 1 u n = 0 (3.6) τ u n Satial discretization Our model consists of a 3D grid, wic is built of voxels wit cubic sae and an edge size. We will interret te satial discretization of te level set function u as te numerical values u i,j,k at te voxel centers. In order to easily calculate te gradient of te level-set equation u n 1 in every time ste of (3.6) we induct a 3D tetraedral grid into te voxel structure and take a iecewise linear aroximation of u (x) on suc a grid. Tis way we obtain a constant value of te gradient for eac tetraedron, by wic we can construct a simle and clear fully discrete system of equations. Figure 1: Our initial voxel grid cell wit a tetraedral grid cell Te 3D tetraedral finite element grid is created wit te following aroac. Every voxel is divided into six yramid saed element wit base surface given by te voxels walls and vertex by te voxel center. Eac one of tese yramids is joined wit te neigboring yramids wit wom tey ave a mutual base surface. Tese newly formed octaedrons are ten slit into four tetraedrons as seen in Figure 1. In our new grid T te level-set function will be udated only at te centers of te voxels, tey will reresent so called degree of freedom (DF) nodes. For te tetraedral grid we construct a co-volume mes, wic will consist of cells associated only wit DF nodes of T. We denote all neigboring DF nodes q of wit C. 7

8 Te DF nodes q are all connected to te DF node by a mutual edge of four tetraedrons, wic is denoted by σ q wit te lengt q. Eac co-volume is bounded by a lane for every q C wic is erendicular to σ q and is denoted by e q. Te set of tetraedrons wic ave σ q are denoted by ε q. For every T ε q c T q is te area of te intersection of e q and T. N will be te set of tetraedrons tat ave DF node as a vertex. On tis grid u will be a iecewise linear function. Ten we can use te notation u = u (x ), were x denotes te coordinates of DF node. Now tat we ave all te notations wic are needed we can begin te derivation of te satial discretization of (3.6). We will do tis by using te following modified form of te equation: were v = d. u n u n 1 v u n = δ ( ) u n 1 u n τ u n 1 (3.7) AS te first ste we will integrate (3.7) over every co-volume. u n u n 1 dx v u n dx = δ ( ) u n 1 u n dx (3.8) τ u n 1 For te first art of left and side of (3.8) we get te aroximation in te form u n u n 1 dx = m () un u n 1 τ τ (3.9) were m () is a measure in R d of te co-volume. To derive te second art of te left and side we use te following aroac. Tis art can be written in an equivalent form by v u = (uv) u v v u n dx = (u n v) dx u n v dx Using te divergence teorem we get (u n v) dx u n v dx = q C u n q e q v n dσ q C u n e q v n dσ u n v n dσ u n v n dσ = (3.10) were u n q is te value of te level-set function on te surface e q. We substitute e q v n dσ in (3.10) wit v q wic by solving te integral will ave te value v q = qv n. By tis we finally get v u n dx = q C v q ( u n q u n 8 ) (3.11)

9 In te uwind aroac te set C can be divided into C = C in C out, were C in = {q C, v q < 0} wic consists of te inflow boundaries and C out = {q C, v q > 0} consisting of te outflow boundaries. By dividing C we can set te values u n q to u n q q C in side of (3.11) to and to u n if q C out. After tese modification we can rewrite te sum rigt and q C v q ( u n q u n ) = q C in ( ) v q u n q u n q C out ( ) v q u n u n As we see te outflow art will be zero and after we rewrite te inflow art for simler imlementation we get te final form of te second art of te left and side of te equation (3.8) v u n dx = q C min (v q, 0) ( u n q u n ) if (3.1) Now wat remains is te discretization of te rigt and side of (3.8). Again we use te divergence teorem to get δ ( ) u n 1 u n dx = δ u n 1 1 u n u n 1 dσ (3.13) e q C q u n 1 n Te integral art 1 u n dσ and e q u n 1 n u n 1 from (3.13) will be aroximated numerically using iecewise linear reconstruction of u n 1 on te tetraedral grid T, tus we get δ u n 1 q C T ε q c T q 1 u n 1 T M = u n 1 = m (T ) m () T N and te final form of te equation (3.7) will be un q u n q u n 1 T m () un u n 1 min (v q, 0) ( u n q u τ ) n = q C δ M 1 un q u n u n 1 T q q C T ε q c T q (3.14) From tis form we are able to derive te system of linear equations wic we will solve at every time ste. For te linear equations we will define te regularized gradients by u T ε = ε u T (3.15) 9

10 After we arrange all te arts of te equation (3.14) we get te following coefficients a n q = min (v q, 0) δ M q u n 1 (3.16) T T ε q c T q tus we can formulate our semi-imlicit co-volume sceme: Let u 0, = 1,..., M be given discrete initial values of te level-set function. Ten, for n = 1,..., N we look for u n, = 1,..., M, satisfying u n τ m () aq n 1 q N ε ( u n q u n ) = u n 1 (3.17) Wit addition of te omogeneous Neumann boundary conditions to our fully discrete sceme we obtain a system of linear equations for wic we can declare te following statement. Teorem. Tere exists unique solution (u n 1,..., u n M ) of (3.17) for any τ > 0, ε > 0, and for every n = 1,..., N. Te system matrix is a strictly diagonally dominant M-matrix. For any τ > 0, ε > 0, te following L stability olds: min u 0 min u n max u n max u 0, 1 n N. (3.18) Proof. First we will rove te inequality for te maximum. Let u n max be te maximum of te time ste n acieved in te DF node. If we aoint tis value to te equation (3.17) we get: u n max τ m () aq n 1 q N ( u n q u n max) = u n 1. Since te coefficient a n 1 q 0 and u n q u n max, tus ( u n q u n max) is eiter zero or negative, te second art of te left and side is non-negative. Terefore u n max u n 1, so we can write max u n max u n 1 (3.19) To rove te inequality for te minimum, we can aly te same argumentation. If we aoint value u n min = min (u n 1,..., u n M ) to (3.17) te second art will be non-ositive and u n 1 u n min, tus we can write tat min u n 1 min u n (3.0) If we aly (3.19) and (3.0) to every time ste 1 n N we get min u 0 min u n max u n max u 0 10

11 by wic we roved our teorem. Te number of time stes N is determined by te difference of te solution in te current and te revious time ste in discrete L norm. Te comutation is stoed if tis difference is less tan te rescribed tolerance, wic we usually set to Ten te stoing time T = Nτ. 3.3 Calculating te coefficients of te linear system Now tat we formulated our sceme for te easy relicability and simlicity of imlementation we will write te co-volume sceme in a "finite-difference notation". We will associate our 3D co-volume wit te index trilet (i, j, k), were i reresents te y axis, j te x axis and k te z axis. Analogically te values u n will be associated wit u n i,j,k. In eac co-volume, te set N consist of 4 tetraedrons on wic we will comute absolute value of gradient denoted by G l i,j,k, l = 1,..., 4. Furtermore to kee te formulas as comreensible as ossible we will introduce a notation seen in Figure. P 6 P67 P 7 P56 T0 P 5 P78 P58 P 8 P37 P15 E0 S0 P48 P 3 P 1 P34 P14 P 4 P 6 P67 P 7 P56 P 5 W0 P6 N0 P37 P15 P P3 P1 B0 P 3 P 1 P34 P14 P 4 Figure : Notation for te additional oints of a grid cell used for te easier formulation of te coefficient comutation 11

12 Now we will exlain wat tese new symbols mean and ow teir values are comuted. For every vertex of a square cubic element we use P 1,..., P 8 to denote te average values of u n at tese oints, wic are calculated te following way: P 1 = 1 8 (u i,j,k u i,j 1,k u i 1,j,k u i 1,j 1,k u i,j,k 1 u i,j 1,k 1 u i 1,j,k 1 u i 1,j 1,k 1 ) P = 1 8 (u i,j,k u i,j 1,k u i1,j,k u i1,j 1,k u i,j,k 1 u i,j 1,k 1 u i1,j,k 1 u i1,j 1,k 1 ) P 3 = 1 8 (u i,j,k u i,j1,k u i1,j,k u i1,j1,k u i,j,k 1 u i,j1,k 1 u i1,j,k 1 u i1,j1,k 1 ) P 4 = 1 8 (u i,j,k u i,j1,k u i 1,j,k u i 1,j1,k u i,j,k 1 u i,j1,k 1 u i 1,j,k 1 u i 1,j1,k 1 ) P 5 = 1 8 (u i,j,k u i,j 1,k u i 1,j,k u i 1,j 1,k u i,j,k1 u i,j 1,k1 u i 1,j,k1 u i 1,j 1,k1 ) P 6 = 1 8 (u i,j,k u i,j 1,k u i1,j,k u i1,j 1,k u i,j,k1 u i,j 1,k1 u i1,j,k1 u i1,j 1,k1 ) P 7 = 1 8 (u i,j,k u i,j1,k u i1,j,k u i1,j1,k u i,j,k1 u i,j1,k1 u i1,j,k1 u i1,j1,k1 ) P 8 = 1 8 (u i,j,k u i,j1,k u i 1,j,k u i 1,j1,k u i,j,k1 u i,j1,k1 u i 1,j,k1 u i 1,j1,k1 ) We will also need te average values between eac of tese oints for wic we use tese notations: P 1 = 1 (P 1 P ) P 14 = 1 (P 1 P 4) P 15 = 1 (P 1 P 5) P 3 = 1 (P P 3) P 6 = 1 (P P 6) P 34 = 1 (P 3 P 4) P 37 = 1 (P 3 P 7) P 48 = 1 (P 4 P 8) P 56 = 1 (P 5 P 6) P 58 = 1 (P 5 P 8) P 67 = 1 (P 6 P 7) P 78 = 1 (P 7 P 8) Te values at te oints were te edges σ of te tetraedral elements intersects te lains e q, for every q C, are marked as N0, S0, E0, W 0 for te corresonding cardinal directions and B0, T 0 for bottom and to. Tese values are calculated as te average between two neigboring co-volumes. N0 = 1 (u i,j,k u i1,j,k ) S0 = 1 (u i,j,k u i 1,j,k ) E0 = 1 (u i,j,k u i,j1,k ) W 0 = 1 (u i,j,k u i,j 1,k ) T 0 = 1 (u i,j,k u i,j,k1 ) B0 = 1 (u i,j,k u i,j,k 1 ) 1

13 Wit tese new oints we are ready to derive te values G l i,j,k, l = 1,..., 4 wit some simle equations. Generally te G l i,j,k can be calculated te following way G l ) ( ui,j,k x ( ui,j,k y ) ( ui,j,k z ) (3.1) were te derivatives are calculated on te l t tetraedron of te co-volume. According to tis formula and Figure for te tetraedrons intersected by te bottom surface of a voxel grid cell we get: Analogically for te to surface db = u i,j,k u i,j,k 1 (P ) ( ) P 1 B0 P 1 G 1 db 0.5 (B0 ) ( ) P 14 P 4 P 1 G db 0.5 (P ) ( ) 3 P 4 P 34 B0 G 3 db 0.5 (P ) ( ) 3 B0 P 3 P G 4 db 0.5 dt = u i,j,k1 u i,j,k (P ) ( ) 6 P 5 T 0 P 56 G 5 dt 0.5 (T ) ( ) 0 P 58 P 8 P 5 G 6 dt 0.5 (P ) ( ) 7 P 8 P 78 T 0 G 7 dt 0.5 (P ) ( ) 67 T 0 P 7 P 6 G 8 dt 0.5, 13

14 for te nort wall te sout wall te east wall dn = u i1,j,k u i,j,k ( ) ( ) P 7 P 6 P 67 N0 G 9 dn 0.5 ( ) ( ) P 37 N0 P 7 P 3 G 10 dn 0.5 ( ) ( ) P 3 P N0 P 3 G 11 dn 0.5 ( ) ( ) N0 P 6 P 6 P G 1 dn, 0.5 G 13 G 14 G 15 G 16 G 17 G 18 G 19 G 0 ds = u i,j,k u i 1,j,k ( ) ( ) P 8 P 5 P 58 S0 ds 0.5 ( ) ( ) P 48 S0 P 8 S4 ds 0.5 ( ) ( ) P 4 P 1 S0 P 14 ds 0.5 ( ) ( ) S0 P 15 P 5 P 1 ds, 0.5 de = u i,j1,k u i,j,k (P ) ( ) 3 P 4 E0 P 34 de 0.5 (P ) ( ) 37 E0 P 7 P 3 de 0.5 (P ) ( ) 8 P 7 P 78 E0 de 0.5 (E0 ) ( ) P 48 P 8 P 4 de 0.5, 14

15 te west wall dw = u i,j,k u i,j 1,k (P ) ( P 1 W 0 P 1 G 1 dw 0.5 ) (P ) ( ) 6 W 0 P 6 P G dw 0.5 (P ) ( ) 6 P 5 P 56 W 0 G 3 dw 0.5 (W ) ( ) 0 P 15 P 5 P 1 G 4 dw 0.5 Now tat we can calculate u n 1 ε from (3.16) we will determine te values v q. As T mentioned earlier v q = qv n and wit v = d by evaluating for te six directions, we get vt (d i,j,k1 d i,j,k ), vb (d i,j,k d i,j,k 1 ) vn (d i1,j,k d i,j,k ), vs (d i,j,k d i 1,j,k ) ve (d i,j1,k d i,j,k ), vw (d i,j,k d i,j 1,k ) Ten we can construct te coefficients b τ 3 t τ 3 n τ 3 s τ 3 e τ 3 w τ 3 min (vb i,j,k, 0) δ M i,j,k 4 min (vt i,j,k, 0) δ M i,j,k 4 min (vn i,j,k, 0) δ M i,j,k 4 min (vs i,j,k, 0) δ M i,j,k 4 min (ve i,j,k, 0) δ M i,j,k 4 min (vw i,j,k, 0) δ M i,j,k ε ( G l i,j,k l=1 8 1 ε ( G l i,j,k l=5 1 l=9 16 l=13 0 l=17 4 l=1 ) ) 1 ε ( G l i,j,k 1 ε ( G l i,j,k 1 ε ( G l i,j,k ) ) ) 1 ε ( G l i,j,k )

16 were M i,j,k is ( M 1 4 ε 4 and we define te diagonal coefficients as l=1 G l i,j,k ) c 1 b i,j,k t i,j,k n i,j,k w i,j,k s i,j,k e i,j,k so we can define for DF node corresonding to (i, j, k) te equation c i,j,k u n i,j,k b i,j,k u n i,j,k 1 t i,j,k u n i,j,k1 n i,j,k u n i1,j,k s i,j,k u n i 1,j,k e i,j,k u n i,j1,k w i,j,k u n i,j 1,k = u n 1 i,j1,k (3.) Wen we collect te equations for all DF nodes and take into account Neumann boundary conditions we get te linear system wic we ave to solve. For te solution of tis system we coose te SOR (Successive Over Relaxation) iterative metod. We start te iterations by setting u n un 1 i,j,k, ten in every iteration l = 1,... we use te following two ste rocedure: Y = (u n(0) i,j,k b i,j,ku n(l) i,j,k 1 t i,j,ku n(l 1) i,j,k1 n i,j,ku n(l 1) i1,j,k s i,j,k u n(l) i 1,j,k e i,j,ku n(l 1) i,j1,k w i,j,ku n(l) u n(l) un(l 1) i,j,k ω ( Y u n(l 1) i,j,k i,j 1,k )/c i,j,k We define squared L norm of residuum at current iteration by R l = i,j,k (c i,j,k u n(l) i,j,k b i,j,ku n(l) i,j,k 1 t i,j,ku n(l) i,j,k1 n i,j,ku n(l) i1,j,k s i,j,k u n(l) i 1,j,k e i,j,ku n(l) i,j1,k w i,j,ku n(l) i,j 1,k un(0) i,j,k ) Te iterative rocess is stoed if R l < T OL. ) 3.4 Calculation of te initial condition As mentioned before, tis metod needs an initial condition u 0 (x), wic will be deformed to get te solution, tat is te final form of te model. Teoretically any initial surface tat contains te oint cloud data set could be used, but an otimal initial guess is crucial for te efficiency of te metod. We can find tis otimal surface by identifying all te oints for wic te value of te distance function is greater or equal to a arameter β. For simlicity let us call tese oints, exterior oints. To find all tese oints we will use te following algoritm: 16

17 Mark all oints on te borders of te grid as exterior and add tem to te set E. For every oint in te set E ceck all neigboring oints in te grid. If te neigboring oint isn t an exterior oint and is distance from te oint cloud is greater or equal to β add it to end of set E and mark as exterior. Continue until you get to te last oint of E. Wen we found all te exterior oint we set u 0 (x) to be equal 0 at all exterior oint and 1 at all te oter oints. Wit tis aroac and te rigt arameter β we can find an initial surface close to te final sae as seen on te Figure 3. Figure 3: Examles for te initial condtition used in our metod 17

18 4 Numerical results After we imlemented te metod in te rogramming language C we tested it on reresentative examles as well as real data. In tis section we resent some of our results. Tese examles are a good dislay of te quality of our metod. Figure 4 and 5 illustrate test examles. Tese were used for te verification of te correct beavior of our metod during te imlementation ase. Te oint cloud data was generated wit te corresonding arametric equations of te objects. Tese reresentative examles were created on a grid containing cells. We can see tat for tese tests wit suc a sarse grid we already got good results. Figure 4: First test object. On te left we see te oint cloud data, in te middle te oint cloud wit te final model and on te rigt te final model only. Figure 5: Second test object. On te left we see te oint cloud data, in te middle te oint cloud wit te final model and on te rigt te final model only. On Figure 6 and 7 we can see real life data. Tese items were arcaeological finds and te oint cloud scans were rovided by Jana Haličková from te Monuments Board 18

19 of te Slovak reublic to wic we exress our great tanks. On Figure 6 we can see a bracelet. Te model was calculated on a grid wit cells. On Figure 7 we can see a sealer. Te model was calculated on a grid wit cells. Tis model as a very interesting surface structure, wic confirms te accuracy of te metod. Figure 9 sows an angel statue wit te numerical results calculated on a grid. For te visualisation of all results we used te software Paraview. Figure 6: Arcaeological finds: bracelet. On te to we see te oint cloud data, in te middle our final result and on te bottom te final result wit triangulated surface. 19

20 Figure 7: Arcaeological finds: sealer. On te left we see te oint cloud data, in te middle and te rigt te final result from different viewoints. Figure 8: Details of te sealer wit triangulated surface. 0

21 Figure 9: Angel statue. On te left we see te original object, on te rigt te result of reconstruction by our metod. 5 Conclusions In tis work we resented our aroac of surface reconstruction from oint cloud data. We formulated te matematical model, derived te time and satial discretization and rovided te reader wit an exact descrition of te numerical solution. We also resented some of our numerical results as an examle. Our results sow tat for smooter object a sarce grid already sows good result, but for a model wit more detail we need more grid oints. 1

22 References [1] J. Haličková, K. Mikula, Level Set Metod for Surface Reconstruction (LSMSR) and its Alication in Survazing. Journal of Surveying Engineering, submitted 013. [] H. K. Zao, S. Oser, B. Merriman, M. KANG, Imlicit and Non-arametric Sae Reconstruction from Unorganized Points UsingVariational Level Set Metod. Comuter Vision and Image Understanding Vol. 80 (000) [3] H. K. Zao, A fast sweeing metod for Eikonal Equations. Matematics of Comutation, 004. [4] S. Corsaro, K. Mikula, A. Sarti, F. Sgallari, Semi-Imlicit Covolume Metod In 3D Image Segmentation. SIAM Journal on Scientific Comuting, 006.

FINITE DIFFERENCE METHODS

FINITE DIFFERENCE METHODS FINITE DIFFERENCE METHODS LONG CHEN Te best known metods, finite difference, consists of replacing eac derivative by a difference quotient in te classic formulation. It is simple to code and economic to

More information

Verifying Numerical Convergence Rates

Verifying Numerical Convergence Rates 1 Order of accuracy Verifying Numerical Convergence Rates We consider a numerical approximation of an exact value u. Te approximation depends on a small parameter, suc as te grid size or time step, and

More information

OPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS

OPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS OPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS ERIC T. CHUNG AND BJÖRN ENGQUIST Abstract. In tis paper, we developed and analyzed a new class of discontinuous

More information

The EOQ Inventory Formula

The EOQ Inventory Formula Te EOQ Inventory Formula James M. Cargal Matematics Department Troy University Montgomery Campus A basic problem for businesses and manufacturers is, wen ordering supplies, to determine wat quantity of

More information

Research on the Anti-perspective Correction Algorithm of QR Barcode

Research on the Anti-perspective Correction Algorithm of QR Barcode Researc on te Anti-perspective Correction Algoritm of QR Barcode Jianua Li, Yi-Wen Wang, YiJun Wang,Yi Cen, Guoceng Wang Key Laboratory of Electronic Tin Films and Integrated Devices University of Electronic

More information

2 Limits and Derivatives

2 Limits and Derivatives 2 Limits and Derivatives 2.7 Tangent Lines, Velocity, and Derivatives A tangent line to a circle is a line tat intersects te circle at exactly one point. We would like to take tis idea of tangent line

More information

Determine the perimeter of a triangle using algebra Find the area of a triangle using the formula

Determine the perimeter of a triangle using algebra Find the area of a triangle using the formula Student Name: Date: Contact Person Name: Pone Number: Lesson 0 Perimeter, Area, and Similarity of Triangles Objectives Determine te perimeter of a triangle using algebra Find te area of a triangle using

More information

Optimized Data Indexing Algorithms for OLAP Systems

Optimized Data Indexing Algorithms for OLAP Systems Database Systems Journal vol. I, no. 2/200 7 Optimized Data Indexing Algoritms for OLAP Systems Lucian BORNAZ Faculty of Cybernetics, Statistics and Economic Informatics Academy of Economic Studies, Bucarest

More information

Tangent Lines and Rates of Change

Tangent Lines and Rates of Change Tangent Lines and Rates of Cange 9-2-2005 Given a function y = f(x), ow do you find te slope of te tangent line to te grap at te point P(a, f(a))? (I m tinking of te tangent line as a line tat just skims

More information

SAT Subject Math Level 1 Facts & Formulas

SAT Subject Math Level 1 Facts & Formulas Numbers, Sequences, Factors Integers:..., -3, -2, -1, 0, 1, 2, 3,... Reals: integers plus fractions, decimals, and irrationals ( 2, 3, π, etc.) Order Of Operations: Aritmetic Sequences: PEMDAS (Parenteses

More information

f(a + h) f(a) f (a) = lim

f(a + h) f(a) f (a) = lim Lecture 7 : Derivative AS a Function In te previous section we defined te derivative of a function f at a number a (wen te function f is defined in an open interval containing a) to be f (a) 0 f(a + )

More information

Computer Science and Engineering, UCSD October 7, 1999 Goldreic-Levin Teorem Autor: Bellare Te Goldreic-Levin Teorem 1 Te problem We æx a an integer n for te lengt of te strings involved. If a is an n-bit

More information

Instantaneous Rate of Change:

Instantaneous Rate of Change: Instantaneous Rate of Cange: Last section we discovered tat te average rate of cange in F(x) can also be interpreted as te slope of a scant line. Te average rate of cange involves te cange in F(x) over

More information

Lecture 10: What is a Function, definition, piecewise defined functions, difference quotient, domain of a function

Lecture 10: What is a Function, definition, piecewise defined functions, difference quotient, domain of a function Lecture 10: Wat is a Function, definition, piecewise defined functions, difference quotient, domain of a function A function arises wen one quantity depends on anoter. Many everyday relationsips between

More information

ACT Math Facts & Formulas

ACT Math Facts & Formulas Numbers, Sequences, Factors Integers:..., -3, -2, -1, 0, 1, 2, 3,... Rationals: fractions, tat is, anyting expressable as a ratio of integers Reals: integers plus rationals plus special numbers suc as

More information

Geometric Stratification of Accounting Data

Geometric Stratification of Accounting Data Stratification of Accounting Data Patricia Gunning * Jane Mary Horgan ** William Yancey *** Abstract: We suggest a new procedure for defining te boundaries of te strata in igly skewed populations, usual

More information

In other words the graph of the polynomial should pass through the points

In other words the graph of the polynomial should pass through the points Capter 3 Interpolation Interpolation is te problem of fitting a smoot curve troug a given set of points, generally as te grap of a function. It is useful at least in data analysis (interpolation is a form

More information

Can a Lump-Sum Transfer Make Everyone Enjoy the Gains. from Free Trade?

Can a Lump-Sum Transfer Make Everyone Enjoy the Gains. from Free Trade? Can a Lump-Sum Transfer Make Everyone Enjoy te Gains from Free Trade? Yasukazu Icino Department of Economics, Konan University June 30, 2010 Abstract I examine lump-sum transfer rules to redistribute te

More information

Note nine: Linear programming CSE 101. 1 Linear constraints and objective functions. 1.1 Introductory example. Copyright c Sanjoy Dasgupta 1

Note nine: Linear programming CSE 101. 1 Linear constraints and objective functions. 1.1 Introductory example. Copyright c Sanjoy Dasgupta 1 Copyrigt c Sanjoy Dasgupta Figure. (a) Te feasible region for a linear program wit two variables (see tet for details). (b) Contour lines of te objective function: for different values of (profit). Te

More information

A New Cement to Glue Nonconforming Grids with Robin Interface Conditions: The Finite Element Case

A New Cement to Glue Nonconforming Grids with Robin Interface Conditions: The Finite Element Case A New Cement to Glue Nonconforming Grids wit Robin Interface Conditions: Te Finite Element Case Martin J. Gander, Caroline Japet 2, Yvon Maday 3, and Frédéric Nataf 4 McGill University, Dept. of Matematics

More information

Chapter 7 Numerical Differentiation and Integration

Chapter 7 Numerical Differentiation and Integration 45 We ave a abit in writing articles publised in scientiþc journals to make te work as Þnised as possible, to cover up all te tracks, to not worry about te blind alleys or describe ow you ad te wrong idea

More information

The Gains from Trade and Policy Reform Revisited * W. Erwin Diewert Alan D. Woodland. Abstract

The Gains from Trade and Policy Reform Revisited * W. Erwin Diewert Alan D. Woodland. Abstract Te Gains from Trade and Policy Reform Revisited * W. Erwin Diewert Alan D. Woodland Abstract Te rimary urose of te aer is to rovide caracterizations of te conditions for welfare imrovements in several

More information

ON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE

ON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE ON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE Byeong U. Park 1 and Young Kyung Lee 2 Department of Statistics, Seoul National University, Seoul, Korea Tae Yoon Kim 3 and Ceolyong Park

More information

1 The Collocation Method

1 The Collocation Method CS410 Assignment 7 Due: 1/5/14 (Fri) at 6pm You must wor eiter on your own or wit one partner. You may discuss bacground issues and general solution strategies wit oters, but te solutions you submit must

More information

Projective Geometry. Projective Geometry

Projective Geometry. Projective Geometry Euclidean versus Euclidean geometry describes sapes as tey are Properties of objects tat are uncanged by rigid motions» Lengts» Angles» Parallelism Projective geometry describes objects as tey appear Lengts,

More information

SAT Math Must-Know Facts & Formulas

SAT Math Must-Know Facts & Formulas SAT Mat Must-Know Facts & Formuas Numbers, Sequences, Factors Integers:..., -3, -2, -1, 0, 1, 2, 3,... Rationas: fractions, tat is, anyting expressabe as a ratio of integers Reas: integers pus rationas

More information

1.6. Analyse Optimum Volume and Surface Area. Maximum Volume for a Given Surface Area. Example 1. Solution

1.6. Analyse Optimum Volume and Surface Area. Maximum Volume for a Given Surface Area. Example 1. Solution 1.6 Analyse Optimum Volume and Surface Area Estimation and oter informal metods of optimizing measures suc as surface area and volume often lead to reasonable solutions suc as te design of te tent in tis

More information

The finite element immersed boundary method: model, stability, and numerical results

The finite element immersed boundary method: model, stability, and numerical results Te finite element immersed boundary metod: model, stability, and numerical results Lucia Gastaldi Università di Brescia ttp://dm.ing.unibs.it/gastaldi/ INdAM Worksop, Cortona, September 18, 2006 Joint

More information

An inquiry into the multiplier process in IS-LM model

An inquiry into the multiplier process in IS-LM model An inquiry into te multiplier process in IS-LM model Autor: Li ziran Address: Li ziran, Room 409, Building 38#, Peing University, Beijing 00.87,PRC. Pone: (86) 00-62763074 Internet Address: jefferson@water.pu.edu.cn

More information

Section 2.3 Solving Right Triangle Trigonometry

Section 2.3 Solving Right Triangle Trigonometry Section.3 Solving Rigt Triangle Trigonometry Eample In te rigt triangle ABC, A = 40 and c = 1 cm. Find a, b, and B. sin 40 a a c 1 a 1sin 40 7.7cm cos 40 b c b 1 b 1cos40 9.cm A 40 1 b C B a B = 90 - A

More information

Factoring Synchronous Grammars By Sorting

Factoring Synchronous Grammars By Sorting Factoring Syncronous Grammars By Sorting Daniel Gildea Computer Science Dept. Uniersity of Rocester Rocester, NY Giorgio Satta Dept. of Information Eng g Uniersity of Padua I- Padua, Italy Hao Zang Computer

More information

The Online Freeze-tag Problem

The Online Freeze-tag Problem The Online Freeze-tag Problem Mikael Hammar, Bengt J. Nilsson, and Mia Persson Atus Technologies AB, IDEON, SE-3 70 Lund, Sweden mikael.hammar@atus.com School of Technology and Society, Malmö University,

More information

How To Ensure That An Eac Edge Program Is Successful

How To Ensure That An Eac Edge Program Is Successful Introduction Te Economic Diversification and Growt Enterprises Act became effective on 1 January 1995. Te creation of tis Act was to encourage new businesses to start or expand in Newfoundland and Labrador.

More information

Point Location. Preprocess a planar, polygonal subdivision for point location queries. p = (18, 11)

Point Location. Preprocess a planar, polygonal subdivision for point location queries. p = (18, 11) Point Location Prerocess a lanar, olygonal subdivision for oint location ueries. = (18, 11) Inut is a subdivision S of comlexity n, say, number of edges. uild a data structure on S so that for a uery oint

More information

TRADING AWAY WIDE BRANDS FOR CHEAP BRANDS. Swati Dhingra London School of Economics and CEP. Online Appendix

TRADING AWAY WIDE BRANDS FOR CHEAP BRANDS. Swati Dhingra London School of Economics and CEP. Online Appendix TRADING AWAY WIDE BRANDS FOR CHEAP BRANDS Swati Dingra London Scool of Economics and CEP Online Appendix APPENDIX A. THEORETICAL & EMPIRICAL RESULTS A.1. CES and Logit Preferences: Invariance of Innovation

More information

Distances in random graphs with infinite mean degrees

Distances in random graphs with infinite mean degrees Distances in random graps wit infinite mean degrees Henri van den Esker, Remco van der Hofstad, Gerard Hoogiemstra and Dmitri Znamenski April 26, 2005 Abstract We study random graps wit an i.i.d. degree

More information

Comparison between two approaches to overload control in a Real Server: local or hybrid solutions?

Comparison between two approaches to overload control in a Real Server: local or hybrid solutions? Comparison between two approaces to overload control in a Real Server: local or ybrid solutions? S. Montagna and M. Pignolo Researc and Development Italtel S.p.A. Settimo Milanese, ITALY Abstract Tis wor

More information

Derivatives Math 120 Calculus I D Joyce, Fall 2013

Derivatives Math 120 Calculus I D Joyce, Fall 2013 Derivatives Mat 20 Calculus I D Joyce, Fall 203 Since we ave a good understanding of its, we can develop derivatives very quickly. Recall tat we defined te derivative f x of a function f at x to be te

More information

The Derivative as a Function

The Derivative as a Function Section 2.2 Te Derivative as a Function 200 Kiryl Tsiscanka Te Derivative as a Function DEFINITION: Te derivative of a function f at a number a, denoted by f (a), is if tis limit exists. f (a) f(a+) f(a)

More information

M(0) = 1 M(1) = 2 M(h) = M(h 1) + M(h 2) + 1 (h > 1)

M(0) = 1 M(1) = 2 M(h) = M(h 1) + M(h 2) + 1 (h > 1) Insertion and Deletion in VL Trees Submitted in Partial Fulfillment of te Requirements for Dr. Eric Kaltofen s 66621: nalysis of lgoritms by Robert McCloskey December 14, 1984 1 ackground ccording to Knut

More information

13 PERIMETER AND AREA OF 2D SHAPES

13 PERIMETER AND AREA OF 2D SHAPES 13 PERIMETER AND AREA OF D SHAPES 13.1 You can find te perimeter of sapes Key Points Te perimeter of a two-dimensional (D) sape is te total distance around te edge of te sape. l To work out te perimeter

More information

Schedulability Analysis under Graph Routing in WirelessHART Networks

Schedulability Analysis under Graph Routing in WirelessHART Networks Scedulability Analysis under Grap Routing in WirelessHART Networks Abusayeed Saifulla, Dolvara Gunatilaka, Paras Tiwari, Mo Sa, Cenyang Lu, Bo Li Cengjie Wu, and Yixin Cen Department of Computer Science,

More information

Introduction to NP-Completeness Written and copyright c by Jie Wang 1

Introduction to NP-Completeness Written and copyright c by Jie Wang 1 91.502 Foundations of Comuter Science 1 Introduction to Written and coyright c by Jie Wang 1 We use time-bounded (deterministic and nondeterministic) Turing machines to study comutational comlexity of

More information

Training Robust Support Vector Regression via D. C. Program

Training Robust Support Vector Regression via D. C. Program Journal of Information & Computational Science 7: 12 (2010) 2385 2394 Available at ttp://www.joics.com Training Robust Support Vector Regression via D. C. Program Kuaini Wang, Ping Zong, Yaoong Zao College

More information

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID International Journal of Comuter Science & Information Technology (IJCSIT) Vol 6, No 4, August 014 SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

More information

Part II: Finite Difference/Volume Discretisation for CFD

Part II: Finite Difference/Volume Discretisation for CFD Part II: Finite Difference/Volume Discretisation for CFD Finite Volume Metod of te Advection-Diffusion Equation A Finite Difference/Volume Metod for te Incompressible Navier-Stokes Equations Marker-and-Cell

More information

A strong credit score can help you score a lower rate on a mortgage

A strong credit score can help you score a lower rate on a mortgage NET GAIN Scoring points for your financial future AS SEEN IN USA TODAY S MONEY SECTION, JULY 3, 2007 A strong credit score can elp you score a lower rate on a mortgage By Sandra Block Sales of existing

More information

CHAPTER 7. Di erentiation

CHAPTER 7. Di erentiation CHAPTER 7 Di erentiation 1. Te Derivative at a Point Definition 7.1. Let f be a function defined on a neigborood of x 0. f is di erentiable at x 0, if te following it exists: f 0 fx 0 + ) fx 0 ) x 0 )=.

More information

Improved dynamic programs for some batcing problems involving te maximum lateness criterion A P M Wagelmans Econometric Institute Erasmus University Rotterdam PO Box 1738, 3000 DR Rotterdam Te Neterlands

More information

United Arab Emirates University College of Sciences Department of Mathematical Sciences HOMEWORK 1 SOLUTION. Section 10.1 Vectors in the Plane

United Arab Emirates University College of Sciences Department of Mathematical Sciences HOMEWORK 1 SOLUTION. Section 10.1 Vectors in the Plane United Arab Emirates University College of Sciences Deartment of Mathematical Sciences HOMEWORK 1 SOLUTION Section 10.1 Vectors in the Plane Calculus II for Engineering MATH 110 SECTION 0 CRN 510 :00 :00

More information

A Multigrid Tutorial part two

A Multigrid Tutorial part two A Multigrid Tutorial part two William L. Briggs Department of Matematics University of Colorado at Denver Van Emden Henson Center for Applied Scientific Computing Lawrence Livermore National Laboratory

More information

Strategic trading in a dynamic noisy market. Dimitri Vayanos

Strategic trading in a dynamic noisy market. Dimitri Vayanos LSE Researc Online Article (refereed) Strategic trading in a dynamic noisy market Dimitri Vayanos LSE as developed LSE Researc Online so tat users may access researc output of te Scool. Copyrigt and Moral

More information

arxiv:0711.4143v1 [hep-th] 26 Nov 2007

arxiv:0711.4143v1 [hep-th] 26 Nov 2007 Exonentially localized solutions of the Klein-Gordon equation arxiv:711.4143v1 [he-th] 26 Nov 27 M. V. Perel and I. V. Fialkovsky Deartment of Theoretical Physics, State University of Saint-Petersburg,

More information

A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION

A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION 9 th ASCE Secialty Conference on Probabilistic Mechanics and Structural Reliability PMC2004 Abstract A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION

More information

Pressure. Pressure. Atmospheric pressure. Conceptual example 1: Blood pressure. Pressure is force per unit area:

Pressure. Pressure. Atmospheric pressure. Conceptual example 1: Blood pressure. Pressure is force per unit area: Pressure Pressure is force per unit area: F P = A Pressure Te direction of te force exerted on an object by a fluid is toward te object and perpendicular to its surface. At a microscopic level, te force

More information

Math 113 HW #5 Solutions

Math 113 HW #5 Solutions Mat 3 HW #5 Solutions. Exercise.5.6. Suppose f is continuous on [, 5] and te only solutions of te equation f(x) = 6 are x = and x =. If f() = 8, explain wy f(3) > 6. Answer: Suppose we ad tat f(3) 6. Ten

More information

An important observation in supply chain management, known as the bullwhip effect,

An important observation in supply chain management, known as the bullwhip effect, Quantifying the Bullwhi Effect in a Simle Suly Chain: The Imact of Forecasting, Lead Times, and Information Frank Chen Zvi Drezner Jennifer K. Ryan David Simchi-Levi Decision Sciences Deartment, National

More information

College Planning Using Cash Value Life Insurance

College Planning Using Cash Value Life Insurance College Planning Using Cas Value Life Insurance CAUTION: Te advisor is urged to be extremely cautious of anoter college funding veicle wic provides a guaranteed return of premium immediately if funded

More information

Pressure Drop in Air Piping Systems Series of Technical White Papers from Ohio Medical Corporation

Pressure Drop in Air Piping Systems Series of Technical White Papers from Ohio Medical Corporation Pressure Dro in Air Piing Systems Series of Technical White Paers from Ohio Medical Cororation Ohio Medical Cororation Lakeside Drive Gurnee, IL 600 Phone: (800) 448-0770 Fax: (847) 855-604 info@ohiomedical.com

More information

New Vocabulary volume

New Vocabulary volume -. Plan Objectives To find te volume of a prism To find te volume of a cylinder Examples Finding Volume of a Rectangular Prism Finding Volume of a Triangular Prism 3 Finding Volume of a Cylinder Finding

More information

To motivate the notion of a variogram for a covariance stationary process, { Ys ( ): s R}

To motivate the notion of a variogram for a covariance stationary process, { Ys ( ): s R} 4. Variograms Te covariogram and its normalized form, te correlogram, are by far te most intuitive metods for summarizing te structure of spatial dependencies in a covariance stationary process. However,

More information

Stability Improvements of Robot Control by Periodic Variation of the Gain Parameters

Stability Improvements of Robot Control by Periodic Variation of the Gain Parameters Proceedings of the th World Congress in Mechanism and Machine Science ril ~4, 4, ianin, China China Machinery Press, edited by ian Huang. 86-8 Stability Imrovements of Robot Control by Periodic Variation

More information

SAMPLE DESIGN FOR THE TERRORISM RISK INSURANCE PROGRAM SURVEY

SAMPLE DESIGN FOR THE TERRORISM RISK INSURANCE PROGRAM SURVEY ASA Section on Survey Researc Metods SAMPLE DESIG FOR TE TERRORISM RISK ISURACE PROGRAM SURVEY G. ussain Coudry, Westat; Mats yfjäll, Statisticon; and Marianne Winglee, Westat G. ussain Coudry, Westat,

More information

CABRS CELLULAR AUTOMATON BASED MRI BRAIN SEGMENTATION

CABRS CELLULAR AUTOMATON BASED MRI BRAIN SEGMENTATION XI Conference "Medical Informatics & Technologies" - 2006 Rafał Henryk KARTASZYŃSKI *, Paweł MIKOŁAJCZAK ** MRI brain segmentation, CT tissue segmentation, Cellular Automaton, image rocessing, medical

More information

Cyber Epidemic Models with Dependences

Cyber Epidemic Models with Dependences Cyber Epidemic Models wit Dependences Maocao Xu 1, Gaofeng Da 2 and Souuai Xu 3 1 Department of Matematics, Illinois State University mxu2@ilstu.edu 2 Institute for Cyber Security, University of Texas

More information

Note: Principal version Modification Modification Complete version from 1 October 2014 Business Law Corporate and Contract Law

Note: Principal version Modification Modification Complete version from 1 October 2014 Business Law Corporate and Contract Law Note: Te following curriculum is a consolidated version. It is legally non-binding and for informational purposes only. Te legally binding versions are found in te University of Innsbruck Bulletins (in

More information

The fast Fourier transform method for the valuation of European style options in-the-money (ITM), at-the-money (ATM) and out-of-the-money (OTM)

The fast Fourier transform method for the valuation of European style options in-the-money (ITM), at-the-money (ATM) and out-of-the-money (OTM) Comutational and Alied Mathematics Journal 15; 1(1: 1-6 Published online January, 15 (htt://www.aascit.org/ournal/cam he fast Fourier transform method for the valuation of Euroean style otions in-the-money

More information

ENFORCING SAFETY PROPERTIES IN WEB APPLICATIONS USING PETRI NETS

ENFORCING SAFETY PROPERTIES IN WEB APPLICATIONS USING PETRI NETS ENFORCING SAFETY PROPERTIES IN WEB APPLICATIONS USING PETRI NETS Liviu Grigore Comuter Science Deartment University of Illinois at Chicago Chicago, IL, 60607 lgrigore@cs.uic.edu Ugo Buy Comuter Science

More information

Theoretical calculation of the heat capacity

Theoretical calculation of the heat capacity eoretical calculation of te eat capacity Principle of equipartition of energy Heat capacity of ideal and real gases Heat capacity of solids: Dulong-Petit, Einstein, Debye models Heat capacity of metals

More information

Fluent Software Training TRN-99-003. Solver Settings. Fluent Inc. 2/23/01

Fluent Software Training TRN-99-003. Solver Settings. Fluent Inc. 2/23/01 Solver Settings E1 Using the Solver Setting Solver Parameters Convergence Definition Monitoring Stability Accelerating Convergence Accuracy Grid Indeendence Adation Aendix: Background Finite Volume Method

More information

Average and Instantaneous Rates of Change: The Derivative

Average and Instantaneous Rates of Change: The Derivative 9.3 verage and Instantaneous Rates of Cange: Te Derivative 609 OBJECTIVES 9.3 To define and find average rates of cange To define te derivative as a rate of cange To use te definition of derivative to

More information

- 1 - Handout #22 May 23, 2012 Huffman Encoding and Data Compression. CS106B Spring 2012. Handout by Julie Zelenski with minor edits by Keith Schwarz

- 1 - Handout #22 May 23, 2012 Huffman Encoding and Data Compression. CS106B Spring 2012. Handout by Julie Zelenski with minor edits by Keith Schwarz CS106B Spring 01 Handout # May 3, 01 Huffman Encoding and Data Compression Handout by Julie Zelenski wit minor edits by Keit Scwarz In te early 1980s, personal computers ad ard disks tat were no larger

More information

Multigrid computational methods are

Multigrid computational methods are M ULTIGRID C OMPUTING Wy Multigrid Metods Are So Efficient Originally introduced as a way to numerically solve elliptic boundary-value problems, multigrid metods, and teir various multiscale descendants,

More information

f(x) f(a) x a Our intuition tells us that the slope of the tangent line to the curve at the point P is m P Q =

f(x) f(a) x a Our intuition tells us that the slope of the tangent line to the curve at the point P is m P Q = Lecture 6 : Derivatives and Rates of Cange In tis section we return to te problem of finding te equation of a tangent line to a curve, y f(x) If P (a, f(a)) is a point on te curve y f(x) and Q(x, f(x))

More information

The modelling of business rules for dashboard reporting using mutual information

The modelling of business rules for dashboard reporting using mutual information 8 t World IMACS / MODSIM Congress, Cairns, Australia 3-7 July 2009 ttp://mssanz.org.au/modsim09 Te modelling of business rules for dasboard reporting using mutual information Gregory Calbert Command, Control,

More information

Notes: Most of the material in this chapter is taken from Young and Freedman, Chap. 12.

Notes: Most of the material in this chapter is taken from Young and Freedman, Chap. 12. Capter 6. Fluid Mecanics Notes: Most of te material in tis capter is taken from Young and Freedman, Cap. 12. 6.1 Fluid Statics Fluids, i.e., substances tat can flow, are te subjects of tis capter. But

More information

Catalogue no. 12-001-XIE. Survey Methodology. December 2004

Catalogue no. 12-001-XIE. Survey Methodology. December 2004 Catalogue no. 1-001-XIE Survey Metodology December 004 How to obtain more information Specific inquiries about tis product and related statistics or services sould be directed to: Business Survey Metods

More information

Math Test Sections. The College Board: Expanding College Opportunity

Math Test Sections. The College Board: Expanding College Opportunity Taking te SAT I: Reasoning Test Mat Test Sections Te materials in tese files are intended for individual use by students getting ready to take an SAT Program test; permission for any oter use must be sougt

More information

1 Gambler s Ruin Problem

1 Gambler s Ruin Problem Coyright c 2009 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins

More information

2.23 Gambling Rehabilitation Services. Introduction

2.23 Gambling Rehabilitation Services. Introduction 2.23 Gambling Reabilitation Services Introduction Figure 1 Since 1995 provincial revenues from gambling activities ave increased over 56% from $69.2 million in 1995 to $108 million in 2004. Te majority

More information

A Modified Measure of Covert Network Performance

A Modified Measure of Covert Network Performance A Modified Measure of Covert Network Performance LYNNE L DOTY Marist College Deartment of Mathematics Poughkeesie, NY UNITED STATES lynnedoty@maristedu Abstract: In a covert network the need for secrecy

More information

Channel Allocation in Non-Cooperative Multi-Radio Multi-Channel Wireless Networks

Channel Allocation in Non-Cooperative Multi-Radio Multi-Channel Wireless Networks Cannel Allocation in Non-Cooperative Multi-Radio Multi-Cannel Wireless Networks Dejun Yang, Xi Fang, Guoliang Xue Arizona State University Abstract Wile tremendous efforts ave been made on cannel allocation

More information

MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1 - BASIC DIFFERENTIATION

MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1 - BASIC DIFFERENTIATION MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1 - BASIC DIFFERENTIATION Tis tutorial is essential pre-requisite material for anyone stuing mecanical engineering. Tis tutorial uses te principle of

More information

6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks

6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks 6.042/8.062J Mathematics for Comuter Science December 2, 2006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Random Walks Gambler s Ruin Today we re going to talk about one-dimensional random walks. In

More information

Strategic trading and welfare in a dynamic market. Dimitri Vayanos

Strategic trading and welfare in a dynamic market. Dimitri Vayanos LSE Researc Online Article (refereed) Strategic trading and welfare in a dynamic market Dimitri Vayanos LSE as developed LSE Researc Online so tat users may access researc output of te Scool. Copyrigt

More information

For Sale By Owner Program. We can help with our for sale by owner kit that includes:

For Sale By Owner Program. We can help with our for sale by owner kit that includes: Dawn Coen Broker/Owner For Sale By Owner Program If you want to sell your ome By Owner wy not:: For Sale Dawn Coen Broker/Owner YOUR NAME YOUR PHONE # Look as professional as possible Be totally prepared

More information

SAT Math Facts & Formulas

SAT Math Facts & Formulas Numbers, Sequences, Factors SAT Mat Facts & Formuas Integers:..., -3, -2, -1, 0, 1, 2, 3,... Reas: integers pus fractions, decimas, and irrationas ( 2, 3, π, etc.) Order Of Operations: Aritmetic Sequences:

More information

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q TREVOR ARNOLD Abstract This aer demonstrates a few characteristics of finite extensions of small degree over the rational numbers Q It comrises attemts

More information

Solving partial differential equations (PDEs)

Solving partial differential equations (PDEs) Solving partial differential equations (PDEs) Hans Fangor Engineering and te Environment University of Soutampton United Kingdom fangor@soton.ac.uk May 3, 2012 1 / 47 Outline I 1 Introduction: wat are

More information

Principles of Hydrology. Hydrograph components include rising limb, recession limb, peak, direct runoff, and baseflow.

Principles of Hydrology. Hydrograph components include rising limb, recession limb, peak, direct runoff, and baseflow. Princiles of Hydrology Unit Hydrograh Runoff hydrograh usually consists of a fairly regular lower ortion that changes slowly throughout the year and a raidly fluctuating comonent that reresents the immediate

More information

3 Ans. 1 of my $30. 3 on. 1 on ice cream and the rest on 2011 MATHCOUNTS STATE COMPETITION SPRINT ROUND

3 Ans. 1 of my $30. 3 on. 1 on ice cream and the rest on 2011 MATHCOUNTS STATE COMPETITION SPRINT ROUND 0 MATHCOUNTS STATE COMPETITION SPRINT ROUND. boy scouts are accompanied by scout leaders. Eac person needs bottles of water per day and te trip is day. + = 5 people 5 = 5 bottles Ans.. Cammie as pennies,

More information

Pre-trial Settlement with Imperfect Private Monitoring

Pre-trial Settlement with Imperfect Private Monitoring Pre-trial Settlement wit Imperfect Private Monitoring Mostafa Beskar University of New Hampsire Jee-Hyeong Park y Seoul National University July 2011 Incomplete, Do Not Circulate Abstract We model pretrial

More information

Section 3.3. Differentiation of Polynomials and Rational Functions. Difference Equations to Differential Equations

Section 3.3. Differentiation of Polynomials and Rational Functions. Difference Equations to Differential Equations Difference Equations to Differential Equations Section 3.3 Differentiation of Polynomials an Rational Functions In tis section we begin te task of iscovering rules for ifferentiating various classes of

More information

Writing Mathematics Papers

Writing Mathematics Papers Writing Matematics Papers Tis essay is intended to elp your senior conference paper. It is a somewat astily produced amalgam of advice I ave given to students in my PDCs (Mat 4 and Mat 9), so it s not

More information

Volumes of Pyramids and Cones. Use the Pythagorean Theorem to find the value of the variable. h 2 m. 1.5 m 12 in. 8 in. 2.5 m

Volumes of Pyramids and Cones. Use the Pythagorean Theorem to find the value of the variable. h 2 m. 1.5 m 12 in. 8 in. 2.5 m -5 Wat You ll Learn To find te volume of a pramid To find te volume of a cone... And W To find te volume of a structure in te sape of a pramid, as in Eample Volumes of Pramids and Cones Ceck Skills You

More information

On a Satellite Coverage

On a Satellite Coverage I. INTRODUCTION On a Satellite Coverage Problem DANNY T. CHI Kodak Berkeley Researc Yu T. su National Ciao Tbng University Te eart coverage area for a satellite in an Eart syncronous orbit wit a nonzero

More information

Unemployment insurance/severance payments and informality in developing countries

Unemployment insurance/severance payments and informality in developing countries Unemployment insurance/severance payments and informality in developing countries David Bardey y and Fernando Jaramillo z First version: September 2011. Tis version: November 2011. Abstract We analyze

More information

Multivariate time series analysis: Some essential notions

Multivariate time series analysis: Some essential notions Capter 2 Multivariate time series analysis: Some essential notions An overview of a modeling and learning framework for multivariate time series was presented in Capter 1. In tis capter, some notions on

More information

A system to monitor the quality of automated coding of textual answers to open questions

A system to monitor the quality of automated coding of textual answers to open questions Researc in Official Statistics Number 2/2001 A system to monitor te quality of automated coding of textual answers to open questions Stefania Maccia * and Marcello D Orazio ** Italian National Statistical

More information

What is Advanced Corporate Finance? What is finance? What is Corporate Finance? Deciding how to optimally manage a firm s assets and liabilities.

What is Advanced Corporate Finance? What is finance? What is Corporate Finance? Deciding how to optimally manage a firm s assets and liabilities. Wat is? Spring 2008 Note: Slides are on te web Wat is finance? Deciding ow to optimally manage a firm s assets and liabilities. Managing te costs and benefits associated wit te timing of cas in- and outflows

More information