公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

基于随机障碍验证的随机连续系统安全性验证被引量：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在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.; 曾振柄王建林杨争峰小林英恒; 关键词：闭集导集杨忠道定理机器证明

基于连续同伦的多方对策之Nash均衡点的机械化求解方法: 2023年; Nash定理证明非合作n人矩阵对策一定有混合平衡解,现有文献多讨论n=2时混合平衡解的求法,一般用优化或逼近的方法.文章给出了一种机械化求解方法,通过构造非合作多人矩阵对策的混合平衡局势所满足的多项式方程组,应用方程组求解软件由此可直接求出多人对策的问题的各种混合平衡解.; 熊贝贝杨争峰武斌曾振柄; 关键词：数学机械化多项式方程

全选清除导出

共1页<1>

杨争峰