分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 922 浏览量: 2,790
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于最大熵的深度模糊聚类方法研究Research on Deep Fuzzy Clustering Based on Maximum Entropy
黄皓宇, 李少勇, 陈傲天 下载量: 146 浏览量: 230
计算机科学与应用 Vol.14 No.4, April 29 2024, PDF, HTML, XML DOI:10.12677/csa.2024.144097 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 228 浏览量: 2,823 科研立项经费支持
社会科学前沿 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
王婷婷 下载量: 251 浏览量: 488
哲学进展 Vol.13 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.131015 被引量
区间值直觉模糊相似度及其应用Similarity Measure for Interval-Valued Intuitionistic Fuzzy Set and Its Applications
伍淼锋, 袁家琪 下载量: 114 浏览量: 245
应用数学进展 Vol.13 No.5, May 16 2024, PDF, HTML, XML DOI:10.12677/aam.2024.135185 被引量
室内环境舒适度感知系统研究及实现Research on the Comfort Evaluation for Indoor Environment
罗 恒, 陈启蔚, 邹优敏, 倪启东, 陆家欣, 王春霞, 于 波 下载量: 1,951 浏览量: 4,766 国家自然科学基金支持
软件工程与应用 Vol.6 No.4, August 10 2017, PDF, HTML, XML DOI:10.12677/SEA.2017.64008 被引量
基于TOF距离传感器的疫情防控距离控制器Distance Controller for Epidemic Prevention and Control Based on TOF Distance Sensor
柯思悦, 刘思龙, 刘 佳 下载量: 487 浏览量: 2,520
计算机科学与应用 Vol.12 No.1, January 24 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.121009 被引量
如何有效提高管制员特情处置能力How to Effectively Improve the Controller’s Special Handling Ability
朱友志, 龚 玺 下载量: 467 浏览量: 1,300
职业教育 Vol.11 No.3, May 16 2022, PDF, HTML, XML DOI:10.12677/VE.2022.113045 被引量
数理逻辑论证形式有效性算法The Algorithms about Validity of Argument Form in Logic Mathematician
刘巧云 下载量: 923 浏览量: 2,409 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量
基于嵌入式的煤炭含水量检测系统设计 Design of Coal Water Content Detection System Based on Embedded Chip
张 娜, 宋金堂, 时维佐, 吴峰华, 王 昊, 尹竞瑶, 刘美佳 下载量: 485 浏览量: 951 国家社会科学基金支持
传感器技术与应用 Vol.9 No.3, July 6 2021, PDF, HTML, XML DOI:10.12677/JSTA.2021.93020 被引量