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

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

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

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

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

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

一类有理差分方程解的全局行为

本文讨论了一个带有参数的分子含有二次项的有理差分方程的奇点集和解的全局稳定性,证明了它的解由于参数的取值不同最终将收敛到0或非零不动点或二周期点或者是无界的,且在某些情况下解的收敛性还依赖于给定的初始值,从而回答了Sedaghat提出的一个公开问题.     

中立型随机泛函微分方程解的存在唯一性(英文)

本文作者建立了中立型随机泛函微分方程解的一些基本理论.首先,利用不动点定理,作者在漂移系数和扩散系数仅满足连续的条件下研究了中立型随机泛函微分方程解的局部存在性,然后作者通过比较法建立了唯一性定理,并且在延拓定理的基础上给出了解的全局存在性.     

Ghostburster模型鞍结分岔点附近放电模式的转迁控制

在不同的电流刺激下,ghostburster模型表现出周期放电、混沌簇放电、周期簇放电等多种放电模式.其中,周期放电和混沌簇放电之间的转迁是通过极限环的鞍结分岔实现的.应用washout滤波器实现了ghostburster模型鞍结分岔点周围放电模式的转迁;并通过快慢系统分解方法分析了放电模式转迁的内在机制.研究发现快子系统固定点的鞍结分岔和快子系统从周期一极限环转换到周期二极限环的临界点在树突产生不完全放电过程中起到关键作用.Washout滤波器的加入改变了树突膜电位极大值的分岔点的位置,从而改变了ghostburster模型的放电模式.     

逆P-集合

利用P-集合（Packet sets）,提出逆P-集合（Inverse packet sets）,给出逆P-集合的结构;逆P-集合记作P-1-集合。P-1-集合是P-集合的对偶形式。P-1-集合是由内P-1-集合X珔F（Internal inverse packet set X珔F）与外P-1-集合X珔F珔（Outer inverse packet set X珔F珔）构成的集合对;或者（X珔F,X珔F珔）是P-1-集合;P-1-集合具有动态特征。给出P-1-集合的分离定理与P-1-集合的动态等价类特性,给出P-1-集合在动态信息系统中的应用。     

双兼任素数命名及其定理和应用探讨

素数和素数定理是数论中的重要内容,其改进和实际应用是本世纪新课题。本文提出构造一种新的双兼任素数表：即将每一素数赋予亦素亦序的双兼任的新概念;该定义与科学家们设计的＂对头碰撞＂的对撞机中的＂亦矢亦的＂粒子实验方案相对应。其特点既跟踪传统的双重性（即二重性）而又相区别,目的是区分人为给予的或为自然形成的;并证明了相关定理;使对称与不对称同一模式中所含藏的参变序数N、素数P两者皆视同为素数的一种＂全素数化运算＂新方案;得出正、反物质镜像皆与公知的粒子物理实验数据相吻合;结合尝试在宇宙学中的应用,得出粒子物理实验仅是了解宇宙的某一横截面;＂全素数化运算＂将为数学科学提供一种全新的基础内容而值得参考。     

定积分求解数列极限

定积分是数学的重要概念,在其他学科和各种领域应用广泛,在数学上的应用正向思维比较多,文章从逆向思维的角度,给出了利用定积分求解两种数列的极限的方法.     

一类具有种群Logistic增长的SIR传染病模型的稳定性

研究一类具有种群Logistic增长的SIR传染病模型,应用微分方程定性理论,分别得到了该系统无病平衡点、地方病平衡点全局渐近稳定的充分条件,并进行了数值模拟.