流函数

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的仿射项的符合率，分析了它们抵抗最佳仿射逼近攻击和差分攻击的能力；其次，我们合理地给出了布尔向量函数最佳仿射逼近的新定义，利用布尔随机变量联合分布的分解式考察了相应的谱特征，并给出了布尔向量函数与其最佳仿射逼近的符合率的一个下界；最后，我们还考察了布尔向量函数第二类非线性度的谱特征，给出了布尔向量函数第二类非线性度的一个上界，并揭示了布尔向量函数第二类非线性度与其各个分量的线性和的线性结构之间存在的制约关系。

In terms of Cauchy s integral formula of analytical complex function and the three order spline function of complex variable, a general boundary solution method is presented for solving the complex potential field of the flow field around a 2D semi infinite body .

采用复解析函数的Cauchy积分公式和物面复势三阶样条函数逼近，提出了一种求解二维半无限体势流绕流问题复势的通用方法。

Experimental results show the recognition rate of the method is 95%for a known expresser and 72% for a novel expresser. Aiming at the shortcomings of optical flow technique,two improved optical flow algorithms are presented.One way is to introduce forward and backword constraint eqution and Hessian matrix of optical flow equation is computed.The well- posedness of each point of local neighbourhood is examined and the weight of Lucas-Kanade's method is defined as the reciprocal of the conditioning number of its Hessian Matrix.

3针对传统光流法的缺点，分别提出了两种不同的改进方法：其一为引入前向-后向光流方程，计算其Hessian矩阵，把Hessian矩阵条件数的倒数作为Lucas-Kanade光流法的加权阵，可有效消除局部邻域中不可靠约束点，同时提高基本约束方程解的稳定性；其二为针对传统光流法只适用于刚体运动的特点，在扩展约束光流方程的基础上引入了div-curl样条函数作为扩展光流约束方程的附加约束条件，给出了一阶和二阶div-curl样条约束下光流的数值解。

The application of the lattice Boltzmann method in unsteady open channel flows was studied in detail in the paper. An existing lattice BGK model was mended; For the problem of negative local equilibrium and evolutionary distribution, we proposed a lattice Boltzmann model based on cell-population equilibrium, which is a direct non-negative approximation to the continuous Maxwell distribution. The model reduces the transport and collision, two basic evolution steps in the LB model, to transport of the non-equilibrium distribution.

本文系统的研究了格子Boltzmann 方法在明渠非恒定流中的应用问题，改进了一个现有的LB 模型，数值实验表明此改进是有效的；在平衡态分布函数及分布函数的非负性问题上，作者提出了一个基于单元均衡的格子Boltzmann 模型，通过直接对Maxwell 分布函数的离散化实现对速度分布函数的非负离散，这种方法将传统模型演化过程中的碰撞和输运两个步骤直接表现为粒子的输运。

Using the concept of Boolean functions and combinatorics theory comprehensively, we investigate the construction on annihilators of Boolean functions and the algebraic immunity of symmetric Boolean functions in cryptography:Firstly, we introduce two methods of constructing the annihilators of Boolean functions, Construction I makes annihilators based on the minor term expression of Boolean function, meanwhile we get a way to judge whether a Boolean function has low degree annihilators by feature matrix. In Construction II, we use the subfunctions to construct annihilators, we also apply Construction II to LILI-128 and Toyocrypt, and the attacking complexity is reduced greatly. We study the algebraic immunitiy of (5,1,3,12) rotation symmetric staturated best functions and a type of constructed functions, then we prove that a new class of functions are invariants of algebraic attacks, and this property is generalized in the end.Secondly, we present a construction on symmetric annihilators of symmetric Boolean functions.

本文主要利用布尔函数的相关概念并结合组合论的相关知识，对密码学中布尔函数的零化子构造问题以及对称布尔函数代数免疫性进行了研究，主要包括以下两方面的内容：首先，给出两种布尔函数零化子的构造方法，构造Ⅰ利用布尔函数的小项表示构造零化子，得到求布尔函数f代数次数≤d的零化子的算法，同时得到通过布尔函数的特征矩阵判断零化子的存在性：构造Ⅱ利用布尔函数退化后的子函数构造零化子，将此构造方法应用于LILI-128，Toyocrypt等流密码体制中，使得攻击的复杂度大大降低；通过研究(5，1，3，12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫，证明了一类函数为代数攻击不变量，并对此性质作了进一步推广。

Suppose that the local source of traffic demand of the intersection is a stochastic variable of known parameter. An optimal control assignment model of the link of the dynamical transportation network flows of stochastic system is founded. Allowing for the construct of the model, based on the objective function of the link is transformed to based on the objective function of the intersection in order to solve it.

假设交叉点的局外入流是某已知参数的随机变量的情况下，建立了目标函数基于路段的随机系统最优的动态交通网络流分配的最优控制模型，充分分析该模型的结构，将该模型的目标函数转化为基于交叉点的目标函数，以便于求解该问题。

Quadratic finite volume element method s for the air pollution model in one-dimensional;2. The two-grid algorithm of the finite volume element method for second-order indefinite elliptic problems;3. A fally discrete finite volume element method is given for one-dimensional two-phase incompressible flow in porous media.

在初始网格剖分上采取分段线性函数空间作为有限体积元方法的试探函数空间，在相应的对偶网格上采取分段常数函数空间作为其检验函数空间，对一维不可压缩两相渗流驱动问题提出了全离散有限体积元方法，并得到L2-模误差估计。

This dissertation makes horizontal well and symmetric multibranch horizontal wells as research object, according to reservoir characteristics and the seepage process of horizontal well, using multidisciplinary knowledges comprehensively including reservoir geology, reservoir seepage theory, point source function, Green function, conformal transformation, partial differential equation and computational mathematics et al, then researches theory and method suitable for describing seepage process and productivlty calculation of horizontal well.

本文以水平井和对称多分支水平井为研究对象，从油气藏的储层特征和水平井的渗流过程出发，综合运用油气藏地质、油气藏渗流理论、点源函数、Green函数、保角变换、偏微分方程及计算数学等多学科知识，研究出适合于描述水平井渗流与产能计算的理论与方法，主要取得了以下成果

E. thickness of the copper wire wall, length of the single conductor wire, height of the solenoid, the exciting current and the current density, the working temperature of the conductor, time of exciting and demagnetizing, the cooling water pressure and flux density, etc..

所建立的数学模型包含3个目标函数（即能耗极小化目标函数、铜耗极小化目标函数和纯铁用量极小化目标函数）、7个设计变量（即铜管规格参数a、b、t，线圈匝数N〓、N〓，铁铠磁通密度B〓和冷却水压p）和8类14个约束条件（即铜管壁厚、单饼导线长度、螺线管高度、激磁电流与电流密度、导体工作温度、激退磁时间，冷却水压和铁铠磁通密度等约束条件）。

Many API functions are used in my paper in order to control the keyboard and the mouse of the remote computer, and also control its system ability. The monitor can control registry of the remote computer by TRegistry and obtain its system information by registry. The journal hook is also setted to record keyboards input information. I also make chat system and media play based on the stream. The server can capture screen images of remote computer and transported by the stream to the monitor, so we can monitor it in time.

论文应用了大量的Windows的API函数实现了控制远程计算机的鼠标、键盘，限制其系统功能；还通过读注册表获取远程计算机的系统信息，并利用Delphi提供的TRegistry类实现远程操作注册表；设置了日志钩子以记录并回放远程计算机的键盘操作：实现了基于&流&的网上聊天和媒体播放功能；通过复制屏幕图像并利用&流&传输屏幕图像信息实现了实时监控远程计算机的屏幕；还制作了文件管理系统，并利用自定义函数实现对非空目录的操作。

The reasons of iron ions content overproof in grade Ⅱ desalting water system,such as variation water quality,contamination of regenerant , operation adjustment of pretreatment system and switching operation of bed were discussed.

对二级脱盐水系统中铁离子含量超标的原因，如来水水质发生波动、再生剂受到污染、预处理系统操作调整、床体运行切换等进行了论述。

You were hired to drum up new business, so go and do it.

公司雇你招徕新业务，你就做你的事好了。