atp合成の素過程は、以下のようなモデルが提唱されている。