辽宁舰高清图片:请问cos(t)*exp(-t*t)在负无穷到正无穷上怎么积分?