k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
带真实交易条件的投资组合问题研究及实证分析Research on Portfolio Optimization with Re-al-Life Transaction Restrictions and Empirical Analysis
许晶 下载量: 1,676 浏览量: 3,538
运筹与模糊学 Vol.7 No.4, November 28 2017, PDF, HTML, XML DOI:10.12677/ORF.2017.74017 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 314 浏览量: 415
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
基于移动网格的HLL格式求解浅水波方程Solving Shallow Water Wave Equation with HLL Scheme Based on Moving Grid
李 霄 下载量: 355 浏览量: 464
应用数学进展 Vol.10 No.10, October 18 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010348 被引量
求解电路方程组的改进分块对角加边方法Improved Bordered Block Diagonal Method for Solving Circuit Equation Systems
陈炳旭 下载量: 43 浏览量: 72
运筹与模糊学 Vol.14 No.3, June 13 2024, PDF, , XML DOI:10.12677/orf.2024.143249 被引量
适用于混合网格重叠的线性插值方法An Linear Interpolation Method for Overset Mixed Grids Approach
康忠良, 方媛媛 下载量: 2,722 浏览量: 9,365
力学研究 Vol.4 No.2, June 25 2015, PDF, , XML DOI:10.12677/IJM.2015.42005 被引量
基于MPI的一种有限并行差分格式求解四阶抛物方程A Finite Difference Parallel Scheme Based on MPI Implementation for Fourth Order Parabolic Equations
高玉羊, 顾海明 下载量: 1,945 浏览量: 3,881
应用数学进展 Vol.6 No.2, March 21 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.62013 被引量
求解抛物方程的MPI并行方法Parallel Methods for Parabolic Equations Based on MPI Implementation
高玉羊, 顾海明 下载量: 1,756 浏览量: 3,160
理论数学 Vol.7 No.2, March 31 2017, PDF, HTML, XML DOI:10.12677/PM.2017.72013 被引量
求解复对称线性系统的改进EPGS迭代法Improved EPGS Iterative Method for Solving Complex Symmetric Linear Systems
隆雪琴, 张乃敏 下载量: 415 浏览量: 586
应用数学进展 Vol.10 No.11, November 4 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011383 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 704 浏览量: 1,056
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量