系统可靠性的简单度量是平均故障间隔时间(MTBF)，其计算公式是______；软件可用性是指在某个给定时间点上程序能够按照需求执行的概率，其定义为______。(MTTF: Mean Time To Failure; MTTR: Mean Time To Repair) 利用海明码校验方法在工程上可以有效地提高内存可靠性。若不加校验功能时，内存的可靠性为0.98，出错位数为1的概率为80%，当采用海明码校验，将内存出错1位加以纠正之后，内存的可靠性为______。