杨争峰

作品数：7被引量：5H指数：1
导出分析报告
供职机构：华东师范大学更多>>
发文主题：数学机械化测试用例自动生成测试用例多项式系统多项式更多>>
发文领域：理学自动化与计算机技术建筑科学更多>>
发文期刊：《系统科学与数学》《中国科学：数学》《计算机应用》更多>>
所获基金：国家自然科学基金上海市自然科学基金浙江省教育厅科研计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号数值计算的代数曲线区间插值
《中国科学：数学》2024年第5期699-730,共32页Lydia Dehbi 杨争峰 彭超 徐姚晨 曾振柄 
国家自然科学基金(批准号:12171159)资助项目。
本文研究的代数曲线区间插值问题,是针对预先给定平面上的若干矩形小邻域,构造经过它们的次数最低的代数曲线、项数最少的代数曲线以及系数是整数的代数曲线.本文将上述问题转化为优化问题,给出基于符号数值计算和Lagrange乘子法的求解...
关键词：代数曲线 数学机械化 符号数值计算 稀疏插值 
基于连续同伦的多方对策之Nash均衡点的机械化求解方法
《系统科学与数学》2023年第3期780-796,共17页熊贝贝 杨争峰 武斌 曾振柄 
国家自然科学基金(12171159)资助课题。
Nash定理证明非合作n人矩阵对策一定有混合平衡解,现有文献多讨论n=2时混合平衡解的求法,一般用优化或逼近的方法.文章给出了一种机械化求解方法,通过构造非合作多人矩阵对策的混合平衡局势所满足的多项式方程组,应用方程组求解软件由...
关键词：Nash定理 混合平衡策略 数学机械化 多项式方程 连续同伦方法 
点集拓扑学之杨忠道定理的一个机械化证明被引量：1
《中国科学：数学》2021年第1期257-288,共32页曾振柄 王建林 杨争峰 小林英恒 
国家自然科学基金(批准号:11471209和61772203)资助项目。
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
关键词：拓扑空间 开集 闭集 导集 杨忠道定理 机器证明 
模型平均方法及应用专辑序言
《系统科学与数学》2018年第12期I0001-I0001,共1页杨争峰 冯如勇 
全国计算机数学学术会议是由中国数学会计算机数学专业委员会主办的学术会议,旨在为全国计算机数学相关领域的科研人员提供交流与展示其最新科研成果的平台.
关键词：平均方法 计算机数学 序言 专辑 应用 模型 学术会议 专业委员会 
基于随机障碍验证的随机连续系统安全性验证被引量：1
《计算机应用》2018年第6期1737-1744,1750,共9页沈敏捷 曾振柄 林望 杨争峰 
国家自然科学基金资助项目(61772203;61632015;61561146394);上海市自然科学基金资助项目(17ZR1408300)~~
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初...
关键词：连续系统 安全性验证 随机微分方程 障碍验证 平方和松弛 
ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具被引量：3
《系统科学与数学》2017年第7期1704-1721,共18页王砺磊 曾霞 林望 陈鑫 杨争峰 
国家重点研发计划项目(2016YFB1000802);国家自然科学基金项目(61632015,61561146394,61602348);上海市自然科学基金项目(17ZR1408300)资助课题
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复...
关键词：测试用例自动生成 符号执行 多项式系统实根求解 低秩矩量矩阵恢复. 
基于符号数值混合计算的混成系统Lyapunov函数构造
《系统科学与数学》2012年第5期610-625,共16页林望 吴敏 杨争峰 曾振柄 
国家自然科学基金项目(10901055;10801052;91018012;61021004);973项目(2011CB302802);浙江省教育厅科研项目(Y201120383);华东师范大学创新基金项目(78210043)
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问...
关键词：混成系统 LYAPUNOV函数 平方和松弛 半正定规划 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部