- 重点词汇
- ringsn.戒指( ring的名词复数 );打电话;铃声;特性;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在（某一天）;就在…之后;关于（事或人）;（身上）带着;为（某团体或组织）的一员;吃;（表示方向）在，向，对;在，接近（某地）;根据;以…支付;通过;与…相比
- finitely有限地;
- complexityn.复杂性;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- forconj.因为，由于;
- theoriesn.学说( theory的名词复数 );理论;原理;意见;
- modulesn.模块( module的名词复数 );单元;（宇宙飞船上各个独立的）舱;组件;
- ofprep. 关于;属于…的;由…制成;
- decidability可决定性，可判定性;
- andconj. 和，与;而且;于是，然后;因此;
- 相关例句
希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。
互联网摘选
The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
互联网摘选
在他的小说中，命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。
互联网摘选
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
互联网摘选
以此为基础利用调度可判定性条件，提出了基于遗传算法的异构多处理器多帧实时任务调度算法。
互联网摘选
The decidability of system M can thus be derived from the finite model property.
这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。
互联网摘选
And the same logic should apply to everyone, including foreigners or Americans.
这一逻辑同样可运用到每个人身上, 包括老外或老美.
互联网摘选
Dogs there barked as we passed, which quite frightened a fellow foreigner.
我们一路喧哗惹得村里的狗狂吠不停, 把同行的老外吓得不轻.
互联网摘选
And foreigners in China are also welcoming these high-quality products.
另外,在中国的老外也很喜欢这种高品质的有机食品.
互联网摘选
How I admire those who can talk with foreigners fluently and freely in English!
我真羡慕那些能够流利自如地用英语同“老外”交谈的同学!
无师自通 校园英语会话
Thus the learner is endowed with eight factors, and the Arahant with ten.
有学人具有八个要素, 阿罗汉具有十个要素.
互联网摘选
