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的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理。
But fully automatic camera navigation algorithm is seldom seen, or not so perfect.
完全自动的摄像机导航算法目前还不多见,或者还不够完善。
This chemical and petroleum plant is completely automatic.
这个石油化工厂是完全自动化的。
Their motives, as will soon become apparent (ie as you will soon see), are completely selfish.
他们的动机很快就能看出, 完全是自私自利。
Their motives, as will soon become apparent, are completely selfish.
他们的动机很快就能看出, 完全是自私自利.
Wage-labour rests exclusively on competition between the laborers.
雇佣劳动完全是建立在工人的自相竞争之上的。
He became a success entirely by the sweat of his own brow.
他是完全靠自己的辛勤劳动取得成功的。
Under some circumstances, it may be impractical to make a station completely automatic.
在某些情况下,变电站完全自动化是做不到的。
"When the switch is closed, the operation of this electric water heater is automatic."
打开电源开关后,本电热水器的完全自动操作。
All connections to upstream and downstream processes are fully automated.
连接上游和下游的所有过程完全自动化。
Plate prebending for complete fracture based on automatic registration of fractured bone model
基于断骨模型自动配准的完全性骨折钢板预弯
The pony was coming along at his own pace and doing exactly as he pleased with the whole concern.
小马自由自在地向前走着,完全按照自己的意志动作。
She, however, was terribly upset for she saw at once what this meant, she was done for, finished!
她可动了心。 听到这个,她马上看清楚了自己的将来——完了! 什么全完了!
entire devotion to one's pursuit
完全献身于自己的事业
Her impulsive passion was a positive defect.
她的冲动的激情则完完全全是个缺点。
The events should be FULLY self sufficient and funded via registration fees.
该活动应该完全自给自足的并且是要透过注册费来提供资金。
It is humbug to pretend that this is not a motive, and a strong one. . .
不承认这是动机,是一种强烈的动机,完全是自欺欺人。
Other creatures were standing dead still in their tracks.
其它动物都在自己原来走着的地方完全不动地站着。
whether our personal liberties are as thorough and complete as they should be.
我们应有的人身自由是否完整、完全。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号