- Open Access
Aperture undersampling using compressive sensing for synthetic aperture stripmap imaging
© Leier and Zoubir; licensee Springer. 2014
- Received: 28 February 2014
- Accepted: 17 October 2014
- Published: 20 October 2014
Synthetic aperture imaging is a high-resolution imaging technique employed in radar and sonar applications, which construct a large aperture by constantly transmitting pulses while moving along a scene of interest. In order to avoid azimuth image ambiguities, spatial sampling requirements have to be fulfilled along the aperture trajectory. The latter, however, limits the maximum speed and, therefore, the coverage rate of the imaging system. This paper addresses the emerging field of compressive sensing for stripmap synthetic aperture imaging using transceiver as well as single-transmitter and multi-receiver systems so as to overcome the spatial Nyquist criterion. As a consequence, future imaging systems will be able to significantly reduce their mission time due to an increase in coverage rate. We demonstrate the capability of our proposed compressive sensing approach to at least double the maximum sensor speed based on synthetic data and real data examples. Simultaneously, azimuth image ambiguities are successfully suppressed. The real acoustical measurements are obtained by a small-scale ultrasonic synthetic aperture laboratory system.
- Compressive sensing
- Synthetic aperture radar
- Synthetic aperture sonar
- Stripmap mode
- Aperture undersampling
Synthetic aperture imaging[1, 2] is a technique to produce high-resolution reflectivity maps of a scene of interest, e.g., of the earth surface for reconnaissance missions or for glacier monitoring[4, 5] using synthetic aperture radar (SAR). While the resolution is almost identical to optical satellite images, SAR imaging is advantageous due to its weather-independent and daytime-independent deployment.
For imaging large areas in underwater applications, the use of optical sensors is inadequate given the attenuation of electromagnetic waves in water. Instead, synthetic aperture sonar (SAS)[7–9] systems are deployed to achieve highly improved coverage rates compared to normal side-scan sonars. In the context of SAS, mine hunting applications are of broad concern[10, 11]. The main synthetic aperture modes encompass spotlight and stripmap operation. While spotlight operation is typically favored over stripmap due to its improved resolution capabilities in SAR, the stripmap mode is commonly used in SAS.
The principle of synthetic aperture techniques is to synthesize a large aperture by constantly transmitting pulses (pings) using a single transceiver in SAR or a single-transmitter and multi-receiver configuration in SAS. The physical aperture is mounted to an imaging platform, which travels along a pre-determined rectilinear trajectory passed to the area of interest, the so-called along-track dimension. Given the limited beamwidth of the physical aperture, the synthetic aperture length dynamically adjusts itself proportional to the focusing range. Thus, a constant along-track resolution is ideally maintained for the entire scenery leading to high-resolution images[1, 2, 12].
However, for post-mission image reconstruction, the coherent processing of numerous consecutive echo signals is required, which have to be stored in memory during data collection. Hence, current synthetic aperture systems produce a remarkable amount of data during only a few hours of operation, which leads to issues with respect to data storage, data transportation, and data processing. Additionally, the advance per ping, i.e., the traveling distance of the imaging platform between two consecutive transmission times, is dictated by the spatial sampling theorem[1, 2]. Violation of this requirement leads to the occurrence of azimuth image ambiguities also called grating lobes or ghost targets in the reconstructed image. The latter may mask important image content such as objects or their shadows, which are lost beyond recall. Moreover, the advance per ping influences the coverage rate of the imaging system and hence determines the mission time. Consequently, alternative processing methods are of utmost interest so as to avoid the massive amount of data to be collected and simultaneously to suppress azimuth image ambiguities while reducing the mission time.
The emerging field of compressive sensing (CS) introduces a novel sampling framework[14, 15], which is able to lower the sampling rate significantly below the Nyquist rate if the captured signal has a sparse representation in some domain. For example, the image domain itself can be sparse considering a few man-made objects lying on the seafloor. Moreover, an incoherence criterion between the measurement and sparsity domain has to be fulfilled. Roughly speaking, the criterion states that the measurement and sparsity domain have to be highly uncorrelated so that CS can work. Feasible applications cover diverse areas. Among others, the CS framework has been successfully applied in the context of digital imaging, medical scanners, as well as in various radar and radar imaging applications[18–24], which will be briefly discussed subsequently to point out their difference to our proposed approach.
In, the need for a matched-filter operation is avoided using CS for focusing the echo signals in range direction and simultaneously reducing the sampling rate. While the use of a specially designed waveform, the Alltop sequence, is suggested in to design a high-resolution radar using CS, the author in chooses a stepped-frequency signal model. Then, CS is applied to reduce the recording time due to the sequential transmission of numerous mono-chromatic signals in the application of radar pulse compression. Similarly, a CS stepped-frequency approach is suggested in in the context of spotlight SAR to decrease the recording time and data storage requirements. Contrarily, the authors in[20–22] use the common linear frequency modulated (LFM) pulse sequence for CS-based SAR imaging using the spotlight mode. Promising results have been achieved using both synthetic data and real radar measurements. In[20, 21], the narrowband as well as the far-field assumption is applied, and thus, range migration[1, 12], which is of major concern in stripmap sonar imaging systems, is not taken into account. Especially, the assumption in of two separate 1-D processing steps is not feasible in near-field scenarios as typically given for SAS systems. The authors of motivate synthetic aperture undersampling in their CS framework to reduce data storage and to obtain wider swath width, again for a spotlight operation mode assuming the tomographic formulation[2, 25]. Interestingly, a randomized transmit scheme is used to lower azimuth ambiguities.
To the best of our knowledge, a general description on how to apply CS for stripmap synthetic aperture imaging is not addressed in the literature yet. In this paper, we use the linear system model of the received echo signals as provided in and link it to the CS framework. We demonstrate based on synthetic data as well as on real data measurements that by regularly undersampling the synthetic aperture, CS is capable of successfully suppressing the occurrence of azimuth image ambiguities. This allows that the area coverage rate as a key parameter is improved by increasing the speed of the imaging platform while maintaining the pulse repetition interval. We extend the proposed reconstruction scheme to be used with a single-transmitter and multi-receiver synthetic aperture system as commonly applied in SAS to relax sampling constraints in order to achieve useful coverage rates.
The remainder of the paper is organized as follows: Section 2 provides a brief overview of the signal model of stripmap synthetic aperture systems. Additionally, it addresses the vector-matrix notation of the introduced model, the spatial sampling requirements for the synthetic aperture, as well as the single-transmitter and multi-receiver extension. Section 3 outlines the conventional imaging technique and our proposed CS imaging technique. Moreover, we introduce undersampling schemes. Section 4 provides synthetic data results, and Section 5 shows real data results using our ultrasonic laboratory synthetic aperture system. Finally, we discuss the results in Section 6.
Here, θ0 is the beamwidth of the physical sensor and θd,p denotes the aspect angle between the d th target and the sensor location a p . Moreover, c denotes the speed of propagation of the wave in the respective medium, e.g., speed of light or sound in water or air, T s is the sampling rate, and s(n) characterizes the transmitted signal pulse form in discrete time. Typical radar and sonar systems use a LFM pulse for s(n) due to its properties w.r.t. range resolution and Doppler shift insensitivity during pulse compression.
where p is the discrete along-track ping index (slow time) of a total number of M p pings, i.e., number of rows, and M n is the number of range bins (fast time), i.e., number of columns.
2.1 Data model in matrix-vector notation
where ⌊·⌋ rounds towards the next smaller integer value. Since a total number of M n fast-time samples is recorded, the vector sd,p must be zero-padded with trailing zeros. Please note that the number of fast-time samples M n is related to the maximum range Rmax of the imaging system.
2.2 Sampling requirements
Spatially sampling a synthetic aperture is achieved by moving the imaging sensor by a distance ΔA between two consecutive pings as depicted in Figure1. As a consequence, there is a relation between the speed v, the advance per ping of the sensor ΔA, and the time interval between two pings TPRI, which is given by ΔA=v TPRI[1, 12].
Thus, the maximum advance per ping depends on the size of the physical aperture. Violating the condition in (15) yields azimuth image ambiguities, which affect the image quality and may be misinterpreted as real targets. Note that simply increasing the physical aperture D y to enlarge the maximum advance per ping Δ maxA contradicts with the along-track synthetic aperture resolution given by δ y =D y /2.
2.3 Multi-receiver sampling and data model
where and denote the Cartesian coordinates of the transmitter and the u th receiver location, respectively.
The objective of synthetic aperture imaging is to focus the received echo signals in range direction and along-track direction to obtain an estimate of the reflectivity of the target area. Typically, image reconstruction techniques can be classified into time-domain and frequency-domain approaches. In this paper, we concentrate on a classical time-domain approach known as time-domain correlation[1, 8, 26]. This technique correlates the echo data with the 2-D signature of the synthetic aperture for each grid point in the target scene. In the following, we provide a description of the time-domain correlation technique in vector-matrix notation and demonstrate that the inversion problem can be solved via CS.
3.1 Conventional focusing technique
to estimate the reflectivity of the target scene, where (·) H denotes the Hermitian. Here, denotes the stacked target scene, which has to be reshaped to obtain a presentable reconstructed image, i.e.,. Here, vec-1(·) denotes the reshape operation to obtain a matrix given a stacked vector. While this time-domain approach is not very efficient in terms of computational complexity, it does not use approximations to solve the inverse reconstruction problem; simultaneously, it facilitates the use of arbitrary path deviations. The latter is extremely important for motion compensation techniques such as micronavigation in synthetic aperture sonar[1, 8].
leads to the synthetic aperture image. Note that the occurring azimuth image ambiguities in the single receiver images are canceled out during coherent summation. In the following section, we show how CS reconstruction can be performed.
3.2 Focusing using compressive sensing
which can be solved using, e.g., the SpaRSA algorithm that is directly capable to deal with complex data. Here, Λcs represents the regularization parameter of the optimization problem. Again, the result of the reconstruction is a stacked vector, which has to be reshaped to obtain a presentable image of the target scene. As for conventional imaging, the focusing matrix G can by substituted by its single receiver counterpart G u in (25) to obtain the aliased single receiver image. Then, a coherent summation of the individual CS images, with u=1,…,Nrx, leads to the synthetic aperture image of a single-transmitter and multi-receiver system, similar to (22). Alternatively, the overall focusing matrix G could be constructed by stacking the individual receiver focusing matrices G u and solving the optimization problem of (25) using the complete data model. On the one hand, this may lead to better imaging results due to a more sparse content of the reconstructed scene. However, on the other hand, this approach increases the computational complexity due to a larger size of the stacked focusing matrix G. Thus, we trade-off computational complexity against imaging performance.
3.3 Area coverage rate and undersampling schemes
where Rmax=0.5 TPRI/c describes the relation between the maximum range and the pulse repetition interval in order to avoid range ambiguities. Hence, an increase in the advance per ping ΔA is either related to an increase in the pulse repetition time TPRI or in the platform speed v. However, a larger TPRI affects the maximum range, which is at the same time limited by the signal-to-noise ratio (SNR). Thus, given a maximum range Rmax of the imaging system, the area coverage rate Acr is solely determined by the speed v.
Figure3b shows additionally how the range direction is randomly undersampled by dropping fast-time samples with a pre-defined ratio ϱn, e.g., ϱn=0.25 in Figure3b. This scheme is an extension to the undersampling scheme of the along-track direction that additionally leads to storage capacity savings. However, compared to the first scheme, it requires some changes in the hardware of the data acquisition of the imaging system and a different notation for reducing the measurements than by basic matrix multiplication. Instead, we can consider an element-wise reduction operation in (24) depending on the binary value of the undersampling scheme as depicted in Figure3b. Subsequently, we apply the introduced schemes for CS reconstruction on synthetic data examples.
Synthetic aperture system parameters
Advance per ping
The occurrence of symmetric azimuth image ambiguities is obvious for Figure4b,c due to the regular undersampling. On the contrary, the CS method is capable to suppress the azimuth ambiguities in all three case. Moreover, there is no notable difference in the quality of the reconstruction of the individual point scatterers although the range undersampling ratio ϱ has been increased. The regularization parameter, which is a trade-off measure between data fidelity and sparsity, has been empirically chosen and set to Λcs=0.3∥(ΣG) H ecs∥ ∞ , where ∥·∥ ∞ denotes the maximum norm. This is similar to the heuristic used in. Note that choosing the regularization parameter is a common problem for sparse reconstruction, e.g., in direction-of-arrival estimation, and still under current research for imaging techniques.
where the functions Lu(·), Co(·), and St(·) describe the luminance, contrast, and structure measures between two image matrices, respectively. We refer to for more detailed information. For the SSIM measure, a value Ξ=1 means that both images are identical and Ξ=0 that there is no similarity. However, by assessing a sparse target scene, the homogeneous background influences the SSIM. This effect is reduced by downsizing the area under test to x∈[0.4,1.2] m in range and y∈[-0.6,0.6] m in along-track direction, where the latter boundary is determined by the occurrence of grating lobes in Figure4c. The average simulation outcome of SSIM values Ξ(κ,ζ) for varying undersampling factors, κ and ζ, is illustrated in Figure8b, where values smaller than Ξ(κ,ζ)<0.6 are clipped. Moreover, CS reconstructed images with a SSIM value of Ξ(κ,ζ)<0.7 are affected by undersampling the raw echo data. Consequently, relating the amount of discarded data in Figure8a with the SSIM as a performance measure for successful CS reconstruction in Figure8b, the simulation has shown a data reduction of up to 95%.
This section briefly describes the ultrasonic laboratory system used to record the real acoustical data before discussing the CS reconstruction results. The laboratory system is based on a single-transmitter and multi-receiver configuration, which is operated as a stripmap synthetic aperture system using ultrasound. It is similar to the system in.
Note that the mono-static model as outlined in the previous sections has to be replaced by a transmitter-receiver pair by using (17) instead of (2) with Nrx=1. The platform is moved along a metal rail by a motor with an approximate constant speed v as shown in Figure9b. The received signals are recorded using a National Instruments (NI) data acquisition card and are processed by a PC using MATLAB. The same system parameters as in Table1 are used for the laboratory system. Furthermore, a speed of v=0.05 m/s and a pulse repetition time of TPRI=0.12 s are set to meet the spatial sampling requirements as discussed in Section 2.2. The high oversampling rate is used due to discrete-time demodulation of the received echo signals. However, the discrete-time signals are then downsampled to meet the temporal Nyquist rate of the transmitted pulse. The imaging scene (Figure9c) consists of three ping-pong balls similarly placed as the point targets of the synthetic data examples.
5.1 CS image reconstruction results
Considering the reconstruction results using the proposed CS method, it becomes apparent that the azimuth image ambiguities can be successfully suppressed for the real data measurements and that the images show almost an identical quality (compare Figure11a with Figure11b). Hence, the platform speed can be doubled without any loss in image quality. For a higher speed (v=0.15 m/s), the CS reconstruction result starts to suffer from ambiguities. Also note that we have chosen a target scenario with closely spaced targets to keep the target strength variability small. Otherwise, the weaker targets might be suppressed by enforcing the sparsity of the scene. Moreover, the undersampling ratio is significantly smaller than for the synthetic data results but still twice as large as for proper Nyquist sampling.
In this paper, we have proposed a CS imaging technique for synthetic aperture systems operating in stripmap mode either using a transceiver or a single-transmitter and multi-receiver system to synthesize the aperture. The technique is based on the conventional time-domain correlation method. We have demonstrated its capability to suppress azimuth image ambiguities for synthetic data as well as for real acoustical measurements. Especially for synthetic data, a large data reduction has been achieved given the perfect match between the data model and the CS reconstruction model. On the contrary, significantly less undersampling has been feasible for the laboratory system most likely due to model mismatches between our target scene and the assumption of point targets. Nevertheless, we have been able to double the speed of the imaging platform while maintaining the image quality.
Currently, we are still facing open challenges that have to be solved before CS can be employed in a real non-laboratory system. In particular, this involves handling of target scenes consisting of heterogeneous target reflectivities as well as extended targets rather than point targets. While heterogenous target scenes may be addressed by an improved echo data modeling, the challenge of extended targets may be handled by choosing a different sparsity transform. Additionally, the echo data model should be adapted to mitigate the stop-and-hop assumption. Moreover, an automatic procedure for selecting the regularization parameter is necessary, and finally, a jittered pulsing scheme could be applied to randomize the undersampling in order to weaken the amplitude of azimuth image ambiguities.
This research work is part of a collaboration with ATLAS ELEKTRONIK GmbH in Bremen, Germany. The authors would like to thank Dr. J. Groen from ATLAS ELEKTRONIK GmbH for his valuable feedback on the paper and M. Leigsnering for all the fruitful discussions.
- Soumekh M: Synthetic Aperture Radar Signal Processing: with MATLAB Algorithms. Wiley & Sons, New York; 1999.MATHGoogle Scholar
- Jakowatz JC, Wahl DE, Eichel PH, Ghiglia DC, Thompson PA: Spotlight Mode Synthetic Aperture Radar: a Signal Processing Approach. Kluwer, Boston; 1996.View ArticleGoogle Scholar
- Soumekh M: Reconnaissance with slant plane circular SAR imaging. IEEE Trans. Image Process 1996, 5(8):1252-1265. 10.1109/83.506760View ArticleGoogle Scholar
- Rott H, Mätzler C: Possibilities and limits of synthetic aperture radar for snow and glacier surveying. Ann. Glaciology 1987, 9(1):195-199.Google Scholar
- Shi J, Dozier J, Rott H: Snow mapping in alpine regions with synthetic aperture radar. IEEE Trans. Geosci. Remote Sensing 1994, 32(1):152-158. 10.1109/36.285197View ArticleGoogle Scholar
- Boissin MB, Gleyzes A, Tinel C: The pléiades system and data distribution (Munich, 22–27 July). Proceedings IEEE International Geoscience and Remote Sensing Symposium. (IGARSS) 2012, 7098-7101.Google Scholar
- Gough PT, Hawkins D: A short history of synthetic aperture sonar, vol. 2 (Seattle, 6–10 July). Proceedings IEEE International Geoscience and Remote Sensing Symposium. (IGARSS) 1998, 618-620.Google Scholar
- Hayes MP, Gough PT: Synthetic aperture sonar: a review of current status. IEEE J. Oceanic Eng 2009, 34(3):207-224.View ArticleGoogle Scholar
- Chatillon J, Bouhier M-E, Zakharia ME: Synthetic aperture sonar for seabed imaging: relative merits of narrow-band and wide-band approached. IEEE J. Oceanic Eng 1992, 17(1):95-105. 10.1109/48.126958View ArticleGoogle Scholar
- Groen J, Coiras E, Del Rio Vera J, Evans B: Model-based sea mine classification with synthetic aperture sonar. IET Radar Sonar Navigation 2010, 4(1):62-73. 10.1049/iet-rsn.2009.0071View ArticleGoogle Scholar
- Fandos R, Zoubir AM, Siantidis K: Unified design of a feature-based ADAC system for mine hunting using synthetic aperture sonar. IEEE Trans. Geosci. Remote Sensing 2014, 52(5):2413-2426.View ArticleGoogle Scholar
- Richards MA: Fundamentals of Radar Signal Processing. McGraw-Hill, New York; 2005.Google Scholar
- Bhattacharya S, Blumensath T, Mulgrew B, Davies M: Synthetic aperture radar raw data encoding using compressed sensing (Rome, 26–30 May). Proceedings IEEE Radar Conf. (RADAR) 2008, 1-5.Google Scholar
- Donoho DL: Compressed sensing. IEEE Trans. Inform. Theory 2006, 52(4):1289-1306.MathSciNetView ArticleMATHGoogle Scholar
- Candès EJ, Romberg J, Tao T: Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information. IEEE Trans. Inform. Theory 2006, 52(2):489-509.MathSciNetView ArticleMATHGoogle Scholar
- Duarte MF, Davenport MA, Takhar D, Laska JN, Sun T, Kelly KF, Baraniuk RG: Single-pixel imaging via compressive sampling. IEEE Signal Process. Mag 2008, 25(2):83-91.View ArticleGoogle Scholar
- Lustig M, Donoho DL, Santos JM, Pauly JM: Compressed sensing MRI. IEEE Signal Process. Mag 2008, 25(2):72-82.View ArticleGoogle Scholar
- Baraniuk R, Steeghs P: Compressive radar imaging (Boston, 7–20 Apr). Proceedings IEEE Radar Conf. (RADAR) 2007, 128-133.Google Scholar
- Herman MA, Strohmer T: High-resolution radar via compressed sensing. IEEE Trans. Signal Process 2009, 57(6):2275-2284.MathSciNetView ArticleGoogle Scholar
- Stojanovic I, Karl W, Cetin M: Compressed sensing of mono-static and multi-static SAR (Orlando, 13–17 Apr). Proceedings SPIE Defense and Security Symposium, Algorithms for Synthetic Aperture Radar Imagery XVI 2009.Google Scholar
- Tello Alonso M, Lopez-Dekker P, Mallorqui JJ: A novel strategy for radar imaging based on compressive sensing. IEEE Trans. Geosci. Remote Sensing 2010, 12: 4285-4295.View ArticleGoogle Scholar
- Patel VM, Easley GR, Healy D, Chellappa R: Compressed synthetic aperture radar. IEEE J. Selected Topics Signal Process 2010, 4(2):244-254.View ArticleGoogle Scholar
- Ender JHG: On compressive sensing applied to radar. Signal Process 2010, 90(5):1402-1414. 10.1016/j.sigpro.2009.11.009View ArticleMATHGoogle Scholar
- Yang J, Thompson J, Huang X, Jin T, Zhou Z: Random-frequency SAR imaging based on compressed sensing. IEEE Trans. Geosci. Remote Sensing 2013, 51(2):983-994.View ArticleGoogle Scholar
- Carrara WG, Goodman RS, Majewski RM: Spotlight Synthetic Aperture Radar: Signal Processing Algorithms. Artech House, Boston; 1995.MATHGoogle Scholar
- Gunther J, West R, Crookston N, Moon T: Maximum likelihood synthetic aperture radar image formation for highly nonlinear flight tracks (Sedona, 4–7 Jan). Proceedings IEEE Digital Signal Processing Workshop and IEEE Signal Processing Education Workshop (DSP/SPE) 2011, 449-454.Google Scholar
- Van Trees HL: Detection, Estimation, and Modulation Theory, Optimum Array Processing. Wiley & Sons, New York; 2002.Google Scholar
- Candès EJ, Wakin MB: An introduction to compressive sampling. 2008, 25(2):21-30.Google Scholar
- Chen SS, Donoho DL, Saunders MA: Atomic decomposition by basis pursuit. SIAM Rev 2001, 43(1):129-159. 10.1137/S003614450037906XMathSciNetView ArticleMATHGoogle Scholar
- Wright SJ, Nowak RD, Figueiredo MAT: Sparse reconstruction by separable approximation. IEEE Trans. Signal Process 2009, 57(7):2479-2493.MathSciNetView ArticleGoogle Scholar
- Yoon Y-S, Amin MG: Compressed sensing technique for high-resolution radar imaging (Orlando, 16 Mar). Proceedings SPIE Signal Processing, Sensor Fusion, and Target Recognition XVII 2008.Google Scholar
- Baraniuk RG: Compressive sensing [lecture notes]. IEEE Signal Process. Mag 2007, 24(4):118-121.View ArticleGoogle Scholar
- Baraniuk R, Davenport M, DeVore R, Wakin M: A simple proof of the restricted isometry property for random matrices. Constr. Approximation 2008, 28(3):253-263. 10.1007/s00365-007-9003-xMathSciNetView ArticleMATHGoogle Scholar
- Figueiredo MA, Nowak RD, Wright SJ: Gradient projection for sparse reconstruction: application to compressed sensing and other inverse problems. IEEE J. Selected Topics Signal Process 2007, 1(4):586-597.View ArticleGoogle Scholar
- Panahi A, Viberg M: Maximum a posteriori based regularization parameter selection (Prague, 22–27 May). Proceedings IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2011, 2452-2455.Google Scholar
- Wang Z, Bovik AC, Sheikh HR, Simoncelli EP: Image quality assessment: from error visibility to structural similarity. IEEE Trans. Image Process 2004, 13(4):600-612. 10.1109/TIP.2003.819861View ArticleGoogle Scholar
- Vincent F, Mouton B, Chaumette E, Nouals C, Besson O: Synthetic aperture radar demonstration kit for signal processing education (Honolulu, 15–20 Apr). Proceedings IEEE International Conference on Acoustics, Speech and Signal Processing. (ICASSP) 2007, 709-712.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.