In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

The protocol proves strong by using the factual system and being verified by the BZL logic.

通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。

Immediately upon its receipt, Winston Churchill minuted41 to General Ismay, his principal staff officer:

温斯顿·丘吉尔一收到信，便给参谋长伊斯梅将军传达了一份备忘录：

Ismay was apparently ordering passengers of both sexes into the lifeboats, but as no one knew who he was, they ignored him.

Ismay显然是让所有的人都上船，但是，由于大家都不认得他，谁也没把他当回事。

Mr. Ismay, I would prefer not to push the engines until they've been properly run in.

伊士美先生，引擎是新的，先得让它们跑顺。

Well, I believe you may get your headlines, Mr. Ismay.

这下可以上头条了，伊士美先生。

Ismay: Freud? Who was he? Was he a passenger?

易思迈：弗洛伊德？他是谁？是船上的客人吗？

The rest of the conversation between the two men has not survived, but it is very likely that Ismay must have been shocked by the news.

没有人知道两个人接下来又谈了些什么。但是很可能伊斯梅一定被这个消息惊呆了。

Easy conditions of employment, overgenerous pensions and pay, insufficient emphasis on the risks ( operational and ethical) rather than the rewards of the job these are the corporate equivalent of the lifeboat Ismay stepped into.

宽松的就职条件、过分慷慨的养老金和薪资、过多地强调工作报酬而对风险不够重视（无论是经营风险还是道德风险），这些就相当于伊斯梅登上的救生艇。

designed her from the keel plates up.but the idea was Mr. Ismay's.

但这是伊士美先生的构思。

Before she entered politics, Ms. Roussel practised law in partnership with her husband, Yvon Lemay.

在从政前，她和丈夫Yvon Lemay是律师合伙人。

The wheelchair athlete Rick Hansen, the legendary ice-hockey player Wayne Gretzky, the skier Nancy Greene and the NBA star Steve Nash proceeded as planned, but LeMay Doan could only salute the crowd with her torch.

坐在轮椅上的运动员里克•汉森，传奇冰球运动员韦恩•格雷茨基，滑雪运动员南希•格林和NBA巨星史蒂夫•纳什都按计划继续点燃圣火，但勒梅•多恩就只能举着火炬向观众致意。

In Devil May Cry each weapon and move you get is visually cooler and better than the last, and each new weapon you get can do different and flashier stuff.

在鬼泣中，你得到的每一样武器或招式都比先前用过的更酷更好，并且每个新武器都会显现不同以及更炫的增益效果。

Microsoft even brought this up at its press conference at E3: We have Grand Theft Auto, Devil May Cry, and now Final Fantasy!

甚至在E3的新闻发布会上，微软就已经粗声大气了：我们有侠盗猎车手，鬼泣，现在我们又争得了最终幻想！

They shouldn't be allowed to get away with it.

不应就此放过他们。

Red wines should be allowed to 'breathe' if possible before drinking.

如果可能的话，在饮用红酒前应该先开瓶透透气。

As soon as relations improve they will be allowed to go

一旦关系有所改善，他们就可以获准离开。

It is an intolerable situation and it can't be allowed to go on

这种情况忍无可忍，不能再任其继续下去了。

Players should be allowed to earn money from advertising

应该允许运动员拍广告挣钱。

I hold to my belief that people should be allowed to have private lives

我坚信应该允许人们拥有自己的私生活。

They will be allowed home

他们将获准回家。