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

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

乳化沥青封层施工工艺

文章根据沥青封层工程实施总结而成,封层在两个结构层之间设置一个联结隔水的专用功能层,实现增强层间黏接、防止水分进入等。     

时滞食饵-捕食系统平衡点的稳定性和周期解

考虑具有多个离散时滞的食饵一捕食系统,讨论了系统平衡点的稳定性.选取其中的一个时滞作为分支参数,运用Hopf分支定理得到了周期解的局部存在性.最后运用泛函微分方程的全局Hopf分支定理得到了周期解的大范围存在性.     

p-Laplacian边值问题的多重正解（英文）

利用不动点指数定理及迭代技术,本文主要讨论p-Laplacian微分方程边值问题正解的存在性和非存在性,并得到了依赖于参数λ的边值问题的正解。     

基于特征点图像序列的多摄像机全局标定

多摄像机的全局标定是影响视觉测量系统精度的关键。为了降低标定过程中多次坐标变换而引起的误差,本文提出了一种基于特征点图像序列的多CCD摄像机的全局标定方法,通过时间脉冲同步,在液晶显示屏靶标上显示一系列含有特征点的图像序列的同时,多个CCD进行拍摄,对用于显示的特征图像和CCD拍摄得到的图像进行处理和计算,即可对多个摄像机进行全局标定。该方法只需一次坐标变换,克服了常规方法下特征点难以被所有摄像机全部拍到的困难,用标定结果进行三角测量,最大绝对误差为0.08mm,证明了标定方法的精确性。     

全局分析中非线性有限秩算子的局部线性化

运用广义逆理论和局部精细点已得出Banach空间中非线性映射的局部线性化定理,将此结果进行推广,考虑全局分析中,即Ck?Banach流形之间非线性有限秩算子的局部线性化问题.     

Banach空间的k-w可凹点

引入k—W可凹点的概念,讨论了这类点的一些性质并且证明了若X是自反的Banach空间,则X是k-严格凸的充分必要条件是S（X）上的每一点均是单位球面U（X）的k-W可凹点．     

半定规划的一种不可行内点算法

对于半定规划问题,根据内点算法的短步方法,并结合Nestorov-Todd(NT)搜索方向的构造方法,设计出一种关于窄领域的不可行内点算法,然后证明了该算法的收敛性.结果表明,该算法经过有限次迭代后可以得到半定规划问题的一个近似最优解,或者证明问题无解.     

有变时滞离散神经网络的指数稳定性

文章通过Brouwer不动点理论论证平衡点的存在性,利用相关矩阵不等式论证其全局指数稳定性,研究具有变时滞离散神经网络平衡点的指数稳定性．     

一个互连网络系统的设计和研制

本文将论述一个实用的具有点一点通讯功能的以太网和电话网互连系统的分层结构设计,以及 PUP 报文传送协议,文件传送协议,服务器的研制。