基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
萨特思想嬗变中的马克思主义“实践逻辑”Marxist “Practical Logic” in the Evolution of Sartre’s Thought
陈 璐 下载量: 360 浏览量: 598 科研立项经费支持
哲学进展 Vol.11 No.4, August 10 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114108 被引量
国内数据新闻研究的知识图景与演进 Knowledge Landscape and Evolution of Domestic Data Journalism Research
陈凯莉 下载量: 271 浏览量: 720
新闻传播科学 Vol.11 No.4, December 12 2023, PDF, HTML, XML DOI:10.12677/JC.2023.114134 被引量
进化视野下的伦理学研究Research in Ethics from the Perspective of Evolutionary Theory
刘 琪, 胡国帅 下载量: 322 浏览量: 614 科研立项经费支持
哲学进展 Vol.11 No.4, August 23 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114147 被引量
基于前缀位置及允许错配的DNA序列进化分析DNA Sequence Evolution Analysis Based on Prefix Position and Allowable Mismatch
高胜男 下载量: 383 浏览量: 550
应用数学进展 Vol.10 No.6, June 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.106204 被引量
五轴数控机床的两轴联动加工轮廓轨迹精度分析Precision Analysis of Contour Trajectory in Two-Axis linkage Machining of Five-Axis CNC Machine Tool
刘立上, 陈光胜, 焦安铃, 曲子冰 下载量: 437 浏览量: 788
建模与仿真 Vol.11 No.2, February 25 2022, PDF, HTML, XML DOI:10.12677/MOS.2022.112023 被引量
基于三方博弈模型的高校教学演化分析研究Research on the Evolution Analysis of College Teaching Based on Tripartite Game Model
田建平, 贾文生 下载量: 304 浏览量: 720 国家自然科学基金支持
运筹与模糊学 Vol.12 No.4, November 4 2022, PDF, HTML, XML DOI:10.12677/ORF.2022.124135 被引量
五轴数控机床进给系统动态误差影响因素分析Analysis of the Factors Affecting the Dynamic Error of the Feed System of Five Axis NC Machine Tools
郭玉玺, 陈光胜 下载量: 321 浏览量: 550
建模与仿真 Vol.12 No.1, January 19 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.121019 被引量
控制论与耗散结构论在舰船维修库存管理环节中的应用研究The Application of Cybernetics and Dissipative Structure Theory in Ship Maintenance Inventory Management
陈国安, 杨 凡, 梁前超 下载量: 935 浏览量: 1,659 科研立项经费支持
动力系统与控制 Vol.9 No.1, December 13 2019, PDF, HTML, XML DOI:10.12677/DSC.2020.91002 被引量
“梼杌”的词义演变与发展The Semantic Evolution and Development of “Tao Wu
张竞文 下载量: 264 浏览量: 364
现代语言学 Vol.12 No.1, January 26 2024, PDF, HTML, XML DOI:10.12677/ML.2024.121068 被引量