A:¬p:∃x∈R,sinx≥1
B:¬p:∀x∈R,sinx≥1
C:¬p:∃x∈R,sinx>1
D:¬p:∀x∈R,sinx>1
将函数y=sinx,x∈R的图象上所有点的横坐标缩短为原来的一半,纵坐标不变,所得图象对应的函数解析式为( )