Abstract This study explores the capability of Gravity Recovery and Climate Experiment (GRACE) to detect heterogeneous groundwater storage (GWS) variations in two subregions North China Plain: Piedmont Plain (PP, ~54,000 km 2 , mainly exploiting shallow groundwater) East Central (ECP, ~86,000 deep groundwater). Results show that GWS anomalies estimated from GRACE data (2003–2013) agree well with those situ observations (2005–2010) for both PP ( R = 0.91) ECP 0.75). The declines faster (−46.5...

The North China Plain (NCP) has been suffering from groundwater storage (GWS) depletion and land subsidence for a long period. This paper collects data on GWS changes in situ groundwater-level measurements, literature, satellite observations to provide an overview of the evolution aquifer system during 1971–2015 with focus sub-regional variations. It is found that showed prolonged declining rate −17.8 ± 0.1 mm/yr 1971–2015, negative correlation abstraction before year ~2000 positive after...

Abstract Regional evapotranspiration (ET) can be enhanced by human activities such as irrigation or reservoir impoundment. Here the potential of using Gravity Recovery and Climate Experiment (GRACE) terrestrial water storage data in budget calculations to detect human‐induced ET change is investigated over Haihe River basin China. Comparison between GRACE‐based monthly estimate (2005–2012) Global Land Data Assimilation System (GLDAS)‐modeled indicates that due intensive groundwater from...

Numerical simulation is an important method used in studying the evolution mechanisms of lake water quality. At same time, quality inversion technology using characteristics spatial optical continuity data from remote sensing satellites constantly improving. It is, however, a research hotspot to combine and temporal advantages both methods, order develop accurate prediction for This paper takes Donghu Lake Wuhan as its area. The monitoring information was construct multi-source nonlinear...

Precipitation and groundwater are critical components of the hydrological cycle. Understanding their variations response relationship is vital for water resource management, ecological protection, flood risk assessment. To explore spatiotemporal patterns relationships precipitation levels in North Shandong Plain, this study analyzed data from 2012 to 2023, including records level various aquifers. Using trend analysis, Independent Component Analysis (ICA), Cross Wavelet Transform (XWT),...

The model-based approach has been widely applied to the design of software. However, most these approaches depend on simulation and manual code implementation, which reduces efficiency quality In this paper, we present a new approach, automatically generates executable C++ running popular Robot Operation System (ROS). Our consists three phases: modeling, verification, automatic generation. modeling phase, internal interaction behaviors robot systems are modeled as network timed automata....

The northeastern China is an important commodity grain region in China, as well a notable corn belt and major soybean producing area. It thus plays significant role the national food security system. However, large-scale land reclamation non-optimum farming practices give rise to soil degradation region. This study analyzed issues coupled with global climate change during 1980–2000, which period of modern agriculture. results statistical data show that arable area shrank markedly 1992, then...

Accurate remote-sensed precipitation data are crucial to the effective monitoring and analysis of floods climate change. The Global Precipitation Measurement (GPM) satellite product offers new options for global study precipitation. This paper evaluates applicability GPM IMERG products at different time resolutions in comparison ground-measured data. Based on from 107 meteorological stations Beijing-Tianjin-Hebei region, were analysed three timescales: half-hourly (GPM-HH), daily (GPM-D),...

In wireless sensor networks, the power resource of each node is limited. Minimizing energy dissipation and maximizing network lifetime are important issues in design routing protocols for networks. this paper, Cluster protocol LEACH (Low-Energy Adaptive Clustering Hierarchy) research improved. We extend stochastic cluster-head selection algorithm via changing round time According to situation network. It named Variable-round LEACH. The result simulated NS2 shows that significantly reduced...

Motion planning is an important problem with many applications in robotics. In this paper, we focus on motion rectangular obstacles parallel to the X, Y or Z axis. We formulate using Satisfiability Modulo Theories (SMT) and use SMT solvers find a feasible path from source goal. Our formulation decompose robotic into N segments where two ends of each segment can be constrained difference logic. approach will solution if only exists for given constraints. present extensive experimental results...

Mangrove forests are ecological communities growing in the intertidal zone of tropical and subtropical coastlines.Due to their high productivity, mangrove essential persistence biodiversity along coastlines have carbon sequestration ability.In this article we review aspects monitoring using recent multi-source remote sensing data.First, reviewed studies on dynamics.By integrating object-based pixel-based classification, spatial resolution images were used classify different species.Landsat...

Based on Landsat-TM images, the flood disaster area was identified by Spectrum-photometric Method during Pakistan 2010 extra-large floods in this paper. According to different period's images of pre-disaster and in-disaster, bodies' range extracted. On basis, loss assessment including disastrous area, affected population, farmland (land use information), made most provinces-Sind Punjab. It provided an effective method for decision-support fighting providing relief.

Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification a rough task. Good model should be faithful and concise. At one hand, the must consistent with at other have suitable scale because state explosion problem verification. This paper proposes systemic method construction model. architecture features are modeled as components. universal all applications. We give automatic translation software based on operational semantics....

Eutrophication is considered to be a significant threat estuaries and coastal waters. Various localized studies on the world’s oceans have recognized confirmed that Forel-Ule Color Index (FUI) or optical measurements are proportional several water quality variables based relatively clear Chl-a-based However, application potential of FUI in turbid estuary with complex optics has not been explored. In this study, we selected waters northern Liaodong Bay as study area, using field hyperspectral...

In Beijing, Wetlands have been playing a crucial role in conserving municipal freshwater and retaining biodiversity. The classification system of Beijing wetland has set up. interpretation keys six main types including River, Reservoir, City Lake, Artificial Canal, Pound Paddy Field, were built up using TM/ETM+ multi-spectral pseudo-color composition images as the data source. modern information technology such RS, GIS GPS is combined with field investigation for further analysis to obtain...

With the development of remote sensing and geographical information system technologies, they are being applied to every periods flood disaster monitor evaluation more more. In aspect data acquisition, China is preparing for launch small satellite constellation environment disaster. Currently, it principal problem that design develop an integrative application platform emergency response, fast loss salvation decision-making support based on existing data, software methodologies. At same...

The robot has attracted much attention to anticipate improved quality of human life. Real-time obstacle avoidance is one hot spots the research. Runtime verification a real-time and lightweight technology verify properties in many fields. In this case study, we use JavaMOP, runtime tool implementations' correctness safety strategies for avoiding collision as complement design. design can be classified pre-contact strategy post-contact strategy. former avoid obstacles latter reduce physical...