马克思主义自然观的理论逻辑与现实意蕴——从生态建设角度出发The Theoretical Logic and Realistic Connotation of Marxist View of Nature—From the Perspective of Ecological Construction
李婉露 下载量: 342 浏览量: 632
社会科学前沿 Vol.11 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.115274 被引量
基于行稀疏的局部约束矩阵回归模型的人脸识别研究Research on a Row-Sparse Local Constraint Matrix Regression Model in Face Recognition
尹梓锦, 张凌聪 下载量: 135 浏览量: 242
应用数学进展 Vol.13 No.3, March 26 2024, PDF, HTML, XML DOI:10.12677/aam.2024.133092 被引量
数字劳动的内蕴:超越资本逻辑的可能——基于马克思异化劳动理论The Connotation of Digital Labor: The Possibility of Transcending the Logic of Capital—Based on Marx’s Alienated Labor Theory
王展鹏 下载量: 252 浏览量: 731
哲学进展 Vol.13 No.2, February 27 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.132047 被引量
耦合电网约束的水电系统短期发电调度研究Study on Short-Term Scheduling of Hydropower System Coupling Grid Constraint
张跃驰, 程春田, 刘 康, 陈 孚, 刘本希 下载量: 1,970 浏览量: 4,970 科研立项经费支持
水资源研究 Vol.5 No.3, June 3 2016, PDF, , XML DOI:10.12677/JWRR.2016.53026 被引量
国土空间规划约束下的旅游区规划研究Research on Tourist area Planning under the Constraint of Territorial Space Planning
王 荣, 董 硕 下载量: 283 浏览量: 446 科研立项经费支持
可持续发展 Vol.13 No.5, September 12 2023, PDF, HTML, XML DOI:10.12677/SD.2023.135172 被引量
无延迟加工约束下在线LPT算法关于平行机在线排序问题的性能LPT Online Strategy for Parallel-Machine Scheduling of Jobs with Non-Delayed Processing Constraint
李文杰 下载量: 391 浏览量: 580 科研立项经费支持
应用数学进展 Vol.11 No.3, March 14 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.113106 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 912 浏览量: 2,773
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 233 浏览量: 2,828 科研立项经费支持
社会科学前沿 Vol.12 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125372 被引量
马克思科技创新理论的三重逻辑及当代价值The Triple Logic and Contemporary Value of Marx’s Theory of Scientific and Technological Innovation
王婷婷 下载量: 238 浏览量: 472
哲学进展 Vol.13 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.131015 被引量
数理逻辑论证形式有效性算法The Algorithms about Validity of Argument Form in Logic Mathematician
刘巧云 下载量: 916 浏览量: 2,395 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量