The problem of finding the optimal timing of audit activities within an organisation has been addressed by many researchers. We propose a stochastic programming formulation with Mixed Integer Linear Programming (MILP) and Constraint Programming (CP) certainty-equivalent models. In experiments neither approach dominates the other. However, the CP approach is orders of magnitude faster for large ...

Thick carbonate rocks were developed in the depression of the Tarim craton during the Cambrian-Middle Ordovician periods. The compressional tectonic movement during the Middle Caledonian-Hercynian created the paleouplifts, which became the base for the paleokarst in the Ordovician carbonate rocks. Based on the large quantity of seismic, drilling, and geological outcrop data, this study analyzed...

The desert-oasis ecotone, as a crucial natural barrier, maintains the stability of oasis agricultural production and protects habitat security. This paper investigates dynamic evolution ecotone in Tarim River Basin predicts near-future land-use change using cellular automata–Markov (CA-Markov) model. Results indicate that overall area shows shrinking trend (from 67,642 km2 1990 to 46,613 2015) ...

Fractional Vegetation Cover (FVC) is an important indicator to evaluate the quality of regional ecological environment. Alar City a typical desert oasis region. Investigating spatial and temporal changes in its vegetation cover at different stages guide balance sustainable green development Tarim River basin. Based on Google Earth Engine (GEE) cloud platform, this study analyzed characteristics...

Abstract Glacierised river catchments are highly sensitive to climate change, while large populations may depend on their water resources. The irrigation agriculture and the communities along Tarim River, NW China, strongly discharge from glacierised surrounding Taklamakan Desert. While recent increasing has been beneficial for agricultural sector, future runoff under change is uncertain. We as...