《不相容知識庫中的推理研究》是依託吉林大學，由姜雲飛擔任項目負責人的面上項目。
基本介紹
- 中文名：不相容知識庫中的推理研究
- 項目類別：面上項目
- 項目負責人：姜雲飛
- 依託單位：吉林大學
- 批准號：69573011
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：1996-01-01 至 1998-12-31
- 支持經費：7（萬元）
項目摘要
課題組摒棄了國內外輪軌接觸計算中的其他假設，在只承認庫倫摩擦定律的前提下，按嚴格的三維彈性和彈塑性滾支磨擦接觸問題對輪軌系統建立模型，用有限元參數二次規劃法結合子結構技術編製程序，對國產內燃機車和電力機車同標準鋼軌的輪軌接觸問題，按不同的軸重、磨擦系統和驅動力矩進行了大量計算（約100種），證實了赫茲接觸理論的正確，得到了軸重、輪徑、磨擦系統和驅動力矩等參數變化對輪軌接觸法向力和縱向切力分布影響的一系列規律，特別是彈塑性計算時在國內外首次獲得了接觸斑內橢圓形粘著區在前、月牙形蠕滑區在後的輪軌接觸狀況分布的理想結果，這是國首次用有限元法計算輪軌接觸問題，而彈塑性接觸計算在國外文獻迄今尚未見報導。
