查询词典 doctoral program

This means that each program which uses a static library includes some or all of the library in the program binary on disk.

这表示每个程序如果用到静态库的话，它就包含了部分或者全部的库到程序二进制文件里面。

Longjmp is a library routine that causes the non-local control flow in C programs. It damages the structure of C program and some common dataflow analysis techniques cannot work effectively on the program segments containing longjmp.

longjmp是C语言中实现非局部跳转的库函数调用，它破坏了程序的结构性，并使常见的数据流分析技术无法在包含longjmp的程序段上有效地进行。

Announcement " the unit place that emphasizes service of program of Internet seeing and hearing sows a program to should have corresponding copyright, the drama of movie and TV of transmission must accord with the concerned regulation of management of broadcast film TV, obtain service of broadcast movie and TV to issue lawfully " electric film is fair mirror licence "" teleplay issues license " or " TV cartoon issues license ", otherwise uniform must not travel on Internet," announcement once promulgate the trend of future of network video industry,become the central issue that for numerous course of study wife person pays close attention to once more.

通知》强调互联网视听节目服务的单位所播节目应具有相应版权，传播的影视剧必须符合广播电影电视管理的有关规定，依法取得广播影视行政部门颁发的《电影片公映许可证》《电视剧发行许可证》或《电视动画片发行许可证》，否则一律不得在互联网上传播，《通知》一经颁布网络视频行业未来的走向便再度成为了众多业内人士关注的焦点。

5"Program" means the program which constitute the control system of System provided by Licensor under the Purchase Contract.1?

5"程序"是指构成接受方购买的系统的控制系统的程序。1？

Network live television program, is a good network of online TV program, I hope everyone can bring happiness!

网络电视直播程序，是一款不错的网络在线电视程序，希望能给大家带来快乐！

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.

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

However it can often be frust ating for a child when people are unable to pronounce their name.

但它往往可以令人沮丧的一个孩子当人们无法断言他们的名字。

All these compounds were obtained from this genus for the first time. Compound, 4-cumylphenol, was a new nature product.

所有化合物均为首次从本属海藻中分离得到，其中4cumylphenol为新天然产物。