您的位置: 专家智库 > >

杨争峰

作品数:10 被引量:5H指数:1
供职机构:华东师范大学更多>>
发文基金:国家自然科学基金上海市自然科学基金浙江省教育厅科研计划更多>>
相关领域:理学自动化与计算机技术建筑科学更多>>

文献类型

  • 7篇期刊文章
  • 3篇专利

领域

  • 4篇理学
  • 3篇自动化与计算...
  • 1篇建筑科学

主题

  • 3篇数学
  • 2篇多项式
  • 2篇数学机械化
  • 2篇图像
  • 2篇微分
  • 2篇微分方程
  • 2篇分辨率
  • 2篇超分辨
  • 2篇超分辨率
  • 1篇代数
  • 1篇代数曲线
  • 1篇单纯形
  • 1篇导集
  • 1篇等价
  • 1篇等价转化
  • 1篇点集
  • 1篇点集拓扑
  • 1篇点集拓扑学
  • 1篇定理
  • 1篇动力系统

机构

  • 10篇华东师范大学
  • 3篇上海大学
  • 3篇温州大学
  • 2篇中国科学院数...
  • 1篇南京大学
  • 1篇河南大学
  • 1篇湖北大学
  • 1篇上海财经大学
  • 1篇中国科学院成...

作者

  • 10篇杨争峰
  • 5篇曾振柄
  • 3篇林望
  • 2篇张丽
  • 1篇陈鑫
  • 1篇吴敏
  • 1篇曾霞
  • 1篇彭超

传媒

  • 4篇系统科学与数...
  • 2篇中国科学:数...
  • 1篇计算机应用

年份

  • 1篇2024
  • 2篇2023
  • 2篇2022
  • 1篇2021
  • 2篇2018
  • 1篇2017
  • 1篇2012
10 条 记 录,以下是 1-10
排序方式:
基于随机障碍验证的随机连续系统安全性验证被引量:1
2018年
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题;最后,运用平方和松弛方法将问题转化为平方和规划问题,并利用SOSTOOLS工具求得安全性概率的下界。理论分析以及实验结果表明,所提方法具有多项式时间的复杂度,能有效地给出随机连续系统在无界时间内的安全性概率的下界。
沈敏捷曾振柄林望杨争峰
关键词:随机微分方程
模型平均方法及应用专辑序言
2018年
全国计算机数学学术会议是由中国数学会计算机数学专业委员会主办的学术会议,旨在为全国计算机数学相关领域的科研人员提供交流与展示其最新科研成果的平台.
杨争峰冯如勇
关键词:计算机数学序言专辑
ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具被引量:3
2017年
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.
王砺磊曾霞林望陈鑫陈鑫
关键词:测试用例自动生成
一种基于神经网络的轻量级视频超分辨率重建系统和方法
本发明公开了一种基于神经网络的轻量级视频超分辨率重建系统和方法,包括:云端服务器、视频图像转换模块和超分辨率模块。视频图像转换模块从云端服务器接收低分辨率视频,并将低分辨率视频转换为数个图片帧,将图片帧输入超分辨率模块,...
高洪帆晁佳豪龚嘉礼张丽杨争峰曾振柄
文献传递
一种用于非线性连续动力系统的安全验证方法
本发明公开了一种用于非线性连续动力系统的安全验证方法,包括:初始化问题;输入连续动力系统后,提取系统的初始区域、不安全区域、微分方程、不变集,并将其转换成满足安全验证的不等式;构造张量表达式;建立原始模型与张量表达式之间...
张丽杨争峰曾霞曾振柄
文献传递
基于符号数值混合计算的混成系统Lyapunov函数构造
2012年
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.
林望吴敏杨争峰曾振柄
关键词:混成系统LYAPUNOV函数
基于卷积神经网络的移动端轻量级图像超分辨率重建方法
本发明公开了一种基于卷积神经网络的移动端轻量级图像超分辨率重建方法,包括如下步骤,首先,得到训练数据集。然后,构建适用于移动端的轻量级图像超分辨率网络,包括训练时和推理时网络,推理时网络由训练时网络使用等价转化的方法转化...
周洲晁佳豪高洪帆龚嘉礼杨争峰曾振柄
点集拓扑学之杨忠道定理的一个机械化证明被引量:1
2021年
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
曾振柄王建林杨争峰小林英恒
关键词:闭集导集杨忠道定理机器证明
基于符号数值计算的代数曲线区间插值
2024年
本文研究的代数曲线区间插值问题,是针对预先给定平面上的若干矩形小邻域,构造经过它们的次数最低的代数曲线、项数最少的代数曲线以及系数是整数的代数曲线.本文将上述问题转化为优化问题,给出基于符号数值计算和Lagrange乘子法的求解方法,应用这一方法解决了几个具体的有趣问题,包括基于太阳系行星、小行星和矮行星的轨道数据重新发现Kepler第三定律.
Lydia Dehbi杨争峰彭超徐姚晨曾振柄
关键词:代数曲线数学机械化
基于连续同伦的多方对策之Nash均衡点的机械化求解方法
2023年
Nash定理证明非合作n人矩阵对策一定有混合平衡解,现有文献多讨论n=2时混合平衡解的求法,一般用优化或逼近的方法.文章给出了一种机械化求解方法,通过构造非合作多人矩阵对策的混合平衡局势所满足的多项式方程组,应用方程组求解软件由此可直接求出多人对策的问题的各种混合平衡解.
熊贝贝杨争峰武斌曾振柄
关键词:数学机械化多项式方程
共1页<1>
聚类工具0