- 重点词汇
- workv.(使)工作,干活;从事…工作;用功;争取;管理;就职;研究;帮助;(使)运转/行;(使)奏效;起作用;
- uspron. 我们(we的宾格);(泛指包括自己在内的)人们
- made…制造的;制作…的;
- andconj. 和;与;而且;于是;然后
- happyadj.感到(或显得)快乐的,高兴的;给予(或带来)快乐的,使人高兴的,幸福的;表示祝愿,如Happy Birthday生日快乐、Happy New Year新年好等;(对某人或事物)满意的,放心的;情愿,乐意(做某事);幸运的;合适的,恰当的;<口>微醉的
- withprep. 具有;和;用;有;以;跟;同;带有;使用;和…在一起;借;与…对立;关于;包括;因为;由于;与…方向一致;由…持有;为…工作;虽然;作为…的成员,为…所雇用;具有,有,带有;在…身上,在…身边;由于,因;在…那里,在…看来
- ourpron.我们的,we的所有格形式;
- startv.开始;启动;创办;从…开始;
- 相关例句
并阐明了使用BZH-1中和缓蚀剂的作用原理和良好效果。
互联网摘选
为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型。
互联网摘选
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
温斯顿·丘吉尔一收到信,便给参谋长伊斯梅将军传达了一份备忘录:
互联网摘选
Ismay显然是让所有的人都上船,但是,由于大家都不认得他,谁也没把他当回事。
互联网摘选
Mr. Ismay, I would prefer not to push the engines until they've been properly run in.
伊士美先生,引擎是新的,先得让它们跑顺。
互联网摘选