A5101513400- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Software Engineering Research
- Land Use and Ecosystem Services
- Coastal and Marine Management
- Software System Performance and Reliability
- Environmental Quality and Pollution
- Coastal wetland ecosystem dynamics
- Environmental Changes in China
- Advanced Malware Detection Techniques
- Real-time simulation and control systems
- Formal Methods in Verification
- Distributed systems and fault tolerance
- Marine and coastal ecosystems
- Advanced Graph Theory Research
- Advanced Software Engineering Methodologies
- Marine Bivalve and Aquaculture Studies
- Microbial Community Ecology and Physiology
- Wetland Management and Conservation
- graph theory and CDMA systems
- VLSI and Analog Circuit Testing
- Web Application Security Vulnerabilities
- Remote Sensing in Agriculture
- Graph Labeling and Dimension Problems
- Imbalanced Data Classification Techniques
Northwestern Polytechnical University
2015-2025
Shandong Normal University
2021-2025
Tiangong University
2024
Software (Spain)
2024
Nanchang Hangkong University
2023-2024
First Institute of Oceanography
2008-2023
Ministry of Natural Resources
2020-2023
Qingdao National Laboratory for Marine Science and Technology
2018-2020
Anhui Polytechnic University
2020
Ministry of Water Resources of the People's Republic of China
2020
A feature model specifies the sets of features that define valid products in a software product line. Recent work has considered problem choosing optimal from based on set user preferences, with this being represented as many-objective optimization problem. This been found to be difficult for purely search-based approach, leading classical algorithms enhanced either by adding seed or introducing additional mutation and replacement operators use an SAT solver. In article, we instead enhance...
With software’s increasing scale and complexity, software failure is inevitable. To date, although many kinds of fault localization methods have been proposed had respective achievements, they also limitations. In particular, for techniques based on machine learning, the models available in literatures are all shallow architecture algorithms. Having shortcomings like restricted ability to express complex functions under limited amount sample data generalization intricate problems, faults...
The large demand of mobile devices creates significant concerns about the quality applications (apps). Developers heavily rely on bug reports in issue tracking systems to reproduce failures (e.g., crashes). However, process crash reproduction is often manually done by developers, making resolution bugs inefficient, especially that are written natural language. To improve productivity developers resolving reports, this paper, we introduce a novel approach, called ReCDroid, can automatically...
Quantization plays a crucial role in deploying neural network models on resource-limited hardware. However, current quantization methods have issues like the large accuracy loss and poor generalization for complex tasks. These pose obstacles to practical application of deep learning language smart systems. The main problem is our limited understanding quantization’s effect accuracy, there also need more effective approaches evaluate performance quantized models. To address these concerns, we...
As one of the most threatening invasive alien species to mangroves in China, Spartina alterniflora (S. alterniflora) has broadly existed along Chinese tropical and subtropical coasts. Monitoring S. with remote sensing is urgent requisite for scientific plant control management. However, given spectral similarity between other wetland types, such as mud covered by algae optical image coverage gaps due cloud tidal inundation coastal areas, accurate timely mapping challenging. Using extended...
Understanding on the spatiotemporal interactions between ecosystem services (ESs) and social–ecological drivers is crucial for design of sustainable development strategies coastal wetlands. In this paper, we took Yellow River Delta (YRD) as a case study, based multiple evaluation methods to study dynamics ESs in YRD from 1980 2020. With help principal component analysis (PCA) identification drivers, researched differentiation influence mechanism ESs, using coupling coordination degree (CCD)...