在可靠性设计中，离散型随机变量的分布函数是