非线性分数阶微分方程边值问题多重正解的存在性

 研究了非线性分数阶微分方程边值问题 ^cD^α₀₊u(t)+f(t,u(t))=0, 0cD^α₀₊为Caputo分数阶导数.通过Green函数的性质,利用不动点定理得出了奇异和非奇异微分方程边值问题多重正解的存在性的一些理论以及奇异问题的唯一解存在性理论,并给出了相应的例证.     

卡诺定理和热力学第二定律须正确扩展

热力学是一门依靠大量科学实验的事实发展起来的近代科学学科.在19世纪经典热力学有过它的辉煌年代,曾经是当时科学发展的一个典范.卡诺定理和由此建立起来的经典热力学第二定律,其正确性不容任何形式的否定.但由于近百年的欠发展,如今热力学成为比较罕见的谬误相对集中的学术领域.当前对卡诺定理和经典热力学第二定律的否定,大体上可以分为两种：一种是比较直接的反对,或声称得到了第二类永动机;另一种是通过篡改或混淆热力学熵函数的定义,或利用根本不存在的＂麦克斯韦妖＂等（包括声称为＂证明热力学第二定律＂的形式）来进行否定.为驳斥谬误,通过一种改变内部热容的卡诺热机的详细描述,证明：卡诺定理和经典热力学第二定律不可能也不容否定.同时指明：它们必须正确地加以发展成为扩展卡诺定理和普适化热力学第二定律.     

椭圆算子的微分包含问题

讨论了一类椭圆算子的微分包含:Lu∈F(x,u),当集值函数F(x,u)满足一定条件下,运用Schauder不动点定理,证明了在右端项F(x,u)是非凸值情况下解的存在性定理.     

单调增加的连续函数的Picard迭代序列的收敛定理

证明了若f:[a,b]→[a,b]为单调增加的连续函数,λ∈(0,1),定义Fλ:[a,b]→[a,b],Fλx=(1-λ)x+λf(x),x1∈[a,b],xn+1=Fλxn=Fλnx1,n≥1,则{xn}单调地收敛于f的1个不动点.     

一类具有一致连续系数的倒向重随机微分方程

利用倒向重随机微分方程解的比较定理和函数逼近方法讨论了一类具有一致连续系数的1维倒向重随机微分方程,得到了此类方程解的存在定理,推广了系数满足Lipschitz条件的情形.     

一类四阶两点边值问题解的存在唯一性

运用锥的性质和u0-凹算子的不动点理论讨论一类四阶两点边值问题,得到了此类问题解的存在唯一性,给出了该类问题正解存在唯一性的充分条件,改进了文献中的相关结论,同时还给出了一个例子作为应用.     

有限开区间上的柯西中值定理

通过给出一个反例,指出了文献[2]中有限开区间上柯西中值定理的错误,给出了有限开区间上的柯西中值定理,推广了柯西中值定理,使得利用导数研究开区间上函数的整体性态更为方便。     

Carleman不等式的下界改进及改进式的自动发现

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.     

一类奇异半正三阶三点边值问题解的存在性

笔者研究了一类三阶三点边值问题解的存在性,在非线性项半正且奇异的情况下,利用Guo—Kmsnoselskii不动点定理证明了解的存在性．     

基于ZDN约减的CRT算法实现的

通过对ZDN(Zwei Drittel N,德语的2/3N)模幂算法与CRT算法实现的分析,提出一种选取特殊明文SPA（Side Channel Attack）的方法,将指数信息直观的映射到功耗曲线上.在Infineon SLE78芯片搭建的真实环境中进行实验,表明单条曲线恢复密钥率可达99%.最后,对防范方法进行了分析和总结.