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

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

To obtain a sparseness of support vector for least squares support vector regression, an algorithm called vector base learning is proposed in this paper.

使最小二乘支持向量机的解具有稀疏性，本文提出一种稀疏解算法——矢量基学习。

First, commonly used methods of flight segment volume forecasting are systematically elaborated, Then theory basis of support vector machine and its principle are introduced, support vector machine model is inferred, the support vector machines algorithm is studied.

首先，系统地介绍了航空运量预测中常用的预测方法，并对几种常用方法的特点进行了分析比较。

In the fourth chapter, firstly it introduces the Boolean functions algebraic expressions of the 2-value clock-controlled stop-and-go generator and Gunther generator. It reveals the balanced property of the two kinds of Boolean functions, and studies the Walsh cycle spectrum and the autocorrelation function. It also obtains the coincidence rate of their output sequences with affine sum of some bits of input sequences, and analyzes their ability of resisting the best affine approximation cryptanalysis and differential cryptanalysis. Secondly, we properly present a new definition of the Best Affine Approximation, namely BAA on the Boolean vector functions, followed by the spectral characteristic of such defined BAA attacks through using the decomposition formula of the union distribution for random variables. A lower bound of such BAA attacks is proposed. Finally, we also study the spectral characteristic of the second kind of nonlinearity of Boolean vector functions, followed by a higher bound of such nonlinearity. Furthermore, the limited relationship between the second kind of nonlinearity of Boolean vector functions and the linear structure of the linear combination of every component is analyzed.

在第四章中，首先给出了2值密钥流"停走生成器"和"衮特生成器"中实际存在的布尔函数的代数表示，揭示了这两类布尔函数的平衡性，随后研究了它们的Walsh循环谱和自相关函数等，得到了它们的输出序列与输入序列中的某些bit的仿射项的符合率，分析了它们抵抗最佳仿射逼近攻击和差分攻击的能力；其次，我们合理地给出了布尔向量函数最佳仿射逼近的新定义，利用布尔随机变量联合分布的分解式考察了相应的谱特征，并给出了布尔向量函数与其最佳仿射逼近的符合率的一个下界；最后，我们还考察了布尔向量函数第二类非线性度的谱特征，给出了布尔向量函数第二类非线性度的一个上界，并揭示了布尔向量函数第二类非线性度与其各个分量的线性和的线性结构之间存在的制约关系。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

The proof is given that the category of linear fuzzy neighborhood spaces in the sense of Katsaras is isomorphic to that of co-towers of topological vector spaces and the intersection of the category of linear fuzzy neighborhood spaces with the category of type fuzzy topological vector spaces is the extract category of induced fuzzy topological vector spaces.

证明了Katsaras的线性fuzzy邻域空间范畴与分明线性拓扑空间的余塔空间范畴同构，而Katsaras的线性fuzzy邻域空间范畴与型fuzzy拓扑线性空间范畴的交集恰为诱导的fuzzy拓扑线性空间范畴。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。