系统可靠性的简单度量是平均故障间隔时间(MTBF)，其计算公式是______；软件可用性是指在某个给定时间点上程序能够按照需求执行的概率，其定义为______。(MTTF: Mean Time To Failure; MTTR: Mean Time To Repair) 假定求浮点数平方根(FPSQR)的操作在某台机器上的一个基准测试程序中占总执行时间的20%，FP浮点运算指令所用时间占总执行时间的50%。采用两种优化FPSQR的方法，第一种方法是增加专门的FPSQR硬件，可以将FPSQR的操作速度提高为原来的10倍；第二种方法是提高所有FP运算指令的执行速度到原来的1.6倍，从而提高求浮点数平方根操作的速度。可以通过计算这两种方法对基准测试程序的加速比来比较这两种方法的优劣。以下叙述正确的是______。