查询词典 executable form

You can create compact publication in the form of an executable file that can be run on any computer.

能够以能够运行被于任何计算机的可执行文件的形式创建紧凑的出版物。

Compilation step in which multiple object files are put together to form an executable program.

一个编译步骤，此时多个目标文件放置在一起以形成可执行程序。

A workflow is a natural way to organize and run a set of work units, or activities, to form an executable representation of a work process.

工作流是一个自然的方法来组织和运行工作单位，或一系列活动，形成一个工作进程的可执行文件的代表性。

You may also choose not to allow users to link directly to any form of executable file or to insert javascript into forum messages or other user-generated content areas.

您也可以选择不要让用户直接链接到任何形式的可执行文件或插入到论坛的javascript讯息或其他用户生成内容领域。

The compiler lets us link object files together to form an executable.

编译器允许我们把目标文件链接在一起以形成可执行文件。

We then compile the C program to form an executable named write .

我们把这个 c 程序编译成可执行文件 write 。

Earlier, we defined a workflow as a way to organize and run a set of work units, or activities, to form an executable representation of a work process.

早些时候，我们定义为一种组织和运行工作单位，或活动设置工作流程，形成一个工作进程的可执行文件的代表性。

Subject to the terms and conditions of this Agreement, Intel grants to You a non-exclusive, non-assignable, non-transferable, fully-paid up copyright license to copy the Software and distribute the Software, solely in executable form, with Your products that incorporate the Intel hardware product for which Intel has written the Software.

根据该条款，用户获得英特尔的许可是非独占的、非再许可的、非转让的，并且英特尔限制用户只能在Intel产品或包含了Intel相关产品的用户产品上，用户才能复制和发行该软件。在合同的其他条款中，英特尔也规定了不少限制条件。

The NT headers idea was abstracted form the Executable and Linkable Format of UNIX System, indeed the Portable Executable format is Sister to the Linux Executable and Linkable Format.

新台币头的想法是抽象形式的可执行和可链接格式，甚至可移植可执行文件格式姐妹到Linux可执行和可链接格式。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。