搜索筛选:
搜索耗时2.4534秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
类      型:
[学位论文] 作者:杨争峰, 来源:中国科学院数学与系统科学研究院 年份:2006
本文主要讨论的是多元多项式的近似因式分解和有关单变元和多变元多项式的近似最大公因子的一些问题。所得到的主要结果包括三个方面:   第一,计算多变元多项式的近似因式分......
[期刊论文] 作者:杨争峰, 冯如勇,, 来源:系统科学与数学 年份:2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食Back to yield...
[期刊论文] 作者:沈敏捷,曾振柄,林望,杨争峰,, 来源:计算机应用 年份:2018
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并......
[期刊论文] 作者:林望,吴敏,杨争峰,曾振柄, 来源:系统科学与数学 年份:2004
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性.首先,为Lyapunov函数预定一个给定次数的多项式模板,...
[期刊论文] 作者:李祥坤,杨争峰,曾霞,刘志明,, 来源:系统科学与数学 年份:2019
近年来,基于深度神经网络的图像识别技术表现出良好的性能,然而研究表明神经网络容易受到对抗扰动攻击而发生分类错误,施加一个小的通用扰动就能使神经网络在整个数据集上失效.为构建更加健壮的神经网络,对通用扰动生成的研究显得至关重要.通用扰动生成问题要求......
[期刊论文] 作者:曾振柄,王建林,杨争峰,小林英恒,, 来源:中国科学:数学 年份:2021
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.......
相关搜索: