As you can see, the VDM consists of three parts

The VDM provides three deployment options

VDM提供了三个部署选项

VDM Algorithm in the Application of Data Mining

VDM算法在数据采掘中的应用

A Comparison of the differences between Z and VDM Specification Languages

Z和VDM规格说明的差异比较

Milk proteins, animal fats, vegetable oils , fish oils , lecithin, whey protein, FOS , taurine, trace-elements, vitamins.

牛奶蛋白 、 物脂肪 、 菜油 、 磷脂 、 清蛋白 、 果糖、磺酸 、 量元素 、 他命.

The restaurant has been refurbished — it was found to be a fire risk

这家餐馆已经重新整修了——之前发现存在火灾隐患。

Do you have any idea what it means to be poor?

你知不知道贫穷意味着什么？

You really need to be mobile if you live in the country.

如果你住在乡村，你确实要有一辆汽车。

The group was considered to be a risk to national security.

这伙人被认为是威胁国家安全的危险分子。

There's money to be made from tourism.

旅游业非常有利可图。

It's only human nature to be worried about change.

对变革有忧虑不过是人之常情。

They claim to be the party of law and order.

他们声称自己是重视治安问题的政党。

£ 50 should be enough to be going on with.

50英镑该够应付一时半会儿的了。

I find it difficult to be objective where he's concerned.

只要涉及他，我就难以做到保持客观。

A new order seems to be emerging.

新的秩序似乎正在显现。

It was a real struggle to be ready on time.

要按时做好准备确非易事。

We want this to be like a home, not an institution.

我们希望这里像个家，而不像收容所。

Students are required to be in school by 8.30.

学生须在8:30以前到校。

Many teachers would like to be more adventurous and creative.

许多教师愿意更加进取，更富创造性。

Life was never going to be so free and easy again.

生活绝不会再那样无拘无束了。

It is said that she lived to be over 100.

据说她活了100多岁。