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: : 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: This paper describes the design of horizontal continuous casting machine hydraulic system, including the design note of power stations and some of the operative part.
摘要：本文主要讲述了水平连铸机液压系统的设计，其中包括动力站部分和各执行部分的设计说明。
Abstract: Designed a one-mode two-cavity injection mold through the analysis of the handle of washing machine.
摘要：通过对塑料洗衣机把手工艺的分析，设计了一副一模两腔的注塑模具。
Abstract: Existing washing machine, the most common for top loading washing machine and front loading washing machine.
摘要：现有的洗衣机中最为常见的为波轮式洗衣机和滚筒式洗衣机。
Abstract: theory of multilevel machine code is a new theory of Chinese information-handle which has great prospect with its special advantages.
文摘：多级内码理论是一种新型的汉字处理理论，其独特的优点使其具有广阔的发展前景。
Abstract: This paper introduces and researches the application of inverterHOLIP in spindle-speedcontrol of vertical shaft circular table plane grinding machine .
摘 要：本文着重介绍了海利普 变频器在立轴圆台平面磨床主轴调速控制中的应用。
Abstract: This paper introduces and researches the application of inverterHOLIP in spindle-speedcontrol of vertical shaft circular table plane grinding machine .
摘 要：本文着重介绍了海利普 变频器在立轴圆台平面磨床主轴调速控制中的应用。
应用推荐