可执行程序

采用基于组件的软件体系结构求精方法，实现了CA认证系统从整体的抽象描述到具体的可执行程序之间的求精过程。

It realizes the refinement process of the CA attestation system from the whole abstract specification to executable program , adopting the component-based refinement method for software architecture .

改造后的模拟器将中间表示转换成本地C程序，并通过本地C编译器对其编译生成目标文件，然后将其与模拟器中的模拟库链接成可执行程序，从而实现了对SPM操作的模拟。

The modified simulator converts the IR into local C code and compiles it into object file with local compiler , then generates executable program by linking it with simulation library to simulate the application .

IBMi提供几种方式来在系统上运行可执行程序。

IBM I provides several means to run executable programs on the system .

可执行程序是PC机和Mac机文档中最普通的一种程序。

Executable programs are particularly common in archives of stuff for PCs and Macs .

server指向要运行的脚本或可执行程序，logtype指定更高的日志记录级别，这有助于解决服务中的任何问题。

Server points to the script or executable to run , while log_type specifies additional logging to help iron out any wrinkles in the service .

IBMToolboxforJava提供运行不同类型可执行程序的能力。

The IBM Toolbox for Java provides the ability to run these different types of executable programs .

注意：缺省的HP-UX内存架构使用SHAREMAGIC内核可执行程序。

Note : This default HP-UX memory architecture uses the SHARE_MAGIC kernel executable .

在基站的主控板卡上，用Flash芯片存储着可执行程序，对Flash的操作是基于TrueFFS这套文件系统的。

As the main control board of base station , it uses flash chip to store executable programs .

可执行程序自删除及其VC实现

Executable Program Self-Delete Using VC

下载并安装Ant，确保可执行程序位于系统路径中。

Download and install Ant , and make sure the executable program is on your system PATH .

Expect是一种可执行程序，从它正确地处理用Expect语言编写的输入的角度来看，它实现了这种语言。

Expect is an executable that implements that language in the sense that it correctly processes input written in the Expect language .

ROM中运行的第一个可执行程序，又称核心。

The first executable in the ROM to run , namely the kernel .

使用桌面快捷方式，或者打开LotusSametime可执行程序，以运行一个新实例。

Use your desktop shortcut , or open the Lotus Sametime executable to run a new instance .

通过API接口对外部可执行程序的直接调用，扩展了数据处理部分的功能，最大限度的利用已有的应用程序资源。

Through directly calling external executable software by API interface , expand the function of data process and take maximum use of available software .

利用MATLAB程序设计语言编制BP神经网络可执行程序，经过训练，得到稳定的神经网络。

A BP neural network execute program is compiled in MATLAB . After training , it leads to steady neural network , which is used in practical project prediction .

三种不同实现途径分别是：（1）VC++中直接调用MATLABC++数学图形函数库生成独立可执行程序；

There are three ways to realize this new method : ( 1 ) application of Matlab C + + math and graph library in VC + + environment ;

通过链接对象创建可执行程序以及共享的库和对象，这可能是把应用程序移植到AIX时最困难的一步。

Linking objects to create executables and shared libraries and objects is perhaps the most difficult aspect of porting applications to AIX .

应用PAR方法，可以给出从需求解的问题，到可执行程序的具体设计过程。

By using PAR method , it is possible to provide the detailed design process from problem specification to executable code .

在探讨客户端应用程序之前，要了解如何创建Flex应用程序，以及它们如何在FlashPlayer中作为可执行程序存在，这很重要。

Before approaching the client-side application , it is important to understand how Flex applications are created and how they exist as executables within Flash Player .

initrd映像中包含了支持Linux系统两阶段引导过程所需要的必要可执行程序和系统文件。

The initrd image contains the necessary executables and system files to support the second-stage boot of a Linux system .

因此，以Linux为主机操作系统，搭配一个交叉编译系统，为嵌入式设备生成可执行程序已成为现在日益流行的编译嵌入式软件的解决方案。

It seems to be a popular solution for embedded equipements to compile software on another system , which use Linux as an operating system with a cross-compiler built on .

调试版本的可执行程序和共享库包含在JDK中，但没有包含在JRE中。

Debug versions of executables and shared libraries included with JDK and not JRE .

BusyBox使用了符号链接以便使一个可执行程序看起来像很多程序一样。

BusyBox uses symbolic links to make one executable look like many .

客户机对象文件和客户机stub文件与RPC运行时库链接，生成客户机可执行程序。

The client object files along with the client stub file is linked with the RPC runtime library to generate the client executable .

LDPRELOAD环境变量使动态链接器在加载任何可执行程序之前，先加载给定的共享库的符号。

The LD_PRELOAD environment variable causes the dynamic linker to load the symbols of the given shared library before any executable it loads .

也许有或也许没有实际的可执行程序作为LCO简报的一部分。

There may or may not be actual executables as part of an LCO briefing .

这是一个特殊工具，可以将SPE程序转换成一个能被链接进PPE可执行程序的对象文件。

This is a special tool that converts SPE programs into an object file that can be linked into a PPE executable .

仿真实验表明，Garfield高层软件模型可以正确解释并执行ARM的可执行程序，具有时序精确度高，仿真速度快的优点。

Simulation experiments show Garfield software model can interpret and implement arm executable program correctly , with the advantages of accurate time sequence and high simulation speed .

基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模，通过错误转换给出错误影响程序PF；

Based on the corresponding state transition system of an XYZ / E executable program P , how to model its fault environment and obtain its fault affected program PF by fault transformation is illustrated .

位置无关可执行程序（PIE）含有位置无关代码，有点像动态库，因此启动时这些代码会被随机加载到一个地址上。

Position independent executables ( PIE ) contain position independent code similar to the shared libraries and therefore such executables get loaded at a randomly chosen address upon startup .