查询词典 statement calculus

In order to remove the grave interference in the mobile ambients calculus, the author presents a Robust Ambients calculus which can restrict the coactions.

动态环境演算在资源受限情况下会出现强干扰问题，为了解决这个问题，论文提出了一种可以限定反动作对象的抗干扰鲁棒环境演算。

A kind of interference, called direct access interference, is found in the calculus of Mobile Resources, which will cause more damage than the grave interference one finds in the calculus of Mobile Ambients,because in MR malicious environments or contexts can freely access the sensitive resources inside a process.

在移动资源演算中发现了一种干扰现象，称为直接访问干扰，该现象比移动灰箱演算中的墙干扰现象更具破坏力，因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源。

When the grave interference has been resolved in the mobile ambients calculus by the coactions, the insecurity factors in ambients calculus have been effectively removed through using the parameters of the coactions.

在依靠反动作解决动态环境演算中强干扰问题的同时，利用反动作的参数明确了该反动作的使用对象，有效地消除了动态环境演算中存在的不安全因素。

Calculus courses have often suffered from focusing too narrowly on symbol manipulation exercises; at worst, the truly useful, interesting, and important ideas of calculus can disappear in a welter of half-understood formal symbols.

微积分课程常常遭受重点过于狭窄的象征手法演习；在最坏的情况下，真正有用的，有趣，重要思想的结石可以消失在飞扬的半理解正式符号。

They test pre-calculus, and calculus, and most importantly, proof.

测试的内容包括微积分先修课程、微积分，还有最重要的论证。

For example, the following statement is correct: System.out.println(x = 1); which is equivalent to x = 1; System.out.println; The following statement is also correct: i = j = k = 1; which is equivalent to k = 1; j = k; i = j; In an assignment statement, the data type of the variable on the left must be compatible with the data type of the value on the right.

例如，以下声明是正确的： 55 System.out.println （十= 1 ）；这相当于为x = 1 ； 55 System.out.println ；以下声明也是正确的：= j =当K = 1 ；这相当于当K = 1 ； j =钾；=焦耳；在转让的声明中，数据类型的变量在左边则必须与数据类型的价值，对正确的。

After all, the same curly braces replace the RETURN statement in a subroutine, the ENDIF statement in a conditional and the NEXT statement in a FOR loop.

毕竟，一样的大括号在子程序中用替代了 RETURN，在条件语句中替代了 ENDIF，在FOR循环中替代了NEXT。

The third part has tried to analyze the universality and diversity in syntacticdistributions among Shi Shi, Bu Shi , Shi Bu Shi , statement adverbs and descriptionadverbs. Pointing out the function doubleness (embody the statement and description)derive from the semantic doubleness (embody the meanings of "Chang Chang and PinPin),The three words bridge the function of statement adverbs and descriptionadverbs,the part also points out that the "Shi Shi "shoud be divided into "Shi Shi1"whichexpresses continuousness and"Shi Shi2 which expresses repeatlity.

第三章对"时时"、"不时"、"时不时"同判断类频率副词与描写类频率副词分别进行了句法分布上的比较分析，指出这三个词功能的双重性来源于它们语义的双重性(既有"常"类副词的意义，又用"频"类副词的意义)，指出了它们在频率副词系统中所起到的桥梁作用；并对"时时"作了表延续义的"时时_1 "和表重复义的"时时_2 "的区分。

Where the expiration date of the grace period precedes the statutory time limit for disclosing the annual financial statement of 2001 and if the company fails to disclose its 2001 annual financial statement prior to the expiration of the grace period, or it has disclosed the 2001 annual financial statement prior to the expiration of the grace period but fails to file an application within 5 working days after the expiration of the grace period, the stock exchange shall decide to terminate the listing of the stocks of the company within 10 working days after the expiration of the grace period.

宽限期结束日早于2001年度报告法定披露期限的公司，如果未在宽限期结束日之前披露2001年度报告，或者虽然在宽限期结束日之前披露了2001年度报告，但未在宽限期结束日后五个工作日内提出恢复上市申请的，证券交易所应当在公司宽限期结束日后十个工作日内做出公司股票终止上市的决定。

A When we say that a certain statement is incredible we often mean merely that it is extraordinary, but it should be borne in mind that this is a misuse of language, for the credibility or incredibility of a statement has nothing to do with its intrinsic probability or improbability; it depends solely upon the credentials of the authority who makes the statement.

当我们说某一个声明，是令人难以置信的，我们往往意味着只是说，这是不平凡的人，但必须紧记，这是一个误用的语言，为公信力或incredibility的一份声明中完全不其内在的概率或improbability ，它完全取决于各国的全权证书的权威作发言。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。