不相容知识库中的推理研究

课题组摒弃了国内外轮轨接触计算中的其他假设，在只承认库伦摩擦定律的前提下，按严格的三维弹性和弹塑性滚支磨擦接触问题对轮轨系统建立模型，用有限元参数二次规划法结合子结构技术编制程序，对国产内燃机车和电力机车同标准钢轨的轮轨接触问题，按不同的轴重、磨擦系统和驱动力矩进行了大量计算（约100种），证实了赫兹接触理论的正确，得到了轴重、轮径、磨擦系统和驱动力矩等参数变化对轮轨接触法向力和纵向切力分布影响的一系列规律，特别是弹塑性计算时在国内外首次获得了接触斑内椭圆形粘着区在前、月牙形蠕滑区在后的轮轨接触状况分布的理想结果，这是国首次用有限元法计算轮轨接触问题，而弹塑性接触计算在国外文献迄今尚未见报导。