论文部分内容阅读
本文讨论如下形式非线性分数微分方程边值问题正解的存在性:其中4<a≤5是一个实数，D歇是标准的Riemann -Liouville微分，f : [0,1]×[0,∞)→[0,∞)是连续的.在此基础上，进一步研究如下非线性分数微分方程边值问题正解的存在性:
一类非纯性分数微分方程正解的存在性
【摘 要】
：
本文讨论如下形式非线性分数微分方程边值问题正解的存在性:其中4
【机 构】
：
河北工业大学
【出 处】
：
河北工业大学
【发表日期】
：
2011年01期
其他文献
在双孢菇整个生产过程中,采摘作业是最费时费力的一个环节,随着科学技术的不断发展,采用更加机械化、智能化,可真正提升双孢菇的总体采摘效率,这也是农业未来发展趋势。双孢菇采摘机器人的工作系效率直接受果实识别与定位精确性的影响。本论文在结合农业采摘机器人的特点之后,对双孢菇采摘机器人硬件系统进行搭建,并对四自由度机械臂建模及逆运算求解,除此之外,还对双孢菇的识别与定位相关算法进行研究,最终可以对双孢菇进
生命的神奇之处在于可以不断的与外界进行能量、信息及物质的交换，离子通道处于生物体信息及物质交换的关键环节，具有重要作用。作为离子通道的重要成员，钙激活氯通道（CACC）是一类广泛分布在多种组织内的阴离子通道，参与了诸如神经元兴奋性的调节、平滑肌收缩的维持、卵母细胞受精和心脏动作电位的复极化等过程，具有十分重要的生理学意义。本文以TMEM16A/CACC稳转细胞系为研究对象，采用膜片钳内向外记录模式
Kir通道是在各种组织中广泛分布的一种钾离子通道,具有维持肾脏钾分泌、维持静息膜电位及调控动作电位波形、调节心律及神经元兴奋性、维持肾脏及神经胶质的钾稳态、调节细胞代谢状态和胰岛素分泌、细胞保护及维持血管张力等重要的生理作用，而其家族所有通道的功能均受细胞膜磷脂PIP2的调控。尽管Kir家族各个通道的功能都受PIP2调节，但是每种通道与PIP2的亲和力又不尽相同，其中Kir2.1、Kir3.1及K
本文给出了E-凸函数的基本定义,及伪E-凸函数、拟E-凸函数的定义并推出其另一种形式.文章中利用这一类凸函数的性质得出了广义的半无限分式规划的最优性条件并给出了证明.
本文讨论了在广义凸函数-半局部λ-次不变凸函数约束下的多目标规划的对偶规划,给出了三种对偶规划,即Lagrange型对偶、Mond-Weir型对偶和Wolf型对偶,并分别给出了三种对偶规划的弱对偶、强对偶和逆对偶定理,并分别给出了证明.
驱动蛋白是到现在为止所知道的最小的马达蛋白,在细胞中行使包括运输和有丝分裂等功能。在驱动蛋白中,一个最基本的问题就是ATP的水解产生的能量如何转变为驱动蛋白前进的动力。其中,ATP与驱动蛋白结合之后颈链像拉链一样与驱动蛋白头部对接的过程被认为是力产生的主要步骤之一。我们通过研究驱动蛋白的晶体结构,将颈链的拉链区域分成了六个齿,每个齿都由一个中心氨基酸和它周围与其产生弱相互作用的几个氨基酸组成。颈链
Delta算子理论于20世纪80年代引入控制界，它是联系连续系统和离散系统的桥梁，其研究长期以来一直受到控制领域广大学者的普遍关注，并取得了一系列重要的研究成果。此外，Delta算子理论在系统建模和辨识、计算机控制、高速数字信号过程、快速样本数据表示等方面具有重要的意义。众所周知，分段线性系统不仅是分析一般非线性系统和不确定系统的有力工具，而且本身也代表了一大类实际的工程系统。随着计算技术的发展，
本文提出一个全局收敛的求解不等式约束非线性半定规划的内点算法。该算法以精确罚函数作为效益函数。求解原问题的障碍问题时,采用牛顿法解其KKT方程,并经线性化、对称化后,得到迭代方向。在适当给定的条件下,证明了算法产生序列的极限点是原问题的KKT点。