SmartShadow Models and Methods for Pervasive Computing (Advanced Topics in Science and Technology in China)