Optimization of Massive Full-Dimensional MIMO for Positioning and Communication

Massive Full-Dimensional multiple-input multiple-output (FD-MIMO) base stations (BSs) have the potential to bring multiplexing and coverage gains by means of three-dimensional (3D) beamforming. Key technical challenges for their deployment include the presence of limited-resolution front ends and the acquisition of channel state information (CSI) at the BSs. This paper investigates the use of FD-MIMO BSs to provide simultaneously high-rate data communication and mobile 3D positioning in the downlink. The analysis concentrates on the problem of beamforming design by accounting for imperfect CSI acquisition via Time Division Duplex (TDD)-based training and for the finite resolution of analog-to-digital converter (ADC) and digital-to-analog converter (DAC) at the BSs. Both \textit{unstructured beamforming} and a low-complexity \textit{Kronecker beamforming} solution are considered, where for the latter the beamforming vectors are decomposed into separate azimuth and elevation components. The proposed algorithmic solutions are based on Bussgang theorem, rank-relaxation and successive convex approximation (SCA) methods. Comprehensive numerical results demonstrate that the proposed schemes can effectively cater to both data communication and positioning services, providing only minor performance degradations as compared to the more conventional cases in which either function is implemented. Moreover, the proposed low-complexity Kronecker beamforming solutions are seen to guarantee a limited performance loss in the presence of a large number of BS antennas.Comment: 30 pages, 6 figure

Octree-based production of near net shape components

Near net shape (NNS) manufacturing refers to the production of products that require a finishing operation of some kind. NNS manufacturing is important because it enables a significant reduction in: machining work, raw material usage, production time, and energy consumption. This paper presents an integrated system for the production of near net shape components based on the Octree decomposition of 3-D models. The Octree representation is used to automatically decompose and approximate the 3-D models, and to generate the robot instructions required to create assemblies of blocks secured by adhesive. Not only is the system capable of producing shapes of variable precision and complexity (including overhanging or reentrant shapes) from a variety of materials, but it also requires no production tooling (e.g., molds, dies, jigs, or fixtures). This paper details how a number of well-known Octree algorithms for subdivision, neighbor findings, and tree traversal have been modified to support this novel application. This paper ends by reporting the construction of two mechanical components in the prototype cell, and discussing the overall feasibility of the system

Generating optimized Fourier interpolation routines for density function theory using SPIRAL

© 2015 IEEE.Upsampling of a multi-dimensional data-set is an operation with wide application in image processing and quantum mechanical calculations using density functional theory. For small up sampling factors as seen in the quantum chemistry code ONETEP, a time-shift based implementation that shifts samples by a fraction of the original grid spacing to fill in the intermediate values using a frequency domain Fourier property can be a good choice. Readily available highly optimized multidimensional FFT implementations are leveraged at the expense of extra passes through the entire working set. In this paper we present an optimized variant of the time-shift based up sampling. Since ONETEP handles threading, we address the memory hierarchy and SIMD vectorization, and focus on problem dimensions relevant for ONETEP. We present a formalization of this operation within the SPIRAL framework and demonstrate auto-generated and auto-tuned interpolation libraries. We compare the performance of our generated code against the previous best implementations using highly optimized FFT libraries (FFTW and MKL). We demonstrate speed-ups in isolation averaging 3x and within ONETEP of up to 15%

Collaborative OLAP with Tag Clouds: Web 2.0 OLAP Formalism and Experimental Evaluation

Increasingly, business projects are ephemeral. New Business Intelligence tools must support ad-lib data sources and quick perusal. Meanwhile, tag clouds are a popular community-driven visualization technique. Hence, we investigate tag-cloud views with support for OLAP operations such as roll-ups, slices, dices, clustering, and drill-downs. As a case study, we implemented an application where users can upload data and immediately navigate through its ad hoc dimensions. To support social networking, views can be easily shared and embedded in other Web sites. Algorithmically, our tag-cloud views are approximate range top-k queries over spontaneous data cubes. We present experimental evidence that iceberg cuboids provide adequate online approximations. We benchmark several browser-oblivious tag-cloud layout optimizations.Comment: Software at https://github.com/lemire/OLAPTagClou

SAT-Based Synthesis Methods for Safety Specs

Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented with Binary Decision Diagrams (BDDs), inheriting their scalability limitations. Instead of BDDs, we propose several new methods to synthesize finite-state systems from safety specifications using decision procedures for the satisfiability of quantified and unquantified Boolean formulas (SAT-, QBF- and EPR-solvers). The presented approaches are based on computational learning, templates, or reduction to first-order logic. We also present an efficient parallelization, and optimizations to utilize reachability information and incremental solving. Finally, we compare all methods in an extensive case study. Our new methods outperform BDDs and other existing work on some classes of benchmarks, and our parallelization achieves a super-linear speedup. This is an extended version of [5], featuring an additional appendix.Comment: Extended version of a paper at VMCAI'1

Interactive Visualization of the Largest Radioastronomy Cubes

3D visualization is an important data analysis and knowledge discovery tool, however, interactive visualization of large 3D astronomical datasets poses a challenge for many existing data visualization packages. We present a solution to interactively visualize larger-than-memory 3D astronomical data cubes by utilizing a heterogeneous cluster of CPUs and GPUs. The system partitions the data volume into smaller sub-volumes that are distributed over the rendering workstations. A GPU-based ray casting volume rendering is performed to generate images for each sub-volume, which are composited to generate the whole volume output, and returned to the user. Datasets including the HI Parkes All Sky Survey (HIPASS - 12 GB) southern sky and the Galactic All Sky Survey (GASS - 26 GB) data cubes were used to demonstrate our framework's performance. The framework can render the GASS data cube with a maximum render time < 0.3 second with 1024 x 1024 pixels output resolution using 3 rendering workstations and 8 GPUs. Our framework will scale to visualize larger datasets, even of Terabyte order, if proper hardware infrastructure is available.Comment: 15 pages, 12 figures, Accepted New Astronomy July 201