In this report we give a formal definition of the sliding block puzzle Rush Hour and we report on the proof showing that Rush Hour is PSPACE-complete from “The nondeterministic constraint logic model of computation: Reductions and applications” by Hearn and Demaine (Proceedings ICALP 2002).

Highly accurate near-real-time satellite precipitation estimates (SPEs) are important for hydrological forecasting and disaster warning. The near-real quantitative (REGC) of the recently developed Chinese geostationary meteorological Fengyun 4A (FY4A) have advantage high spatial temporal resolution, but there errors uncertainties to some extent. In this paper, a self-adaptive ill-posed least sq...