王攀
- 作品数：2 被引量：11H指数：1
- 供职机构：青岛科技大学更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现
- 数学问题的机器证明是利用计算机证明和求解数学问题。Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的计算机语言系统。如今该系统已拥有自身的数据库MML,收录了几乎涵盖数学各个分支的1000多篇数学...
- 王攀
- 关键词：机器证明四元数微分洛尔定理
- 文献传递
- 全局优化问题的无参数填充函数法被引量：11
- 2008年
- 通过对全局优化问题的填充函数算法的研究,克服了填充函数P(x,x*,γ,ρ)和P(x,x*)存在的缺陷,构造了2个连续的无参数填充函数W(x,x*)和-W(x,x*),并证明了它们满足填充函数的定义。数值试验的结果表明,新的填充函数算法对于求解全局优化问题是有效的。
- 王鹏李博王攀
- 关键词：全局优化填充函数局部极小点全局极小点
