-
A Novel Fast Path Planning Approach for Mobile Devices using Hybrid Quantum Ant Colony Optimization Algorithm
Authors:
Mayukh Sarkar,
Jitesh Pradhan,
Anil Kumar Singh,
Hathiram Nenavath
Abstract:
With IoT systems' increasing scale and complexity, maintenance of a large number of nodes using stationary devices is becoming increasingly difficult. Hence, mobile devices are being employed that can traverse through a set of target locations and provide the necessary services. In order to reduce energy consumption and time requirements, the devices are required to traverse following a Hamiltonia…
▽ More
With IoT systems' increasing scale and complexity, maintenance of a large number of nodes using stationary devices is becoming increasingly difficult. Hence, mobile devices are being employed that can traverse through a set of target locations and provide the necessary services. In order to reduce energy consumption and time requirements, the devices are required to traverse following a Hamiltonian path. This problem can be formulated as a Travelling Salesman Problem (TSP), an NP-hard problem. Moreover, in emergency services, the devices must traverse in real-time, demanding speedy path planning from the TSP instance. Among the well-known optimization techniques for solving the TSP problem, Ant Colony Optimization has a good stronghold in providing good approximate solutions. Moreover, ACO not only provides near-optimal solutions for TSP instances but can also output optimal or near-optimal solutions for many other demanding hard optimization problems. However, to have a fast solution, the next node selection, which needs to consider all the neighbors for each selection, becomes a bottleneck in the path formation step. Moreover, classical computers are constrained to generate only pseudorandom numbers. Both these problems can be solved using quantum computing techniques, i.e., the next node can be selected with proper randomization, respecting the provided set of probabilities in just a single execution and single measurement of a quantum circuit. Simulation results of the proposed Hybrid Quantum Ant Colony Optimization algorithm on several TSP instances have shown promising results, thus expecting the proposed work to be important in implementing real-time path planning in quantum-enabled mobile devices.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Frustrated with Code Quality Issues? LLMs can Help!
Authors:
Nalin Wadhwa,
Jui Pradhan,
Atharv Sonwane,
Surya Prakash Sahu,
Nagarajan Natarajan,
Aditya Kanade,
Suresh Parthasarathy,
Sriram Rajamani
Abstract:
As software projects progress, quality of code assumes paramount importance as it affects reliability, maintainability and security of software. For this reason, static analysis tools are used in developer workflows to flag code quality issues. However, developers need to spend extra efforts to revise their code to improve code quality based on the tool findings. In this work, we investigate the u…
▽ More
As software projects progress, quality of code assumes paramount importance as it affects reliability, maintainability and security of software. For this reason, static analysis tools are used in developer workflows to flag code quality issues. However, developers need to spend extra efforts to revise their code to improve code quality based on the tool findings. In this work, we investigate the use of (instruction-following) large language models (LLMs) to assist developers in revising code to resolve code quality issues. We present a tool, CORE (short for COde REvisions), architected using a pair of LLMs organized as a duo comprised of a proposer and a ranker. Providers of static analysis tools recommend ways to mitigate the tool warnings and developers follow them to revise their code. The \emph{proposer LLM} of CORE takes the same set of recommendations and applies them to generate candidate code revisions. The candidates which pass the static quality checks are retained. However, the LLM may introduce subtle, unintended functionality changes which may go un-detected by the static analysis. The \emph{ranker LLM} evaluates the changes made by the proposer using a rubric that closely follows the acceptance criteria that a developer would enforce. CORE uses the scores assigned by the ranker LLM to rank the candidate revisions before presenting them to the developer. CORE could revise 59.2% Python files (across 52 quality checks) so that they pass scrutiny by both a tool and a human reviewer. The ranker LLM is able to reduce false positives by 25.8% in these cases. CORE produced revisions that passed the static analysis tool in 76.8% Java files (across 10 quality checks) comparable to 78.3% of a specialized program repair tool, with significantly much less engineering efforts.
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Experimental observation of Berreman modes in uniaxial anisotropic nanoporous alumina film on aluminium substrate
Authors:
Dheeraj Pratap,
Jitendra Kumar Pradhan,
Subramanium Anantha Ramakrishna
Abstract:
In this article, we demonstrate experimentally and verified numerically the excitation of Berreman modes that propagate in a dielectric film of uniaxial anisotropic nanoporous alumina grown on an aluminium substrate. It is an air-dielectric-metal asymmetric polaritonic system with a real part of the effective permittivity having a value near zero. The modes are excited at a wavelength lower than t…
▽ More
In this article, we demonstrate experimentally and verified numerically the excitation of Berreman modes that propagate in a dielectric film of uniaxial anisotropic nanoporous alumina grown on an aluminium substrate. It is an air-dielectric-metal asymmetric polaritonic system with a real part of the effective permittivity having a value near zero. The modes are excited at a wavelength lower than the epsilon near zero wavelength region. Minimum reflection is observed for the mid-infrared p-polarized light, while maximum reflection is observed for the s-polarized light. The experimental results are numerically reproduced for both p- and s-polarized light and confirm the Berreman modes excitation in the system. At the exciting wavelength, the field is confined in the dielectric region near the air-dielectric interface. The reported system is straightforward and could be easily fabricated over a large scale and is helpful in a variety of mid-infrared applications such as thermal management systems, sensors, passive radiative cooling devices, non-linear applications, and terahertz frequency generation.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.