查询词典 chained program

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

A macro instruction that causes the control program to create a new task and i ndicates the entry point in the program to be given control when the new task becomes active.

一条宏指令，它可以使控制程序建立一个新任务，并指出在新任务激活时控制程序中的入口点。

Another key program component is a new system for processing the light metal alloy Magnesium, which will be used for the construction of all structures of the Space Solar Power Satellite Program.

另一个关键的计划的组成部分是一个新的系统处理的轻金属镁合金，这将被用于建造所有结构的空间太阳能卫星计划。

To great degree using the screen,Delphi can couer the complication which is hidden behind the upper application program,which mahes developing most of windows program more simpler and interesting.

随着Windows操作系统的发展，Windows程序变得越来越复杂，应用程序的开发也变得困难起来。Delphi在很大程度上屏蔽了隐藏在上层应用程序背后的复杂性，使开发Windows程序变得简单和有趣。

1 The main program processes and algorithms Voice of the main clock in accordance with the modular design, all functions can be completed by calling the subroutine, main program relatively simple, see the process.

3.1 主程序流程及其算法语音时钟的主程序按照模块化设计，所有功能都可以通过调用子程序完成，主程序较简单，流程见图。

Students are required to command the main characters of the advanced language, know how to composite a program, and can composite, design and debug a program.

要求学生掌握高级语言的主要特征，懂得怎样编程序，能够编写，设计和调试程序。

The location of the program is not determined until the program is executed and may be anywhere in main memory.

程序的地址一直要到程序执行的时候才会分配，而且可能放在内存中任何地方。

Congenital malformation screening program is now an important part of public health program.

先天性疾病筛选是当前公共卫生项目中的一个重要部分。

Image manipulation program is responsible for further handle original image, withdraw out the importance information in it, the surplus throw away, get the satisfied image.3D reconstruction program is to resemble the facial look of sample surface according to the handled image in 3 dimensions space;This article mainly study the five matters as below:① Analysis, research and improve the electric circuit part of the STM hardware system, intelligentize some parts of hardware, and write the run software, do the cushion for hereafter the STM system completely intelligence.

本文主要研究如下五个方面内容：①针对STM硬件系统中电路部分进行分析研究和改进，对部分硬件实行智能化，编写运行软件，为以后STM系统的全面智能化做铺垫。

The use of any cheat program and/or map hack program.

使用作弊程序或地图骇客程序。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。