A5_1算法的概率模型分析