命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 545 浏览量: 5,421 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
基于柔性逻辑的词语相似度计算方法的改进The Improvement of the Computational Method of Words’ Similarity Based on Flexible Logic
刘城霞 下载量: 1,666 浏览量: 4,324 科研立项经费支持
计算机科学与应用 Vol.6 No.11, November 29 2016, PDF, HTML, XML DOI:10.12677/CSA.2016.611090 被引量
基于交叉增益调制的集成全光可编程逻辑阵列研究Integrated All-Optical Programmable Logic Array Based on Cross Gain Modulation
张惟玥, 董文婵 下载量: 1,096 浏览量: 2,717 国家自然科学基金支持
无线通信 Vol.9 No.1, February 15 2019, PDF, HTML, XML DOI:10.12677/HJWC.2019.91003 被引量
萨特思想嬗变中的马克思主义“实践逻辑”Marxist “Practical Logic” in the Evolution of Sartre’s Thought
陈 璐 下载量: 361 浏览量: 601 科研立项经费支持
哲学进展 Vol.11 No.4, August 10 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114108 被引量
银川市智慧治理的运作逻辑与优化策略Operation Logic and Optimization Strategy of Intelligent Governance in Yinchuan
马嘉莉 下载量: 266 浏览量: 367
社会科学前沿 Vol.12 No.5, May 12 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125289 被引量
基于PSO-Fuzzy-PID的四旋翼飞行器悬停控制Hover Control for the Quadrotor Aircraft Based on PSO-Fuzzy-PID
刘 阳, 郭小和, 葛经纬, 张清尹 下载量: 963 浏览量: 2,847
国际航空航天科学 Vol.7 No.4, November 27 2019, PDF, HTML, XML DOI:10.12677/JAST.2019.74012 被引量
论摊贩经济发展的资本逻辑及其价值On the Capital Logic and Its Value of theEconomic Development
傅远林 下载量: 351 浏览量: 493
哲学进展 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116292 被引量
汽车电动制动助力器电机控制算法研究Research on Motor Control Algorithm of Automotive Electric Brake Booster
李雪娟, 张海山, 陈丹华, 杨昭辉, 徐 铁, 黄元毅, 王海军 下载量: 437 浏览量: 690 科研立项经费支持
建模与仿真 Vol.11 No.4, July 28 2022, PDF, HTML, XML DOI:10.12677/MOS.2022.114112 被引量
资本逻辑的“反生态性”及其生态文明道路选择The “Anti Ecology” of Capital Logic and the Choice of the Road to Ecological Civilization
杨宇轩 下载量: 412 浏览量: 581
哲学进展 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116275 被引量
用分子信标作为粘贴串的DNA计算模型的逻辑门Using Molecular Beacons as Paste Series Computing Model of a Logic Gate
唐静静, 单静怡 下载量: 3,222 浏览量: 16,779 国家自然科学基金支持
应用数学进展 Vol.3 No.1, February 14 2014, PDF, , DOI:10.12677/AAM.2014.31005 被引量