vdm是什么意思 vdm在线中文翻译

VDM

VDM 词典解释

形容词维也纳定义方法

VDM 双语例句

  1. Averaged VDM value is 7.59±0.10×10〓Am〓, which is basically same as present day VDM. Combined with published paleointensity data, we discussed possible correlation between the magnetic field variation and earth dynamic processs.
    结合已有的全球地球磁场古强度数据,重点探讨地质历史时期地球磁场变化的地球内部可能控制因素及地球动力学意义。
  2. Those equipments which accept the VDM sentence format will show the AIS data on the display.
    这些设备的接收VDM的信息格式将显示在显示器上AIS的数据。
  3. Based on the two kinds of synchronization mechanisms in VDM++, a synchronization model, guard trace structure is presented in this paper to be applied to a wide-spectrum concurrent object-oriented specification language.
    基于并发面向对象规约语言VDM++的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构。
  4. VDM? Varian Data Machines?
    瓦里安数据机〖核子〗?
  5. VDM is meant to be a systematic approach to the development of large computer software system. This paper discusses its four key points, formal specification, staged implementation based on transformation, justification and abstraction prin -'
    VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。
  6. Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
    然后通过一个应用实例来说明如何利用VDM技术进行软件开发,及利用函数与操作的形式化规格说明来证明程序是正确的。
  7. Nickel-Chromium-Molybdenum alloys are Nickel based alloys, mainly including Hastelloy C series alloys. This kind of alloys also includes Haynes 625, Inconel 686, VDM 59 and others.
    Ni-Cr-Mo合金是以HastelloyC系列合金为主的镍基合金,这类合金还包括Haynes625、Inconel686、VDM59等。
  8. There is still the question of communication across European borders, though Ralf Schmitz of the VDM reckons his bush telegraph will alert traders in German-speaking countries to a new heist within an hour of its discovery.
    欧洲各边境间的沟通依旧是个问题,尽管vdm的拉尔夫施密茨认为,协会可以在新盗窃案案发一小时内,通知德语国家的交易商们提高警惕,这或许可以实现。
  9. A new CD-ROM will be created for the cloned VM to mount the VM configuration CD and the VDM will search the IDE buses (first, then SCSI buses) of the VM to find an idle bus for the CD-ROM.
    将为已复制的VM创建一个新CD-ROM以装入VM配置CD,并且VDM将搜索VM的IDE总线(先搜索IDE总线,再搜索SCSI总线)以为CD-ROM查找一个空闲总线。
  10. 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按顺序处理该列表中的所有任务。
  11. The paper proposeds one development method based on RUP and VDM + +. An experiment on one tally software system also been done and the experimental result proves that this method is feasible and effective.
    该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
  12. Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.
    VDM++中的同步机制相比,不仅吸收了VDM++中两种同步机制的优点,同时也将其两种同步机制化归在统一的框架之下,减轻了用户的负担。
  13. 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模板复制到部署任务文件中指定的目标位置。
  14. Every set of the VDM equipment has unique IP address in the local area network, which can be recognized and parallel controlled by the computer.
    每台VDM在局域网中都有独立的IP地址,实现了VDM设备的地址识别与联网控制。
  15. All VTD files are stored in the vtds folder of the VDM.
    所有VTD文件都存储在VDM的vtds文件夹中。
  16. The VDM provides three deployment options
    VDM提供了三个部署选项
  17. However, to register and start the new VM, the server installed VDM should have some VM hypervisor utilities installed.
    但是,要注册并启动新VM,安装了VDM的服务器应当安装一些VM管理程序工具。
  18. 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和用户的配置数据。
  19. 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管理程序工具。
  20. When deploying, the network configuration information will be collected by VDM and will be saved to the VM configuration ISO file so the information can be accessed when the VM starts.
    在部署时,网络配置信息将由VDM来收集,并被保存到VM配置ISO文件中,以便在VM启动时可以访问这些信息。

VDM

中文翻译
1
[计] 虚拟DOS机
2
[医] 血管舒张物质