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

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

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

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

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

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

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

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

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

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

逆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-集合在动态信息系统中的应用。     

基于非抽样Contourlet变换的遥感影像道路提取

提出一种基于非抽样Contourlet变换的遥感影像道路提取算法.该算法首先对图像进行非抽样Contourlet变换得到不同尺度不同方向上的变换系数,再通过给定窗口大小分别计算各个尺度各个方向上的变换系数模在窗口内的局部最大值,然后比较各尺度在同一方向和同一窗口位置上系数模的最大值,取值最大的点作为特征点;同时利用自适应阈值对各个尺度各个方向上的系数模值进行二值化,消除小于一定面积的区域,筛选出特征点位于提取区域内的点;最后以筛选出的特征点为种子点,对道路进行Snake跟踪.实验结果表明:该文算法在道路提取的精确度、完整性方面比小波变换好.     

均衡问题的一种混合迭代算法的强收敛定理

在Hilbert空间中,针对均衡问题的不动点和变分不等式的解,引入一种迭代算法,在对参数进行适当的限制后,得到强收敛定理.     

随机缺失情况下固定设计半参数回归模型的相合性

目的在随机缺失情况下证明固定设计半参数回归模型的强相合性。方法利用引理,一些不等式及已给条件进行证明。结果证明了参数β的最小二乘估计和未知函数g(.)的非参数核估计是强相合的。结论随机缺失下半参数回归模型中β的参数估计和非参数函数g(.)的估计量是强相合的。     

多项式展开的快速扩散张量图像配准

提出一种基于多项式展开的扩散张量图像快速配准方法.采用拉普拉斯算子提取经图像增强处理的各向异性测度图像的边缘特征点,给出一种图像变换模型,利用边缘特征点来定义图像的特征,并以此校正图像的方向.利用基于多项式展开的配准模型,对已经经过方向校正的各向异性测度图像进行全局像素点稠密配准.实验结果表明该方法有效地提高了配准效率和配准精度.