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)檢驗(yàn)，兩模型可預(yù)測流域旱澇災(zāi)害發(fā)生的時(shí)間及其概率，并具有較高的精度。

　　That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.

　　這說明所有的布局在水平軸方向上都產(chǎn)生一個(gè)清晰的，滿足的布局。