The Maximum Traveling Salesman Problem with Submodular Rewards

In this paper, we look at the problem of finding the tour of maximum reward on an undirected graph where the reward is a submodular function, that has a curvature of $\kappa$, of the edges in the tour. This problem is known to be NP-hard. We analyze two simple algorithms for finding an approximate solution. Both algorithms require $O(|V|^3)$ oracle calls to the submodular function. The approximation factors are shown to be $\frac{1}{2+\kappa}$ and $\max\set{\frac{2}{3(2+\kappa)},2/3(1-\kappa)}$, respectively; so the second method has better bounds for low values of $\kappa$. We also look at how these algorithms perform for a directed graph and investigate a method to consider edge costs in addition to rewards. The problem has direct applications in monitoring an environment using autonomous mobile sensors where the sensing reward depends on the path taken. We provide simulation results to empirically evaluate the performance of the algorithms.Comment: Extended version of ACC 2013 submission (including p-system greedy bound with curvature

Simulation of Multi-element Antenna Systems for Navigation Applications

The application of user terminals with multiple antenna inputs for use with the global satellite navigation systems like GPS and Galileo becomes more and more attraction in last years. Multiple antennas may be spread over the user platform and provide signals required for the platform attitude estimation or may be arranged in an antenna array to be used together with array processing algorithms for improving signal reception, e.g. for multipath and interference mitigation. In order to generate signals for testing of receivers with multiple antenna inputs and corresponding receiver algorithms in a laboratory environment a unique HW signal simulation tool for wavefront simulation has been developed. The signals for a number of antenna elements in a flexible user defined geometry are first generated as digital signals in baseband and then mixed up to individual RF-outputs. The paper describes the principle function of the system and addresses some calibration issues. Measurement set-ups and results of data processing with simulated signals for different applications are shown and discussed

Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events in a global state is called its rank. BFS also allows enumeration of all global states of a given rank or within a range of ranks. If a computation on n processes has m events per process on average, then the traditional BFS (Cooper-Marzullo and its variants) requires $\mathcal{O}(\frac{m^{n-1}}{n})$ space in the worst case, whereas ou r algorithm performs the BFS requires $\mathcal{O}(m^2n^2)$ space. Thus, we reduce the space complexity for BFS enumeration of consistent global states exponentially. and give the first polynomial space algorithm for this task. In our experimental evaluation of seven benchmarks, traditional BFS fails in many cases by exhausting the 2 GB heap space allowed to the JVM. In contrast, our implementation uses less than 60 MB memory and is also faster in many cases

A Progressive Clustering Algorithm to Group the XML Data by Structural and Semantic Similarity

Since the emergence in the popularity of XML for data representation and exchange over the Web, the distribution of XML documents has rapidly increased. It has become a challenge for researchers to turn these documents into a more useful information utility. In this paper, we introduce a novel clustering algorithm PCXSS that keeps the heterogeneous XML documents into various groups according to their similar structural and semantic representations. We develop a global criterion function CPSim that progressively measures the similarity between a XML document and existing clusters, ignoring the need to compute the similarity between two individual documents. The experimental analysis shows the method to be fast and accurate