组件间数据传输安全访问设计Secure Access to Data Transmission for Inter-Component Communication
余丽芳, 杨天长, 牛少彰 下载量: 1,596 浏览量: 4,026 国家自然科学基金支持
计算机科学与应用 Vol.6 No.10, October 26 2016, PDF, , XML DOI:10.12677/CSA.2016.610073 被引量
基于磁流变阻尼器的变压器半主动减振控制研究Research on Semi-Active Damping Control of Transformers Based on Magnetorheological Dampers
翟凌晨, 印心童, 葛浩然, 张海龙, 王恩荣 下载量: 414 浏览量: 648
电气工程 Vol.10 No.2, June 13 2022, PDF, HTML, XML DOI:10.12677/JEE.2022.102011 被引量
半主动控制隔振与非线性能量采集一体化分析Analysis of Integrate Semi-Active Control Vibration Isolation and Nonlinear Energy Harvesting
杨 豪, 臧 建, 倪智宇 下载量: 1,027 浏览量: 2,481
力学研究 Vol.8 No.2, June 11 2019, PDF, HTML, XML DOI:10.12677/IJM.2019.82015 被引量
马克思主义自然观的理论逻辑与现实意蕴——从生态建设角度出发The Theoretical Logic and Realistic Connotation of Marxist View of Nature—From the Perspective of Ecological Construction
李婉露 下载量: 327 浏览量: 605
社会科学前沿 Vol.11 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.115274 被引量
数字劳动的内蕴:超越资本逻辑的可能——基于马克思异化劳动理论The Connotation of Digital Labor: The Possibility of Transcending the Logic of Capital—Based on Marx’s Alienated Labor Theory
王展鹏 下载量: 229 浏览量: 680
哲学进展 Vol.13 No.2, February 27 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.132047 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 892 浏览量: 2,737
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于S3C2440A的液晶显示控制系统Control System of LCD Based on S3C2440A
佟刚 下载量: 2,098 浏览量: 6,463 科研立项经费支持
仪器与设备 Vol.3 No.4, December 15 2015, PDF, , XML DOI:10.12677/IaE.2015.34017 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 217 浏览量: 2,806 科研立项经费支持
社会科学前沿 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
王婷婷 下载量: 210 浏览量: 428
哲学进展 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
刘巧云 下载量: 892 浏览量: 2,360 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量