查询词典 tracking 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.

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

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。