Planning with Reachable Distances: Fast Enforcement of Closure Constraints

Size: px
Start display at page:

Download "Planning with Reachable Distances: Fast Enforcement of Closure Constraints"

Transcription

1 Plnning with Rechle Distnces: Fst Enforcement of Closure Constrints Xinyu Tng, Shwn Thoms, nd Nncy M. Amto Astrct Motion plnning for closed-chin systems is prticulrly difficult due to dditionl closure constrints plced on the system. In fct, the proility of rndomly selecting set of joint ngles tht stisfy the closure constrints is zero. We propose Plnning with Rechle Distnce (PRD) to overcome this chllenge y first precomputing the suspce stisfying the closure constrints, then directly smpling in it. To do so, we represent the chin s hierrchy of suchins. Then we clculte the closure su-spce s pproprite rechle distnce rnges of su-chins stisfying the closure constrints. This provides two distinct dvntges over trditionl pproches: (1) configurtions re quickly smpled nd converted to joint ngles using sic trigonometry functions insted of more expensive inverse kinemtics solvers, nd (2) configurtions re gurnteed to e closed. In this pper, we descrie this hierrchicl chin representtion nd give smpling lgorithm with complexity liner in the numer of links. We provide the necessry motion plnning primitives for most smpling-sed motion plnners. Our experimentl results show our method is fst, mking smpling closed configurtions comprle to smpling open chin configurtions tht ignore closure constrints. Our method is generl, esy to implement, nd lso extends to other distnce-relted constrints esides the ones demonstrted here. I. INTRODUCTION Closed-chin systems, s in Figure 1, re involved in mny pplictions in rootics nd eyond, such s prllel roots [12], closed moleculr chins [16], nimtion [4], reconfigurle roots [7], [14], nd grsping [6]. However, motion plnning for closed-chin systems is prticulrly chllenging due to dditionl constrints, clled closure constrints, plced on the system. Using only the trditionl joint ngle representtion, the proility tht rndom set of joint ngles lies on the constrint surfce is zero [9]. Insted of rndomly smpling in the joint ngle spce to find closed configurtions, we propose Plnning with Rechle Distnce (PRD). PRD overcomes this chllenge y precomputing the suspce where closed constrints re stisfied nd then directly smpling in this suspce. We represent the chin s hierrchy of su-chins y recursively reking down the prolem into smller suprolems. Ech su-chin in the hierrchy my e prtitioned into other, smller su-chins forming closed loop. For ny su-chin, we cn compute the ttinle distnce (rechle distnce or length) etween its two endpoints recursively. With this informtion, we simply smple distnces in these rnges, nd then use sic geometry reltionships to clculte the Reserch supported in prt y NSF Grnts EIA-13742, ACR-8151, ACR , CCR , ACI-32635, y the DOE, nd y Hewlett- Pckrd. Thoms supported in prt y n NSF Grdute Reserch Fellowship, PEO Scholrship, nd DOE GAANN Fellowship. W l4 θ5 l5 θ4 l3 l θ3 θ1 θ2 l2 l1 (c) Fig. 1. Exmples of different closed-chin systems. Ech must stisfy certin closure constrints. Single loop: loop must remin closed. W is the world coordinte frme. Multiple loops: ll loops must remin closed. (c) Multiple root grsping: ll root end-effectors must remin in contct with the grsped oject. joint ngles. Thus, we cn directly smple in the rechle spce, which is expensive to compute explicitly. While linkge s rechle distnce hs een used in other computtions, to our knowledge it hs not een used to guide smpling in smpling-sed plnners. PRD hs two distinct dvntges over trditionl pproches: configurtions re quickly smpled nd converted to joint ngles using sic trigonometry functions insted of more expensive inverse kinemtics solvers. configurtions re gurnteed to e closed. In this pper, we formlly descrie this new chin representtion nd give recursive smpling lgorithm with complexity liner in the numer of links in the chin. This lgorithm explores the closure constrint surfce y recursively smpling in the fesile rechle distnce rnge for ech su-chin. It cn quickly determine whether or not it is possile to stisfy the closure constrints of su-chin s children. Our method does not gurntee collision-free configurtions; like mny methods, they must e checked fterwrds. PRD cn significntly improve the performnce of smpling-sed plnners for closed-chin systems, such s Proilistic Rodmp Methods (PRMs) [5] nd Rpidlyexploring Rndomized Trees (RRTs) [1], which hve een widely successful in solving other high degree of freedom (dof) prolems. However, the trditionl joint ngle representtion mkes it difficult for these methods to smple closed configurtions. While severl strtegies use heuristics to improve the proility of smpling closed configurtions [9], [19], [2], [18], [1], [17], smpling is still difficult nd expensive for lrge systems. Here, we provide two necessry motion plnning primitives (smpling nd locl plnning) to implement most of these smpling-sed plnners. Our experimentl results show tht our method is fst nd efficient in prctice mking smpling configurtions with closure constrints comprle to smpling open chin

2 configurtions tht ignore closure constrints entirely. Our method is esy to implement nd generl it cn e pplied to other rticulted systems. It is lso extendile to more distnce-relted constrints esides the ones here. For exmple, it cn e used to smple configurtions with the end effector in specific regions. II. PRELIMINARIES This pper focuses on closed-chin systems. A closedchin system differs from other systems in tht it must lso stisfy certin closure constrints. Figure 1 gives exmples of different types of closed-chin systems. Ech system hs different set of closure constrints to stisfy. Closed-chin systems re trditionlly represented y the position nd orienttion of the se or se link nd one or more ngles for ech joint (corresponding to the joint s dof). For exmple, the single loop in Figure 1 is represented y 11 vlues: 6 for the position nd orienttion of link l nd 5 for the ngles θ1... θ5. While this representtion sufficiently descries configurtion, it is extremely difficult to smple these prmeters rndomly while stisfying the closure constrints. This is ecuse this joint ngle representtion does not lso encode the closure constrints they re hndled seprtely. In fct, it hs een shown tht the proility of rndomly smpling set of joint ngles tht stisfy the closure constrints is zero [9]. III. RELATED WORK In theory, exct motion plnning lgorithms [15], [8] cn hndle systems with closure constrints. However, since exct lgorithms re exponentil in the dimension of C-spce (the set of ll possile root configurtions, vlid or not), they re generlly imprcticl for lrge closed-chin systems. Rndomized lgorithms such s Proilistic Rodmp Methods (PRMs) [5] nd Rpidly-exploring Rndomized Trees (RRTs) [11] re widely used tody for mny pplictions. They first construct rodmp (grph or tree) tht represents the connectivity of the root s free C-spce, nd then query the rodmp to find vlid pth for given motion plnning tsk. Initilly, they were minly limited to rigid odies nd rticulted ojects without closure constrints. Kvrki et l. [9], [19] rndomly smples configurtions nd then pplies n itertive rndom grdient descent method to push the configurtion to the constrint surfce. They solved plnr chins with up to 8 links nd 2 loops in severl hours with PRM nd severl minutes with RRT. Hn et l. [2] uses kinemtics-sed PRM pproch y first uilding rodmp ignoring ll ostcles, nd then populting the environment with copies of this kinemtics rodmp, removing invlid portions. This method cn solve chin prolems with 7 9 links in under minute. This work is extended to increse the numer of links the method cn hndle in [1], [18]. Trinkle nd Milgrm proposed pth plnning lgorithm [17] sed on configurtion spce nlysis [13]. Their method does not consider self-collision ut still my e pplied s locl plnner. Recently, Hn et l. [3] proposed set of geometric prmeters for closedchin systems such tht the prolem cn e reformulted s system of liner inequlities. Then, liner progrmming nd other lgorithms cn e used for smpling nd locl plnning. However, they do not discuss the lgorithm s complexity or consider collisions in plnning. Our method is very fst nd hs complexity liner in the numer of links. It gurntees tht closed configurtion will e generted or reports tht one cnnot e otined. Moreover, our method is generl nd esy to implement for smpling-sed plnners. It is extendile to more distncerelted constrints thn the ones considered here. IV. REACHABLE DISTANCE REPRESENTATION Here we descrie our hierrchicl representtion sed on rechle distnces. The min dvntge of this representtion over the trditionl joint ngle representtion is tht it lso encodes the closure constrints. This new representtion llows us to esily rndomly smple closed configurtions. Intuitively, in closed-chin system, the length of ech link hs to e in n pproprite rnge to stisfy the closure constrints. For exmple, Figure 2 shows simple tringulr closed-chin with 3 links, nd c of vrile length. To smple closed configurtion, we hve to mke sure the length of ech link is in n pproprite (fesile) rnge. In other words, the length of ech link needs to stisfy the tringle inequlity: c >= + nd c <=. To smple closed configurtion, we first cn clculte the link s remining ville rnge sed on the ville rnges of the other links. In this wy, we cn eventully smple vlid length for ech link to stisfy the closure constrints or report tht it is impossile to find closed configurtion. For the tringulr cse in Figure 2, once we get vlid length for ech link, we get tringulr configurtion tht is gurnteed to e closed. Below we show how we extend this smpling strtegy to hndle generl closedchin system. This scheme only ensures tht the closure constrints re stisfied. Collision checking must still e performed to determine the configurtion s vlidity. Note tht this representtion cn lso support joint ngle limits y restricting the fesile rnge of the links. For simplicity, we ignore joint ngle limits in this pper. c c c (c) Fig. 2. Configurtions of n rticulted system with 3 links., nd c ech hs vrile length. Ech link hs n pproprite length to close the configurtion. c is too long. (c) c is too short. A. Closed-Chin s Hierrchy of Su-Chins For simplicity, here we consider single loop closedchin. However, this representtion is generl nd my e pplied to other closed-chin systems. The chin (clled the prent) my e prtitioned into severl su-chins (clled

3 the children) where ech su-chin is set of consecutive links nd the union of the children represents ll the links in the prent. For exmple, the virtul link 16, see Figure 3, connects the two ctul links nd 1. In this wy, the prent is closed if nd only if the virtul links nd its children form closed-chin. We recursively prtition su-chins until ll the children hve only 1 link. This defines hierrchy of su-chins nd virtul links, s displyed in Figure 3. B. Rechle Rnge of Su-Chin The rechle distnce of su-chin is the distnce etween the endpoints of its virtul link. The set of ll possile rechle distnces for su-chin is clled its rechle rnge. For exmple, the rechle rnge of single link is its length. A prent link s rechle rnge depends on the rechle rnges of its children. If we uild the su-chin hierrchy such tht ech su-chin hs only or 2 children, then the rechle rnges re computed s follows. Consider su-chin with no children. Let l min nd l mx e the minimum nd mximum link length, respectively. (For non-prismtic link, l min = l mx.) The rechle rnge is then [l min, l mx ]. Now consider the su-chin with 2 children in Figure 4. The su-chin nd its two children form tringle. Let [ min, mx ] nd [ min, mx ] e the rechle rnge of the first child nd the second child respectively. The rechle rnge of the prent is then [l min, l mx ] where mx(, min mx ), min < min l min =, min = min (1) mx(, min mx ), min > min nd l mx = mx + mx. Note tht Eqution 1 is generl. Given the rechle rnges of ny two links in the sme tringulr su-chin, it clcultes the rechle rnge of the third one to stisfy the tringle inequlity. lmin x l min (c) min lmin mx x min lmx (d) mx min Fig. 4. A su-chin with 2 children nd nd its virtul link l. A configurtion where l is minimum when min < min nd x = min( mx min, min min). (c) A configurtion where l is minimum when min > min nd x = min( mx min, min min). (d) A configurtion where l is mximum l mx. A closed configurtion is then set of distnces for ech virtul link in the hierrchy such tht ech distnce is within the virtul link s rechle rnge. We cn then compute its joint ngles using only sic trigonometry reltionships insted of more expensive inverse kinemtics solvers. We discuss smpling in more detil in Section V-A. C. Aville Rnge of Su-Chin The ville rechle rnge (ville rnge) of virtul link is set of distnces/lengths which llow it to close with the other links in the sme su-chin (i.e., stisfy the tringle inequlity). The ville rnge is suset of the rechle rnge tht is function of the ville rnges (or lengths) of other links in the sme su-chin loop. For exmple, in the eginning, for ech su-chin with 2 children, the rechle rnges of ll 3 links cn stisfy the tringle inequlity nd thus the ville rnge is the sme s the rechle rnge. However, once we fix the length of link, portions of the rechle rnges of other links in the sme su-chin my no longer e vlid. When this hppens, we need to reclculte their ville rnges using Eqution 1. Note tht Eqution 1 is used in more generl wy here., nd l cn e ny link in the sme tringulr su-chin. V. APPLICATION TO SAMPLING-BASED PLANNING Here we descrie two primitive opertions for most rndomized smpling-sed motion plnners such s PRMs nd RRTs: smpling nd locl plnning (i.e., finding vlid pth etween two smples). We show tht these opertions re fst nd efficient, therey llowing smple-sed motion plnners to e directly pplied to lrge closed-chin prolems. A. Smpling To smple closed configurtion nd determine its joint ngles, we first recursively smple the lengths of ech virtul link. We then smple the orienttion of ech su-chin (e.g., concve or convex for chins in the plne, dihedrl ngles for non-plnr chins). Finlly, we use the virtul link lengths nd orienttions to compute the pproprite joint ngles. Note tht this smpling only ensures tht the configurtion is closed it will still need to e checked for collision. We descrie ech step in more detil elow. 1) Recursively smple link lengths: Becuse we know the rechle rnge for ech su-chin in the hierrchy, smpling closed configurtion simply ecomes smpling distnces in the ville rechle rnges of ech su-chin. Once we fix the length or rechle distnce of prent su-chin, portions of its children s rechle rnges my ecome invlid. We define the remining vlid portions of their rechle rnge s their ville rechle rnge. Note tht n ville rechle rnge my never ecome empty, t the very lest its minimum nd mximum my ecome equl. Thus, we smple rechle distnces nd updte ville rechle rnges strting t the the root of the hierrchy until ll su-chin rechle distnces re smpled. Algorithm V.1 descries this recursive smpling strtegy. Recll tht the su-chin hierrchy is inry tree nd tht there is one internl node for ech virtul link. The smpling lgorithm is clled once on ech virtul link. Becuse there re O(n) internl nodes in the inry tree (n is the numer of ctul links), the smpling lgorithm runs in O(n) time.

4 Fig. 3. A chin (indicted y solid links in the first imge) my e prtitioned into set of su-chins represented y virtul links (indicted y dshed links). This prtitioning repets to form hierrchy where the virtul links in one level ecome the ctul links of the next level. The tree represents the entire su-chin hierrchy where nodes correspond to virtul links. Algorithm V.1 Smple Input. A su-chin c. Let c.rr e c s ville rechle rnge, c.left nd c.right e c s children, nd c.len e the length of c s virtul link. Let p e c s prent nd s e c s siling. 1: Updte c.rr from p.rr nd s.rr. 2: Rndomly smple c.len from c.rr. 3: Set c.rr to [c.len, c.len]. 4: if c hs children then 5: Smple(c.lef t). 6: Smple(c.right). 7: end if 2) Smple dihedrl or concve/convex orienttion: Ech su-chin nd virtul link forms tringle. In 2D, two different configurtions hve the sme virtul link length: concve orienttion nd convex orienttion (see Figure 5). In 3D, virtul link length cn represent mny configurtions depending on the dihedrl ngle etween its tringle nd its prent s tringle (see Figure 5). Thus, we lso smple the orienttion of the virtul link. configurtions to trnsform q s into q g t some user-defined resolution. Here we descrie simple locl plnner tht uses stright-line interpoltion in the rechle spce to determine the sequence of configurtions. While this is certinly not the only locl plnning scheme possile, we find it performs well in prctice. For ech virtul link, this locl plnner interpoltes etween its length in q s nd its length in q g to get sequence of lengths. We then must determine the virtul link s orienttion sequence (i.e., concve/convex in 2D nd the dihedrl ngle in 3D) to fully descrie the sequence of configurtions. In 2D, if the orienttion is the sme in q s nd q g, we keep it constnt in the sequence. If it is not the sme, we must flip the links s descried elow. In 3D, we simply interpolte etween the dihedrl ngle in q s nd the dihedrl ngle in q g. We determine the vlidity of the sequence y checking tht ech configurtion is closed (i.e., ech virtul link s length is in its ville rechle rnge) nd collision-free. 1) Concve/convex flipping for 2D chins: Consider the first nd lst configurtions of su-chins in Figure 6. When the orienttion is different, s in this exmple, we need to find trnsformtion from one to the other. ρ Fig. 6. Flip the links to chnge its orienttion. Fig. 5. In 2D, the sme virtul link represents two configurtions: concve tringle nd convex tringle. In 3D, the sme virtul link represents mny configurtions with different dihedrl ngles ρ etween the su-chin s plne nd its prent s plne. 3) Clculte joint ngles: Consider the joint ngle θ etween links nd. Links nd re connected to virtul link c to form tringle. Let l, l, nd l c e the lengths of links,, nd c, respectively. The joint ngle cn e computed using the lw of cosines: B. Locl Plnning θ = cos( l2 + l 2 l2 c) 2l l ). (2) Given two configurtions, q s nd q g, locl plnner ttempts to find sequence {q s, q 1, q 2,..., q g } of vlid To flip the virtul link, we need to open the prent s virtul link enough so its children cn chnge orienttion while remining in their ville rechle rnge. In other words, t some point the prent s rechle rnge must e lrge enough to ccommodte the summtion of its children s rechle distnce (i.e., llow the children to e flt ). Such constrint on rechle-distnce cn e esily hndled y our method. There re other more powerful options. In our current implementtion, we first clculte the ville rnge for this minimum flt constrint. Then we smple n intermedite configurtion where the virtul links re flt nd try connecting it to oth the strt nd gol configurtions. VI. RESULTS AND DISCUSSION In this section we show how our PRD method performs in prctice. We give performnce study in Section VI-A nd

5 present the method in complete motion plnning frmework in Section VI-B. All experiments re performed on 3GHz desktop computer nd implementtions re compiled using gcc4 under linux. Our current implementtion supports plnr joints nd sphericl joints. A. Performnce Study Here we study nd compre the performnce of our smpling lgorithm oth with nd without collision detection. In the first experimentl set, we ignore collision detection. We mesure the running time to generte 1 configurtions in 1 different environments for chins of size 1, 2, 5, 1, 2, 5, 1, 5, 1, nd 1 links. In ech environment, the rticulted system is composed of different sized links rnging from.1 to 1.. We compre the performnce of generting oth open nd closed configurtions using rechle-distnce. As shown in Tle I nd in Figure 7, the running time hs two prts: the time to smple nd the time to convert the representtion into trditionl joint ngles. Note tht it tkes much more time for conversion thn for ctul smpling. However, the performnce of oth scles well even for lrge numers of links. These results show tht smpling closed configurtions is comprle to smpling open chin configurtions tht ignore closure constrints entirely. This demonstrtes the dvntge of using rechle distnces to represent configurtions over the trditionl joint ngle representtion. Method CD PRD N Open Y PRD N Closed Y KBPRM N N/A N/A N/A N/A Closed Y N/A N/A N/A N/A TABLE II RUNNING TIMES OF DIFFERENT SAMPLING METHODS BOTH WITH AND WITHOUT COLLISION DETECTION. Time (sec) Open Chin using PRD Closed Chin using PRD Closed Chin using KBPRM Numer of Links Fig. 8. Running time of open configurtion smpling using rechle distnces nd closed configurtion smpling using rechle distnces ll with collision detection s function of the numer of links. The performnce for oth methods is comprle since they re ech dominted y collision detection. Time (sec) Running Time for Open Chin Smpling Smple Convert Smple+Convert Numer of Links x 1 4 Time (sec) Running Time for Closed Chin Smpling Numer of Links x 1 4 Fig. 7. Running time to generte 1 open or closed configurtions in the rechle-distnce spce without considering collision. Ech plot shows the totl running time, the pure smpling time in rechle distnce spce, nd the time to convert configurtions into joint-ngle spce. Note tht the running time for closed nd open configurtions re similr. In the second set of experiments, we mesure the performnce when self-collision is considered. Agin we mesure the time to smple nd convert 1 self-collision-free configurtions. We studied 6 different environments with chins of size 1, 2, 5, 1, 2 nd 5. In ech environment, we mesured the running time to generte open-chin nd closed-chin configurtions in rechle-distnce spce. We lso mesure the performnce using nother closed-chin plnner, KBPRM [2]. We stop n experiment fter 1 hours. Tle II nd Figure 8 show the performnce results. Note tht when considering collision detection, the performnce of using PRD to smple n open-chin is comprle to the performnce to smple closed-chin, even though closed configurtions involve more self-collision. This gin shows tht y directly smpling in the rechle spce, PRD cn smple closed configurtions efficiently. This mens tht our method mkes it prcticl to solve motion plnning prolems for lrge rticulted systems with distnce-relted constrints. Also note tht the PRD method out-performs the KBPRM method s expected. B. Appliction in Motion Plnning Frmeworks In this section, we show how we pply the smpling nd locl plnning primitives to solve closed-chin prolems. 1) Multiple root grsping: Here, two rticulted rootic rms with moile ses grsp n oject nd work together to move it from one end of the environment to the other (see Figure 9). Ech rm is composed of 3 links. Considering the grsping oject nd the root s se, there re 8 dof in totl. The root must mneuver the oject underneth the ostcle in the ceiling to solve the query. We use n incrementl PRM method to construct the rodmp nd solve the query. It egins with smll rodmp nd incrementlly genertes more nodes until the query is solved. Our method required 4 nodes to solve the query. It took 58.4 seconds to uild the mp nd found vlid pth with 31 intermedite configurtions (see Figure 9). 2) Single-loop closed-chin: A single-loop chin with 1 links of vrile length must pss through series of nrrow pssges to trverse the entire environment (see Figure 1). Agin, we used incrementl PRM mp genertion to uild rodmp until it solves the query. Our method successfully

6 Numer of Links , 5, 1, 1, Smple Open Chin (sec) Smple Open Chin nd Convert (sec) Smple Closed Chin (sec) Smple Closed Chin nd Convert (sec) TABLE I TIME TO GENERATE 1 OPEN/CLOSED CONFIGURATIONS IN THE REACHABLE-DISTANCE SPACE WITHOUT COLLISION DETECTION. Fig. 9. Grsping experiment where 2 rms collorte to trnsport n oject cross the environment. Pth s swept volume. found vlid pth with only 2 nodes in 96.2 seconds of computtion time. Figure 1 shows the swept volume of the pth with 168 intermedite configurtions. Fig. 1. Single-loop chin tht must pss through series of nrrow pssges to trverse the entire environment. VII. CONCLUSION We proposed new method to pln the motion of closedchin prolems sed on hierrchicl representtion of the chin. It cn e used to quickly generte closed configurtions or determine tht it is impossile to stisfy the closure constrints. We descried this new representtion nd gve smpling lgorithm to generte closed configurtions with complexity liner in the numer of links. It cn e used to significntly improve smpling-sed plnners for closedchin systems y overcoming the difficulty of smpling closed configurtions. We provide the necessry motion plnning primitives (nmely smpling nd locl plnning) to implement smpling-sed motion plnners. Our experimentl results show tht our method is fst nd efficient in prctice, mking the cost of generting closed nd open configurtions comprle. In Proc. IEEE Int. Conf. Root. Autom. (ICRA), pges , 22. [2] L. Hn nd N. M. Amto. A kinemtics-sed proilistic rodmp method for closed chin systems. In Rootics:New Directions, pges , Ntick, MA, 2. A K Peters. Book contints the proceedings of the Interntionl Workshop on the Algorithmic Foundtions of Rootics (WAFR), Drtmouth, Mrch 2. [3] L. Hn, L. Rudolph, J. Blumenthl, nd I. Vlodzin. Strtified deformtion spce nd pth plnning for plnr closed chin with revolute joints. In Proc. Int. Workshop on Algorithmic Foundtions of Rootics (WAFR), July 26. [4] M. Kllmnn, A. Auel, T. Aci, nd D. Thlmnn. Plnning collision-free reching motion for interctive oject mnipultion nd grsping. In Eurogrphics, 23. [5] L. E. Kvrki, P. Svestk, J. C. Ltome, nd M. H. Overmrs. Proilistic rodmps for pth plnning in high-dimensionl configurtion spces. IEEE Trns. Root. Automt., 12(4):566 58, August [6] O. Khti, K. Yokoi, K. Chng, D. Ruspini, R. Holmerg, nd A. Csl. Vehicle/rm coordintion nd multiple moile mnipultor decentrlized coopertion. In Proc. IEEE Int. Conf. Root. Autom. (ICRA), pges , [7] K. Koty, D. Rus, M. Von, nd C. McGry. The self-reconfiguring rootic molecule: Design nd control lgorithms. In Proc. Int. Workshop on Algorithmic Foundtions of Rootics (WAFR), pges , [8] J.-C. Ltome. Root Motion Plnning. Kluwer Acdemic Pulishers, Boston, MA, [9] S. LVlle, J. Ykey, nd L. Kvrki. A proilistic rodmp pproch for systems with closed kinemtic chins. In Proc. IEEE Int. Conf. Root. Autom. (ICRA), pges , [1] S. M. LVlle nd J. J. Kuffner. Rndomized kinodynmic plnning. In Proc. IEEE Int. Conf. Root. Autom. (ICRA), pges , [11] S. M. LVlle nd J. J. Kuffner. Rpidly-Exploring Rndom Trees: Progress nd Prospects. In Proc. Int. Workshop on Algorithmic Foundtions of Rootics (WAFR), pges SA45 SA59, 2. [12] J. P. Merlet. Still long wy to go on the rod for prllel mechnisms. In Proc. ASME Int. Mech. Eng. Congress nd Exhiition, 22. [13] R. J. Milgrm nd J. Trinkle. The geometry of configurtion spces for closed chins in two nd three dimensions. Homology Homotopy Appl., 6(1): , 24. [14] A. Nguyen, L. J. Guis, nd M. Yim. Controlled module density helps reconfigurtion plnning. In Proc. Int. Workshop on Algorithmic Foundtions of Rootics (WAFR), 2. [15] J. H. Reif. Complexity of the mover s prolem nd generliztions. In Proc. 2th Annu. IEEE Sympos. Found. Comput. Sci., pges , [16] A. Singh, J. Ltome, nd D. Brutlg. A motion plnning pproch to flexile lignd inding. In 7th Int. Conf. on Intelligent Systems for Moleculr Biology (ISMB), pges , [17] J. C. Trinkle nd R. J. Milgrm. Complete pth plnning for closed kinemtic chins with sphericl joints. Int. J. Root. Res., 21(9): , 22. [18] D. Xie nd N. M. Amto. A kinemtics-sed proilistic rodmp method for high dof closed chin systems. In Proc. IEEE Int. Conf. Root. Autom. (ICRA), pges , 24. [19] J. H. Ykey, S. M. LVlle, nd L. E. Kvrki. Rndomized pth plnning for linkges with closed kinemtic chins. IEEE Trnsctions on Rootics nd Automtion, 17(6): , 21. REFERENCES [1] J. Cortes, T. Simeon, nd J. P. Lumond. A rndom loop genertor for plnning the motions of closed kinemtic chins using PRM methods.

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li 2nd Interntionl Conference on Electronic & Mechnicl Engineering nd Informtion Technology (EMEIT-212) Complete Coverge Pth Plnning of Mobile Robot Bsed on Dynmic Progrmming Algorithm Peng Zhou, Zhong-min

More information

Planning with Reachable Distances: Fast Enforcement of Closure Constraints

Planning with Reachable Distances: Fast Enforcement of Closure Constraints Planning with Reachable Distances: Fast Enforcement of Closure Constraints Xinyu Tang Shawna Thomas Nancy M. Amato xinyut@cs.tamu.edu sthomas@cs.tamu.edu amato@cs.tamu.edu Technical Report TR6-8 Parasol

More information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using

More information

Presentation Martin Randers

Presentation Martin Randers Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes

More information

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1): Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In the last lecture, we discussed how valid tokens may be specified by regular expressions. LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search.

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search. CS 88: Artificil Intelligence Fll 00 Lecture : A* Serch 9//00 A* Serch rph Serch Tody Heuristic Design Dn Klein UC Berkeley Multiple slides from Sturt Russell or Andrew Moore Recp: Serch Exmple: Pncke

More information

9 Graph Cutting Procedures

9 Graph Cutting Procedures 9 Grph Cutting Procedures Lst clss we begn looking t how to embed rbitrry metrics into distributions of trees, nd proved the following theorem due to Brtl (1996): Theorem 9.1 (Brtl (1996)) Given metric

More information

A dual of the rectangle-segmentation problem for binary matrices

A dual of the rectangle-segmentation problem for binary matrices A dul of the rectngle-segmenttion prolem for inry mtrices Thoms Klinowski Astrct We consider the prolem to decompose inry mtrix into smll numer of inry mtrices whose -entries form rectngle. We show tht

More information

F. R. K. Chung y. University ofpennsylvania. Philadelphia, Pennsylvania R. L. Graham. AT&T Labs - Research. March 2,1997.

F. R. K. Chung y. University ofpennsylvania. Philadelphia, Pennsylvania R. L. Graham. AT&T Labs - Research. March 2,1997. Forced convex n-gons in the plne F. R. K. Chung y University ofpennsylvni Phildelphi, Pennsylvni 19104 R. L. Grhm AT&T Ls - Reserch Murry Hill, New Jersey 07974 Mrch 2,1997 Astrct In seminl pper from 1935,

More information

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method A New Lerning Algorithm for the MAXQ Hierrchicl Reinforcement Lerning Method Frzneh Mirzzdeh 1, Bbk Behsz 2, nd Hmid Beigy 1 1 Deprtment of Computer Engineering, Shrif University of Technology, Tehrn,

More information

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer

More information

GENERATING ORTHOIMAGES FOR CLOSE-RANGE OBJECTS BY AUTOMATICALLY DETECTING BREAKLINES

GENERATING ORTHOIMAGES FOR CLOSE-RANGE OBJECTS BY AUTOMATICALLY DETECTING BREAKLINES GENEATING OTHOIMAGES FO CLOSE-ANGE OBJECTS BY AUTOMATICALLY DETECTING BEAKLINES Efstrtios Stylinidis 1, Lzros Sechidis 1, Petros Ptis 1, Spiros Sptls 2 Aristotle University of Thessloniki 1 Deprtment of

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

INTRODUCTION TO SIMPLICIAL COMPLEXES

INTRODUCTION TO SIMPLICIAL COMPLEXES INTRODUCTION TO SIMPLICIAL COMPLEXES CASEY KELLEHER AND ALESSANDRA PANTANO 0.1. Introduction. In this ctivity set we re going to introduce notion from Algebric Topology clled simplicil homology. The min

More information

Section 10.4 Hyperbolas

Section 10.4 Hyperbolas 66 Section 10.4 Hyperbols Objective : Definition of hyperbol & hyperbols centered t (0, 0). The third type of conic we will study is the hyperbol. It is defined in the sme mnner tht we defined the prbol

More information

The Greedy Method. The Greedy Method

The Greedy Method. The Greedy Method Lists nd Itertors /8/26 Presenttion for use with the textook, Algorithm Design nd Applictions, y M. T. Goodrich nd R. Tmssi, Wiley, 25 The Greedy Method The Greedy Method The greedy method is generl lgorithm

More information

A Sparse Grid Representation for Dynamic Three-Dimensional Worlds

A Sparse Grid Representation for Dynamic Three-Dimensional Worlds A Sprse Grid Representtion for Dynmic Three-Dimensionl Worlds Nthn R. Sturtevnt Deprtment of Computer Science University of Denver Denver, CO, 80208 sturtevnt@cs.du.edu Astrct Grid representtions offer

More information

CSCI 3130: Formal Languages and Automata Theory Lecture 12 The Chinese University of Hong Kong, Fall 2011

CSCI 3130: Formal Languages and Automata Theory Lecture 12 The Chinese University of Hong Kong, Fall 2011 CSCI 3130: Forml Lnguges nd utomt Theory Lecture 12 The Chinese University of Hong Kong, Fll 2011 ndrej Bogdnov In progrmming lnguges, uilding prse trees is significnt tsk ecuse prse trees tell us the

More information

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. General Tree Search. Uniform Cost. Lecture 3: A* Search 9/4/2007

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. General Tree Search. Uniform Cost. Lecture 3: A* Search 9/4/2007 CS 88: Artificil Intelligence Fll 2007 Lecture : A* Serch 9/4/2007 Dn Klein UC Berkeley Mny slides over the course dpted from either Sturt Russell or Andrew Moore Announcements Sections: New section 06:

More information

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1.

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1. Answer on Question #5692, Physics, Optics Stte slient fetures of single slit Frunhofer diffrction pttern. The slit is verticl nd illuminted by point source. Also, obtin n expression for intensity distribution

More information

Stained Glass Design. Teaching Goals:

Stained Glass Design. Teaching Goals: Stined Glss Design Time required 45-90 minutes Teching Gols: 1. Students pply grphic methods to design vrious shpes on the plne.. Students pply geometric trnsformtions of grphs of functions in order to

More information

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork MA1008 Clculus nd Liner Algebr for Engineers Course Notes for Section B Stephen Wills Deprtment of Mthemtics University College Cork s.wills@ucc.ie http://euclid.ucc.ie/pges/stff/wills/teching/m1008/ma1008.html

More information

Dr. D.M. Akbar Hussain

Dr. D.M. Akbar Hussain Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence

More information

OUTPUT DELIVERY SYSTEM

OUTPUT DELIVERY SYSTEM Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking

More information

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig CS311H: Discrete Mthemtics Grph Theory IV Instructor: Işıl Dillig Instructor: Işıl Dillig, CS311H: Discrete Mthemtics Grph Theory IV 1/25 A Non-plnr Grph Regions of Plnr Grph The plnr representtion of

More information

Agilent Mass Hunter Software

Agilent Mass Hunter Software Agilent Mss Hunter Softwre Quick Strt Guide Use this guide to get strted with the Mss Hunter softwre. Wht is Mss Hunter Softwre? Mss Hunter is n integrl prt of Agilent TOF softwre (version A.02.00). Mss

More information

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search Uninformed Serch [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.] Tody Serch Problems Uninformed Serch Methods

More information

LR Parsing, Part 2. Constructing Parse Tables. Need to Automatically Construct LR Parse Tables: Action and GOTO Table

LR Parsing, Part 2. Constructing Parse Tables. Need to Automatically Construct LR Parse Tables: Action and GOTO Table TDDD55 Compilers nd Interpreters TDDB44 Compiler Construction LR Prsing, Prt 2 Constructing Prse Tles Prse tle construction Grmmr conflict hndling Ctegories of LR Grmmrs nd Prsers Peter Fritzson, Christoph

More information

II. THE ALGORITHM. A. Depth Map Processing

II. THE ALGORITHM. A. Depth Map Processing Lerning Plnr Geometric Scene Context Using Stereo Vision Pul G. Bumstrck, Bryn D. Brudevold, nd Pul D. Reynolds {pbumstrck,brynb,pulr2}@stnford.edu CS229 Finl Project Report December 15, 2006 Abstrct A

More information

From Dependencies to Evaluation Strategies

From Dependencies to Evaluation Strategies From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute

More information

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it. 6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted

More information

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016 Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence Winter 2016 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Principles nd Prdigms Chpter 11 (version April 7, 2008) Mrten vn Steen Vrije Universiteit Amsterdm, Fculty of Science Dept. Mthemtics nd Computer Science Room R4.20. Tel: (020) 598 7784

More information

10.5 Graphing Quadratic Functions

10.5 Graphing Quadratic Functions 0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions

More information

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1 Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Adm Sheffer. Office hour: Tuesdys 4pm. dmsh@cltech.edu TA: Victor Kstkin. Office hour: Tuesdys 7pm. 1:00 Mondy, Wednesdy, nd Fridy. http://www.mth.cltech.edu/~2014-15/2term/m006/

More information

4-1 NAME DATE PERIOD. Study Guide. Parallel Lines and Planes P Q, O Q. Sample answers: A J, A F, and D E

4-1 NAME DATE PERIOD. Study Guide. Parallel Lines and Planes P Q, O Q. Sample answers: A J, A F, and D E 4-1 NAME DATE PERIOD Pges 142 147 Prllel Lines nd Plnes When plnes do not intersect, they re sid to e prllel. Also, when lines in the sme plne do not intersect, they re prllel. But when lines re not in

More information

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem Announcements Project : erch It s live! Due 9/. trt erly nd sk questions. It s longer thn most! Need prtner? Come up fter clss or try Pizz ections: cn go to ny, ut hve priority in your own C 88: Artificil

More information

Fig.25: the Role of LEX

Fig.25: the Role of LEX The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing

More information

EXPONENTIAL & POWER GRAPHS

EXPONENTIAL & POWER GRAPHS Eponentil & Power Grphs EXPONENTIAL & POWER GRAPHS www.mthletics.com.u Eponentil EXPONENTIAL & Power & Grphs POWER GRAPHS These re grphs which result from equtions tht re not liner or qudrtic. The eponentil

More information

CSCI 446: Artificial Intelligence

CSCI 446: Artificial Intelligence CSCI 446: Artificil Intelligence Serch Instructor: Michele Vn Dyne [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.]

More information

Algorithm Design (5) Text Search

Algorithm Design (5) Text Search Algorithm Design (5) Text Serch Tkshi Chikym School of Engineering The University of Tokyo Text Serch Find sustring tht mtches the given key string in text dt of lrge mount Key string: chr x[m] Text Dt:

More information

ON THE DEHN COMPLEX OF VIRTUAL LINKS

ON THE DEHN COMPLEX OF VIRTUAL LINKS ON THE DEHN COMPLEX OF VIRTUAL LINKS RACHEL BYRD, JENS HARLANDER Astrct. A virtul link comes with vriety of link complements. This rticle is concerned with the Dehn spce, pseudo mnifold with oundry, nd

More information

MTH 146 Conics Supplement

MTH 146 Conics Supplement 105- Review of Conics MTH 146 Conics Supplement In this section we review conics If ou ne more detils thn re present in the notes, r through section 105 of the ook Definition: A prol is the set of points

More information

MATH 2530: WORKSHEET 7. x 2 y dz dy dx =

MATH 2530: WORKSHEET 7. x 2 y dz dy dx = MATH 253: WORKSHT 7 () Wrm-up: () Review: polr coordintes, integrls involving polr coordintes, triple Riemnn sums, triple integrls, the pplictions of triple integrls (especilly to volume), nd cylindricl

More information

Pointwise convergence need not behave well with respect to standard properties such as continuity.

Pointwise convergence need not behave well with respect to standard properties such as continuity. Chpter 3 Uniform Convergence Lecture 9 Sequences of functions re of gret importnce in mny res of pure nd pplied mthemtics, nd their properties cn often be studied in the context of metric spces, s in Exmples

More information

Union-Find Problem. Using Arrays And Chains. A Set As A Tree. Result Of A Find Operation

Union-Find Problem. Using Arrays And Chains. A Set As A Tree. Result Of A Find Operation Union-Find Problem Given set {,,, n} of n elements. Initilly ech element is in different set. ƒ {}, {},, {n} An intermixed sequence of union nd find opertions is performed. A union opertion combines two

More information

Mobile IP route optimization method for a carrier-scale IP network

Mobile IP route optimization method for a carrier-scale IP network Moile IP route optimiztion method for crrier-scle IP network Tkeshi Ihr, Hiroyuki Ohnishi, nd Ysushi Tkgi NTT Network Service Systems Lortories 3-9-11 Midori-cho, Musshino-shi, Tokyo 180-8585, Jpn Phone:

More information

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) Numbers nd Opertions, Algebr, nd Functions 45. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) In sequence of terms involving eponentil growth, which the testing service lso clls geometric

More information

ZZ - Advanced Math Review 2017

ZZ - Advanced Math Review 2017 ZZ - Advnced Mth Review Mtrix Multipliction Given! nd! find the sum of the elements of the product BA First, rewrite the mtrices in the correct order to multiply The product is BA hs order x since B is

More information

LECT-10, S-1 FP2P08, Javed I.

LECT-10, S-1 FP2P08, Javed I. A Course on Foundtions of Peer-to-Peer Systems & Applictions LECT-10, S-1 CS /799 Foundtion of Peer-to-Peer Applictions & Systems Kent Stte University Dept. of Computer Science www.cs.kent.edu/~jved/clss-p2p08

More information

Qubit allocation for quantum circuit compilers

Qubit allocation for quantum circuit compilers Quit lloction for quntum circuit compilers Nov. 10, 2017 JIQ 2017 Mrcos Yukio Sirichi Sylvin Collnge Vinícius Fernndes dos Sntos Fernndo Mgno Quintão Pereir Compilers for quntum computing The first genertion

More information

Chapter44. Polygons and solids. Contents: A Polygons B Triangles C Quadrilaterals D Solids E Constructing solids

Chapter44. Polygons and solids. Contents: A Polygons B Triangles C Quadrilaterals D Solids E Constructing solids Chpter44 Polygons nd solids Contents: A Polygons B Tringles C Qudrilterls D Solids E Constructing solids 74 POLYGONS AND SOLIDS (Chpter 4) Opening prolem Things to think out: c Wht different shpes cn you

More information

Solutions to Math 41 Final Exam December 12, 2011

Solutions to Math 41 Final Exam December 12, 2011 Solutions to Mth Finl Em December,. ( points) Find ech of the following its, with justifiction. If there is n infinite it, then eplin whether it is or. ( ) / ln() () (5 points) First we compute the it:

More information

UT1553B BCRT True Dual-port Memory Interface

UT1553B BCRT True Dual-port Memory Interface UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl

More information

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers Mth Modeling Lecture 4: Lgrnge Multipliers Pge 4452 Mthemticl Modeling Lecture 4: Lgrnge Multipliers Lgrnge multipliers re high powered mthemticl technique to find the mximum nd minimum of multidimensionl

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Instructor: Adm Sheffer. TA: Cosmin Pohot. 1pm Mondys, Wednesdys, nd Fridys. http://mth.cltech.edu/~2015-16/2term/m006/ Min ook: Introduction to Grph

More information

A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS

A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS Ji-Eun Roh (), Te-Eog Lee (b) (),(b) Deprtment of Industril nd Systems Engineering, Kore Advnced Institute

More information

PLWAP Sequential Mining: Open Source Code

PLWAP Sequential Mining: Open Source Code PL Sequentil Mining: Open Source Code C.I. Ezeife School of Computer Science University of Windsor Windsor, Ontrio N9B 3P4 cezeife@uwindsor.c Yi Lu Deprtment of Computer Science Wyne Stte University Detroit,

More information

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl component

More information

COLOUR IMAGE MATCHING FOR DTM GENERATION AND HOUSE EXTRACTION

COLOUR IMAGE MATCHING FOR DTM GENERATION AND HOUSE EXTRACTION Hee Ju Prk OLOUR IMAGE MATHING FOR DTM GENERATION AND HOUSE EXTRATION Hee Ju PARK, Petr ZINMMERMANN * Swiss Federl Institute of Technology, Zuric Switzerlnd Institute for Geodesy nd Photogrmmetry heeju@ns.shingu-c.c.kr

More information

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5 CS321 Lnguges nd Compiler Design I Winter 2012 Lecture 5 1 FINITE AUTOMATA A non-deterministic finite utomton (NFA) consists of: An input lphet Σ, e.g. Σ =,. A set of sttes S, e.g. S = {1, 3, 5, 7, 11,

More information

Registering as an HPE Reseller

Registering as an HPE Reseller Registering s n HPE Reseller Quick Reference Guide for new Prtners Mrch 2019 Registering s new Reseller prtner There re four min steps to register on the Prtner Redy Portl s new Reseller prtner: Appliction

More information

An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization

An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization An Efficient Divide nd Conquer Algorithm for Exct Hzrd Free Logic Minimiztion J.W.J.M. Rutten, M.R.C.M. Berkelr, C.A.J. vn Eijk, M.A.J. Kolsteren Eindhoven University of Technology Informtion nd Communiction

More information

A Comparison of High-Level Approaches for Speeding Up Pathfinding

A Comparison of High-Level Approaches for Speeding Up Pathfinding A Comprison of High-Level Approches for Speeding Up Pthfinding Nthn R. Sturtevnt Deprtment of Computing Science University of Alert Edmonton, Alert, Cnd nthnst@cs.ulert.c Roert Geiserger Fculty of Informtics

More information

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis CS143 Hndout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexicl Anlysis In this first written ssignment, you'll get the chnce to ply round with the vrious constructions tht come up when doing lexicl

More information

Computing offsets of freeform curves using quadratic trigonometric splines

Computing offsets of freeform curves using quadratic trigonometric splines Computing offsets of freeform curves using qudrtic trigonometric splines JIULONG GU, JAE-DEUK YUN, YOONG-HO JUNG*, TAE-GYEONG KIM,JEONG-WOON LEE, BONG-JUN KIM School of Mechnicl Engineering Pusn Ntionl

More information

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties, Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Position Heaps: A Simple and Dynamic Text Indexing Data Structure

Position Heaps: A Simple and Dynamic Text Indexing Data Structure Position Heps: A Simple nd Dynmic Text Indexing Dt Structure Andrzej Ehrenfeucht, Ross M. McConnell, Niss Osheim, Sung-Whn Woo Dept. of Computer Science, 40 UCB, University of Colordo t Boulder, Boulder,

More information

File Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment

File Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment File Mnger Quick Reference Guide June 2018 Prepred for the Myo Clinic Enterprise Khu Deployment NVIGTION IN FILE MNGER To nvigte in File Mnger, users will mke use of the left pne to nvigte nd further pnes

More information

Midterm 2 Sample solution

Midterm 2 Sample solution Nme: Instructions Midterm 2 Smple solution CMSC 430 Introduction to Compilers Fll 2012 November 28, 2012 This exm contins 9 pges, including this one. Mke sure you hve ll the pges. Write your nme on the

More information

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle Textiles nd Light ndustril Science nd Technology (TLST) Volume 3, 2014 DO: 10.14355/tlist.2014.0301.01 http://www.tlist-journl.org Anlysis of Computed Diffrction Pttern Digrm for Mesuring Yrn Twist Angle

More information

CSCI 104. Rafael Ferreira da Silva. Slides adapted from: Mark Redekopp and David Kempe

CSCI 104. Rafael Ferreira da Silva. Slides adapted from: Mark Redekopp and David Kempe CSCI 0 fel Ferreir d Silv rfsilv@isi.edu Slides dpted from: Mrk edekopp nd Dvid Kempe LOG STUCTUED MEGE TEES Series Summtion eview Let n = + + + + k $ = #%& #. Wht is n? n = k+ - Wht is log () + log ()

More information

Rigid Body Transformations

Rigid Body Transformations igid od Kinemtics igid od Trnsformtions Vij Kumr igid od Kinemtics emrk out Nottion Vectors,,, u, v, p, q, Potentil for Confusion! Mtrices,, C, g, h, igid od Kinemtics The vector nd its skew smmetric mtri

More information

Multiresolution Interactive Modeling with Efficient Visualization

Multiresolution Interactive Modeling with Efficient Visualization Multiresolution Interctive Modeling with Efficient Visuliztion Jen-Dniel Deschênes Ptrick Héert Philippe Lmert Jen-Nicols Ouellet Drgn Tuic Computer Vision nd Systems Lortory heert@gel.ulvl.c, Lvl University,

More information

documents 1. Introduction

documents 1. Introduction www.ijcsi.org 4 Efficient structurl similrity computtion etween XML documents Ali Aïtelhdj Computer Science Deprtment, Fculty of Electricl Engineering nd Computer Science Mouloud Mmmeri University of Tizi-Ouzou

More information

Mathematics Background

Mathematics Background For more roust techer experience, plese visit Techer Plce t mthdshord.com/cmp3 Mthemtics Bckground Extending Understnding of Two-Dimensionl Geometry In Grde 6, re nd perimeter were introduced to develop

More information

Intelligent Assembly/Disassembly System with a Haptic Device for Aircraft Parts Maintenance

Intelligent Assembly/Disassembly System with a Haptic Device for Aircraft Parts Maintenance Intelligent Assemly/Disssemly System with Hptic Device for Aircrft Prts Mintennce Christind nd Jungwon Yoon Mechnicl nd Aerospce Engineering nd ReCAPT, GyeongSng Ntionl University, Jinju, Gyeongnm 660-701,

More information

An Expressive Hybrid Model for the Composition of Cardinal Directions

An Expressive Hybrid Model for the Composition of Cardinal Directions An Expressive Hyrid Model for the Composition of Crdinl Directions Ah Lin Kor nd Brndon Bennett School of Computing, University of Leeds, Leeds LS2 9JT, UK e-mil:{lin,brndon}@comp.leeds.c.uk Astrct In

More information

Topic 3: 2D Transformations 9/10/2016. Today s Topics. Transformations. Lets start out simple. Points as Homogeneous 2D Point Coords

Topic 3: 2D Transformations 9/10/2016. Today s Topics. Transformations. Lets start out simple. Points as Homogeneous 2D Point Coords Tody s Topics 3. Trnsformtions in 2D 4. Coordinte-free geometry 5. (curves & surfces) Topic 3: 2D Trnsformtions 6. Trnsformtions in 3D Simple Trnsformtions Homogeneous coordintes Homogeneous 2D trnsformtions

More information

Efficient Rerouting Algorithms for Congestion Mitigation

Efficient Rerouting Algorithms for Congestion Mitigation 2009 IEEE Computer Society Annul Symposium on VLSI Efficient Rerouting Algorithms for Congestion Mitigtion M. A. R. Chudhry*, Z. Asd, A. Sprintson, nd J. Hu Deprtment of Electricl nd Computer Engineering

More information

CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE

CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE 3.1 Scheimpflug Configurtion nd Perspective Distortion Scheimpflug criterion were found out to be the best lyout configurtion for Stereoscopic PIV, becuse

More information

Intermediate Information Structures

Intermediate Information Structures CPSC 335 Intermedite Informtion Structures LECTURE 13 Suffix Trees Jon Rokne Computer Science University of Clgry Cnd Modified from CMSC 423 - Todd Trengen UMD upd Preprocessing Strings We will look t

More information

Registering as a HPE Reseller. Quick Reference Guide for new Partners in Asia Pacific

Registering as a HPE Reseller. Quick Reference Guide for new Partners in Asia Pacific Registering s HPE Reseller Quick Reference Guide for new Prtners in Asi Pcific Registering s new Reseller prtner There re five min steps to e new Reseller prtner. Crete your Appliction Copyright 2017 Hewlett

More information

PARALLEL AND DISTRIBUTED COMPUTING

PARALLEL AND DISTRIBUTED COMPUTING PARALLEL AND DISTRIBUTED COMPUTING 2009/2010 1 st Semester Teste Jnury 9, 2010 Durtion: 2h00 - No extr mteril llowed. This includes notes, scrtch pper, clcultor, etc. - Give your nswers in the ville spce

More information

Graphs with at most two trees in a forest building process

Graphs with at most two trees in a forest building process Grphs with t most two trees in forest uilding process rxiv:802.0533v [mth.co] 4 Fe 208 Steve Butler Mis Hmnk Mrie Hrdt Astrct Given grph, we cn form spnning forest y first sorting the edges in some order,

More information

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών ΕΠΛ323 - Θωρία και Πρακτική Μταγλωττιστών Lecture 3 Lexicl Anlysis Elis Athnsopoulos elisthn@cs.ucy.c.cy Recognition of Tokens if expressions nd reltionl opertors if è if then è then else è else relop

More information

such that the S i cover S, or equivalently S

such that the S i cover S, or equivalently S MATH 55 Triple Integrls Fll 16 1. Definition Given solid in spce, prtition of consists of finite set of solis = { 1,, n } such tht the i cover, or equivlently n i. Furthermore, for ech i, intersects i

More information

Preparatory object rotation as a human-inspired grasping strategy

Preparatory object rotation as a human-inspired grasping strategy th IEEE-RAS Interntionl Conference on Humnoid Roots Decemer ~ 3, / Dejeon, Kore Preprtory oject rottion s humn-inspired grsping strtegy Lillin Y. Chng, Grth J. Zeglin, nd Nncy S. Pollrd The Rootics Institute,

More information

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers?

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers? 1.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS Prepring for 2A.6.K, 2A.7.I Intervl Nottion nd Set Nottion Essentil Question When is it convenient to use set-uilder nottion to represent set of numers? A collection

More information

1 Quad-Edge Construction Operators

1 Quad-Edge Construction Operators CS48: Computer Grphics Hndout # Geometric Modeling Originl Hndout #5 Stnford University Tuesdy, 8 December 99 Originl Lecture #5: 9 November 99 Topics: Mnipultions with Qud-Edge Dt Structures Scribe: Mike

More information

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay Lexicl Anlysis Amith Snyl (www.cse.iit.c.in/ s) Deprtment of Computer Science nd Engineering, Indin Institute of Technology, Bomy Septemer 27 College of Engineering, Pune Lexicl Anlysis: 2/6 Recp The input

More information

8.2 Areas in the Plane

8.2 Areas in the Plane 39 Chpter 8 Applictions of Definite Integrls 8. Ares in the Plne Wht ou will lern out... Are Between Curves Are Enclosed Intersecting Curves Boundries with Chnging Functions Integrting with Respect to

More information

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining EECS150 - Digitl Design Lecture 23 - High-level Design nd Optimiztion 3, Prllelism nd Pipelining Nov 12, 2002 John Wwrzynek Fll 2002 EECS150 - Lec23-HL3 Pge 1 Prllelism Prllelism is the ct of doing more

More information