半个时间单位内的冷却模型

求解 $x'(t)=-2x(t)$ 且 $x(0)=10$，并计算 $x(\frac{1}{2})$。