- 重点词汇
- 相关例句
并阐明了使用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.
伊士美先生,引擎是新的,先得让它们跑顺。
互联网摘选
没有人知道两个人接下来又谈了些什么。但是很可能伊斯梅一定被这个消息惊呆了。
互联网摘选
宽松的就职条件、过分慷慨的养老金和薪资、过多地强调工作报酬而对风险不够重视(无论是经营风险还是道德风险),这些就相当于伊斯梅登上的救生艇。
互联网摘选
Before she entered politics, Ms. Roussel practised law in partnership with her husband, Yvon Lemay.
在从政前,她和丈夫Yvon Lemay是律师合伙人。
互联网摘选
坐在轮椅上的运动员里克•汉森,传奇冰球运动员韦恩•格雷茨基,滑雪运动员南希•格林和NBA巨星史蒂夫•纳什都按计划继续点燃圣火,但勒梅•多恩就只能举着火炬向观众致意。
互联网摘选
在鬼泣中,你得到的每一样武器或招式都比先前用过的更酷更好,并且每个新武器都会显现不同以及更炫的增益效果。
互联网摘选
甚至在E3的新闻发布会上,微软就已经粗声大气了:我们有侠盗猎车手,鬼泣,现在我们又争得了最终幻想!
互联网摘选
Red wines should be allowed to 'breathe' if possible before drinking.
如果可能的话,在饮用红酒前应该先开瓶透透气。
《柯林斯高阶英汉双解学习词典》
