分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,768
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
中国股票市场重大风险的生成机理——基于流动性供需失衡的理论阐释Generation Mechanism of Major Risks in Chinese Stock Market—Theoretical Explanation Based on the Imbalance of Liquidity Supply and Demand
张 旭, 徐文婷 下载量: 373 浏览量: 740 科研立项经费支持
金融 Vol.13 No.1, January 4 2023, PDF, HTML, XML DOI:10.12677/FIN.2023.131002 被引量
ZnS薄膜的制备及摩擦学性能的研究Fabrication and Tribological Performance of ZnS Film
万纬祺, 杨淑燕 下载量: 3,047 浏览量: 9,775 科研立项经费支持
材料科学 Vol.4 No.4, July 31 2014, PDF, , DOI:10.12677/MS.2014.44023 被引量
低维拓扑绝缘体磁特性研究Study on the Magnetic Property of Low Dimension Topological Insulator
严萍兰, 李晓静 下载量: 2,968 浏览量: 11,830 国家科技经费支持
凝聚态物理学进展 Vol.4 No.2, May 19 2015, PDF, , XML DOI:10.12677/CMP.2015.42004 被引量
基于离散时间系统交叉Gram矩阵的H2最优模型降阶方法H2 Optimal Model Order Reduction Method Based on the Cross-Gramian for Discrete-Time Systems
王兆鸿, 李延鹏 下载量: 1,750 浏览量: 3,973
应用数学进展 Vol.7 No.4, April 24 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.74038 被引量
求非线性方程重根的区间算法Interval Algorithm of Nonlinear Equation with Multiple Root
武松, 王奕为, 肖旺, 王海军 下载量: 1,376 浏览量: 4,482 科研立项经费支持
应用数学进展 Vol.7 No.8, August 27 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.78119 被引量
一类分块矩阵方程的广义逆求解方法The Generalized Inverse Computing Method of a Class of Block Matrixequations
赖金凤, 刘唐伟, 唐阿敏, 陈 硕 下载量: 713 浏览量: 1,345 科研立项经费支持
应用数学进展 Vol.9 No.8, August 4 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.98131 被引量
求解非线性方程的多步区间迭代法Multi-Step Interval Iteration Methods for Nonlinear Equation
楚 雪, 肖 旺, 王海军 下载量: 677 浏览量: 1,107 科研立项经费支持
应用数学进展 Vol.9 No.8, August 4 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.98132 被引量
基于风险感知的SIR疾病传播动力学研究Research on the Transmission Dynamics of SIR Disease Based on Risk Perception
王海英 下载量: 397 浏览量: 2,083
理论数学 Vol.12 No.9, September 8 2022, PDF, HTML, XML DOI:10.12677/PM.2022.129156 被引量
英语写作中读者意识与影响因素研究Research on Audience Awareness in Second Language Writing and Influencing Factors
谢 玲 下载量: 365 浏览量: 556 科研立项经费支持
现代语言学 Vol.10 No.10, October 26 2022, PDF, HTML, XML DOI:10.12677/ML.2022.1010310 被引量