查询词典 executable form

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

Adopt ASP. NET 2003 is regarded as the developing instrument, the design of storehouse of the data follows 3 normal form :, have designed the coding schedule of goods and materials mainly, tombarthite product structure catalogue, basic information slip of the job centre, route form of the craft , project code of the expenses, journal ledger of the cost of goods, subsidiary ledger of the cost of goods, department's form, measurement unit form, the supplies inventory safeguards the counting type structure form, real expenses form, share the proportion form in power of kinetic energy, salary expenses share proportion form, amortization charge share proportion , maintain expenses share proportion , test expenses share proportion , main frame left menu tree form , material price list ,etc. data list

采用ASP 。NET 2003作为开发工具，数据库设计遵循第三范式，符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。，主要设计了物资编码表、稀土产品结构目录表、工作中心的基本情况表、工艺路线表、费用项目编码、产品成本总帐、产品成本明细帐、部门表、计量单位表、物料清单维护数型结构表、实际费用表、动能功率分摊比例表、工资费用分摊比例表、折旧费用分摊比例、维护费用分摊比例、化验费用分摊比例、主框架左菜单树表、材料价格表等数据表。

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?

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

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，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

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.

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

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。