查询词典 calculus of finite difference

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

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模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

To further investigate the influence of the Internet on the students, a further research is conducted by breaking the students into three groups -frequent Internet users, occasional Internet users and non-internet users. The result indicates that the self-harmony of frequent Internet users shows a sharp difference in terms of school and grade, the self and the unharmony of show a sharp difference in terms of school, grade and sex, and that the self-esteem and the two dimension - the flexibility and rigidity of self-harmony show no difference in terms of school, age and sex; the self-harmony and all dimensions of occasional Internet users show no significant difference, the self-esteem of occasional Internet users show no significant difference in terms of school and grade but show significant difference in terms of sex; the self-harmony and all dimensions of the non-Internet users show no significant difference, the self-esteem of the non-Internet users show no significant difference in terms of grade and sex, and the self-esteem of the non-Internet users show significant difference in terms of school.

为了进一步研究网络对学生的影响，又将学生分为经常上网、偶尔上网、不上网三类分别来研究：经常上网学生自我和谐在学校、年级都存在极显著差异，自我与经验的不和谐在学校、年级、性别存在极显著差异，自尊和自我和谐的灵活性和刻板性两个维度在学校、年龄、性别都没有差异；偶尔上网学生，自我和谐及各维度都不存在显著性差异，自尊在学校和年级不存在显著性差异，在性别上有显著性差异；不上网学生自我和谐及各维度都不存在显著性差异，自尊在年级和性别不存在显著性差异，自尊在学校上有显著性差异。

In this paper, we consider hyperbolic conservation laws, and the following work has been done to the finite volume method on unstructured meshes :In preface , we introduce the backupground of the oringe of the finite volume method, and point out the limitation of the finite difference methods and the finite element methods, and import the finite volume method.

本文主要考虑双曲型守恒律方程，对二维非结构三角形网格有限体积方法作了如下工作：介绍了有限体积方法的产生背景，指出了有限差分方法和有限元方法中的特点，对有限体积方法的产生和发展给出了比较详细的分析。

Firstly, edge extracting is conducted with a laplace operator for a k frame image of fk and a k-1 frame image of fk-1 collected by a camera; secondly, difference calculus is conducted for images of two frames whose edge is extracted, and a difference image of D is obtained; thirdly, average filtering and binary processing is conducted for the difference image of D, fourthly, the image which is processed of binary is judged, i.e. when the difference of a pixel in the difference image is more than the set threshold value, the pixel is confirmed as a target pixel; otherwise, the pixel is a static background pixel.

首先对摄像头采集的第k帧图像f k和第k-1帧图像f k-1分别采用laplace算子进行边缘提取，然后对经过边缘提取的两帧图像进行差分运算，得到差分图像D，然后对差分图像D进行均值滤波和二值化处理，最后对二值化后的图象进行判断，即认为当差分图像中某一个像素的差大于设定的阈值时，则认为该像素是目标像素，反之则认为是静止不动的背景像素。

Magnetotelluric field finite difference migration tomography Found on the researches of Zhdanov etc. in MT finite difference migration tomography, we analyze and summarize both fruits and limitation of foregone peoples' achievements. So more precise finite difference extrapolation equation can be deduced, and it can be easily applied into the migration tomography. New equation reserved the derivative terms of wave number both at vertical and horizontal direction, so that more exquisite geoelectric diversification can still be accommodated, that is the very requirement of practical data interpolation.

大地电磁有限差分偏移成像技术：在Zhdanov等人建立的有限差分偏移成像研究的基础上，总结分析了前人在 MT成像技术方面的研究成果和存在问题；推导更精确的有限差分波场延拓方程，采用改进的有限差分法进行大地电磁场偏移成像，差分延拓方程保留波数对水平方向和垂直方向的一阶导数项而提高求解精度，可适应电性纵横方向变化剧烈的地电构造，使成像分辨率得到增强。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48