partial-order

常見(jiàn)例句

The authors updated clause searching method to first-order by partial instantiation method.
結(jié)合部分實(shí)例化方法將子句搜索方法提升至一階。
A condition of a one-order quasilinear partial differential equation of a traffic model forming unique shock wave is given end proved.
本文討論了一交通模型的一階擬線性偏微分方程激波產(chǎn)生唯一性的條件并給了嚴(yán)格的證明。
The two algorithms for concept learning efficiently complete the whole search through the hypothesis space based on a very useful structure: the general-to-specific partial order.
對(duì)于這兩種算法來(lái)說(shuō)，都是利用一般到特殊序的偏序結(jié)構(gòu)來(lái)完成整個(gè)搜索過(guò)程。