查询词典 executable

First confirmed your machine has been installed on VC6.0 versions, to build generating executable files, Suffix required to open the document called DSW, the system will default VC opened, then select Build menu under Set Active Configuration options Project Configuration options for Win32 Release. then compile the project, to be executable.

首先确认您的机器上已经安装了VC6.0以上版本，要编译生成可执行文件，需打开后缀名为dsw的文件，系统会默认用VC打开，然后选择Build菜单下的Set Active Configuration选项，选择Project Configuration为Win32 Release，然后编译项目，得到可执行文件。

First of all, make sure that your machine has been installed above VC6.0 to compile the executable file to generate the need to open the dsw file name suffix, the system will default to open with VC, and then select the Build menu, Set Active Configuration under the option, Project Configuration options for the Win32 Release, and then compile the project, the executable file.

首先确认您的机器上已经安装了VC6.0以上版本，要编译生成可执行文件，需打开后缀名为dsw的文件，系统会默认用VC打开，然后选择Build菜单下的Set Active Configuration选项，选择Project Configuration为Win32 Release，然后编译项目，得到可执行文件。

What if you have multiple executable files that you want to distribute using a single executable file?

如果你有多个可执行文件，你希望分发使用一个单一的可执行文件？

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可执行和可链接格式。

Portable Executable - a standard format for executable files and object files.

携带式可执行文件：可执行文件和对象文件的格式标准。

ELF file is the Executable and Linkable Format file contains the executable CPU code image to be stored in Block RAM as specified in the BMM file.

ELF文件是"可执行和可链接格式"文件，它包含存储在BMM文件中指定的块RAM的可执行CPU代码图。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

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网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

The service provider performs the following steps: receiving a request from a customer to establish communication with another customer; confirming the identity of each customer; transmitting to each customer executable code enabling encrypted communication therewith; obtaining from each customer information regarding the customer's computing environment; preparing a set of applications for use by each customer, in accordance with the customer information and the customer's request; transmitting the set of applications as executable code to each customer; establishing a communication path to each customer; and specifying the communication path to the customers, thereby permitting the customers to communicate over the path using those applications.

服务提供商执行以下步骤：接收从一个客户发出的与另一个客户建立通信的请求；确认各个客户的身份；向各个客户发送能实现加密通信的可执行代码；从各个客户处获得关于客户计算环境的信息；按照客户信息和客户请求，准备一组应用程序供各客户使用；把这组应用程序作为可执行代码发送给各客户；建立与各客户的通信通道；向客户说明通信通道，从而允许客户使用那些应用程序在该通道上进行通信。

A section in an executable's disk image that denotes how much uninitialised data the executable needs to run.

可执行文件磁盘映象的一个段，用来表示可执行文件初始的数据大小

Do you know, i need you to come back

你知道吗，我需要你回来

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

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