ackermann造句

• 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问题的满足性的判定上，同时证明了算法的正确性。