本論文では、多種類BGKモデルの瞬間方程式を陰的に解くための反復アプローチを提案している。この陰的解法は、個々の種類の温度に依存する非自明な衝突周波数を持つ多種類BGK (M-BGK)モデルのIMEX離散化の重要な構成要素である。時間ステップの軽微な制限の下で、反復法が縮小写像を生成することを証明している。また、陰的瞬間ソルバーを使ったIMEXスキームの数値シミュレーションも示している。