您要查找的是不是：
- Horn子句Horn clause
- horn函子hom functor
- Horn邏輯Horn logic
- 擴展Horn邏輯模型extended Horn logic model
- Horn集上的語(yǔ)義正單元歸結Semantically - Positive - Unit Resolution for Horn Sets
- 在最壞情況下Horn集上的單元反駁長(cháng)度The Lengths of Unit Refutations for Horn Sets in the Worst Case
- 基于模糊神經(jīng)網(wǎng)絡(luò )的Horn集上的輸入歸結Input Resolution on Horn Sets Based on Fuzzy Neural Networks
- 通過(guò)代數運算減輕了horn算法中全局約束對運動(dòng)邊界的影響。The harmful effect on the motion edge by global smoothness constraint in Horn algorithm is weakened by algebraic operation.
- 方法:以Cattell-Horn-Carroll理論作為編制量表的基本理論框架,量表由3個(gè)分量表12個(gè)分測驗組成。Methods: The ISCA had been constructed based on Cattell-Horn-Carroll theory,including three subscales and 12 subtests.
- Horn公式到MU(1)公式的擴張問(wèn)題可在多項式時(shí)間內解決,但對一般CNF公式F的擴張問(wèn)題,至今尚未解決。It is known that the problem of extending a Horn formula into a MU(1) formula is solvable in polynomial time. But for a general satisfiable CNF formula F,the extension problem is still open.
- 按霍恩氏 (Horn)法 4個(gè)染毒劑量分組 ,每組 5只 ,組距 2 15倍設計劑量系列 ,采用靜式呼吸道吸入實(shí)驗 ,用氣相色譜儀對染毒柜內化合物濃度進(jìn)行測定。Horn method was used to separate four toxicity doses groups, 5 mice in each, dose series was 2 15 times group distance. The static aspiration test was used to detect the doses of compounds in a toxin testing cabinet by HPLC.
