王柏岩
- 作品数：9 被引量：27H指数：2
- 供职机构：兰州理工大学理学院更多>>
- 发文基金：甘肃省自然科学基金国家自然科学基金甘肃省教育厅资助项目更多>>
- 相关领域：理学生物学自动化与计算机技术更多>>
- 标准序列逻辑系统S_3中的相似度及伪距离被引量：2
- 2004年
- 在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础.
- 李骏兰倩黎锁平王柏岩
- 关键词：伪距离真度逻辑系统孤立点相似度
- 带有扩散的两种群时滞生态模型的振动性
- 2001年
- 对用偏泛函微分方程组所描述的密度分布非均匀的两种群相互作用生态模型进行了讨论 .通过利用时滞泛函微分不等式 ,研究了时滞生态模型的振动性 ,得到了其解关于正平衡态振动的简捷的充分判据 .
- 王柏岩霍海峰
- 关键词：扩散振动性群论密度分布生态平衡
- 非线性规划弱增广 Lagrange 函数变度量法
- 1998年
- 对一般的非线性规划问题给出了弱增广的Ｌａｇｒａｎｇｅ函数，利用变度量法求得下降方向，从而将原问题转化为一维极小化问题，再通过一维搜索求得问题的解，并证明了此方法的收敛性．
- 王柏岩欧志英
- 关键词：非线性规划变度量法收敛性LAGRANGE函数
- 一族共扼下降算法的全局收敛性
- 2001年
- 给出了无约束问题一族含有一个参数βｋ的共扼下降算法，证明了该共扼下降算法在满足一种非精确线性搜索条件时是下降的，而且是全局收敛的．同时可以看到共扼下降算法是其特例．
- 王柏岩欧志英严克明
- 关键词：非精确线性搜索无约束最优化
- 四度与五度循环图的同构的研究
- 2001年
- 得到了任意两个四度及五度连通循环图是同构的充要条件．
- 周永生王柏岩
- 关键词：同构最大公约数连通图图论
- 离散Schoner竞争模型的正周期解被引量：1
- 2005年
- 利用重合度理论的延拓引理讨论了一类离散Schoner竞争模型正周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件.同时所得结果可以应用于具有时滞的离散Schoner竞争模型.
- 向红严克明王柏岩
- 关键词：正周期解重合度
- 具有反馈控制的捕食-食饵模型的周期解被引量：4
- 2005年
- 研究了具有反馈控制与第二类功能性反应函数的周期捕食-食饵模型.利用不等式,不动点定理与Lya-punov函数,得到了系统(1)存在唯一全局吸引的正周期解的容易验证的充分条件.
- 向红严克明王柏岩
- 关键词：反馈控制周期解捕食-食饵模型正周期解LYAPUNOV函数不动点定理
- 共轭梯度法和最速下降法的混合算法被引量：18
- 1999年
- 将共轭梯度法与最速下降法有机地结合起来，构造了一种共轭梯度法和最速下降法的混合算法，并证明了该算法的全局收敛．混合算法既提高了共轭梯度算法的收敛速度，又解决了目标函数“性态不优”时，最速下降法难以求解的问题．同时也可以看到共轭梯度法与最速下降法仅仅是混合算法的特例．
- 欧志英严克明王柏岩
- 关键词：混合算法共轭梯度法最速下降法
- 时滞Schoner竞争模型周期解的存在性被引量：2
- 2003年
- 利用重合度理论的延拓引理讨论了一类具有时滞的Schoner竞争模型周期解的存在性,得到了保证系统周期解存在的易于验证的充分条件,同时所得结果可用于具有时间依赖时滞的Schoner竞争模型.
- 霍海峰向红王柏岩孙建平
- 关键词：周期解存在性生态数学模型重合度
