Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

In this paper, we give a simple and efficient implementation of reverse-mode automatic differentiation, which both extends easily to higher-order functions, and has run time and memory consumption linear in the run time of the original program. In addition to a formal description of the translation, we also describe an implementation of this algorithm, and prove its correctness by means of a logical relations argument.

Efficient implementation of X-ray ghost imaging based on a modified compressive sensing algorithm

Towards efficient implementation of X-ray ghost imaging (XGI), efficient data acquisition and fast image reconstruction together with high image quality are preferred. In view of radiation dose resulted from the incident X-rays, fewer measurements with sufficient signal-to-noise ratio (SNR) are always anticipated. Available methods based on linear and compressive sensing algorithms cannot meet all the requirements simultaneously. In this paper, a method based a modified compressive sensing algorithm called CGDGI, is developed to solve the problem encountered in available XGI methods. Simulation and experiments demonstrated the practicability of CGDGI-based method for the efficient implementation of XGI. The image reconstruction time of sub-second implicates that the proposed method has the potential for real time XGI.

An efficient look up table based approximate adder for field programmable gate array

The approximate computing is an alternative computing approach which can lead to high-performance implementation of audio and image processing as well as deep learning applications. However, most of the available approximate adders have been designed using application specific integrated circuits (ASICs), and they would not result in an efficient implementation on field programmable gate arrays (FPGAs). In this paper, we have designed a new approximate adder customized for efficient implementation on FPGAs, and then it has been used to build the Gaussian filter. The experimental results of the implementation of Gaussian filter based on the proposed approximate adder on a Virtex-7 FPGA, indicated that the resource utilization has decreased by 20-51%, and the designed filter delay based on the modified design methodology for building approximate adders for FPGA-based systems (MDeMAS) adder has improved 10-35%, due to the obtained output quality.

RESONATOR-BASED METERING OF POWER COMPONENTS ACCORDING TO IEEE STANDARD 1459-2010

This paper proposes an accurate and computationally efficient implementation of the IEEE Std. 1459-2010 for power measurements. An implementation is based on digital resonators embedded in a feedback loop. In the first algorithm stage, the unknown signal harmonic parameters are estimated. By this, the voltage and current signals are processed independently on each other. In the second algorithm stage, the unknown power components are estimated (calculated) from based on estimated spectra. To demonstrate the performance of the developed algorithm, computer simulated data and laboratory testing records are processed. Simple LabView implementation, based on point-by-point processing feature, demonstrates techniques modest computation requirements and confirms that the proposed algorithm is suitable for real–time applications.