查询词典 program

Prior to watch a live program, Scroll also appear on the screen, the program group QQ.

之前看一个生活类节目，屏幕上还滚屏出现，该节目的QQ群。

You make the program write lines of text to a log file at various stages in the 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.

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。