Research and Implementation of Semi-formal Verification Method for Godson 2's Functional Units

1、

A Petri Net Based Semi-formal Approach to Object-Oriented Development

一种基于Petri网的半形式化面向对象的开发方法

互联网摘选

2、

For semi-formal, daytime parties, you can just wear an appropriate short dress.

当你参加一个白天的半正式的派对时，你只要穿适宜的套装即可。

互联网摘选

3、

You can go semi-formal the rest of the evenings.

其它几晚你只要穿得半正式就行了。

互联网摘选

4、

How dare he bring disaster on the rest of the euro zone when it had so generously bailed out his scapegrace of a country?

当整个欧洲都在为他捅的娄子而慷慨解囊时，他却胆敢恩将仇报。

互联网摘选

5、

Poor George, only a year older than his scapegrace brother, looked sixty.

可怜的乔治才比他那放荡不羁的弟弟大一岁，却显得有六十岁了。

互联网摘选

6、

Study on Edible Lamellibranch in Changle Inshore and Their Sustainable Utilization marine bivalve that bores into rock or clay or wood by means of saw-like shells.

长乐沿海食用双壳贝类及其可持续利用的研究用它锯一样的壳在岩石、泥土或木头中钻洞的海生双壳类动物。

互联网摘选

7、

Wait one teensy-weensy minute and I'll put a band-aid on it.

等一下下，我给你粘个创可贴。

互联网摘选

8、

A thin crisp wafer made or flour and water with or without leavening and shortening; unsweetened or semisweet.

面粉和水做成的、发酵或不发酵、酥松或不酥松的薄脆饼干；未加糖或半甜。

互联网摘选

9、

Dark chocolate and semisweet chocolate chips rank third, with milk chocolate and chocolate syrup at the bottom of the list.

黑巧克力和半甜巧克力珠排第三，牛奶巧克力和巧克力糖浆排在名单的最末。

互联网摘选

10、

Semisweet golden-colored table or dessert wine from around Bordeaux in France; similar wine from California.

产自法国波尔多地区的微甜的金黄色的进餐酒或甜酒；加利福尼亚的类似的酒。

互联网摘选

11、

They owe aromatic, semisweet or sweet, the alcoholicity is not high;

它们都具有果味，半甜或很甜，酒精含量不高；

互联网摘选

12、

Dark sweet or semisweet dessert wine from Sicily.

意大利西西里岛产的一种微甜或半甜的葡萄酒。

互联网摘选

13、

Any of various semisweet cookies that the British serve with tea.

各种各样的半甜的小甜饼，英国人和茶一起使用。

互联网摘选

14、

Results of the computations show that on overline bridge a pressure pulse occurs while a train passes.

结果表明，高速列车通过时跨线天桥表面受到空气压力波的作用，压力系数的波动范围为－0.135～0.095。

互联网摘选

15、

In addition, a simplified geometric model for the overline bridge in cutting scenario is proposed.

此外，论文还提出了路堑场景横跨桥的简化几何模型。

互联网摘选

16、

Simulation of Pressure on Overline Bridge Due to High Speed Train Passage

高速列车作用在跨线天桥上风压力的数值模拟

互联网摘选

17、

The safe, reliability and economic operation lie on combustion system of boiler.

燃煤电厂的安全性、可靠性和经济性在很大程度上取决于锅炉燃烧系统.

互联网摘选

18、

They car jack a taxi and head to the power plant.

他们拦劫了一辆的士,向电厂开去.

互联网摘选

19、

He's wangled an extra week's holiday for himself.

他用计弄到了一星期的额外假期.

互联网摘选

20、

I wangled an invitation out of George.

我哄乔治给我发了请帖.

互联网摘选