命题“∀a∈R,函数y=π”是增函数的否定是( )
A:“∀a∈R,函数y=π”是减函数
B:“∀a∈R,函数y=π”不是增函数
C:“∃a∈R,函数y=π”不是增函数
D:“∃a∈R,函数y=π”是减函数
水稻是亚洲主要的粮食作物,病虫害防治是保障其高产稳产的重要措施。实时监测和预报水稻病虫害灾情所运用的地理信息技术是( )