In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.
在這后一種情況下，我們可以說，是不可滿足的功能，否則它是滿足的。
The probability of the event predicted can be given by Markov Model. The precision is satisfiable.
經(jīng)檢驗，兩模型可預測流域旱澇災害發(fā)生的時間及其概率，并具有較高的精度。
That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.
這說明所有的布局在水平軸方向上都產(chǎn)生一個清晰的，滿足的布局。