形式化与逻辑化;不确定性;多种时空尺度;多维性