ackermann 中文意思是什麼
ackermann
解釋
n. 名詞 阿克曼〈姓氏〉。-
We discussed the method of state space design, and deduced the ackermann formulation. in the end, separation theory is adapted to the discrete system of the delta domain
文中討論了delta域內的狀態空間設計法:極點配置設計法及狀態觀測器設計法,推導了delta域內的ackermann公式,得出了分離定理同樣適用於delta域內的離散系統。 -
Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic
2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上,同時證明了演算法的正確性。
分享友人