状态概率公式