Multipath Detection Using Boolean Satisfiability Techniques (original) (raw)

2011, Journal of Computer Networks and Communications

PN code acquisition using Boolean satisfiability techniques

2009

In mobile radio communication systems using spread spectrum technology, an accurate estimate of the signal propagation delay is needed in order to recover the transmitted data. This process is usually done using a pseudo noise (PN) code acquisition algorithm to search for the correct propagation delay within a window of possible delays. In this paper, we propose a new approach to solving the PN code acquisition problem using advanced Boolean satisfiability (SAT) techniques. SAT solvers use intelligent search algorithms that can traverse the search space and efficiently prune parts that contain no solutions. These solvers have recently been used to solve many challenging problems in Engineering and Computer Science. In this paper, we show how to formulate the PN code acquisition problem as a SAT instance and evaluate the use of advanced SAT techniques in solving the problem. Our approach is verified by simulation and presented results indicate that the proposed system achieves a detection probability for the correct delay of almost 100% for all practical cases.

Adaptive Dijkstra’s Search Algorithm for MIMO detection

International journal of electrical and computer engineering systems, 2022

Employing Maximum Likelihood (ML) algorithm for signal detection in a large-scale Multiple-Input- Multiple-Output (MIMO) system with high modulation order is a computationally expensive approach. In this paper an adaptive best first search detection algorithm is proposed. The proposed Adaptive Dijkstra’s Search (ADS) algorithm exploits the resources available in the search procedure to reduce the required number of nodes to be visited in the tree. A tunable parameter is used to control the number of the best possible candidate nodes required. Unlike the conventional DS, the ADS algorithm results in signal detection with low computation complexity and quasi-optimal performance for systems under low and medium SNR regimes. Simulation results demonstrate a 25% computational complexity reduction, compared to the conventional DS.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.