VDM



abbr.
vasodepressor material 血管减压物质;vector-drawn map 按矢量绘制的地图;video disc machine(s) 视频磁盘机;
英英释义
VDM
VDM is a three-letter abbreviation with multiple meanings, as described below:
以上来源于:Wikipedia
权威例句
VDM: visual molecular dynamics.Proof in VDM: a practitioner's guide
VDMTools:advances in support for formal modeling in VDM
VDM++: a formal specification language for object-oriented designs
The IFAD VDM-SL toolbox:a practical approach to formal specifications
Systematic software development using VDM
Systematic Software Development using VDM, second edition
The overture initiative integrating tools for VDM
Modeling and validating distributed embedded real-time systems with VDM++
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
1. VDM? Vienna Development Method?
维也纳开发方法?。
youdao
2. VDM? Virtual Disk Manager?
虚拟磁盘管理器?。
youdao
3. The VDM Engine, the core of the VDM.
VDM引擎,它是 VDM的核心。
youdao
4. The VDM provides three deployment options.
VDM提供了三个部署选项。
youdao
5. As you can see, the VDM consists of three parts.
正如您所见,VDM包含三个部分。
youdao
6. All VTD files are stored in the VTDS folder of the VDM.
所有vtd文件都存储在VDM的vtds文件夹中。
youdao
7. To support this, three options of command vmdeploymgr.sh are provided which is the main application of the VDM.
为了支持这些选项,提供了vmdeploymgr . sh命令的三个选项,这是VDM的主要应用。
youdao
8. To register a VM to VM hypervisor server and start it, the VDM needs the support of some VM hypervisor utilities.
要在VM管理程序服务器中注册 VM并启动该 VM,VDM需要支持一些 VM 管理程序工具。
youdao
9. You can also list all the VM deployment tasks in the task list file and ask the VDM to process all the tasks in that list sequentially.
您还可以列出任务列表文件中的所有VM部署任务,并要求VDM 按顺序处理该列表中的所有任务。
youdao
10. Several modern technologies are used in the development and manufacture of VDM, which is successfully being used in traffic tolling system.
针对ITS应用中的主要特点和要求,VDM采取了一些相应的技术措施,该设备现已被成功地应用于交通收费系统中。
youdao
11. After cloning the source VM, VDM collects all configuration data, archives it into an ISO file, and then copies it to the target location of the cloned VM.
在复制源vm之后,VDM将收集所有配置数据,将其存档到ISO文件中,然后将该文件复制到复制的VM的目标位置中。
youdao
12. Through Extending Virtual Description Model, VDM web pages can support modular design, and bring forward relevant extended semantic tag format grammar.
对虚拟表示模型进行了扩展,使VDM页面能够灵活地支持模块化设计,并给出了相应扩充语义标记的形式文法。
youdao
13. Some methods for dividing continuous attributes in KDD (knowledge discovery in database) and a method based on VDM (value difference metric) are presented.
介绍了在数据库知识发现(KDD)中将连续属性离散化的一些方法,并提出使用值差分度量离散化的算法。
youdao
14. The VM configuration CD is a very important component of the automatic VM deployment solution because it contains both configuration data from the VDM and users.
VM配置CD是自动化VM部署解决方案的最重要组件,因为它包含来自VDM和用户的配置数据。
youdao
15. Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
youdao
16. Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发,及利用函数与操作的形式化规格说明来证明程序是正确的。
youdao
17. The CD is simulated by an ISO file generated by the VDM according to the VM deployment task and will be mounted to a virtual CD-ROM so it can hold far more data than a floppy disk.
该CD是由VDM所生成的ISO文件根据VM部署任务模拟的,并且将被装入虚拟光驱,这样它可以比软盘保存更多的数据。
youdao
18. VDM finds the corresponding VM template by going though the directory containing VTD files and cloning the VM template to the destination specified in the deployment task file.
VDM将浏览包含VTD文件的目录以查找相应的VM模板,并将VM模板复制到部署任务文件中指定的目标位置。
youdao
19. Listing 10 shows a sample task list file containing three vm deployment tasks, the last task (win2003vm2.task) will not be processed by the VDM because of having been commented out.
清单10显示了包含三项vm部署任务的样例任务列表文件,VDM将不处理最后一项任务(win20 03vm2 . task),因为该任务已被注释掉。
youdao
20. VDM modifies the hardware Settings of the cloned VM based on the configurations defined in VM deployment task file; it will create a CD-ROM device to mount the ISO file created in step 3.
VDM将根据VM部署任务文件中定义的配置修改已复制VM的硬件设置;它将创建一个CD - ROM设备以装入在第3步中创建的ISO文件。
youdao
21. Command option -d is used for this; if -d is given, the VDM will search all files with extension.task in a given folder then process these tasks. The following listing shows the sample command.
命令选项-d用于执行此操作;如果提供- d,VDM将在给定文件夹中搜索带有. task扩展名的所有文件,然后处理这些任务。
youdao
22. Command option -d is used for this; if -d is given, the VDM will search all files with extension.task in a given folder then process these tasks. The following listing shows the sample command.
命令选项-d用于执行此操作;如果提供- d,VDM将在给定文件夹中搜索带有. task扩展名的所有文件,然后处理这些任务。
youdao
VDM




