函数连续与可微关系的探讨

本文主要研究一元函数连续、可导、可微之间的关系,以及二元函数连续、偏导数存在、可微之间的关系并给出了二元函数连续或可微的充分条件.     

多元函数可微的充分必要条件

常见的数学分析教材都仅给出二元函数可微的必要条件或充分条件,本文将给出并证明二元函数可微的两个充分必要条件.     

多元函数可微的充分必要条件

常见的数学分析教材都仅给出二元函数可微的必要条件或充分条件,本文将给出并证明二元函数可微的两个充分必要条件。     

论复合函数的可微性与可积性

通过实例主要论述以下两个结论：1．可微函数与可微函数两复合只是复合函数可微的一个充分条件而非必要条件;2．可积函数与可积函数复合既不是它们复合函数的充分条件也不是必要条件。     

二元函数可微的一个充分条件

给出了二元函数可微的一个充分条件.由于证明过程中避开了通常各种教材使用的 La-grange 中值定理,而采用的是函数极限与无穷小量的关系式,得到较弱条件下的可微定理.     

关于复合函数的Riemam可积性

本文讨论了二元复合函数的Riemam可积性并证明了两个关于二元复合函数可积性的充分条件．     

偏导数在二元函数微分学中的应用

讨论了二元函数中偏导数与连续的关系,即一阶偏导数有界时,则函数连续,对二元函数可微的充分条件是fx,fy在(x0,xy)必须连续以及偏导数相等中fxy,fyx在(x0,y0)连续条件的减弱,得出新定理     

多元函数可微新论

在以向量为自变量的角度上对多元函数的可微理论重新进行探究.介绍了多元函数对向量自变量整体可导的定义,阐述了其对向量自变量整体的可导性与其对多元有序数组每个自变量个体的可导性之间的差异,最后利用向量空间的代数运算对二元函数可微的若干必要及充分条件进行推广.     

一类加权函数满足的几个等价条件

鉴于加权函数对于超可微函数和超广义函数的重要性，文章考虑加权函数ω，给出了ω满足条件5）的一个充分条件以及5）的四个等价条件．     

关于多元函数的极值

本文先仿照一元函数给出一个判别多元函数极值的一阶充分条件．再用初等微积分的方法，通过对偶次多项式恒正条件的讨论给出高阶充分条件．     

二元分形插值函数的不定积分

介绍了矩形区域上由迭代函数系(iterated function system,IFS)生成的二元分形插值函数的不定积分.首先证明二元插值函数的不定积分也是由迭代函数系迭代生成的,并得到了其迭代函数系.其次,证明了二元插值函数的不定积分的2阶混合偏导数等于其二元插值函数本身的充要条件,并推广到2N阶的情形.     

相关免疫函数的特征与构造

本文首先给出了布尔函数是m阶相关免疫的充要条件,其次介绍了一种从两个n个变元的m阶相关免疫函数构造n+1个变元的m+1阶相关免疫函数的方法。     

关于混合偏导数求导次序无关的条件

本文绘出了二元函数二阶混合偏导数求导次序无关的一个充分条件.     

多元函数极值的研究与应用

本文将二元函数的极值问题的理论推广到多元函数的情形,重点讨论三元函数的情形。通过利用泰勒公式推导出判断三元函数极值存在的充分条件和极值不存在的必要条件。最后利用变分法理论,论证了Poisson方程Dirichlet问题在B20中的解等价于在B20中求泛函的极值函数。     

流密码中Bent函数与有限状态机组合器

研究了流密码体制中抗攻击前馈网络的构造。通过对有限状态机（ＦＳＭ）输出函数的Ｗａｌｓｈ谱及Ｎ元布尔函数是Ｎ－１阶相关免疫的充要定理的讨论，证明了ＦＳＭ组合器是Ｎ１阶相关免疫的。论述了用Ｂｅｎｔ函数做前馈网络的非线性组合函数可很好的抗相关攻击和线性逼近攻击。文中给出一种可用其实现任意Ｎ元布尔函数的多功能程控逻辑门，使布尔函数的线路实现极为经济。最后用ＦＳＭ组合器及给出的多功能程控逻辑门构造了实现一大类Ｂｅｎｔ函数的前馈网络。此流密码体制具有强的抗攻击能力。     

二元序列的多项相关性

对二元序列的自相关性进行了推广,提出了多项相关的概念.在研究序列自相关性与平衡性、游程的关系的基础上,给出了平衡序列多项相关值的分布.通过对周期序列进行多项相关分析,得到了平衡序列的多项相关函数的绝对值取最小值的概率达到最大的充要条件是它的多项相关函数是二值的,证明了在周期为2n-1的序列中,有且仅有m序列的多项相关函数与其自相关函数一样是二值的(即只取1和-T-1两个值),且其多项相关函数的绝对值取得可能极小值的概率达到最大.     

具有随机通讯时延的网络化系统的鲁棒故障检测

研究了一类具有随机通讯时延的不确定网络化系统的鲁棒故障检测问题.随机通讯时延用满足Bernoulli随机二进制分布变量的线性函数来描述.设计一个故障检测滤波器,使残差误差系统均方指数稳定且具有一定的扰动衰减水平.应用线性矩阵不等式方法证明故障检测滤波器存在条件,举例说明该方法的有效性.     

广义粗集公理化的一个注记

广义粗集理论是基于等价关系的粗集理论的各种拓广。本文讨论了基于一般二元关系的广义粗糙集的公理化,通过实例分析了确定二元关系的必要公理组条件,并给出了各公理组的充分条件。     

关于代数体函数Borel方向的判定方法

本文利用角域内代数体函数的一个基本不等式,导出了代数体函数Ｂｏｒｅｌ方向的一个充分条件和一个充要条件