威廉斯公式定义