MA

作品数：3133被引量：6364H指数：24
导出分析报告
相关领域：天文地球更多>>
相关作者：罗振华张广智吴建伟王保丽方小敏更多>>
相关机构：中国科学院浙江大学西安交通大学郑州大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=应用数学进展x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有限差分–配点法求解SchrO<sup style=" margin-left:-10px;">¨</sup>dinger方程
《应用数学进展》2022年第5期3150-3163,共14页孙浩然 黄思雨 周铭扬 李依伦 
本文将重心插值配点法结合Crank-Nicolson差分格式求解线性Schrödinger方程。首先,对方程中的空间方向上采用重心插值Chebyshev配点格式进行离散,时间方向采用Crank-Nicolson差分格式,从而导出对应的代数方程组。最后,数值算例验...
关键词：重心插值配点格式 线性SchrO style=" margin-left:-10px ">¨dinger方程 CRANK-NICOLSON差分格式 质量和能量守恒 
GrO<sup style=" margin-left:-10px;">¨</sup>bner基法验证乘法器的设计与实现
《应用数学进展》2021年第10期3495-3504,共10页吕妍颖 张小盈 江建国 
当今形式化验证工具在大规模集成电路的设计过程中起着非常重要的作用。最有效的方法是以Gröbner基方法为基本原理,将乘法器电路建模为一组伪布尔多项式,通过Gröbner基来既约由多项式表示的字级规范。本文将基于Gröbner...
关键词：GrO style=" margin-left:-10px ">¨bner基 C++ 形式化验证 
MO<sup style=" margin-left:-10px;">¨</sup>bius梯状图的完美匹配的反强迫多项式和卢卡斯数被引量：1
《应用数学进展》2021年第8期2868-2874,共7页刘雨童 韩慧 王杰彬 
在本文中我们研究了Möbius梯状图MLn的反强迫谱,并得到了一个关于MLn的反强迫多项式和Lucas数列关系的等式。
关键词：MO style=" margin-left:-10px ">¨bius梯状图MLn 完美匹配 反强迫谱 反强迫多项式 Lucas数列 
对称的完全二部多重有向图的<sub><i>P</i><sub>7</sub></sub><sup style="margin-left:-10px;">&rharu;</sup>-因子分解
《应用数学进展》2021年第8期2881-2887,共7页朱莉 
如果对称完全二部多重有向图λKm,n*的有向弧集可以分拆为λKm,n*的Pk⇀-因子,则称λKm,n*存在Pk⇀-因子分解。对称完全二部多重有向图λKm,n*存在P7⇀-因子分解的充分必要条件是:1) 3m≤4n,2) 3n≤4m,3) m+n≡0(mod7),4) 7λmn/[3(m,n)]...
关键词：二部多重有向图 因子 因子分解 
一类SchrO<sup style=" margin-left:-10px;">¨</sup>dinger-Poisson系统基态变号解的存在性
《应用数学进展》2021年第6期2021-2030,共10页刘志霞 
运用Ekeland变分原理,约束变分等变分方法,研究有界光滑区域上一类Schrödinger-Poisson系统基态变号解的存在性。所得结果是前述已有工作的补充与推广。
关键词：SchrO style=" margin-left:-10px ">¨dinger-Poisson系统 基态变号解 变分法 
一类带有临界增长的广义拟线性SchrO<sup style=" margin-left:-10px;">¨</sup>dinger-Poisson系统基态变号解的存在性
《应用数学进展》2021年第6期2137-2150,共14页褚海慧 
在这篇文章当中,我们研究了如下Schrödinger-Poisson系统其中是边界光滑的有界区域,。对f,g施加适当的条件,若μ足够大,通过利用约束变分方法和形变引理,得到了该系统对于每一个λ>0都有相对应的基态变号解νλ,并且基态变号解...
关键词：SchrO style=" margin-left:-10px ">¨dinger-Poisson系统 变号解 非局部项 变分法 
临界非线性分数阶 SchrO<sup style=" margin-left:-10px;">¨</sup>dinger 方程变号解的存在性
《应用数学进展》2021年第5期1559-1585,共27页黄娅林 
本文主要研究了一类临界增长的分数阶 Schrödinger 方程变号解的存在性,其中0 是分数阶临界指数,µ是一个正常数,,ε >0是一个小参数, V ∈ C1(RN , R)满足a ≤ V (x) ≤ b, b >a >0 , ∀x ∈ RN.通过临界理论和下降...
关键词：分数阶 SchrO style=" margin-left:-10px ">¨dinger 方程 下降流不变集法 变号解 
具有井位势的非线性分阶SchrO<sup style=" margin-left:-10px;">¨</sup>dinger-Poisson 方程组的基态解的存在性和渐近性
《应用数学进展》2021年第5期1804-1824,共21页王亚军 
在本文中, 我们研究了如下分 阶 SchrO¨dinger-Poisson 方程组 其中(−∆)α是阶数为α∈(0, 1)的分数阶Laplace算子,λ >是一个参数,是分数阶临街指数. 在 V, f满足适当条件下, 利用变分方法我们证明了基态解存在性. 及当λ...
关键词：分数阶SchrO style=" margin-left:-10px ">¨dinger-Poisson 方程组 Nehari流形 变分方法 
半经典次临界增长SchrO<sup style=" margin-left:-10px;">¨</sup>dinger-Poisson方程组变号解的存在性和集中现象
《应用数学进展》2021年第4期1359-1379,共21页王星 
在本文中,研究半经典次临界增长 Schrödinger-Poisson 方程组, 当 |x| → ∞ 时,其中 ε >0 是小参数,λ, µ>0 是参数,V : ℝ3 → ℝ 是有界位势函数且局部极小点集 M 非空, 利用下降流不变集方法和截断技巧证明无穷多变...
关键词：半经典 SchrO style=" margin-left:-10px ">¨dinger-Poisson 方程组 下降流不变集方法 截断技巧 无穷多变号解 集中现象 
基于GrO<sup style=" margin-left:-10px;">¨</sup>bner基方法的乘法器等价性验证
《应用数学进展》2021年第1期343-350,共8页张璇思 刘佳姝 江建国 
乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gröbner基方法...
关键词：GrO style=" margin-left:-10px ">¨bner基 等价性验证 整数乘法器 增量式验证 切片 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部