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

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

Its primary coverage includes: Function and limit, derivative and differential, theorem of mean and derivative application, indefinite integral, definite integral and application, space analytic geometry and vector algebra, function of many variables differential method and application, multiple integral and curvilinear integral, infinite series, differential equation and so on.

其主要内容有：函数与极限，导数与微分，中值定理与导数应用，不定积分，定积分及其应用，空间解析几何与矢量代数，多元函数的微分法及其应用，重积分与曲线积分，无穷级数，微分方程等。

Then using classical fractional differential G-L definition deduces fractional order differential difference function and constructs an approximate fractional order differential Tiansi module.

然后由经典的分数阶微分定义出发，推导出了分数阶差分方程，构建了近似的分数阶Tiansi微分模板。

Simulation results show that our algorithm enforces the adaptability of differential space-frequency modulation to the time delay expansion.Finally, we give our work to reduce the complexity of multiple symbol differential sphere decoding in differential space-time modulation. Through the modification of the enumeration strategy of the search tree in sphere decoding, we significantly reduce the complexity of detection at the expense of little loss on performance.

理论分析和仿真结果都验证了这种检测算法对长信道时延的适应能力论文最后还对差分空时调制中的多符号检测算法进行了研究，提出了一种降低差分空时调制系统中多符号差分球形译码算法复杂度的方法，通过改进球形译码中搜索树的排序策略，使得系统在牺牲较少性能的基础上大大降低了算法实现的复杂度。

Consideration of the structural characteristics of autotransformer, the principles and characteristics of zero-sequence differential protection are analyzed by taking PST1200 as an example, debugging method of zero-sequence differential protection is summed up briefly, the method can well verify the logical function correctness of zero-sequence differential protection, and it has been verified in practical application.

结合自耦变压器的结构特点，以南自PST1200变压器保护装置为例分析了零序差动的原理构成及特点，简要总结了零差保护的调试方法，能够较快且准确的校验零差保护逻辑功能的正确性，并已在实际工作中得到了很好的验证

The text analyses GPS observation model, the characteristic of kinds of errors fountain and the adopting measures in the observation, and processes the thorough research to Bernese GPS Software Ms-Windows Version 4.2. It makes the most stable satellites as the main error. The differential way adopts non-differential way and double differential way. The positioning precision of the single point is decimeter level. RMS is within 0.01~0.02; If the ambiguity right and without week skip, the observation datum of a EPOCH-BY-EPOCH can make the short base line（S0km）positioning precision reach centimeter level.

本文分析了GPS的观测模型、观测量中各种误差源的特点及应采取的措施，并对Bernese GPS Software Ms-Windows Version 4.2 软件进行了深入的研究，它是以最稳定的卫星作为主差，采用非差和双差两种差分方法，单点定位精度在分米级，RMS能在0.01~0.02以内；在模糊度已求解正确条件下，若没有周跳，一个历元的观测数据就可以使短基线（S0km）定位精度达到厘米级。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。