陕西省自然科学基金(2011JQ1015)

作品数：18被引量：29H指数：3
导出分析报告
相关作者：郭改慧李兵方李艳玲岳宗敏李海侠更多>>
相关机构：陕西科技大学陕西师范大学陕西铁路工程职业技术学院宝鸡文理学院更多>>
相关期刊：《牡丹江大学学报》《系统科学与数学》《理论数学》《山东大学学报（理学版）》更多>>
相关主题：分歧捕食-食饵模型捕食-食饵反应函数稳定性更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类带有Crowley-Martin反应函数的捕食-食饵模型的定性分析被引量：3
《中山大学学报（自然科学版）》2014年第5期66-72,共7页李海侠 李艳玲 
国家自然科学基金资助项目(11271236);陕西省科技新星专项资助项目(2011kjxx12);陕西省自然科学基础研究计划资助项目(2011JQ1015);中央高校基本科研业务费专项资金资助项目(GK201302025)
讨论了一类带有Crowley-Martin反应函数的具有一个食饵和两个捕食者的捕食-食饵模型正解的存在性和持久性。首先利用空间分解和隐函数定理研究了系统的二重分歧,得到了正平衡解存在的充分条件。其次给出了系统正平衡解不存在的充分条件...
关键词：捕食-食饵模型 Crowley-Martin反应函数 分歧 隐函数定理 持久 
计量逻辑学中的形式化推演方法
《宁夏大学学报（自然科学版）》2014年第3期209-211,215,共4页于鹏 
陕西省自然科学基础研究计划资助项目(2011JQ1015)
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
关键词：公式真度 计量逻辑学 形式化推理 经典命题逻辑系统 
一类周期系数的一阶微分方程的周期解研究被引量：1
《陕西科技大学学报（自然科学版）》2014年第4期164-166,171,共4页王玉萍 蔺小林 李美丽 
国家自然科学基金项目(11371087);上海市自然科学基金项目(12ZR1400100);陕西省科技厅自然科学基础研究计划项目(2011JQ1015);陕西科技大学博士科研启动基金项目(BJ10-23)
利用范德蒙德行列式和n次代数方程的性质以及不动点原理,对一类周期系数的一阶微分方程的周期解的存在性进行了研究,给出了该方程的周期解存在的充分必要条件和一些新的充分性条件,同时用例子验证了所得结论的正确性.
关键词：一阶微分方程 示性方程 不动点原理 周期解 
区间套定理及其应用被引量：2
《高师理科学刊》2014年第6期7-9,共3页郭改慧 李兵方 
陕西省自然科学基础研究计划资助项目(2011JQ1015);陕西省教育厅专项资助项目(12JK0856)
通过分析区间套定理的特点,给出它在证明相关命题时的应用,以期对定理有更深刻的理解,进一步提高学生的逻辑思维能力和数学分析能力.
关键词：数学分析 实数完备性 区间套定理 
一类带有C-M反应函数的捕食-食饵模型正解的存在性和唯一性被引量：2
《陕西师范大学学报（自然科学版）》2014年第2期7-12,共6页李海侠 李艳玲 
国家自然科学基金资助项目(11271236);陕西省科技新星专项项目(2011kjxx12);陕西省自然科学基础研究计划项目(2011JQ1015);中央高校基本科研业务费专项资金项目(GK201302025)
研究了一类带有C-M反应函数的具有一个食饵和两个捕食者的捕食-食饵模型正解的存在性和唯一性.利用不动点指数理论讨论了正解的存在性,给出正解存在的充分条件:r>λ1,-m1>λ1(e1w-(p1u)/(1+b1u)),-m2>λ1(e2v-(p2u)/(1+b2u)).运用稳定...
关键词：捕食-食饵模型 不动点指数 稳定性 唯一性 
带C-M反应项的非均匀恒化器模型的共存态
《计算机工程与应用》2014年第7期30-34,共5页姜洪领 李海侠 
陕西省科技新星专项项目(No.2011kjxx12);陕西省自然科学基础研究计划资助项目(No.2011JQ1015);中央高校基本科研业务费专项资金资助(No.GK201302025);宝鸡文理学院重点项目(No.ZK12091)
讨论了一类带有Crowley-Martin反应项的非均匀Chemostat模型正解的存在性和稳定性。运用不动点指数理论得到了正解存在的充分条件;利用线性算子的扰动理论和分歧解的稳定性理论讨论了局部正解的稳定性。结果表明在一定条件下,两物种能共...
关键词：CHEMOSTAT模型 Crowley-Martin反应函数 不动点指数 稳定性 
具有种内相食的捕食-食饵模型正解的惟一性被引量：1
《山东大学学报（理学版）》2013年第12期35-41,共7页李兵方 郭改慧 白云霄 
国家自然科学基金资助项目(11271236);陕西省自然科学基础研究计划资助项目(2011JQ1015);陕西省教育厅专项资助项目(12JK0856);陕西科技大学自然科学基金资助项目(2012SB001)
在齐次Dirichlet边界条件下研究一类种内相食的捕食-食饵模型正解的存在性和惟一性。首先利用极值原理、上下解方法给出正解的先验估计,然后利用Leray-Schauder度理论,通过计算锥映射不动点指标得到正解的存在性,最后利用特征值变分原...
关键词：种内相食 捕食-食饵 惟一性 
有限覆盖定理的应用被引量：1
《牡丹江大学学报》2013年第10期103-104,共2页郭改慧 李兵方 
陕西省自然科学基础研究计划资助项目(2011JQ1015);陕西省教育厅专项资助项目(12JK0856)
本文通过分析有限覆盖定理的特点,给出它在证明相关命题时的应用,以期对定理有更深的理解。特别地,利用有限覆盖定理证明了函数在闭区间上有界的一个充分条件.
关键词：实数完备性 开覆盖 有限覆盖定理 
一类捕食-食饵模型正解的惟一性和稳定性被引量：4
《纺织高校基础科学学报》2013年第1期43-49,共7页常文丛 
国家自然科学基金资助项目(11001160);陕西省自然科学基础研究计划项目(2011JQ1015)
考察一类带Beddington-DeAngelis和Leslie反应项的捕食-食饵模型.利用隐函数定理和摄动理论分析了共存解的惟一性和稳定性.结果表明,若假定a≥λ1+a2/k,b>λ1,当参数0ma2时...
关键词：捕食-食饵模型 隐函数定理 摄动理论 惟一性和稳定性 
具有非线性感染率和生物化学控制的害虫管理模型
《陕西科技大学学报（自然科学版）》2013年第1期155-159,共5页岳宗敏 白云宵 郭改慧 
陕西省科技厅自然科学基金项目(2011JQ1015);陕西科技大学校级自选科研项目(ZX10-37);榆林产学研科技合作项目(2011)
讨论了具有非线性传染率并在两个不同时刻分别脉冲释放病虫和喷洒农药的害虫管理模型,证明了害虫灭绝解的全局渐近稳定性,并进一步得到了解持续生存的条件,最后给出了结论.其中所使用的控制方法为实际的害虫管理提供了可靠的理论依据.
关键词：脉冲 害虫灭绝解 全局渐进稳定 一致持久 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部