Quadratic Optimal Control of Wireless Sensor Network Deployment

Size: px
Start display at page:

Download "Quadratic Optimal Control of Wireless Sensor Network Deployment"

Transcription

1 1 Quadratic Optimal Control of Wirele Senor Network Deployment Ratko R. Selmic 1, Jinko Kanno, Jack Buchart 1, and Nichola Richardon 3 1 Department of Electrical Engineering, Department of Mathematic 3 Department of Computer Science Louiiana Tech Univerity Ruton, LA 717, USA Tel: Fax: relmic@latech.edu, jkanno@coe.latech.edu, jgb0595@gmail.com, nmr00@latech.edu Abtract Thi paper preent a method for an optimal wirele enor network deployment with a quadratic cot function. It i aumed that the network i ymmetric with an equal radio tranmiion range acro the network. The optimization problem i formulated uing a convex quadratic cot function that conider ditance between mobile node and both tatic node and the target(). The network contraint related to the network/graph connectivity condition are preented. It i aumed that the bae tation can directly communicate with node that are to be deployed and with the mobile node. Simulation reult are preented uing a newly developed imulation platform for enor network uboptimal deployment. Key word wirele enor network, optimal control, deployment, coverage. I. INTRODUCTION Wirele enor network (WSN) have integrated computing, toring, networking, ening, and actuating capabilitie [7], [1], [13], [14], [17], [18], [], [9], [33]. Thee network conit of a number of enor node (tatic and mobile) with multiple enor per node that communicate with each other and the bae tation through wirele radio link (ee Figure 1). The bae tation, or the gateway, i ued for data proceing, torage, and control of the enor network. Senor node are uually battery powered; hence the whole enor network i limited by fundamental tradeoff between ampling rate and battery lifetime []. Thee limited reource in term of cot, power, and bandwidth require the ue of optimality principle in enor network deployment. An effective and optimal coverage of the enor field reduce cot, improve enor network functionality, increae reilience to failure, and enable novel application in the enor network. We dicu here optimal wirele enor network coverage control applied to both tatic and mobile enor node. A novel method for optimal enor network coverage control i preented that utilize a linear quadratic cot function. The optimal enor node deployment problem ha been formulated under network connectivity contraint. Senor network and related coverage control problem have recently gained ignificant interet [3], [5], [6], [9], [10], [11], [16]. Several optimal control problem related to enor network were formulated in [5]. Thi urvey paper alo provide an excellent overview of exiting reult in thi area. An optimal coverage under contraint of imprecie detection and terrain propertie where the number of enor node i minimized wa preented in [10]. Reference [16] dicue the problem ariing in maintaining coordination and communication between the group of robot and olution to thee problem. The paper preented three model of coordination (i.e., deployment) in order to maximize the coverage area within the cloe range of the robot, deployment to maximize the probability of detecting a ource, and deployment to maximize the viibility of the network. A tutorial paper [9] provide an overview of control method in multivehicle cooperative control uing graph theory. UAV node Mobile node Gateway Static node Fig. 1. Ad-hoc wirele enor network with tatic and mobile node.

2 Optimal coverage control for mobile enor network wa preented in [9]. The paper ue a Voronoi partitioning and Lloyd decent algorithm but doe not conider network connectivity contraint. Weighted directed graph that relate averaging protocol in conenu problem and coverage control law over Voronoi graph were given in [15]. Two location function that characterize coverage performance were provided in [10]. The paper tudie their gradient propertie via nonmooth analyi. In all the above reult the feaibility et are aumed to be convex and the network (i.e., optimization) i not contrained. General textbook in the wirele enor network area include recent publication [4], [19], [4], [34]; however none deal with the pecific problem of network deployment optimization. A linear programming problem for enor deployment wa formulated in [3]. Moreover, the paper preent an excellent review of exiting deployment algorithm. The conidered optimization problem i a convex one and enor are contrained into a grid-type of network topology. Reult in [31] howed a fundamental relationhip between coverage and connectivity by proving that if the communication radiu r c of the node i at leat twice their ening radiu r, then complete ening coverage (1- coverage) of a convex region implie that the related network graph i connected. Additionally, it i hown that if r c r, then K -coverage of a convex region implie K -connectivity of the enor node. Reference [0] minimize the number of enor to cover an area of interet. However, they aume that the ening and communication range are identical, while our approach can eaily be extended to a general cae of different communication and ening range. A virtual force algorithm for enor network deployment that maximize the enor field coverage wa propoed in [35]. The approach require a grid-baed enor node placement and alo require that all node are mobile. Thi paper provide an excellent energy model for the network; however, i doe not conider the network connectivity a a contraint in the optimization proce. A determinitic and tatitical enor network coverage algorithm uing Voronoi diagram for enor field partitioning wa tudied in [3]. A graph theory abtraction ha been applied to tudy the coverage problem and to provide an algorithm complexity. II. BACKGROUND WSN are topologically imilar to graph. Thi imilarity can be ued to map different deployment cenario and condition into graph theory problem. In uch a mapping, every enor node, including the bae tation, correpond to a vertex in a graph that varie in time, i.e. G ( t) = ( N ( t), E ( t) )., (1) where N(t) i a et of vertice and E(t) i a et of edge. Node or vertice in a graph are connected with a graph edge if there i a direct communication link between correponding node. With direct communication link we mean that the node communicate directly, without multi-hopping. Note alo that the graph G(t) i, in general, a function of time ince node and link can be time dependant. Thi i epecially true in a enor network with mobile node a the et of edge will certainly change a the mobile node move throughout the network. Illutrative mapping i hown in Figure where a WSN for chemical agent monitoring application, developed with Crobow mote i repreented a a graph. Bae Station SN SN 1 Radio Link SN 0 SN 3 SN4 SN 5 Fig.. Wirele enor network map into a graph. A. k-vertex Connectivity and k-edge Connectivity A graph G i aid to be connected if there i a path between any two vertice of G. A graph G i called k-connected if the minimum number of vertice of G whoe removal will diconnect G i at leat k. A k-connected network graph will remain connected with the failure of (k-1) node. A a reult of Menger Theorem, a graph G i k-connected if and only if there are k vertex-dijoint path between any two vertice in G. The graph on the left (Figure 3) i 1-connected ince the removal of vertex v would diconnect the ubgraph from the bae tation. The graph on the right i -connected ince any ingle vertex can be removed and the graph will remain connected. Note that there are two vertex dijoint path between any vertex v i (i=1,,, 5) and the bae tation, namely one path i B-v 1 -v - -v i and another i B-v 5 -v 4 - -v i. B v B 1 0 v 1 v Fig. 3. The graph on the left i 1-connected, and the graph on the right i - connected. III. SENSOR NETWORK MODEL AND PROBLEM FORMULATION Wirele enor network (WSN) conit of enor that communicate between themelve and the bae tation uing multi-hop routing protocol. Information hop between the v 5 v v 3

3 3 node toward the bae tation uing wirele on-board radio that have a limited tranmiion radiu, often adjutable by microcontroller algorithm. In order to map uch a network to an equivalent graph model, everal aumption are needed. Aumption 1. The WSN conit of enor node all having an equal wirele radio tranmiion range r. Wirele radio and enor node have omnidirectional antenna. While thi aumption i not alway fulfilled in practical application, one can alway conider the minimum available tranmiion range a the leat-common tranmiion range for enor node [1]. Aumption. The WSN conit of ymmetric link between the enor node, meaning that if node i can tranmit information to a node j, then node j can alo end information to node i. Aumption 1 and allow the ue of undirected graph in the enor network modeling and implify analyi by uing uniform radio tranmiion range r. A. Senor Network Connectivity and Localization Condition A wirele enor network i connected if the correponding graph G(t) i at leat 1-connected, which implie that data from any node in the network can multi-hop it data to the bae tation. A WSN i 1-connected (but not -connected) if there i a ingle node whoe failure in the enor network will diconnect the network. It i clear that uch connectivity doe not provide ytem robutne and fault redundancy in cae of node failure. Bredin et al. [3] conidered vertex k- connectivity algorithm to be ued for robut and fault tolerant network. In uch cae up to k-1 node may fail and the network will till be connected. We will conider the enor network deployment under the k-connectivity condition. Localization of enor node i an important problem in the wirele enor network area. Senor node can be equipped with GPS receiver in which cae the location i known to the degree of accuracy of the receiver. If GPS i not available, a variety of method exit to locate the enor node in the wirele enor network environment. A two-phae proce for localization i a common choice, which include gathering range information between node in the firt phae and etimating poition in the econd phae. Range information can be obtained by exploiting ignal trength, a RADAR [1] and APS [5], time difference of arrival of two different ignal, a Cricket [8], AHLoS [30], and angle of arrival, a given in [6]. However, thi may be a challenging problem ince a ranging error may propagate through the whole network. Condition needed to localize the unknown enor node alo have their equivalent counterpart in graph theory. Conider a enor network with tatic and mobile enor node where poition of tatic enor node are known. Either a field technician i aware of the poition of the deployed tatic wirele enor node or they have GPS receiver to report their geo-location. In the cae that the mobile node do not have GPS receiver, it i required to etimate the poition of a mobile enor node that i lowly moving in the enor network field. In the cae of -dimenional movement, a mobile node hould be in the communication neighborhood of at leat 3 node that know their poition in order to uniquely determine it poition. Such an etimate i baed on the received radio ignal trength. Equivalently, each mobile vertex mut have 3 incident edge (i.e. they mut be of degree at leat 3). Mobile Node Localization. Given a graph defined a in (1) that include tatic and mobile node, we define M(t) to be a ubet of N(t) where M(t) i the et of mobile node. The localization condition mean that for each mobile node in M(t), the degree mut be at leat 3. Connectivity condition in enor network do not uually follow crip logic, i.e., when inter-node ditance are le than r, the node are connected, otherwie they are diconnected. One natural quetion arie what happen with connectivity when the ditance between node i cloe to r? In order to mathematically deal with thee kind of ituation we define trong and weak connectivity. A panning ubgraph of a graph G i a ubgraph that contain all vertice of G. Definition (Strong Connectivity). The graph G(t) i trongly connected if there i a panning ubgraph H(t) uch that H(t) i k-connected and all edge of H(t) are le than or equal to λr, where 0 < λ 1 and r i a enor node tranmiion radiu. Definition (Weak Connectivity). The graph G(t) i weakly connected if it i connected and it i not trongly connected. For example, let λ=0.75 for ome graph G. If there i a panning k-connected ubgraph of G with every edge le than or equal to 0.75r, then G i trongly connected. If no uch ubgraph exit then G i weakly connected. B. Optimal Senor Network Deployment Problem Many practical application uing wirele enor network have a common optimization problem that preent a tradeoff between oppoite goal, e.g., uniformly ditribute enor node over the monitoring area while focuing on a pecific area or phenomenon (Figure 4). A fundamental quetion that motivate thi reearch can be expreed a follow: how to optimally poition a large number of enor node over the area of interet, while providing extenive coverage of the focu area of interet (e.g., a contamination cloud in cae of chemical agent monitoring). While it i deired to uniformly monitor an area of interet, it i alo required to focu additional attention on an intereting phenomenon that ha been detected. We introduce a novel mathematical problem formulation of a uboptimal enor network coverage control problem, namely a linear quadratic (LQ) type of optimal coverage control [], [1]. The LQ cot function have been deigned to balance the tradeoff between uniform enor network coverage and focued coverage of pecific area. Uing graph theory terminology, the problem can be ummarized a follow: find the optimal enor network deployment that minimize a given index of performance uch that the correponding enor network graph G(t) i vertex k- connected and atifie the mobile node localization condition.

4 4 Note that if k i at leat 3, the mobile node localization condition i met by default, and we only need to check for k- connectivity in thi cae. The problem formulation i given below. impoe two contraint on Problem 1, namely the k- connectivity requirement and the mobile node localization condition requirement. Again, if k> the mobile node localization condition will, by default, be atified. The next ection provide aumption needed to pecify network connectivity contraint. It alo provide a olution for the above preented optimization problem. Fig. 4. Focued coverage v. uniform coverage of the monitoring area of interet. Problem 1 (Optimal Senor Node Placement Without Network Contraint). Let the enor radio tranmiion range be given by r. Aume there i a focu point (X F (t), Y F (t)) where everal mobile enor node hould converge. Given the compact coverage area of interet S, a et of wirele enor node N(t), and a ubet of mobile enor node M(t) N(t), find an optimal vertex location of the mobile node M(t) uch that the following cot function i minimized min J 1 = R dit [( xi, y i ), ( X F ( t), YF ( t)) ] + i M () Q ( x, y ), ( x, y ) [ i i j j ] i M, j N where R and Q are control deign parameter. The parameter R reward cloene to the focu point and the parameter Q reward uniform ditribution of vertice acro the et S. For example, Q >> R mean that the uer i much more concerned with the uniform vertex ditribution than to cover the pecific area of interet, Figure 4 (right). On the other hand, R >> Q indicate that the uer want extenive coverage of the focu point rather than uniform vertex ditribution, Figure 4 (left). Note that the cot function in () wa choen becaue the problem we have propoed i a multi-objective optimization problem. One common way to olve thi type of problem i to combine the weighted um of each individual objective function into an aggregate objective function (AOF). Specifically, the two objective are to minimize the ditance between the mobile node and the focu point and to maximize the ditance between the each mobile node and all other node (including other mobile node). Rather than maximizing thi ditance, however, we have choen to minimize the invere of thi ditance o that we could eaily combine the two term into an AOF. Problem (Optimal Senor Node Placement With Network Contraint). Given the compact coverage area of interet S, a focu point (X F (t), Y F (t)), the graph G(t) = (N(t),E(t)), and the mobile ubgraph G m (t) = (M(t),E m (t)), find an optimal vertex location of the mobile ubgraph G m (t) uch that () i minizmized, the graph G(t) tay k-connected, and the mobile node localization condition i atified. Thu we IV. OPTIMAL WIRELESS SENSOR NETWORK DEPLOYMENT The preented indice of performance are quadratic convex function. In optimization theory there are two ubclae of uch problem, depending on the contraint condition: a problem can be convex or non-convex, depending on the contraint and the correponding contraint et or feaibility et. A feaibility et i a et of allowable olution, i.e., allowable enor node location in cae of the problem decribed in Section 3. Aumption 3. The bae tation i one hop away from all mobile enor node in the network. Note that thi aumption mean that the bae tation can directly ee all mobile enor node, therefore retricting the problem to a convex feaibility et, ee Figure 5. A imilar aumption wa ued in the literature [3] where it i aumed that all node communicate with the bae tation directly. Fig. 5. A uboptimal deployment of a mobile node (red) that preerve the network connectivity i a convex optimization in cae the bae tation can directly communicate with mobile node (one hop away). Otherwie, it i a non-convex optimization problem. A. Senor Network Placement Algorithm There are many algorithm that can be ued for contrained (convex) optimization problem, ee [7] for intance. We ummarize two method that can be eaily implemented. Sequential Grid Search. Thi method provide a ueful olution for problem with a relatively mall number of moving UAV node, for intance le than 10, ee [8]. For a preelected grid at the area of interet, the cot function i evaluated in the immediate neighborhood of the preent tate in m-dimenional pace and deciion i made about where the B

5 5 next tate i, where m i the number of mobile UAV node, i.e. the order of the et M. The algorithm i a follow. 1. Place a grid of preelected ize x for each variable (mobile enor node) in the pace of interet S.. Select the tarting point for all mobile enor node in S. 3. Evaluate the cot function J in 9 m urrounding point including the exiting point, where m i the number of mobile node. 4. A a next tate elect the point with the mallet cot function J. 5. Check if the next tate i in S and if it atifie the enor network contraint. If ye, accept that point a a new tate for mobile node and repeat. One can ee that the equential grid earch method will work fine for a few mobile node, but if a larger number of mobile node needed to be optimally poitioned, the method i inefficient in term of computational requirement. More efficient and eaier to implement i a gradient decent method that only require a gradient computation at every tep. Gradient Decent Algorithm for One Mobile Senor Node Deployment. If there i only one mobile enor node, the previou problem formulation can be expreed in equivalent form: find an optimal vertex location (x 1, y 1 ) uch that the following cot function i minimized. min J 1 = R dit Q [( x, y ), ( X, Y )] 1 1 F [( x, y ), ( x, y )] 1 j j N The gradient decent algorithm i then given a follow. 1. Let deignate the -th iteration (where =0, 1,, 3,...) and calculate ( x x ) = R( x X ) Q 1 F x1 j N [( x x ) + ( y y ) ] ( y y ) = R( y Y ) + Q 1 F y1 j N [( x x ) + ( y y ) ]. Let the tart point be given by (x 10, y 10 ) and let the tolerance be given by ε. 3. Chooe tep ize λ to minimize J, that i J ( x λ, y λ ) x y = min J ( x λ, y λ ) λ x y 4. The calculate the next point (x 1(+1), y 1(+1) ) a x = x λ 1( + 1) x y + = y λ 1( 1) 1 y 5. Terminate the calculation if F + (3) J x, y ) J ( x, y ε. ( ) 1( + 1) 1( + 1) Then, we take (x 1(+1), y 1(+1) ) to be the optimal poition of the enor node we are eeking; otherwie return to Step. Simulation reult preented in the next ection how an implementation of the gradient decent algorithm. Due to it implicity, thi algorithm i alo uitable for fat, real-real time execution. V. SIMULATION RESULTS Self-Adjuting Connected Senor Network Simulation (SACSeNS) i a imulation program that can tet different cot function and their effectivene to ditribute tationary and mobile enor node in a given area, ee Figure 6. The program alo provide graph tatitic uch a connectivity and coverage percentage. Currently the imulation make aumption that all node have the ame communication range, the mobile node move at the ame rate, and the mobile node can move in any direction. Uer can pecify a communication range; however, it i the ame for all node in the network. Stationary and mobile node can be deployed imultaneouly. The tationary node are moved to a pecific location by the uer and will remain there during the imulation. The mobile node automatically move into a poition to minimize the cot function baed on the poition of the tationary node, other mobile node, and the focu point. The movement of mobile node follow the imple gradient decent algorithm from the previou ection uch that the cot function i minimized. From thee poition, an additional contraint of connectivity will be placed on the ytem that will require the node to maintain connectivity to the network. If a node movement will violate the network connectivity contraint, the program will kip the elected node poition and check the other poition for the bet movement of the node. The program ue a panning tree algorithm to determine if the network graph i connected or diconnected. The focu/tracking point i omething that we may want additional enor node to monitor and track. Baed on parameter given in the cot function, mobile node can move to increae enor coverage and track a target. There i a performance index graph over time that i updated periodically and how the relative change baed on the new enor node poition. Thi chart how how well the node ditribute themelve baed on the cot function.

6 6 Mobile enor node (blue) Target to be tracked Network graph tatitic Static enor node (green) Cot function in time Fig. 6. Self-Adjuting Connected Senor Network Simulation (SACSeNS) program for imulation of wirele enor network. Figure 7 how two oppoite cae dicued previouly, i.e., uniform v. focued coverage. There i one target/focu point in the network. The enor network i connected, however, weakly connected ince communication link between a few enor node are weak. Preented reult are an initial development of SACSeNS, while future tep will include: conider cae where mobile node do not have ame peed, do not have ame communication range, power, etc. implement variou cot function and optimization algorithm develop a web-baed uer interface uch that the oftware can be ued over the Internet. Currently, the firt verion of SACSeNS i built in C++. VI. CONCLUSIONS A novel linear quadratic-type of a cot function wa preented for a wirele enor network deployment problem under network connectivity contraint. The convex optimization problem wa olved uing a gradient decent algorithm that wa implemented a a part of new enor placement imulation oftware for wirele enor network that i being developed at Louiiana Tech. The imulation tool wa preented a well a imulation reult for focued and uniform network coverage. Future reearch will conider the more general non-convex optimization problem, different cot function, and novel feature in the imulation oftware. Fig. 7. SACSeNS naphot of a uniform coverage and deployment of mobile (blue) enor node (left) and a focued coverage/tracking of mobile node (right). The red link emphaize weak connectivity of the network graph. ACKNOWLEDGMENT Thi project i upported in part by the ARFL Senor Directorate through contract FA D-191 and by Louiiana Board of Regent through PKSFI grant LEQSF(007-1)-ENH-PKSFI-PRS-03. The author alo acknowledge help by graduate tudent Grain Zhang. REFERENCES [1] P. Bahl and V. N. Padmanabhan, RADAR: An In-Building RF-Baed Uer Location and Tracking Sytem, IEEE InfoCom 000, March 000.W.-K. Chen, Linear Network and Sytem (Book tyle). Belmont, CA: Wadworth, 1993, pp [] D. P. Berteka, Nonlinear Programming, Athena Scientific, [3] J. L. Bredin, E. D. Demaine, M. T. Hajiaghayi, and D. Ru, Deploying enor network with guaranteed capacity and fault tolerance, Proc. the 6th ACM International Sympoium on Mobile ad hoc Networking and Computing, Urbana-Champaign, IL, USA, May 005. [4] E. H. Callaway Jr., Wirele Senor Network: Architecture and Protocol, CRC Pre LLC, Boca Raton, Florida, 004. [5] M. Cardei and Jie Wu, Coverage in wirele enor network, in M. Ilya and I. Magboub, ed., Handbook of Senor Network, CRC Pre, 004. [6] C. G. Caandra and W. Li, Senor network and cooperative control, European Journal of Control, vol. 11, pp , 005.

7 7 [7] R. W. Clay, N. R. Wild, D. J. Bird, B. R. Dawon, M. Johnton, R. Patrick, and A. Sewell, A could monitoring ytem for remote ite, Publ. Atron. Soc. Autralia, vol. 15, pp , [8] L. Cooper and D. I. Steinberg, Introduction to Method of Optimization, Saunder, Philadelphia, [9] J. Corte, S. Martinez, T. Karata, and F. Bullo, Coverage control for mobile ening network, IEEE Tranaction on Robotic and Automation, vol. 0, no., 004, pp [10] J. Corte and F. Bullo, Coordination and geometric optimization via ditributed dynamical ytem, SIAM Journal on Control and Optimization, vol. 44, no. 5, 005, pp [11] S. S. Dhillon and K. Chakrabarty, Senor placement for effective coverage and urveillance in ditributed enor network, IEEE, Jan [1] L. Doherty and K. S. J. Piter, Scattered data election for dene enor network, Proc. the Third International Sympoium on Information Proceing in Senor Network, April 6-7, 004, Berkeley, CA, USA. [13] A. El-Hoiydi, "Aloha with preamble ampling for poradic traffic in ad hoc wirele enor network", Proc. IEEE International Conference on Communication (ICC 00), New York, USA, pp , April 00. [14] D. Etrin, R. Govindan, J. Heidemann, and S. Kumar, Next century challenge: Scalable coordination in enor network, Proc. ACM/IEEE International Conference on Mobile Computing and Networking, pp Seattle, Wahington, ACM, Augut, [15] C. Gao, F. Bullo, J. Corté, and A. Jadbabaie, Note on averaging over acyclic digraph and dicrete coverage control, Proc. 45th IEEE Int. Conf. Deciion and Control, San Diego, California, USA, 006, pp [16] A. Ganguli, S. Suca, S. Martinez, F. Bullo, and J. Corte, On collective motion in enor network: ample problem and ditributed algorithm, Proc. of the 44th IEEE Conference on Deciion and Control, and the European Control Conference, 005, pp [17] B. Grocholky, S. Bayraktar, V. Kumar, G. Pappa, UAV and UGV collaboration for active ground feature earch and localization, Proc. of the AIAA 3rd Unmanned Unlimited Technical Conference, 004. [18] J. Heidemann, F. Silva, C. Intanagonwiwat, R. Govindan, D. Etrin, and D. Ganean, Building efficient wirele enor network with low-level naming, Proc. Sympoium on Operating Sytem Principle, Lake Louie, Banff, Canada, October 001. [19] S. Iyengar and R. Brook, Handbook of Ditributed Senor Network, Chapman and Hall, CRC 005. [0] K. Kar and S. Banerjee, Node placement for connected coverage in enor network, Proc Modeling and Optimization in Mobile, Ad Hoc and Wirele Network, 003. [1] F. L. Lewi, Optimal Control, John Wiley & Son, Inc., [] A. Mainwaring, J. Polatre, R. Szewczyk, and D. Culler, Wirele enor network for habitat monitoring, Intel Reearch, June 00. [3] S. Meguerdichian, F. Kouhanfar, M. Potkonjak, and M. B. Srivatrava, Coverage problem in wirele ad-hoc enor network, Proc. IEEE INFOCOM Conference, 001. [4] C. S. R. Murthy and B.S. Manoj, Ad Hoc Wirele Network: Architecture and Protocol, Prentice Hall PTR, 004. [5] D. Niculecu and B. Nath, Ad Hoc Poitioning Sytem (APS), GLOBECOM, IEEE, Nov. 001, San Antonio. [6] D. Niculecu and B. Nath, Ad Hoc Poitioning Sytem (APS) Uing AoA, IEEE InfoCom, 003. [7] J. Nocedal and S. J. Wright, Numerical Optimization, Springer, New York, NY, 006. [8] N.Priyantha, A. Chakraborthy and H. Balakrihnan, The Cricket Location-Support Sytem, Proceeding of International Conference on Mobile Computing and Networking, PP. 3-43, Boton, MA, Augut 6-11, 000. [9] W. Ren, R. W. Beard, and E. M. Atkin, Information conenu in multivehicle cooperative control, IEEE Control Sytem Magazine, vol. 7, no., April 007. [30] A. Savvide, C.-C. Han and M. B. Strivatava, Dynamic fine-grained localization in Ad-Hoc network of enor, MobiCom, 001. [31] X. Wang, G. Xing, Y. Zang, C. Lu, R. Ple, and C. Gill, Integrated coverage and connectivity configuration in wirele enor network, Proc. of the t ACM Conference on Embedded Networked Node Sytem (SenSy 03), 003. [3] X. Xu and S. Sahni, Approximation algorithm for wirele enor deployment, Technical report, Univerity of Florida, April 006. [33] W. Ye, J. Heidemann, and D. Etrin, An energy-efficient MAC protocol for wirele enor network, Proc. IEEE INFOCOM, New York, June 00. [34] F. Zhao and L. Guiba, Wirele Senor Network: An Information Proceing Approach, Morgan Kaufmann, 004. [35] Y. Zou and K. Chakrabarty, Senor deployment and target localization baed on virtual force, Proc. IEEE INFOCOM, 003, pp

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

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

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

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

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

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

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

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

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

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

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract

Karen L. Collins. Wesleyan University. Middletown, CT and. Mark Hovey MIT. Cambridge, MA Abstract Mot Graph are Edge-Cordial Karen L. Collin Dept. of Mathematic Weleyan Univerity Middletown, CT 6457 and Mark Hovey Dept. of Mathematic MIT Cambridge, MA 239 Abtract We extend the definition of edge-cordial

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

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

Generic Traverse. CS 362, Lecture 19. DFS and BFS. Today s Outline

Generic Traverse. CS 362, Lecture 19. DFS and BFS. Today s Outline Generic Travere CS 62, Lecture 9 Jared Saia Univerity of New Mexico Travere(){ put (nil,) in bag; while (the bag i not empty){ take ome edge (p,v) from the bag if (v i unmarked) mark v; parent(v) = p;

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

Nearly Constant Approximation for Data Aggregation Scheduling in Wireless Sensor Networks

Nearly Constant Approximation for Data Aggregation Scheduling in Wireless Sensor Networks Nearly Contant Approximation for Data Aggregation Scheduling in Wirele Senor Network Scott C.-H. Huang, Peng-Jun Wan, Chinh T. Vu, Yinghu Li and France Yao Computer Science Department, City Univerity of

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

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

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

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM

See chapter 8 in the textbook. Dr Muhammad Al Salamah, Industrial Engineering, KFUPM Goal programming Objective of the topic: Indentify indutrial baed ituation where two or more objective function are required. Write a multi objective function model dla a goal LP Ue weighting um and preemptive

More information

Keywords Cloud Computing, Service Level Agreements (SLA), CloudSim, Monitoring & Controlling SLA Agent, JADE

Keywords Cloud Computing, Service Level Agreements (SLA), CloudSim, Monitoring & Controlling SLA Agent, JADE Volume 5, Iue 8, Augut 2015 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Verification of Agent

More information

Power Aware Location Aided Routing in Mobile Ad-hoc Networks

Power Aware Location Aided Routing in Mobile Ad-hoc Networks International Journal of Scientific and Reearch Publication, Volume, Iue 1, December 01 1 Power Aware Location Aided Routing in Mobile Ad-hoc Network Anamika Computer Science, Inderprataha Engineering

More information

Edits in Xylia Validity Preserving Editing of XML Documents

Edits in Xylia Validity Preserving Editing of XML Documents dit in Xylia Validity Preerving diting of XML Document Pouria Shaker, Theodore S. Norvell, and Denni K. Peter Faculty of ngineering and Applied Science, Memorial Univerity of Newfoundland, St. John, NFLD,

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

LinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage

LinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage Proceeding of the World Congre on Engineering 2007 Vol I LinkGuide: Toward a Better Collection of Hyperlink in a Webite Homepage A. Ammari and V. Zharkova chool of Informatic, Univerity of Bradford anammari@bradford.ac.uk,

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

Aspects of Formal and Graphical Design of a Bus System

Aspects of Formal and Graphical Design of a Bus System Apect of Formal and Graphical Deign of a Bu Sytem Tiberiu Seceleanu Univerity of Turku, Dpt. of Information Technology Turku, Finland tiberiu.eceleanu@utu.fi Tomi Weterlund Turku Centre for Computer Science

More information

A note on degenerate and spectrally degenerate graphs

A note on degenerate and spectrally degenerate graphs A note on degenerate and pectrally degenerate graph Noga Alon Abtract A graph G i called pectrally d-degenerate if the larget eigenvalue of each ubgraph of it with maximum degree D i at mot dd. We prove

More information

Aalborg Universitet. Published in: Proceedings of the Working Conference on Advanced Visual Interfaces

Aalborg Universitet. Published in: Proceedings of the Working Conference on Advanced Visual Interfaces Aalborg Univeritet Software-Baed Adjutment of Mobile Autotereocopic Graphic Uing Static Parallax Barrier Paprocki, Martin Marko; Krog, Kim Srirat; Kritofferen, Morten Bak; Krau, Martin Publihed in: Proceeding

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 Practical Model for Minimizing Waiting Time in a Transit Network

A Practical Model for Minimizing Waiting Time in a Transit Network A Practical Model for Minimizing Waiting Time in a Tranit Network Leila Dianat, MASc, Department of Civil Engineering, Sharif Univerity of Technology, Tehran, Iran Youef Shafahi, Ph.D. Aociate Profeor,

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

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

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 Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds *

A Linear Interpolation-Based Algorithm for Path Planning and Replanning on Girds * Advance in Linear Algebra & Matrix Theory, 2012, 2, 20-24 http://dx.doi.org/10.4236/alamt.2012.22003 Publihed Online June 2012 (http://www.scirp.org/journal/alamt) A Linear Interpolation-Baed Algorithm

More information

A Hybrid Deployable Dynamic Traffic Assignment Framework for Robust Online Route Guidance

A Hybrid Deployable Dynamic Traffic Assignment Framework for Robust Online Route Guidance A Hybrid Deployable Dynamic Traffic Aignment Framework for Robut Online Route Guidance Sriniva Peeta School of Civil Engineering, Purdue Univerity Chao Zhou Sabre, Inc. Sriniva Peeta School of Civil Engineering

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

CERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu

CERIAS Tech Report EFFICIENT PARALLEL ALGORITHMS FOR PLANAR st-graphs. by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daescu CERIAS Tech Report 2003-15 EFFICIENT PARALLEL ALGORITHMS FOR PLANAR t-graphs by Mikhail J. Atallah, Danny Z. Chen, and Ovidiu Daecu Center for Education and Reearch in Information Aurance and Security,

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

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

Shortest Paths Problem. CS 362, Lecture 20. Today s Outline. Negative Weights

Shortest Paths Problem. CS 362, Lecture 20. Today s Outline. Negative Weights Shortet Path Problem CS 6, Lecture Jared Saia Univerity of New Mexico Another intereting problem for graph i that of finding hortet path Aume we are given a weighted directed graph G = (V, E) with two

More information

Delaunay Triangulation: Incremental Construction

Delaunay Triangulation: Incremental Construction Chapter 6 Delaunay Triangulation: Incremental Contruction In the lat lecture, we have learned about the Lawon ip algorithm that compute a Delaunay triangulation of a given n-point et P R 2 with O(n 2 )

More information

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

Today s Outline. CS 561, Lecture 23. Negative Weights. Shortest Paths Problem. The presence of a negative cycle might mean that there is

Today s Outline. CS 561, Lecture 23. Negative Weights. Shortest Paths Problem. The presence of a negative cycle might mean that there is Today Outline CS 56, Lecture Jared Saia Univerity of New Mexico The path that can be trodden i not the enduring and unchanging Path. The name that can be named i not the enduring and unchanging Name. -

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

Shortest Path Routing in Arbitrary Networks

Shortest Path Routing in Arbitrary Networks Journal of Algorithm, Vol 31(1), 1999 Shortet Path Routing in Arbitrary Network Friedhelm Meyer auf der Heide and Berthold Vöcking Department of Mathematic and Computer Science and Heinz Nixdorf Intitute,

More information

Joint Congestion Control and Media Access Control Design for Ad Hoc Wireless Networks

Joint Congestion Control and Media Access Control Design for Ad Hoc Wireless Networks Joint Congetion Control and Media Acce Control Deign for Ad Hoc Wirele Network Lijun Chen, Steven H. Low and John C. Doyle Engineering & Applied Science Diviion, California Intitute of Technology Paadena,

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

A Boyer-Moore Approach for. Two-Dimensional Matching. Jorma Tarhio. University of California. Berkeley, CA Abstract

A Boyer-Moore Approach for. Two-Dimensional Matching. Jorma Tarhio. University of California. Berkeley, CA Abstract A Boyer-Moore Approach for Two-Dimenional Matching Jorma Tarhio Computer Science Diviion Univerity of California Berkeley, CA 94720 Abtract An imple ublinear algorithm i preented for two-dimenional tring

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

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

Advanced Encryption Standard and Modes of Operation

Advanced Encryption Standard and Modes of Operation Advanced Encryption Standard and Mode of Operation G. Bertoni L. Breveglieri Foundation of Cryptography - AES pp. 1 / 50 AES Advanced Encryption Standard (AES) i a ymmetric cryptographic algorithm AES

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

An efficient resource allocation algorithm for OFDMA cooperative relay networks with fairness and QoS guaranteed

An efficient resource allocation algorithm for OFDMA cooperative relay networks with fairness and QoS guaranteed Univerity of Wollongong Reearch Online Faculty of Informatic - Paper (Archive) Faculty of Engineering and Information Science 200 An efficient reource allocation algorithm for OFDMA cooperative relay network

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

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

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

A Novel Grey-RSS Navigation System Design for Mobile Robots

A Novel Grey-RSS Navigation System Design for Mobile Robots A vel Grey-RSS Navigation Sytem Deign for Mobile Robot Albert Wen-Long Yao*,, Hin-Te Liao, and Shiou-De Chen Department of Mechanical and Automation Engineering, National Kaohiung Firt Univerity of Science

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

1 The secretary problem

1 The secretary problem Thi i new material: if you ee error, pleae email jtyu at tanford dot edu 1 The ecretary problem We will tart by analyzing the expected runtime of an algorithm, a you will be expected to do on your homework.

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

Brief Announcement: Distributed 3/2-Approximation of the Diameter

Brief Announcement: Distributed 3/2-Approximation of the Diameter Brief Announcement: Ditributed /2-Approximation of the Diameter Preliminary verion of a brief announcement to appear at DISC 14 Stephan Holzer MIT holzer@mit.edu David Peleg Weizmann Intitute david.peleg@weizmann.ac.il

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

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

Algorithmic Discrete Mathematics 4. Exercise Sheet

Algorithmic Discrete Mathematics 4. Exercise Sheet Algorithmic Dicrete Mathematic. Exercie Sheet Department of Mathematic SS 0 PD Dr. Ulf Lorenz 0. and. May 0 Dipl.-Math. David Meffert Verion of May, 0 Groupwork Exercie G (Shortet path I) (a) Calculate

More information

arxiv: v1 [cs.ds] 27 Feb 2018

arxiv: v1 [cs.ds] 27 Feb 2018 Incremental Strong Connectivity and 2-Connectivity in Directed Graph Louka Georgiadi 1, Giueppe F. Italiano 2, and Niko Parotidi 2 arxiv:1802.10189v1 [c.ds] 27 Feb 2018 1 Univerity of Ioannina, Greece.

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

A Handover Scheme for Mobile WiMAX Using Signal Strength and Distance

A Handover Scheme for Mobile WiMAX Using Signal Strength and Distance A Handover Scheme for Mobile WiMAX Uing Signal Strength and Ditance Mary Alatie, Mjumo Mzyece and Anih Kurien Department of Electrical Engineering/French South African Intitute of Technology (F SATI) Thwane

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

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

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

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

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values

The norm Package. November 15, Title Analysis of multivariate normal datasets with missing values The norm Package November 15, 2003 Verion 1.0-9 Date 2002/05/06 Title Analyi of multivariate normal dataet with miing value Author Ported to R by Alvaro A. Novo . Original by Joeph

More information

AUTOMATIC TEST CASE GENERATION USING UML MODELS

AUTOMATIC TEST CASE GENERATION USING UML MODELS Volume-2, Iue-6, June-2014 AUTOMATIC TEST CASE GENERATION USING UML MODELS 1 SAGARKUMAR P. JAIN, 2 KHUSHBOO S. LALWANI, 3 NIKITA K. MAHAJAN, 4 BHAGYASHREE J. GADEKAR 1,2,3,4 Department of Computer Engineering,

More information

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing.

Key Terms - MinMin, MaxMin, Sufferage, Task Scheduling, Standard Deviation, Load Balancing. Volume 3, Iue 11, November 2013 ISSN: 2277 128X International Journal of Advanced Reearch in Computer Science and Software Engineering Reearch Paper Available online at: www.ijarce.com Tak Aignment in

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

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

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

An Improved Implementation of Elliptic Curve Digital Signature by Using Sparse Elements

An Improved Implementation of Elliptic Curve Digital Signature by Using Sparse Elements The International Arab Journal of Information Technology, Vol. 1, No., July 004 0 An Improved Implementation of Elliptic Curve Digital Signature by Uing Spare Element Eam Al-Daoud Computer Science Department,

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

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

Optimization Coverage of Wireless Sensor Networks Based on Energy Saving. Technology, Luoyang , China. Xi an , China

Optimization Coverage of Wireless Sensor Networks Based on Energy Saving. Technology, Luoyang , China. Xi an , China , pp.35-48 http://dx.doi.org/10.1457/ijfgcn.014.7.4.04 Optimization Coverage of Wirele Senor Network Baed on Energy Saving Zeyu Sun 1, Heng Li 1, Heng Chen and Wei Wei 3 1 Computer and Information Engineering,

More information

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK

ES205 Analysis and Design of Engineering Systems: Lab 1: An Introductory Tutorial: Getting Started with SIMULINK ES05 Analyi and Deign of Engineering Sytem: Lab : An Introductory Tutorial: Getting Started with SIMULINK What i SIMULINK? SIMULINK i a oftware package for modeling, imulating, and analyzing dynamic ytem.

More information

Network Coding in Duty-Cycled Sensor Networks

Network Coding in Duty-Cycled Sensor Networks 1 Network Coding in Duty-Cycled Senor Network Roja Chandanala, Radu Stoleru, Member, IEEE Abtract Network coding and duty-cycling are two popular technique for aving energy in wirele adhoc and enor network.

More information

Data Mining with Linguistic Thresholds

Data Mining with Linguistic Thresholds Int. J. Contemp. Math. Science, Vol. 7, 22, no. 35, 7-725 Data Mining with Linguitic Threhold Tzung-Pei Hong Department of Electrical Engineering National Univerity of Kaohiung Kaohiung, Taiwan, R.O.C.

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

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

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

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

Towards an Efficient Optimal Trajectory Planner for Multiple Mobile Robots

Towards an Efficient Optimal Trajectory Planner for Multiple Mobile Robots Toward an Efficient Optimal Trajectory Planner for Multiple Mobile Robot Jaon Thoma, Alan Blair, Nick Barne Department of Computer Science and Software Engineering The Univerity of Melbourne, Victoria,

More information

Optimizing Synchronous Systems for Multi-Dimensional. Notre Dame, IN Ames, Iowa computation is an optimization problem (b) circuit

Optimizing Synchronous Systems for Multi-Dimensional. Notre Dame, IN Ames, Iowa computation is an optimization problem (b) circuit Optimizing Synchronou Sytem for ulti-imenional pplication Nelon L. Pao and Edwin H.-. Sha Liang-Fang hao ept. of omputer Science & Eng. ept. of Electrical & omputer Eng. Univerity of Notre ame Iowa State

More information

Drawing Lines in 2 Dimensions

Drawing Lines in 2 Dimensions Drawing Line in 2 Dimenion Drawing a traight line (or an arc) between two end point when one i limited to dicrete pixel require a bit of thought. Conider the following line uperimpoed on a 2 dimenional

More information

Landmark Selection and Greedy Landmark-Descent Routing for Sensor Networks

Landmark Selection and Greedy Landmark-Descent Routing for Sensor Networks 1 Landmark Selection and Greedy Landmark-Decent Routing for Senor Network An Nguyen Nikola Miloavljević Qing Fang Jie Gao Leonida J. Guiba Department of Computer Science, Stanford Univerity. {anguyen,nikolam,guiba}@c.tanford.edu

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

Set-based Approach for Lossless Graph Summarization using Locality Sensitive Hashing

Set-based Approach for Lossless Graph Summarization using Locality Sensitive Hashing Set-baed Approach for Lole Graph Summarization uing Locality Senitive Hahing Kifayat Ullah Khan Supervior: Young-Koo Lee Expected Graduation Date: Fall 0 Deptartment of Computer Engineering Kyung Hee Univerity

More information

New Structural Decomposition Techniques for Constraint Satisfaction Problems

New Structural Decomposition Techniques for Constraint Satisfaction Problems New Structural Decompoition Technique for Contraint Satifaction Problem Yaling Zheng and Berthe Y. Choueiry Contraint Sytem Laboratory Univerity of Nebraka-Lincoln Email: yzheng choueiry@ce.unl.edu Abtract.

More information

SIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial

SIMIT 7. Component Type Editor (CTE) User manual. Siemens Industrial SIMIT 7 Component Type Editor (CTE) Uer manual Siemen Indutrial Edition January 2013 Siemen offer imulation oftware to plan, imulate and optimize plant and machine. The imulation- and optimizationreult

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

Parallel MATLAB at FSU: Task Computing

Parallel MATLAB at FSU: Task Computing Parallel MATLAB at FSU: Tak John Burkardt Department of Scientific Florida State Univerity... 1:30-2:30 Thurday, 07 April 2011 499 Dirac Science Library... http://people.c.fu.edu/ jburkardt/preentation/...

More information