查询词典 counter-sign

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

It is view of our long-standing business relationship that we accept your counter offer.

考虑到我们的长期业务关系，我们接受你们的还盘。

IT IS IN VIEW OF OUR LONG-STANDING BUSINESS RELATIONSHIP THAT WE ACCEPT YOUR COUNTER OFFER.

只是鉴于双方长期的业务关系，我们才接受你方还盘。

The area around Pegasus and Horsa were successfully defended until they were eventually relieved, having repulsed numerous counter-attacks by the Germans, later on 6 June by Lord Lovat's 1 Special Service Brigade, followed later by elements of the British 3rd Infantry Division.

周围地区Pegasus和Horsa是成功卫冕，直到他们最终被解除后，击退了无数反击的德国人，后来在6月6日勋爵洛瓦特的1特别服务队，随后的内容，英国第3步兵师。

Automatic liquid scientillation counter was refitted into luminometer after machining a top lead cover of measuring chamber with a injection hole.

通过加工一个带有注射孔的测量室顶部铅盖，将自动液体闪烁计数器改装成一种发光分析仪。

They returned to the lunch counter with four black women.

他们回到了午餐4名黑人妇女计数器。

The next day more than sixty black students took every seat at the lunch counter.

第二天比60的黑人学生更发生在每个座位的午餐柜台。

For the first time in memory, lunch counter customers cannot depend on free onion slices with their hamburgers.

我平生第一次看到，吃简便午餐的人不能要求在他们的汉堡包上免费加上几片洋葱。

Then, there is the main sitting next to you at a lunch counter smoking a smelly cigar.

还有一种呢，他们在午餐时候的便餐馆坐在你旁边，抽着一根暴难闻的雪茄。

Henry's had been made over from a saloon into a lunch counter .

亨利开的小餐馆是由一片酒吧间改造的。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。