Bayesian segmentation for damage image using MRF prior

Size: px
Start display at page:

Download "Bayesian segmentation for damage image using MRF prior"

Transcription

1 Bayeian egmentation for damage image uing MRF prior G. Li 1, F.G. Yuan 1, R. Haftka and N. H. Kim 1 Department of Mechanical and Aeropace Engineering, North arolina State Univerity, Raleigh, N, , USA Department of Mechanical and Aeropace Engineering, Univerity of Florida, Gaineville, FL 3611, USA ABSTRAT Image egmentation for quantifying damage baed on Bayeian updating cheme i propoed for diagnoi and prognoi in tructural health monitoring. Thi cheme enable taking into account the prior information of the tate of the tructure, uch a patial contraint and image moothne. Baye law i employed to update the egmentation with the patial contraint decribed a Markov Random Field and the current oberved image acting a a likelihood function. Segmentation reult demontrate that the propoed algorithm hold promie of earching a crack area in the SHM image and focuing on the real damage area by eliminating the peudo-hadow area. Thu more precie crack etimation can be obtained than the conventional K-mean egmentation by hrinking the fuzzy tail which often exit on both ide of the crack tip. Keyword: Damage imaging, Damage etimation, Image egmentation, Markov random field, Gibb random field. 1. INTRODUTION Aircraft plate-like tructure are prone to develop crack due to cyclic load and everely corroive ervice environment. Diagnoi and prognoi of damage are eential iue in tructural health monitoring for preventing catatrophic failure and predicting the remaining life of tructure. Ultraonic wave imaging with variou enor array form ha potential to detect the damage or abnormity on large-cale, complex plate-like tructure. Damage location, hape and everity evaluation i one of the mot important topic in tructural health monitoring. The Lamb wave imaging method ha been recently hown to be effective in detecting damage uch a crack or delamination in tructure [1][][3]. Damage imaging method have focued on time-reveral baed migration technique in both time-pace domain and frequency-wave number domain [4][5][6][7]. Thee method can generate image indicating the damage condition of tructure by interpolating the data meaured from different form of enor array. The paper aim at quantifying the damage baed on the image generated from exiting imaging technique. Since the ize of the crack provide the eential information for tructural health prognoi to etimate reidual life of the tructural component according to crack propagation law uch a Pari law [8] in metal, which relate tre intenity factor and crack growth under fatigue. Image egmentation i an image proceing technique, which eparate the whole detected image into everal meaningful region with homogeneou attribute, e.g., damaged region/non-damaged region, according to the image itelf and ome prior knowledge. Figure 1 how a typical intenity image and it egmentation. Although human diagnoi with experience can identify the egmented region from the oberved image, but it i not an eay job for a computer to automatically divide an oberved image (epecially noie contaminated image with fuzzy information) into meaningful region. Image egmentation baed on tatitical model ha been developed in medical image analyi [9][1] and computer viion [11] [1] [13]. Bayeian updating cheme ued for image egmentation i introduced to merge the oberved image data with the prior knowledge, including patial contraint, trength and ditribution of diturbance to achieve more precie egmentation reult than thoe obtained uing traditional image egmentation method like K-mean method [14]. The ervice environment and pecific aircraft tructure lead to the following three main propertie of the detected image uing ultraonic wave when compared to medical imaging technique for human bodie. Firt, the large cale of aircraft tructure and online diagnotic requirement promote relative low denity of enor ditribution. Second, evere variation of temperature and humidity during the in-flight ervice alter the dynamic repone of detected tructure. Third, due to noie, electromagnetic diturbance from the environment, the monitoring ytem itelf and tructural Senor and Smart Structure Technologie for ivil, Mechanical, and Aeropace Sytem 9 edited by Maayohi Tomizuka, hung-bang Yun, Victor Giurgiutiu, Proc. of SPIE Vol J 9 SPIE code: X/9/$18 doi: / Proc. of SPIE Vol J-1 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

2 vibration, the experimental image from SHM ultraonic wave diagnoi are alway of relatively low quality. It i difficult for the traditional image egmentation like the threhold method, K-mean clutering to effectively eparate the damage region from the background. A reliable image egmentation cheme, which can be relatively immune to noie and fuzzy tail, i imperative tbtain a meaningful egmentation and precie damage quantification. la la I / /- Boundary Figure 1 An Image of intenity and it binary egmentation In thi paper, image egmentation baed on Bayeian updating with Markov Random Field i invetigated for plate-like tructural health monitoring uing ultraonic guided Lamb wave. Thi paper i organized a follow. Section introduce the Bayeian updating concept in image egmentation. Section 3 introduce Markov Random Field and Gibb Random Field a prior information in the Bayeian updating framework. Section 4 dicue how to model the image egmentation problem with Bayeian updating framework, and to quantify the image egmentation a a problem of maximizing a poterior (MAP). An illutrative example i alo given in thi ection. Section 5 preent the application of the egmentation method for revere-time migration image in frequency-wavenumber domain. Section 6 carrie out ome dicuion on the reult. Section 7 provide concluding remark.. IMAGE SEGMENTATION BASED ON BAYESIAN UPDATING Image egmentation refer to the proce of partitioning an image into multiple region. The goal of egmentation i to implify the repreentation of an image into a cla of certain repreentation, each of which hold ditinct characteritic and i eaier to ditinguih among them. Reearcher have developed many method baed on traditional clutering method uch a fuzzy mathematic, neural network, and tatitical model. Bayeian updating i one viable approach, which take advantage of a tatitical model to combine the current oberved data with prior knowledge, uch a patial contraint and moothne level. Bayeian updating i tatitical inference in which evidence or obervation are ued to update or to newly infer the probability that a hypothei may be true. It ue apect of the cientific method, which involve collecting evidence that i meant to be conitent or inconitent with a given hypothei. A evidence accumulate, the degree of belief in a hypothei hould change. With enough evidence, it hould become very high or very low. Thoma Baye firtly introduced Bayeian theorem [15], which relate the conditional and marginal probabilitie of event x and y by Where, py ( xpx ) ( ) px ( y) = (1) py ( ) px ( ) i the prior probability or marginal probability of x before the obervation. It i prior in the ene that it doe not take into account any information about y. px ( y) i the conditional probability of x after the obervation, given y. It i alo called the poterior probability becaue it i derived from or depend upon the pecified value of y. Proc. of SPIE Vol J- Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

3 py ( x ) i the likelihood function, which i the conditional probability of y given x. p( y ) i marginal probability of y, and act a a normalizing contant. In image egmentation, the prior function px ( ) can repreent prior aumption about the image for monitoring the tructural health. For intance, the aumption can include how the pixel contrain each other in the pace, and how evere the environmental noie i. In addition, a previou monitoring image and prior knowledge about the tructure can alo be conidered a prior information. The likelihood function relate to the oberved information, which i the detected intenity image in diagnoi from guided wave imaging with finite enor array, uch a linear enor array [16] or ditributed enor array [17]. 3. MARKOV RANDOM FIELD AND GIBBS RANDOM FIELD Markov Random Field (MRF) image modeling ha been ued uccefully in many image proceing technique [18]. The ucce of Markov Random Field modeling mainly arie from it ytematic and flexible treatment of the contextual information in the image. Prior knowledge about the image egmentation can be eaily quantified by Markov Random Field model parameter. Image egmentation procee the property of contextual moothne of the cla label in the image pace o that a pixel with a particular cla label i likely to hare the label with it immediate neighbor. Moreover a Bayeian framework uing MRF provide feaible optimal olution. The optimization proce uing patial local interaction make parallel and local computation poible. Following are ome baic definition [19] and derivation for the image egmentation baed on Bayeian updating cheme. Neighborhood A neighborhood ytem η aociated with the whole image Ω i a collection of neighborhood η = { η Ω }, where eachη i a neighborhood of the pixel at the ite of atifying (1) The pixel itelf doe not belong to it own neighborhood, or η ; () The pixel belonging to the neighborhood of pixel t implie that pixel t belong to the neighborhood of pixel, or η t implie t η lique A clique i a ubet of the whole image Ω if two different element of are neighbor. Figure give the nd order neighborhood and all the available clique in thi 8-element neighboring ytem. Figure All poible clique for the econd-order neighborhood ytem Markov Random Field A Markov Random Field on ( Ω, η) i a random field with it probability property of each ite in the whole field atifying the Markovian property decribed a following, Proc. of SPIE Vol J-3 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

4 P( X = x X = x, t Ω, t ) = P( X = x X = x, t η ), Ω. t t t t Gibb Random Field A random field X with (Ω, η, ), i a Gibb Random Field (GRF, or a random field with a Gibb ditribution) if it joint ditribution ha the form 1 P( x) = exp Vc ( x) Z () c where i the et of all clique in Ω, Z i the normalizing contant, and V c (x) i the clique potential aociated with cliquec. There i no particular retriction on the clique potential definition. A long a the reulting Gibb ditribution atifie the definition of the probability, the aociated clique potential are valid. The Gibb potential can be defined uch that ome pecific feature of the image can be identified and emphaized. In addition, it i not neceary to ue all type of clique for a given neighborhood ytem; that i, any pecific et of clique type can be electively ued. A Gibb Random Field i defined by a joint probability. On the contrary, the MRF i defined baed on a conditional probability. Prior Knowledge about the problem uch a the moothne contraint on the cla label can be incorporated into the Gibb ditribution by the choice of pecific clique type and their potential. For example, the moothne of the cla label in image pace can be meaured by defining the clique potential uch that a high poitive clique potential i aigned only when all cla label in the clique are identical. Hammerley-lifford Theorem On (Ω, η, ), a random field X i a Markov random field with repect to η if and only if P(x) ha a Gibb ditribution with repect toη. Hammerley-lifford Theorem build a bridge between MRF and GRF. The joint ditribution (i.e., Gibb ditribution) can be contructed from the local conditional probability (i.e. MRF). A a equence of the theorem, it i now poible to expre the conditional probability of a Markov Random Field in term of clique potential. Thi i ueful in practice becaue it i eay chooe the clique type and their potential to decribe the deired local behavior. For example, local patial relationhip uch a moothne and continuity of the neighboring pixel can be pecified by iotropic pair clique potential β. It i crucial for the theorem to hare the ame neighborhood ytem η and the aociate clique c for both MRF and GRF. 4. PROBLEM MODELING WITH MAXIMUM A POSTERIOR 4.1 Bayeian updating with MRF/GRF The image contructed by the ignal from the enor array for tructural health diagnoi i uually noiy and with fuzzy tail a dicued in Section 1. In Bayeian updating cheme, the current image, which can be conidered a a likelihood function, i updated by introducing prior aumption. MRF/GRF dicued in Section 3 i employed to eliminate the effect of noie in the image by deignating thee imilar neighbor with high probability. Thu the egmentation procedure depend on not only the image intenity but alo the pace retriction property of the neighboring ytem. For computational efficiency, the nd -order clique i ued, which contain an 8-element neighborhood. According to the MRF-GRF equivalence decribed by Hammerley-lifford theorem, the clique potential i given in the form of Gibb denity a Eq.() The Gibb potential value i defined a [1], if x xq and, q V ( x) = β = + β if x xq and, q where β i poitive. The choice of β will affect the patial contraint in the GRF. Larger β reult in tronger patial contraint; that i, neighbor are more likely to have the ame label. (3) Proc. of SPIE Vol J-4 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

5 The image egmentation problem i ill-poed imply becaue it olution pace i too large. The olution pace can be reduced by incorporating prior knowledge about the image, uch a the moothne in the problem formulation. The Maximum a poteriori (MAP) criterion [] ha frequently been ued to characterize the prior knowledge. According to the MAP criterion, given a realization of a random field, the goal i to find an optimal realization of x ), which maximize the a poteriori probability P( x y ) for all poible realization of x. By exploiting the chain rule and taking the monotonically increaing logarithmic function, the maximization can be equivalently expreed a: ) x = arg max P( x y) x Py ( xpx ) ( ) = arg max x Py ( ) = arg max Py ( xpx ) ( ) x = arg max[ln Py ( x) + ln Px ( )] x The oberved image can be modeled with a Gauian ditribution [1], and the prior function i the Gibb Random Field, which hold the probability in Eq. (5). Thu the MAP problem can be decribed a: x ( ) exp p x y y μ V x σ (4) ( ) (5) In thi equation, x i the egmentation label ranging from 1 to k. S i the poition of the etimated grid. y i the oberved x value (obtained image from SHM ytem). And μ i the mean value in the window with a certain ize centered at poition. px ( y) i the probability of the evaluated grid belonging to the cluter label x, given the intenity of ome grid. For the poterior probability, if px ( = y) > px ( = 1 y), then the etimated x hould be ; and if px ( = y) < px ( = 1 y), then the etimated x hould be 1; thu the etimation of the egmentation label ˆx i achieved. Thi poterior probability comprie of two part. The firt part i Gauian ditribution likelihood, and the econd part i the prior denity function -- Gibb potential. The firt part i eentially K-mean method, which calculate the ditance between the evaluated value and the clutering center. For the firt likelihood part, if the evaluated pixel value i cloe to the cluter center, the poterior energy function will be enhanced. The econd part i the adjutable part according to the neighboring environment. For the prior Gibb potential part, if the neighbor clique member i the ame label (from initialization or the previou egmentation), the Vc(x) hould be negative, then the poterior energy denity will be enhanced. On the other hand, if the clique member are at different label, the poterior energy denity will be weakened. For a given cae, neglecting the prior ditribution by etting β =, thi algorithm degenerate to a K-mean clutering method, which only count the ditance between each point with the clutering center. 4. An illutrative example To illutrate the procedure and the power of the Bayeian baed algorithm for SHM image egmentation, a mall ize grey-level matrix, which repreent a imple image of intenity caling from to 1, i hown in Figure 3. Proc. of SPIE Vol J-5 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

6 A B. ci ci c ci ci ci o. k 8. if F o a o a oa I '.; H I j o pi Figure 3 Matrix repreentation of original image for illutrative example The image ha three patche of high-level area at the firt glance marked a the darker color. The left-ide areaa coniting of element (.9,.7,.75,.8 and.85) i a relative large area, and the two right-ide one, which are element.777 and.8, are mall. In image analyi, thee mall area are uually caued by environment noie, thu they hould be eliminated from the image in the egmentation procedure. Figure 4 i the correponding noie contaminated matrix, whoe intenity image repreentation can be een in Figure 3(a). A 14 O (:.1.3. B. 3. t'7 '. II:11F3 IIII. 1.3 ' ': Lf 811 Lf n 91 1fi Ill I 8 T ' ui (I 9 'III' I L 9 ' ' ' ' 111 6T H I S '. 8. cii IIII. ' 'lilies O.j.O...O3 3.(, 1 6. a ) ri 1)6 i LL L T.' E3 Tu 9 I 1 ' ' '. 6 L 9 Ou" 1' I.. 9 L Figure 4 Matrix repreentation of the noie contaminated image A traditional K-mean clutering algorithm i applied tbtain the initial egmentation. The algorithm attempt to categorize the etimated ite to the cloet cluter center by the meaurement in ditance. Matrix in Figure 5 and it intenity image repreentation in Figure 7(b) are the initial egmentation by K-mean indicating three higher level area with region label 1 and other lower level area with region label. Three typical cell are highlighted to illutrate the Bayeian updating procedure. ell D3 i a high grey value pixel with mainly high grey value neighbor; ell F35 i a typical low grey value pixel with all lower grey value neighbor; and cell H9 i a typical high grey value pixel with lower grey value neighbor. When updating the egmentation label, the immediate neighboring information hould be introduced by the formulation of GRF. Proc. of SPIE Vol J-6 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

7 All the pixel in the image may be roughly claified into three categorie mentioned above. The factor howing how they behave in the updating proceduree i the different number of ame label pixel in it neighboringg ytem. For example, the.77 the cell D19 ha 4 high level neighbor, while it right neighbor.8 only ha two high level neighbor. Therefore.77 i more likely to belong to be cluter 1 than it neighbor.8. B? o a 8 o a o i ' ' i F F D 3 Ii I 3 3! n n I j n Figure 5 Initial egmentation with traditional K-mean clutering To etimate the poterior probability, the mean value of each region need to be calculated a follow: For the cla (lower grey level cluter/ light area): μ =.69 1 For the cla 1 (higher grey level cluter/ dark area): μ =.844 Pixel in all the image may be etimated with Eq. (5). Table1 lit three type of typical cell with index D19, H16, and F with the Gibb potential part given on the right ide, indicating the adjutment proceduree for each cae. The final egmentation reult i given in Figure 7(c) which keep the dominated high level zone and eliminate the iolated malll one. The reult in matrix form are hown in Figure 6. ell Poition D19 Table 1 Poteriorr calculation with Gibb potential Poterior probability with Gibb potential p= exp y σ = exp [ σ p1= exp y σ = exp [ σ μ V ( x = ) ] 1 μ V ( x = 1) ] V V = ( x ) = ( x 1) Gibb potential part V = V = Proc. of SPIE Vol J-7 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

8 : a : a H16 F p= exp y σ = exp [ σ p1= exp y σ = exp [ σ p= exp y σ = exp [.. 69 σ p1= exp y σ = exp [ σ 1 μ V ( x = ) ] 1 μ V ( x = 1) ] μ V ( x = ) ] 1 μ V ( x = 1) ] V V V V = ( x ) = ( x 1) = ( x ) = ( x 1) V = V = V = V = 8β = 8β 8β = 8β B t) F F a U1 a I I I I I J ' ' ' 48 () o ' 49 Figure 6 Bayeian egmentation with MRF prior Proc. of SPIE Vol J-8 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

9 .. (a) (b) (c) Figure 7 omparion of (a) the original image and (b) K-mean reult and (c) Bayeian updated reult 5. SEGMENTATION FOR F-K MIGRATION IMAGES Imaging algorithm for diagnoing damage in plate-like tructure have drawn continual interet. The time reveral cheme developed in time-pace domain and frequency-wave number domain ha been uccefully verified it effectivene and efficiency for damage detection. The migration imaging technique, baed on Mindlin plate theory, i one of the mot promiing method for multi-damage identification in plate-like tructure uing cattered Lamb wave in combination with the time-coincidence imaging condition. The migration technique can effectively interpret the enor data recorded by a ditributed linear array enor ytem and make it poible to etablih an active, in-ervice, and intelligent monitoring ytem. The image for egmentation i obtained from an active diagnotic linear array of actuator/enor, which i ued to excite/receive the flexural wave. The wave field cattered from the damage and enor array data are yntheized uing a two-dimenional explicit finite difference cheme to model wave propagation in the plate baed on the Mindlin plate theory. The damage image can be repreented by the cro-correlation in frequency domain a: e I( x, y) = w ( x, y, ω) w ( x, y, ω) ω (6) e in which I( xy, ) i the pixel value at ( x, y ), w ( x, y, ω) and w ( x, y, ω ) are the extrapolated excitation and cattered wave-field in frequency domain, repectively. Senor array Senor array.., S S Damage Noie Fuzzy tail Etimated damage boundary (a) (b) Figure 8 (a) f-k migration image and (b) the Bayeian baed egmentation When K-mean egmentation i applied to the f-k migration image, ome of the medium grey-level in the fuzzy tail will be egmented a the damaged area. Markov Random Field feature the property of emphaizing the local contraint by Proc. of SPIE Vol J-9 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

10 introducing the Gibb potential in the poterior probability. Thu the damaged area from the egmentation hrink regardle of ghot image. Figure 8(b) give the egmentation reult and it region reulting from Bayeian updating cheme. A a comparion, for a mm crack cae, the crack length obtained from the K-mean (without noie) egmentation i 3 mm, while the etimated crack ize obtained from Bayeian updating algorithm i 5 mm, providing more precie crack ize etimation. Furthermore, the crack ize etimated i larger than the true crack ize, enuring the conervative meaure of the damage. The parameter β in the Gibb potential play an important role of the egmentation procedure. It determine how the neighboring ytem affect the label of the etimated ite. When β =, the Bayeian egmentation reduce to the K- mean clutering, which egment ome of the noie area in the ame region of the damaged area and the reult i given in Figure 9(b). It i difficult to determine the crack length with uch egmentation. With the increae in β, the noie i uppreed, and the damage area hrink to the real damaged area. Reult how that the egmentation doe not change when β varie from.9 to 1, which how the tability of the egmentation. The reaon for the convergence phenomenon i that the Gibb potential provide play only an adjutment role in the Bayeian updating procedure, but not a dominating role. (a) Original (b) β= (c) β=.1 (d) β=.5 Figure 9 Bayeian baed image egmentation with different Gibb potential The reolution of the egmentation firt depend on the quality of the image. For the imaging procedure uing f-k migration technique, the center frequency of the excitation i 15 khz a hown in Figure 1. The maximum frequency over 3% frequency magnitude i about 44 khz, and the thickne of the monitored aluminum plate in the imulation i 3. mm. The mainly excited mode in the imulation i the firt-order aymmetric mode, A mode. From the diperive curve the velocity of A mode for Lamb wave i 3.5 m/m. Through Eq. (7), the wavelength for the highet frequency in the excitation ignal can be obtained. v λ = (7) f The hortet wavelength in the excitation frequency band i 1.4 mm. Therefore, the etimated error of 5 mm in crack ize i maller than half of the hortet wavelength. To improve the accuracy of the crack ize etimation, higher frequency excitation may be ued. However there will be a tradeoff between the complexity of multi-mode in high frequencie and the image reolution. Proc. of SPIE Vol J-1 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

11 1 8.6 r r.4 44 khz.1 L OL 5 i':': '1' 4 Frequency (khz) Figure 1 Excitation waveform in time-domain and frequency-domain 6. ONLUSIONS The propoed Bayeian baed egmentation algorithm for etimating damage ize ha been hown to poe the following advantage: (1) Spatial contraint uing the neighboring ytem i better than K-mean clutering, which only conider the grey-level ditance between the pixel and the clutering center. A a reult, the damage area i focued uppreing the fuzzy tail that may appear on both crack tip. () Bayeian baed egmentation hold the promie of reducing noie by applying the Gibb Random field, which aume that neighboring pixel more likely belong to be the ame cla. (3) The egmentation reult give damage hape and region etimation of the damaged area. In other word, the Bayeian updating with the MRF a a prior can efficiently egment an image into multiple region, which ditinguihe damaged region from undamaged region. For future work, the egmentation reult can alo be ued a prior information for the next Bayeian updating cheme, thereby enhancing the current image. Furthermore, different diagnotic technique that form the image can contribute to Bayeian updating and make the egmentation more precie and reliable. 7. AKNOWLEDGEMENT The author gratefully acknowledge the upport of the reearch by the U.S. Air Force under Grant FA and by the NASA under Grant NNX8A334. REFERENES 1. L. Wang and F. G. Yuan, Active Damage Localization Technique baed on Energy Propagation of Lamb Wave, Smart Structure and Sytem, 3(), 1-17(7).. V. Giurgiutiu, L. Yu, K. Jame and R. J. hritopher, In Situ Imaging of rack Growth with Piezoelectric-Wafer Active Senor, AIAA Journal, 45(11), (7). 3. Y. Gómez-Ullate and F. Montero de Epinoa, Non Detructive Evaluation of arbon Fiber Reinforced Plate Uing Lamb Wave: A omparion between Pitch-atch Air oupled Technique and Sector Image Obtained with Embedded Piezoelectric Linear Array, Ultraonic Sympoium, IEEE, (7). Proc. of SPIE Vol J-11 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

12 4. L. Wang and F. G. Yuan, Damage identification in a compoite plate uing pretack revere-time migration technique, Structural Health Monitoring, 4(3), (5). 5. X. Lin and F. G. Yuan, Damage Detection of a Plate Uing Migration Technique, Journal of Intelligent Material Sytem and Structure, 1(7), (1). 6. X. Lin and F. G. Yuan, Detection of Multiple Damage by Pretack Revere-time Migration, AIAA 39(11), 6-15(1). 7. X. Lin and F. G. Yuan, Experimental Study Applying a Migration Technique in Structural Health Monitoring, Structural Health Monitoring, 4(4), (5). 8. P.. Pari, M. P. Gomez and W. E. Anderon, A Rational Analytic Theory of Fatigue, The Trend in Engineering, 13, 9-14(1961). 9. A. Ihimaru, Acoutical and Optical Scattering and Imaging of Tiue--An Overview, Medical Imaging 1: Ultraonic imaging and ignal proceing, Proceeding of SPIE, 435, 1-1(1). 1. J. A. Noble and D. Boukerroui, Ultraound Image Segmentation: A Survey, IEEE Tranaction on Medical Imaging, 5(8), (6). 11. S. Geman and D. Geman, Stochatic Relaxation, Gibb Ditribution, and the Bayeian Retoration of Image, IEEE Tranaction on Pattern Analyi and Machine Intelligence, 6(6), (1984). 1. T. N. Pappa, An Adaptive lutering Algorithm for Image Segmentation, IEEE Tranaction on Signal Proceing, 4(4), (199). 13. J. Beag, On the Statitical Analyi of Dirty Picture, Royal Statitic Society, 48(3), 59-3(1986). 14. J. B. MacQueen, Some Method for laification and Analyi of Multivariate Obervation, Proceeding of 5-th Berkeley Sympoium on Mathematical Statitic and Probability, Berkeley, Univerity of alifornia Pre, 81-97(1967). 15. T. Baye, An Eay toward Solving a Problem in the Doctrine of hance. By the late Rev. Mr. Baye, F. R. S. communicated by Mr. Price, in a letter to John anton, A. M. F. R. S., Philoophical Tranaction, 53, (1763). 16. X. Lin and F. G. Yuan, Experimental Study Applying a Migration Technique in Structural Health Monitoring, Structural Health Monitoring, 4(4), (5). 17. J. B. Ihn and F. K. hang, Pitch-atch Active Sening Method in Structural Health Monitoring for Aircraft Structure, Structural Health Monitoring, 7(1), 5-19 (8). 18. R. Kindermann and J. L. Snell, Markov Random Field and Their Application, American Mathematical Society, S. Z. Li, Markov Random Field Model in omputer Viion, Springer-Verlag Berlin Heidelberg, M. DeGroot, Optimal Statitical Deciion, McGraw-Hill, 197. Proc. of SPIE Vol J-1 Downloaded from SPIE Digital Library on 8 Oct 9 to Term of Ue:

Markov Random Fields in Image Segmentation

Markov Random Fields in Image Segmentation Preented at SSIP 2011, Szeged, Hungary Markov Random Field in Image Segmentation Zoltan Kato Image Proceing & Computer Graphic Dept. Univerity of Szeged Hungary Zoltan Kato: Markov Random Field in Image

More information

3D SMAP Algorithm. April 11, 2012

3D SMAP Algorithm. April 11, 2012 3D SMAP Algorithm April 11, 2012 Baed on the original SMAP paper [1]. Thi report extend the tructure of MSRF into 3D. The prior ditribution i modified to atify the MRF property. In addition, an iterative

More information

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart.

Universität Augsburg. Institut für Informatik. Approximating Optimal Visual Sensor Placement. E. Hörster, R. Lienhart. Univerität Augburg à ÊÇÅÍÆ ËÀǼ Approximating Optimal Viual Senor Placement E. Hörter, R. Lienhart Report 2006-01 Januar 2006 Intitut für Informatik D-86135 Augburg Copyright c E. Hörter, R. Lienhart Intitut

More information

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks

Performance of a Robust Filter-based Approach for Contour Detection in Wireless Sensor Networks Performance of a Robut Filter-baed Approach for Contour Detection in Wirele Senor Network Hadi Alati, William A. Armtrong, Jr., and Ai Naipuri Department of Electrical and Computer Engineering The Univerity

More information

CENTER-POINT MODEL OF DEFORMABLE SURFACE

CENTER-POINT MODEL OF DEFORMABLE SURFACE CENTER-POINT MODEL OF DEFORMABLE SURFACE Piotr M. Szczypinki Iintitute of Electronic, Technical Univerity of Lodz, Poland Abtract: Key word: Center-point model of deformable urface for egmentation of 3D

More information

Focused Video Estimation from Defocused Video Sequences

Focused Video Estimation from Defocused Video Sequences Focued Video Etimation from Defocued Video Sequence Junlan Yang a, Dan Schonfeld a and Magdi Mohamed b a Multimedia Communication Lab, ECE Dept., Univerity of Illinoi, Chicago, IL b Phyical Realization

More information

/06/$ IEEE 364

/06/$ IEEE 364 006 IEEE International ympoium on ignal Proceing and Information Technology oie Variance Etimation In ignal Proceing David Makovoz IPAC, California Intitute of Technology, MC-0, Paadena, CA, 95 davidm@ipac.caltech.edu;

More information

SLA Adaptation for Service Overlay Networks

SLA Adaptation for Service Overlay Networks SLA Adaptation for Service Overlay Network Con Tran 1, Zbigniew Dziong 1, and Michal Pióro 2 1 Department of Electrical Engineering, École de Technologie Supérieure, Univerity of Quebec, Montréal, Canada

More information

Gray-level histogram. Intensity (grey-level) transformation, or mapping. Use of intensity transformations:

Gray-level histogram. Intensity (grey-level) transformation, or mapping. Use of intensity transformations: Faculty of Informatic Eötvö Loránd Univerity Budapet, Hungary Lecture : Intenity Tranformation Image enhancement by point proceing Spatial domain and frequency domain method Baic Algorithm for Digital

More information

Trainable Context Model for Multiscale Segmentation

Trainable Context Model for Multiscale Segmentation Trainable Context Model for Multicale Segmentation Hui Cheng and Charle A. Bouman School of Electrical and Computer Engineering Purdue Univerity Wet Lafayette, IN 47907-1285 {hui, bouman}@ ecn.purdue.edu

More information

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak

IMPROVED JPEG DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION. Tak-Shing Wong, Charles A. Bouman, and Ilya Pollak IMPROVED DECOMPRESSION OF DOCUMENT IMAGES BASED ON IMAGE SEGMENTATION Tak-Shing Wong, Charle A. Bouman, and Ilya Pollak School of Electrical and Computer Engineering Purdue Univerity ABSTRACT We propoe

More information

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing.

Keywords: Defect detection, linear phased array transducer, parameter optimization, phased array ultrasonic B-mode imaging testing. Send Order for Reprint to reprint@benthamcience.ae 488 The Open Automation and Control Sytem Journal, 2014, 6, 488-492 Open Acce Parameter Optimization of Linear Phaed Array Tranducer for Defect Detection

More information

On successive packing approach to multidimensional (M-D) interleaving

On successive packing approach to multidimensional (M-D) interleaving On ucceive packing approach to multidimenional (M-D) interleaving Xi Min Zhang Yun Q. hi ankar Bau Abtract We propoe an interleaving cheme for multidimenional (M-D) interleaving. To achieved by uing a

More information

Planning of scooping position and approach path for loading operation by wheel loader

Planning of scooping position and approach path for loading operation by wheel loader 22 nd International Sympoium on Automation and Robotic in Contruction ISARC 25 - September 11-14, 25, Ferrara (Italy) 1 Planning of cooping poition and approach path for loading operation by wheel loader

More information

A Novel Feature Line Segment Approach for Pattern Classification

A Novel Feature Line Segment Approach for Pattern Classification 12th International Conference on Information Fuion Seattle, WA, USA, July 6-9, 2009 A Novel Feature Line Segment Approach for Pattern Claification Yi Yang Intitute of Integrated Automation Xi an Jiaotong

More information

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem,

Hassan Ghaziri AUB, OSB Beirut, Lebanon Key words Competitive self-organizing maps, Meta-heuristics, Vehicle routing problem, COMPETITIVE PROBABIISTIC SEF-ORGANIZING MAPS FOR ROUTING PROBEMS Haan Ghaziri AUB, OSB Beirut, ebanon ghaziri@aub.edu.lb Abtract In thi paper, we have applied the concept of the elf-organizing map (SOM)

More information

A Multi-objective Genetic Algorithm for Reliability Optimization Problem

A Multi-objective Genetic Algorithm for Reliability Optimization Problem International Journal of Performability Engineering, Vol. 5, No. 3, April 2009, pp. 227-234. RAMS Conultant Printed in India A Multi-objective Genetic Algorithm for Reliability Optimization Problem AMAR

More information

Analyzing Hydra Historical Statistics Part 2

Analyzing Hydra Historical Statistics Part 2 Analyzing Hydra Hitorical Statitic Part Fabio Maimo Ottaviani EPV Technologie White paper 5 hnode HSM Hitorical Record The hnode i the hierarchical data torage management node and ha to perform all the

More information

Multi-Target Tracking In Clutter

Multi-Target Tracking In Clutter Multi-Target Tracking In Clutter John N. Sander-Reed, Mary Jo Duncan, W.B. Boucher, W. Michael Dimmler, Shawn O Keefe ABSTRACT A high frame rate (0 Hz), multi-target, video tracker ha been developed and

More information

UC Berkeley International Conference on GIScience Short Paper Proceedings

UC Berkeley International Conference on GIScience Short Paper Proceedings UC Berkeley International Conference on GIScience Short Paper Proceeding Title A novel method for probabilitic coverage etimation of enor network baed on 3D vector repreentation in complex urban environment

More information

Image authentication and tamper detection using fragile watermarking in spatial domain

Image authentication and tamper detection using fragile watermarking in spatial domain International Journal of Advanced Reearch in Computer Engineering & Technology (IJARCET) Volume 6, Iue 7, July 2017, ISSN: 2278 1323 Image authentication and tamper detection uing fragile watermarking

More information

Stochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang

Stochastic Search and Graph Techniques for MCM Path Planning Christine D. Piatko, Christopher P. Diehl, Paul McNamee, Cheryl Resch and I-Jeng Wang Stochatic Search and Graph Technique for MCM Path Planning Chritine D. Piatko, Chritopher P. Diehl, Paul McNamee, Cheryl Rech and I-Jeng Wang The John Hopkin Univerity Applied Phyic Laboratory, Laurel,

More information

A TOPSIS based Method for Gene Selection for Cancer Classification

A TOPSIS based Method for Gene Selection for Cancer Classification Volume 67 No17, April 2013 A TOPSIS baed Method for Gene Selection for Cancer Claification IMAbd-El Fattah,WIKhedr, KMSallam, 1 Department of Statitic, 3 Department of Deciion upport, 2 Department of information

More information

MAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc

MAT 155: Describing, Exploring, and Comparing Data Page 1 of NotesCh2-3.doc MAT 155: Decribing, Exploring, and Comparing Data Page 1 of 8 001-oteCh-3.doc ote for Chapter Summarizing and Graphing Data Chapter 3 Decribing, Exploring, and Comparing Data Frequency Ditribution, Graphic

More information

Laboratory Exercise 6

Laboratory Exercise 6 Laboratory Exercie 6 Adder, Subtractor, and Multiplier The purpoe of thi exercie i to examine arithmetic circuit that add, ubtract, and multiply number. Each type of circuit will be implemented in two

More information

Chapter 13 Non Sampling Errors

Chapter 13 Non Sampling Errors Chapter 13 Non Sampling Error It i a general aumption in the ampling theory that the true value of each unit in the population can be obtained and tabulated without any error. In practice, thi aumption

More information

Texture-Constrained Active Shape Models

Texture-Constrained Active Shape Models 107 Texture-Contrained Active Shape Model Shuicheng Yan, Ce Liu Stan Z. Li Hongjiang Zhang Heung-Yeung Shum Qianheng Cheng Microoft Reearch Aia, Beijing Sigma Center, Beijing 100080, China Dept. of Info.

More information

Motion Control (wheeled robots)

Motion Control (wheeled robots) 3 Motion Control (wheeled robot) Requirement for Motion Control Kinematic / dynamic model of the robot Model of the interaction between the wheel and the ground Definition of required motion -> peed control,

More information

A PROBABILISTIC NOTION OF CAMERA GEOMETRY: CALIBRATED VS. UNCALIBRATED

A PROBABILISTIC NOTION OF CAMERA GEOMETRY: CALIBRATED VS. UNCALIBRATED A PROBABILISTIC NOTION OF CAMERA GEOMETRY: CALIBRATED VS. UNCALIBRATED Jutin Domke and Yianni Aloimono Computational Viion Laboratory, Center for Automation Reearch Univerity of Maryland College Park,

More information

Research on Star Image Noise Filtering Based on Diffusion Model of Regularization Influence Function

Research on Star Image Noise Filtering Based on Diffusion Model of Regularization Influence Function 016 Sith International Conference on Intrumentation & Meaurement Computer Communication and Control Reearch on Star Image Noie Filtering Baed on Diffuion Model of Regularization Influence Function SunJianming

More information

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata

[N309] Feedforward Active Noise Control Systems with Online Secondary Path Modeling. Muhammad Tahir Akhtar, Masahide Abe, and Masayuki Kawamata he 32nd International Congre and Expoition on Noie Control Engineering Jeju International Convention Center, Seogwipo, Korea, Augut 25-28, 2003 [N309] Feedforward Active Noie Control Sytem with Online

More information

A Study of a Variable Compression Ratio and Displacement Mechanism Using Design of Experiments Methodology

A Study of a Variable Compression Ratio and Displacement Mechanism Using Design of Experiments Methodology A Study of a Variable Compreion Ratio and Diplacement Mechanim Uing Deign of Experiment Methodology Shugang Jiang, Michael H. Smith, Maanobu Takekohi Abtract Due to the ever increaing requirement for engine

More information

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit

Compressed Sensing Image Processing Based on Stagewise Orthogonal Matching Pursuit Senor & randucer, Vol. 8, Iue 0, October 204, pp. 34-40 Senor & randucer 204 by IFSA Publihing, S. L. http://www.enorportal.com Compreed Sening Image Proceing Baed on Stagewie Orthogonal Matching Puruit

More information

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications

DAROS: Distributed User-Server Assignment And Replication For Online Social Networking Applications DAROS: Ditributed Uer-Server Aignment And Replication For Online Social Networking Application Thuan Duong-Ba School of EECS Oregon State Univerity Corvalli, OR 97330, USA Email: duongba@eec.oregontate.edu

More information

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz

Operational Semantics Class notes for a lecture given by Mooly Sagiv Tel Aviv University 24/5/2007 By Roy Ganor and Uri Juhasz Operational emantic Page Operational emantic Cla note for a lecture given by Mooly agiv Tel Aviv Univerity 4/5/7 By Roy Ganor and Uri Juhaz Reference emantic with Application, H. Nielon and F. Nielon,

More information

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation

Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compensation Analytical Redundancy and Fuzzy Inference in AUV Fault Detection and Compenation A. J. Healey Profeor and Director Center for AUV Reearch Naval Potgraduate School Monterey, CA 93953 healey@me.np.navy.mil

More information

Web Science and additionality

Web Science and additionality Admin tuff... Lecture 1: EITN01 Web Intelligence and Information Retrieval Meage, lide, handout, lab manual and link: http://www.eit.lth.e/coure/eitn01 Contact: Ander Ardö, Ander.Ardo@eit.lth.e, room:

More information

Localized Minimum Spanning Tree Based Multicast Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Sensor Networks

Localized Minimum Spanning Tree Based Multicast Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Sensor Networks Localized Minimum Spanning Tree Baed Multicat Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Senor Network Hanne Frey Univerity of Paderborn D-3398 Paderborn hanne.frey@uni-paderborn.de

More information

Segmentation of ultrasound images multiresolution 2D and 3D algorithm based on global and local statistics

Segmentation of ultrasound images multiresolution 2D and 3D algorithm based on global and local statistics Pattern Recognition Letter 24 (2003) 779 790 www.elevier.com/locate/patrec Segmentation of ultraound image multireolution 2D and 3D algorithm baed on global and local tatitic Djamal Boukerroui a,b, *,

More information

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES

3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES MAKARA, TEKNOLOGI, VOL. 9, NO., APRIL 5: 3-35 3D MODELLING WITH LINEAR APPROACHES USING GEOMETRIC PRIMITIVES Mochammad Zulianyah Informatic Engineering, Faculty of Engineering, ARS International Univerity,

More information

Routing Definition 4.1

Routing Definition 4.1 4 Routing So far, we have only looked at network without dealing with the iue of how to end information in them from one node to another The problem of ending information in a network i known a routing

More information

Development of an atmospheric climate model with self-adapting grid and physics

Development of an atmospheric climate model with self-adapting grid and physics Intitute of Phyic Publihing Journal of Phyic: Conference Serie 16 (2005) 353 357 doi:10.1088/1742-6596/16/1/049 SciDAC 2005 Development of an atmopheric climate model with elf-adapting grid and phyic Joyce

More information

Domain-Specific Modeling for Rapid System-Wide Energy Estimation of Reconfigurable Architectures

Domain-Specific Modeling for Rapid System-Wide Energy Estimation of Reconfigurable Architectures Domain-Specific Modeling for Rapid Sytem-Wide Energy Etimation of Reconfigurable Architecture Seonil Choi 1,Ju-wookJang 2, Sumit Mohanty 1, Viktor K. Praanna 1 1 Dept. of Electrical Engg. 2 Dept. of Electronic

More information

Cutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck.

Cutting Stock by Iterated Matching. Andreas Fritsch, Oliver Vornberger. University of Osnabruck. D Osnabruck. Cutting Stock by Iterated Matching Andrea Fritch, Oliver Vornberger Univerity of Onabruck Dept of Math/Computer Science D-4909 Onabruck andy@informatikuni-onabrueckde Abtract The combinatorial optimization

More information

Image Morphing Using Deformation Techniques

Image Morphing Using Deformation Techniques Image Morphing Uing Deformation Technique Seung-Yong Lee, Kyung-Yong Chwa, Jame Hahn, and Sung Yong Shin Department of Computer Science Korea Advanced Intitute of Science and Technology 373-1 Kuong-dong

More information

A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS

A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS Vietnam Journal of Science and Technology 55 (5) (017) 650-657 DOI: 10.1565/55-518/55/5/906 A METHOD OF REAL-TIME NURBS INTERPOLATION WITH CONFINED CHORD ERROR FOR CNC SYSTEMS Nguyen Huu Quang *, Banh

More information

Anisotropic filtering on normal field and curvature tensor field using optimal estimation theory

Anisotropic filtering on normal field and curvature tensor field using optimal estimation theory Aniotropic filtering on normal field and curvature tenor field uing optimal etimation theory Min Liu Yuhen Liu and Karthik Ramani Purdue Univerity, Wet Lafayette, Indiana, USA Email: {liu66 liu28 ramani}@purdue.edu

More information

KS3 Maths Assessment Objectives

KS3 Maths Assessment Objectives KS3 Math Aement Objective Tranition Stage 9 Ratio & Proportion Probabilit y & Statitic Appreciate the infinite nature of the et of integer, real and rational number Can interpret fraction and percentage

More information

On combining Learning Vector Quantization and the Bayesian classifiers for natural textured images

On combining Learning Vector Quantization and the Bayesian classifiers for natural textured images On combining Learning Vector Quantization and the Bayeian claifier for natural textured image María Guiarro Dept. Ingeniería del Software e Inteligencia Artificial Facultad Informática Univeridad Complutene

More information

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks

Maneuverable Relays to Improve Energy Efficiency in Sensor Networks Maneuverable Relay to Improve Energy Efficiency in Senor Network Stephan Eidenbenz, Luka Kroc, Jame P. Smith CCS-5, MS M997; Lo Alamo National Laboratory; Lo Alamo, NM 87545. Email: {eidenben, kroc, jpmith}@lanl.gov

More information

Dynamically Reconfigurable Neuron Architecture for the Implementation of Self- Organizing Learning Array

Dynamically Reconfigurable Neuron Architecture for the Implementation of Self- Organizing Learning Array Dynamically Reconfigurable Neuron Architecture for the Implementation of Self- Organizing Learning Array Januz A. Starzyk,Yongtao Guo, and Zhineng Zhu School of Electrical Engineering & Computer Science

More information

Service and Network Management Interworking in Future Wireless Systems

Service and Network Management Interworking in Future Wireless Systems Service and Network Management Interworking in Future Wirele Sytem V. Tountopoulo V. Stavroulaki P. Demeticha N. Mitrou and M. Theologou National Technical Univerity of Athen Department of Electrical Engineering

More information

How to Select Measurement Points in Access Point Localization

How to Select Measurement Points in Access Point Localization Proceeding of the International MultiConference of Engineer and Computer Scientit 205 Vol II, IMECS 205, March 8-20, 205, Hong Kong How to Select Meaurement Point in Acce Point Localization Xiaoling Yang,

More information

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router

Distributed Packet Processing Architecture with Reconfigurable Hardware Accelerators for 100Gbps Forwarding Performance on Virtualized Edge Router Ditributed Packet Proceing Architecture with Reconfigurable Hardware Accelerator for 100Gbp Forwarding Performance on Virtualized Edge Router Satohi Nihiyama, Hitohi Kaneko, and Ichiro Kudo Abtract To

More information

Design of a Stewart Platform for General Machining Using Magnetic Bearings

Design of a Stewart Platform for General Machining Using Magnetic Bearings eign of a Stewart Platform for eneral Machining Uing Magnetic earing Jeff Pieper epartment of Mechanical and Manufacturing Engineering Univerity of algary algary lberta anada N N4 pieper@ucalgary.ca Preented

More information

On the Use of Shadows in Stance Recovery

On the Use of Shadows in Stance Recovery On the Ue of Shadow in Stance Recovery Alfred M. Brucktein, 1 Robert J. Holt, 1 Yve D. Jean, 2 Arun N. Netravali 1 1 Bell Laboratorie, Lucent Technologie, Murray Hill, NJ 094 2 Avaya Communication, Murray

More information

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and Thi article appeared in a journal publihed by Elevier. The attached copy i furnihed to the author for internal non-commercial reearch and education ue, including for intruction at the author intitution

More information

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking Refining SIRAP with a Dedicated Reource Ceiling for Self-Blocking Mori Behnam, Thoma Nolte Mälardalen Real-Time Reearch Centre P.O. Box 883, SE-721 23 Väterå, Sweden {mori.behnam,thoma.nolte}@mdh.e ABSTRACT

More information

An Approach to a Test Oracle for XML Query Testing

An Approach to a Test Oracle for XML Query Testing An Approach to a Tet Oracle for XML Query Teting Dae S. Kim-Park, Claudio de la Riva, Javier Tuya Univerity of Oviedo Computing Department Campu of Vieque, /n, 33204 (SPAIN) kim_park@li.uniovi.e, claudio@uniovi.e,

More information

Variable Resolution Discretization in the Joint Space

Variable Resolution Discretization in the Joint Space Variable Reolution Dicretization in the Joint Space Chritopher K. Monon, David Wingate, and Kevin D. Seppi {c,wingated,keppi}@c.byu.edu Computer Science, Brigham Young Univerity Todd S. Peteron peterto@uvc.edu

More information

Comparison of Methods for Horizon Line Detection in Sea Images

Comparison of Methods for Horizon Line Detection in Sea Images Comparion of Method for Horizon Line Detection in Sea Image Tzvika Libe Evgeny Gerhikov and Samuel Koolapov Department of Electrical Engineering Braude Academic College of Engineering Karmiel 2982 Irael

More information

An Active Stereo Vision System Based on Neural Pathways of Human Binocular Motor System

An Active Stereo Vision System Based on Neural Pathways of Human Binocular Motor System Journal of Bionic Engineering 4 (2007) 185 192 An Active Stereo Viion Sytem Baed on Neural Pathway of Human Binocular Motor Sytem Yu-zhang Gu 1, Makoto Sato 2, Xiao-lin Zhang 2 1. Department of Advanced

More information

Target Oriented High Resolution SAR Image Formation via Semantic Information Guided Regularizations

Target Oriented High Resolution SAR Image Formation via Semantic Information Guided Regularizations 1 Target Oriented High Reolution SAR Image Formation via Semantic Information Guided Regularization Biao Hou, Member, IEEE, Zaidao Wen, Licheng Jiao, Senior Member, IEEE, and Qian Wu arxiv:1704.07082v1

More information

Minimum congestion spanning trees in bipartite and random graphs

Minimum congestion spanning trees in bipartite and random graphs Minimum congetion panning tree in bipartite and random graph M.I. Otrovkii Department of Mathematic and Computer Science St. John Univerity 8000 Utopia Parkway Queen, NY 11439, USA e-mail: otrovm@tjohn.edu

More information

An Intro to LP and the Simplex Algorithm. Primal Simplex

An Intro to LP and the Simplex Algorithm. Primal Simplex An Intro to LP and the Simplex Algorithm Primal Simplex Linear programming i contrained minimization of a linear objective over a olution pace defined by linear contraint: min cx Ax b l x u A i an m n

More information

All in-focus View Synthesis from Under-Sampled Light Fields

All in-focus View Synthesis from Under-Sampled Light Fields ICAT 2003 December 3-5, Tokyo, Japan All in-focu View Synthei from Under-Sampled Light Field Keita Takahahi,AkiraKubota and Takehi Naemura TheUniverityofTokyo Carnegie Mellon Univerity 7-3-1, Hongo, Bunkyo-ku,

More information

Introduction to PET Image Reconstruction. Tomographic Imaging. Projection Imaging. PET Image Reconstruction 11/6/07

Introduction to PET Image Reconstruction. Tomographic Imaging. Projection Imaging. PET Image Reconstruction 11/6/07 Introduction to PET Image Recontruction Adam Aleio Nuclear Medicine Lecture Imaging Reearch Laboratory Diviion of Nuclear Medicine Univerity of Wahington Fall 2007 http://dept.wahington.edu/nucmed/irl/education.html

More information

Modeling of underwater vehicle s dynamics

Modeling of underwater vehicle s dynamics Proceeding of the 11th WEA International Conference on YTEM, Agio Nikolao, Crete Iland, Greece, July 23-25, 2007 44 Modeling of underwater vehicle dynamic ANDRZEJ ZAK Department of Radiolocation and Hydrolocation

More information

else end while End References

else end while End References 621-630. [RM89] [SK76] Roenfeld, A. and Melter, R. A., Digital geometry, The Mathematical Intelligencer, vol. 11, No. 3, 1989, pp. 69-72. Sklanky, J. and Kibler, D. F., A theory of nonuniformly digitized

More information

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment

Increasing Throughput and Reducing Delay in Wireless Sensor Networks Using Interference Alignment Int. J. Communication, Network and Sytem Science, 0, 5, 90-97 http://dx.doi.org/0.436/ijcn.0.50 Publihed Online February 0 (http://www.scirp.org/journal/ijcn) Increaing Throughput and Reducing Delay in

More information

Multiclass Road Sign Detection using Multiplicative Kernel

Multiclass Road Sign Detection using Multiplicative Kernel Proceeding of the Croatian Computer Viion Workhop, Year 1 Multicla Road Sign Detection uing Multiplicative Kernel Valentina Zadrija Mireo d. d. Zagreb, Croatia valentina.zadrija@mireo.hr Siniša Šegvić

More information

A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems

A System Dynamics Model for Transient Availability Modeling of Repairable Redundant Systems International Journal of Performability Engineering Vol., No. 3, May 05, pp. 03-. RAMS Conultant Printed in India A Sytem Dynamic Model for Tranient Availability Modeling of Repairable Redundant Sytem

More information

Tracking High Speed Skater by Using Multiple Model

Tracking High Speed Skater by Using Multiple Model Vol. 2, No. 26 Tracing High Speed Sater by Uing Multiple Model Guojun Liu & Xianglong Tang School of Computer Science & Engineering Harbin Intitute of Technology Harbin 5000, China E-mail: hitliu@hit.edu.cn

More information

The Association of System Performance Professionals

The Association of System Performance Professionals The Aociation of Sytem Performance Profeional The Computer Meaurement Group, commonly called CMG, i a not for profit, worldwide organization of data proceing profeional committed to the meaurement and

More information

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput

Modeling the Effect of Mobile Handoffs on TCP and TFRC Throughput Modeling the Effect of Mobile Handoff on TCP and TFRC Throughput Antonio Argyriou and Vijay Madietti School of Electrical and Computer Engineering Georgia Intitute of Technology Atlanta, Georgia 3332 25,

More information

Locating Brain Tumors from MR Imagery Using Symmetry

Locating Brain Tumors from MR Imagery Using Symmetry ocating rain Tumor from M magery Uing Symmetry Nilanjan ay aidya Nath Saha and Matthew obert Graham rown {nray1 baidya mbrown}@cualbertaca epartment of Computing Science Univerity of lberta Canada btract

More information

Representations and Transformations. Objectives

Representations and Transformations. Objectives Repreentation and Tranformation Objective Derive homogeneou coordinate tranformation matrice Introduce tandard tranformation - Rotation - Tranlation - Scaling - Shear Scalar, Point, Vector Three baic element

More information

A DIVISIVE HIERARCHICAL CLUSTERING- BASED METHOD FOR INDEXING IMAGE INFORMATION

A DIVISIVE HIERARCHICAL CLUSTERING- BASED METHOD FOR INDEXING IMAGE INFORMATION A DIVISIVE HIERARCHICAL CLUSTERING- BASED METHOD FOR INDEXING IMAGE INFORMATION ABSTRACT Najva Izadpanah Department of Computer Engineering, Ilamic Azad Univerity, Qazvin Branch, Qazvin, Iran In mot practical

More information

Stress-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling

Stress-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling Stre-Blended Eddy Simulation (SBES) - A new Paradigm in hybrid RANS-LES Modeling Menter F.R. ANSYS Germany GmbH Introduction It i oberved in many CFD imulation that RANS model how inherent technology limitation

More information

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder

Computer Arithmetic Homework Solutions. 1 An adder for graphics. 2 Partitioned adder. 3 HDL implementation of a partitioned adder Computer Arithmetic Homework 3 2016 2017 Solution 1 An adder for graphic In a normal ripple carry addition of two poitive number, the carry i the ignal for a reult exceeding the maximum. We ue thi ignal

More information

xy-monotone path existence queries in a rectilinear environment

xy-monotone path existence queries in a rectilinear environment CCCG 2012, Charlottetown, P.E.I., Augut 8 10, 2012 xy-monotone path exitence querie in a rectilinear environment Gregory Bint Anil Mahehwari Michiel Smid Abtract Given a planar environment coniting of

More information

Modeling and Analysis of Slow CW Decrease for IEEE WLAN

Modeling and Analysis of Slow CW Decrease for IEEE WLAN Modeling and Analyi of Slow CW Decreae for IEEE 82. WLAN Qiang Ni, Imad Aad 2, Chadi Barakat, and Thierry Turletti Planete Group 2 Planete Group INRIA Sophia Antipoli INRIA Rhône-Alpe Sophia Antipoli,

More information

ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION

ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION ANALYSIS OF THE FIRST LAYER IN WEIGHTLESS NEURAL NETWORKS FOR 3_DIMENSIONAL PATTERN RECOGNITION A. Váque-Nava * Ecuela de Ingeniería. CENTRO UNIVERSITARIO MEXICO. DIVISION DE ESTUDIOS SUPERIORES J. Figueroa

More information

Shortest Paths with Single-Point Visibility Constraint

Shortest Paths with Single-Point Visibility Constraint Shortet Path with Single-Point Viibility Contraint Ramtin Khoravi Mohammad Ghodi Department of Computer Engineering Sharif Univerity of Technology Abtract Thi paper tudie the problem of finding a hortet

More information

SECTOR BASED MULTICAST ROUTING ALGORITHM FOR MOBILE AD-HOC NETWORKS

SECTOR BASED MULTICAST ROUTING ALGORITHM FOR MOBILE AD-HOC NETWORKS SECTOR BASED MULTICAST ROUTING ALGORITHM OR MOBILE AD-HOC NETWORKS Murali Paramewaran 1 and Chittaranjan Hota 2 1 Department of Computer Science & Information Sytem, BITS-Pilani, Pilani, India 2 Department

More information

Application of Social Relation Graphs for Early Detection of Transient Spammers

Application of Social Relation Graphs for Early Detection of Transient Spammers Radolaw rendel and Henryk Krawczyk Application of Social Relation raph for Early Detection of Tranient Spammer RADOSLAW RENDEL and HENRYK KRAWCZYK Electronic, Telecommunication and Informatic Department

More information

Topics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X

Topics. Lecture 37: Global Optimization. Issues. A Simple Example: Copy Propagation X := 3 B > 0 Y := 0 X := 4 Y := Z + W A := 2 * 3X Lecture 37: Global Optimization [Adapted from note by R. Bodik and G. Necula] Topic Global optimization refer to program optimization that encompa multiple baic block in a function. (I have ued the term

More information

An Image Edge Detection Algorithm using Wavelet Transform and Fuzzy Techniques

An Image Edge Detection Algorithm using Wavelet Transform and Fuzzy Techniques An Image Edge Detection Algorithm uing Wavelet Tranform and Fuzzy Technique Bin Huang 1*, Jiaofeng Wang,Xiaomei Jin 3 1.College of Teacher Education, Quzhou Univerity, Zheiang Quzhou, china. Quzhou Vocational

More information

A New Approach to Pipeline FFT Processor

A New Approach to Pipeline FFT Processor A ew Approach to Pipeline FFT Proceor Shouheng He and Mat Torkelon Department of Applied Electronic, Lund Univerity S- Lund, SWEDE email: he@tde.lth.e; torkel@tde.lth.e Abtract A new VLSI architecture

More information

A User-Attention Based Focus Detection Framework and Its Applications

A User-Attention Based Focus Detection Framework and Its Applications A Uer-Attention Baed Focu Detection Framework and It Application Chia-Chiang Ho, Wen-Huang Cheng, Ting-Jian Pan, Ja-Ling Wu Communication and Multimedia Laboratory, Department of Computer Science and Information

More information

(A)ATSR RE-ANALYSIS FOR CLIMATE - CLOUD CLEARING METHODOLOGY

(A)ATSR RE-ANALYSIS FOR CLIMATE - CLOUD CLEARING METHODOLOGY (A)ATSR RE-ANALYSIS FOR CLIMATE - CLOUD CLEARING METHODOLOGY Chri Old, Chri Merchant Univerity of Edinburgh, The Crew Building, Wet Main Road, Edinburgh, EH9 3JN, United Kingdom Email: cold@ed.ac.uk Email:

More information

E-APPLAB #1

E-APPLAB #1 E-APPLAB-93-069850 #1 Ultrafat tomography experiment etup at D-1 Beamline at CHESS The experiment etup conit of three major part: x-ray ource, injection chambe and detecto a hown chematically in Fig. EPAPS1a.

More information

Adaptive Beam Director for a Tiled Fiber Array

Adaptive Beam Director for a Tiled Fiber Array Adaptive Beam Director for a Tiled Fiber Array Mikhail A. Vorontov Intelligent Optic Laboratory, Computational and Information Science Directorate, U.S. Army Reearch Laboratory, 2800 Powder Mill Road,

More information

Kinematics Programming for Cooperating Robotic Systems

Kinematics Programming for Cooperating Robotic Systems Kinematic Programming for Cooperating Robotic Sytem Critiane P. Tonetto, Carlo R. Rocha, Henrique Sima, Altamir Dia Federal Univerity of Santa Catarina, Mechanical Engineering Department, P.O. Box 476,

More information

EVen though remarkable progress has been made in

EVen though remarkable progress has been made in JOURNAL OF L A T E X CLASS FILES, VOL. 14, NO. 8, AUGUST 2015 1 Dene Semantic 3D Recontruction Chritian Häne, Chritopher Zach, Andrea Cohen, and Marc Pollefey, Fellow, IEEE Abtract Both image egmentation

More information

Lecture 14: Minimum Spanning Tree I

Lecture 14: Minimum Spanning Tree I COMPSCI 0: Deign and Analyi of Algorithm October 4, 07 Lecture 4: Minimum Spanning Tree I Lecturer: Rong Ge Scribe: Fred Zhang Overview Thi lecture we finih our dicuion of the hortet path problem and introduce

More information

Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II

Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II IEEE INFOCO 2002 1 Ditributed Partial Information anagement (DPI) Scheme for Survivable Network - Part II Dahai Xu Chunming Qiao Department of Computer Science and Engineering State Univerity of New York

More information

IMPLEMENTATION OF CHORD LENGTH SAMPLING FOR TRANSPORT THROUGH A BINARY STOCHASTIC MIXTURE

IMPLEMENTATION OF CHORD LENGTH SAMPLING FOR TRANSPORT THROUGH A BINARY STOCHASTIC MIXTURE Nuclear Mathematical and Computational Science: A Century in Review, A Century Anew Gatlinburg, Tenneee, April 6-, 003, on CD-ROM, American Nuclear Society, LaGrange Park, IL (003) IMPLEMENTATION OF CHORD

More information

AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM

AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROBLEM RAC Univerity Journal, Vol IV, No, 7, pp 87-9 AN ALGORITHM FOR RESTRICTED NORMAL FORM TO SOLVE DUAL TYPE NON-CANONICAL LINEAR FRACTIONAL PROGRAMMING PROLEM Mozzem Hoain Department of Mathematic Ghior Govt

More information

3-D Visualization of a Gene Regulatory Network: Stochastic Search for Layouts

3-D Visualization of a Gene Regulatory Network: Stochastic Search for Layouts 3-D Viualization of a Gene Regulatory Network: Stochatic Search for Layout Naoki Hooyama Department of Electronic Engineering, Univerity of Tokyo, Japan hooyama@iba.k.u-tokyo.ac.jp Abtract- In recent year,

More information