The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Marine Reclamation detection can realize the rational exploitation and effective utilization of coastal resources. Gaofen 3 (GF-3), as a new launched full polarimetric SAR satellite, can be applied into many fields of oceanic environment and marine sea-area use. In this paper, GF-3 SAR imagery are adopted for marine reclamation detection. Different kinds of reclamation in SAR imagery are analyzed...
In fact, in arid environment such as desert, dew plays an important role to some vegetation and ecosystem[1]. Dew can help the vegetation restore from excessive water loss state[2]. In addition, dew is an important water source for some microorganism[3], insects and small animals. In particular, the distribution of dew may influence on remotely sensed measurements[4] and remote sensing parameters...
In this paper, a collective neurodynamic optimization approach is proposed to blind source separation via tensor decomposition. Tensor decompositions have a lot of success in many fields, such as blind source separation, remote sensing image processing, text mining, linear regression, and feature extraction. However, decomposition process would cost much time and usually trap into the local minima...
Encapsulation is one of the basic characteristics of object-oriented programming. However, the access modifiers provided by common object-oriented languages do not help much because they only encapsulate the member references rather than the objects pointed to by them. Bad encapsulation makes object-oriented programs difficult to understand and reason about, thus concealing potential software vulnerabilities...
Modern software systems are becoming increasingly complex, relying on a lot of third-party library support. Library behaviors are hence an integral part of software behaviors. Analyzing them is as important as analyzing the software itself. However, analyzing libraries is highly challenging due to the lack of source code, implementation in different languages, and complex optimizations. We observe...
This paper proposes a way of using abstract interpretation for discovering properties about array contents in programs which manipulate arrays by sequential traversal. The method summarizes an array property as a universally quantified property. It directly treats invariant properties (including universally quantified formulas and atomic formulas) as abstract domains. Our method is sound and converges...
Precondition calculation is a fundamental program verification technique. Many previous works tried to solve this problem, but ended with limited capability due to loop statements. We conducted a survey on loops manipulating commonly-used data structures occurring in several real-world open-source programs, and found that about 80% of such loops iterate over elements of a data structure, indicating...
Nuclear power industry had a great development in China in recent years and the environmental problems, such as thermal plume, has caused wide public concern. Taking the Hongyanhe nuclear power plant as example, this paper computed and achieved the sea surface temperature distribution with MODIS, HJ-1B and Landsat-8 thermal infrared data separately. These data were imaged in same time phase but different...
How to quantify the response relationship between algal specific growth rate and marine environmental factors is the key to assess the hazard degree of red tide disasters. Firstly, a model for algal specific growth rate of Karenia mikimotoi based on the coupling effect of nutrient and temperature is established using laboratory algal culture data; secondly, the monthly hazard degree spatial distributions...
Mapping regional spatial patterns of coral reef geomorphology provides the primary information to understand the constructive processes in the reef ecosystem. The technique of remote sensing plays an increasingly important role in the protection and management of coral reef ecosystems. In this paper, an object-based image analysis (OBIA) method was presented to map intra-reef geomorphology of coral...
The reclamation in coastal areas has been playing an increasingly important role in expanding living space, which has aroused wild public concerns. With the increasing number of remote sensing images, the need to automatically achieve the precise coastline reflecting the status of reclamation has never been so urgent as it is now. While it is difficult to search the accurate coastline, because of...
To improve coastline automatic detection accuracy, a hybrid particle swarm optimization (HPSO) algorithm is proposed for Synthetic Aperture Radar (SAR) image segmentation based on the level set approach with distance regularized. Classic PSO algorithm loses its global optimization advantage when dealing with the large scale problem. After PSO global searching, neurodynamic optimization is combined...
In the case of III–V dilute magnetic semiconductors (DMSs), the holes from Mn doping are known to mediate the ferromagnetic interaction. We firstly demonstrated the organic molecular manipulation of the magnetism of (Ga,Mn)As. Mn-doped GaAs thin films with various thicknesses were grown by low-temperature molecular-beam epitaxy, and organic charge-transfer molecules were deposited on the surface of...
We firstly demonstrated the organic molecular manipulation of the magnetism of (Ga, Mn)As. Mn-doped GaAs thin films with various thicknesses were grown by low-temperature molecular-beam epitaxy (LT-MBE), and organic charge-transfer molecules were deposited on the surface of (Ga, Mn)As films by either solution-based self-assembly or vacuum thermal evaporation, which led to large carrier density modulation,...
The spin degree of freedom (DOF) of electrons was exploited for information processes such as magnetoresistive random-access memory and gave birth to the field of spintronics. Recently, the valley index, a new DOF, was discovered originated from an unbalanced carrier distribution in the momentum space in atomic membrane transition metal dichalcogenides (TMDCs), and optical valley excitation has been...
Coverage-based fault localization is a spectrum-based technique that identifies the executing program elements that correlate with failure. However, the effectiveness of coverage-based fault localization suffers from the effect of coincidental correctness which occurs when a fault is executed but no failure is detected. Coincidental correctness is prevalent and proved as a safety reducing factor for...
The technique presented in this paper concerns the problem of how to automatically obtaining the specification of the resulting set of reachable nodes, after destructive operations over the data structure. Our work has two main contributions. First, we represent the node sets by expressions at pre-states, which facilitates the process of proving complex formulas efficiently. Second, we propose an...
Since mirror-like odd and even features in face recognition reflect the symmetrical and asymmetrical image information, respectively, their proper combination can improve the recognition rates to some extent. However, the face imaging process can easily be affected by external factors and encounter the noise signal, which disturbs the effect of face recognition based on combinational mirror-like odd...
In this paper, a novel single-carrier digital broadcasting system applying LDPC codes in shortwave on the basis of the DRM system is designed. The system uses short LDPC codes to replace the multilevel coding in DRM, and is based on the single-carrier block transmission technology. Compared with the standard DRM systems, it has a simple process, a low requirement for the power amplifier and power...
Code review is a very important means to ensure the quality of code in practice. It has been widely used in industry since it was proposed. Nowadays code review is still mainly done by manual work in industry. However, increasing scale of the software challenges manual reviewing. So automating the code review process is highly desired. Design patterns are a set of summaries of code design experiences...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.