查询词典 doctoral program

Mizzou has a grant program for international students. The Curator's Grant-in-Aid program is for those who get good grades and take part in university activities. Graduate students who receive a grant get nine free credits to take courses. Undergraduates receive between one thousand and five thousand dollars in support.

Mizzou 提供一项针对留学生的补助金计划，这项管理者补助金计划是专门针对那些成绩优良并且积极参与大学活动的留学生，接受这项补助金的研究生将获得 9 分的免费选修课程，而本科生将获得 1000 至 1500 美元的直接经济资助。

Next day, at the same time, the same PROGRAM sounded in my phone, only replaced by "umbrella" this time. I began to alert, this should not be a grogram, but a quiz game or something like that. I immediately called the friend and asked what program is he doing, since no one take part in, so make me a scapegoat, whether will I have reward if answered correctly.

第二天，同样的时间段，同样的"节目"又在我的电话里响起，只是这次换成了"雨伞"，我开始警觉，这应该不是一个节目，而是个竞猜的游戏之类的东西，马上致电给我那朋友，问现在搞了个什么节目啊？

Trojan Guarder will start a system called Ghost monitoring program to monitor all system memory to run the program, all open local files, real-time search Trojans and worms, Trojan horses and worms in time, it will hide other programs, immediately the eradication of the virus.

Trojan Guarder 将会启动一个名为Grard Ghost的系统监控程序来监控所有在系统内存中运行的程序，所有打开的本地文件，实时的搜索特洛伊木马及蠕虫病毒，当特洛伊木马及蠕虫病毒出现的时候，它将会隐藏其它程序，立即把病毒消灭。

This is a real program," says Jeff Hanley, manager of NASA's Constellation program, which oversees manned exploration."

NASA 星座计划监督载人探测，其总管杰夫·汉雷说：这是一项真实的计划。

If an organization has more than one defined meeting/program, it is possible to have a file on each meeting/program, especially if the contact surface is different.

如果一个公司组织两个或以上的活动，特别是联络人不同

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

How to generate program assertions is of great importance to software verifications Classical approach to this problem relies on a good command of program structures and repeatedly applying Hoare's rule for deducing Hoare triples.

如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。

Hobbyhorse program is a major problem threaten internet,the ways of loading the program are also diversify,but the normal way is making use of the system files

木马是互联网所面临的一种主要的安全威胁，其加载的方法也是多种多样，通常使用的方式是利用系统的配置文件

Related to real application adn by means of the character that int28 idle call is excuted cyclically when DOS kernel waits to input and output, rear program is used as Int28 interrupt service program.So rear I/O operation can be competely controlled by DOS. And thus system security is ensured.

结合具体应用，利用DOS内核在等待输入输出时循环执行INT28空闲调用这一特点，将后台程序作为INT28中断服务程序，实现了后台I／O操作完全在DOS控制下进行，从而保障了系统的安全性。

In this article, I will use a TV program about a famous Faan-Chuen male impersonator Yam Kim-Fai to question the representation/reading of s/he in the TV program.

在这篇文章中，我将分析一个电视节目。该节目是关于著名的男性模仿者任剑辉的。我将通过分析这个节目，来质疑该节目对他/她的再现/解读。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。