These define the nondeterministic aspects of the abstract machine.
由此定义了抽象机器的非确定性的方面。
Absrtact: The abstract machine is generally used to construct a software compiler.
摘要：抽象机通常用在软件程序编译器中。
The rules of transforming from UML state machine into B abstract machine are provided.
给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。
But in an application virtualization environment, the object code is interpreted within an abstract machine to provide the execution.
但是在一个应用程序虚拟化环境中，对象代码在一个抽象机器内经过解译，以便于执行。
An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。
The key advantage here is that the same object code can be executed on any hardware platform that supports the abstract machine (the interpreter).
这里的主要优势在于，可以在支持抽象机器(interpreter)的任何硬件平台上执行同样的对象代码。
For compilation, we design a target abstract machine-HSECD machine and discuss the structure, instruction, principle and optimization of HSECD machine in detail.
为实现编译目的，设计了一个目标抽象机hsecd机，详细讨论了HSECD机的结构、指令、工作原理和指令优化方法。
This paper discusses some problems about the combination of multiple knowledge representation paradigms, and describes the implementation of the abstract machine of the HEST.
本文讨论多种知识表示模式结合的一些问题，并设计了一个面向逻辑函数相结合的知识表示语言的抽象机。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
The state machine is not very well suited for describing business processes at the micro level; it is abstract.
状态机并不太适用于描述宏观层次的业务流程；它是抽象的。
It is easy to use Python to implement an abstract state machine in form as well as function.
在表单和函数中使用Python实现抽象状态机很容易。
According to the WSXL specification, a state machine is an abstract visualization of interaction flows — that is, of the order of interactions that would take place from one point to another.
根据WSXL规范，一个状态机就是交互流的一个抽象可视化—也即交互从一个点发生，再转到另一个点的顺序的抽象可视化。
The StateMachine class is really all you need for an abstract state machine.
statemachine类实际上正是抽象状态机所需要的。
Abstract: This paper analyzes the Chinese domestic and foreign vertical egg machine status, to design a new type mixer.
摘要：本文分析了中国国内外立式打蛋机的现状，设计出一新型立式打蛋机。
Abstract: in the machine tool, the power head is the core component of the machine, which is the direct reaction process performance.
摘要：机床中，动力头是机床的核心部件，直接反应着机床的加工性能。
The paper describes the compiler structure, abstract microcode machine, code generation of OCCAM and its designing principles.
本文叙述了并行程序设计语言occam的编译结构、抽象微码模型机、代码生成以及它的设计原则。
Abstract: : TBM(Tunnel Boring Machine) Cutting Tools Configuration is one of the most important factor during TBM cutting tool design.
摘罗要：盾构机刀具配置是盾构机刀具设计中是非常重要的内容。
The traditional research of the pick machine is abstract and not easy to be modified because of two-dimensional drawing.
摘锭是采棉机的主要工作部件，传统研究方法是以二维平面图来表示其结构，非常抽象且不便于修改。
Abstract: Recently, the problem of Class-imbalance has become a hotspot in machine learning and data mining.
摘要：最近在机器学习和数据挖掘上，非平衡类问题成为了一个研究热点。
Abstract: This article is designed to be used for cleaning cleaning machine in the corridor.
摘要：本文所设计的是用于走廊清扫的清扫机。
ABSTRACT the specifications and the principle and construction of high speed al plate blanking machine and its cutting tool are introduced and the technical and economic analysis are made.
[摘要]介绍了厚铝板高速下料机的主要技术规格、工作原理、结构特点及切削工具，并对其进行了技术经济分析。
Abstract: the correct analysis of small taro peeled machine, designed the the peeled devices.
摘要：通过对小型芋头去皮机的正确分析，设计了去皮装置。
FM3: the leader in Chinese abstract experimental electronic music scene, renowned for their amazing invention 'Buddha Machine'.
中国抽象实验电子乐的先锋人物，以唱佛机闻名世界；
Abstract: : This paper introduces working principles balancing machine and converter with balancing machine wiring diagram. it's positing add-subtract speed parametric and run mode of operation.
摘要：本文简要介绍平衡机工作原理及变频器与平衡机接线图，并论述加减速参数的设定及运行操作方式。
Abstract: : Servo drive products have been used abroad in the machine and CNC industry.
摘要：伺服驱动产品已经被广泛应用在机床行业，数控加工行业。
The software structure is made up of device driver, hardware abstract layer (HAL), visual machine (VM) and reading ZIF file.
其中软件体系结构包括：驱动程序、硬件抽象层、虚拟机、读取接口数据文件。
Abstract: YT-I type Mine automatic attendance system is composed of miner's lamp, mine attendance machine and ground computer attendance management system.
文摘：YT-I型煤矿考勤管理系统是由矿灯、用考勤机及地面微机考勤管理系统组成的煤矿考勤系统。
Abstract circuit board glue packer is a machine which can put the processed circuit board to special glue and then pour soak dry, it is a process after the circuit board is processed.
【摘要】线路板封胶机是对加工好的线路板浸泡特殊胶水然后淋干烘干的机器，是线路板做好后的工序。
Abstract circuit board glue packer is a machine which can put the processed circuit board to special glue and then pour soak dry, it is a process after the circuit board is processed.
【摘要】线路板封胶机是对加工好的线路板浸泡特殊胶水然后淋干烘干的机器，是线路板做好后的工序。
应用推荐