- 重点词汇
- intoprep.进入，到…里面;朝，向;撞上，碰上;到（一段时间的某一点）;成为;关于，涉及;〈数〉除，乘;（穿）上，（换）上;（说服某人）去做……;（分）成，（撕）成;（撞）上，（碰）上;到达;
- amabbr.（=amplitude modulation） <无>调频，调谐;
- to change变化;更改;变更
- uspron. 我们(we的宾格);（泛指包括自己在内的）人们
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- RMBabbr.Renminbi人民币（中国货币名称）;
- goingn.出行，离去;出发;行为;工作情况;
- dollarn.美元;一元纸[硬]币;金钱;财富;
- 相关例句
1、
2、
3、
4、
5、
6、
7、
8、
9、
10、
11、
12、
13、
14、
15、
并阐明了使用BZH－1中和缓蚀剂的作用原理和良好效果。
互联网摘选
16、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
互联网摘选
17、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
18、
温斯顿·丘吉尔一收到信，便给参谋长伊斯梅将军传达了一份备忘录：
互联网摘选
19、
Ismay显然是让所有的人都上船，但是，由于大家都不认得他，谁也没把他当回事。
互联网摘选
20、
Mr. Ismay, I would prefer not to push the engines until they've been properly run in.
伊士美先生，引擎是新的，先得让它们跑顺。
互联网摘选
