定积分 $\int_{0}^{\frac{\pi}{2}} \cos x dx =$ ______。