[单选] 蜗杆导程的计算公式是（）。

基于规则的专家系统采用下列模块来建立产生式系统的模型（） 知识库。 工作存储器。 加密，解密设备。 推理机。 通过SET协议进行网上支付的过程需要的合法性验证包括（）。 收款要求。 用户。 商家。 定单。 付款要求。 革命并不是与宪制相对立的，而是对立于宪政。 白洋淀 《雷锋之歌》的作者是郭小川。 蜗杆导程的计算公式是（）。