论文部分内容阅读
讨论了非线性分数阶微分方程边值问题,应用Green函数,将其转化为等价的积分方程,并设非线性项满足Caratheodory条件,利用非紧性测度的性质和Monch＇s不动点定理证明解的存在性.
分数阶微分方程边值问题解的存在性
【摘 要】
：
讨论了非线性分数阶微分方程边值问题,应用Green函数,将其转化为等价的积分方程,并设非线性项满足Caratheodory条件,利用非紧性测度的性质和Monch＇s不动点定理证明解的存在性.
【机 构】
：
西安交通大学理学院,兰州交通大学数理与软件工程学院
【出 处】
：
兰州交通大学学报
【发表日期】
：
2012年1期
其他文献
输电网络规划是一个复杂的多变量非线性整数规划问题,针对蚁群算法计算时间长、易陷入局部最优解等问题,本文提出一种新的具有粒子群特征的并行蚁群算法,并应用于输电网络规
基于敏捷性对企业信息环境的要求，提出了敏捷制造信息系统 构建方案，包括系统的技术基础与结构模型，以及一些有待解决的问题。
介绍了德国卡尔斯鲁厄大学计算中心的硬件设施及校园网简况，重点介绍了计算中心面向全校教学服务的运作和管理模式，同时也对计算中心的科学研究领域作了介绍。
建构主义作为英汉翻译的新模式,已成为翻译研究必须遵循的规范与规则,其重要原则是基于伦理学性质的求＂真、善＂的交往理性,理论基础来源于哈贝马斯的交往行为理论,具有实践哲学
为了提高机载计算机的集成测试性能,并改善测试设备的便携性,研制了基于PCI数据采集卡和虚拟仪器的机载计算机测试系统.首先根据机载计算机测试系统的测试功能,分析并给出了测试系统硬件配置;其次在Lab-Windows/CVI软件开发环境下,运用多线程技术开发出一套能完成机载计算机各项测试功能的综合测试系统软件;最后对系统的可靠性、可维护性进行了测试.通过实际应用表明:系统的测试精度与智能化程度均达到设
针对RFID中间件访问控制在数据传输、消息传递等方面存在的管理规模小及控制粒度粗的问题，提出了一种结合XACML的基于属性的RFID中间件访问控制模型（ABAC），该模型能够进行细粒度
随着工业化与城镇化的快速推进，土地流转过程中产生了大量的被征地农民。由于法律规定不完备、补偿标准偏低、以及残缺的农村社会保障制度等原因，导致了被征地农民的利益缺失，给
给定单元转速ｎ’１、单元流量Ｑ’１、汽蚀系数σ及相应的约束条件，在有限元计算三元流场的基础上，对混流式水轮机转轮效率进行优化，从而为该类转轮的设计探索了一条新的途径。
根据设计及现场调试的经验，就煤矿地面生产系统控制部分的设计，从主控设备的选择，控制方式的确定，控制电源选取，控制电路的构成，回路号的编制、元器件的选择等几方面，谈谈自己的体会
网投影学自产生以来,就在正投影中得到了广泛的应用,并显示了强大的生命力,尤其在空间角度的计算上大大地提高了解题的速度.而在机器制造中,如机床夹具设计、刀具设计与制造