一类具有p-Laplacian算子的非线性分数阶微分方程m点边值问题解的存在性

讨论具有p-Laplacian算子的非线性分数阶微分方程m点边值问题的解的存在性,研究结果是建立在不动点定理和压缩映射原理基础上.此外给出两个例子来说明结果.     

任意四边形Reissner—Mindlin板元

提出一种任意四边形Ｒｅｉｓｓｎｅｒ－Ｍｉｎｄｌｉｎ板元，挠度和转角均采用分片双线性函数。但剪切应变用它的线性扦值所代替，当板厚趋于零时这对应于Ｋｉｒｃｈｈｏｆｆ条件，因而避免了Ｌｏｃｋｉｎｇ现象。给出数值结果表明该单元的有效性。     

Dirac方程的特征函数的迹公式

本文研究具有周期有限带位势的Dirac算子, 利用Dirac算子与单值算子的交换性,定义Bloch函数和乘子曲线, 进而获得揭示Bloch函数与位势间内在关系的Dubrovin-Novikov型公式; 通过复球面上的留数计算, 最终分别得到相应于谱带左端点、右端点以及双侧端点的特征函数的迹公式.     

标准模型下基于格的代理环签名方案

代理环签名是一种特殊的数字签名,可以广泛地应用于很多生活领域.但是现有的代理环签名方案的安全性大都是在随机预言模型下证明的,在实际应用中不一定安全.提出一个标准模型下基于格的代理环签名方案,同时,基于格上的难题SIS和ISIS,证明了方案能够抵抗存在性伪造攻击.     

一类离散的时滞脉冲切换系统的H_∞二次稳定性

研究了一类离散的时滞脉冲切换系统的H_∞控制问题,利用Lyapunov稳定性理论和线性矩阵不等式方法,给出了离散脉冲切换系统具有性能指标γ的充分条件.     

一个新的非常规各向异性元的收敛性分析

构造了一个新的非常规各向异性Hermite型矩形单元并据此对二阶椭圆问题提出了一个混合元格式,同时给出了该格式的收敛性分析.     

脉冲系统输入—输出到状态稳定的Lyapunov条件

在一定的条件下,通过对时间域分割成不同的区间段然后应用Lyapunov函数分析方法给出了脉冲系统输入—输出到状态稳定(IOSS)的一个充分条件,另外,讨论了积分输入—输出到状态稳定的情况.     

矩阵的分块初等变换与分块初等阵及其应用

讨论了矩阵分块初等变换和分块初等阵的定义和性质,利用这一工具研究了行列式的分块运算,分块矩阵的求逆和对称阵的分块合同变换等问题.     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

部分线性单指标EV模型中参数的经验似然置信域

考虑部分线性单指标EV模型,利用纠偏方法构造了模型中未知参数的经验对数似然比统计量.在适当条件下,证明了所提出的统计量依分布收敛于标准x2分布,所得结果可以构造未知参数的置信域.通过模拟研究在置信域精度及其覆盖概率大小方面进行了说明.