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