1) fully enriched automata
完全强化自动机
1.
Based on the satisfiability reasoning algorithm of hybrid graded μ-calculus, the satisfiability reasoning algorithm of description logic μALCQO is presented using fully enriched automata.
基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理。
2) completely specified automaton
完全自动机
4) completely specified automata
完全确定自动机
5) automatization of bidding evaluation
完全自动化评标
6) incomplete finite automat(a)
不完全有限自动机
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条