RNA 転写伸張のmechano-chemicalパスウェーを確率プロセス計算の一種であるrule based kappa 計算のsyntaxとsemanticsの両側面から分析した。離散確率モデルを伸張複合体のκ記述から導かれる化学マスター方程式によって構成し、定常状態の分析を詳細釣り合いをチェックするアルゴリズムを用いて行った。特にモデル抽象化と準定常状態近似の随伴性を示した。さらにこのパスウェーとMichaelis-Menten酵素反応との関連を介し自由エネルギーに基づく伸張の意味を与えた。
|