分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 895 浏览量: 2,747
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
圆孔透气塞服役过程的塑性损毁研究Investigation of the Plastic Failure of Purging Plug with Circular Slits in Its Service
谭方关, 贺 铸, 潘丽萍, 李亚伟, 杨 军, 吴畏虎 下载量: 676 浏览量: 1,119 国家自然科学基金支持
冶金工程 Vol.7 No.1, February 5 2020, PDF, HTML, XML DOI:10.12677/MEng.2020.71002 被引量
三维不可压磁流体力学方程弱解正则准则Regularity Criterion of the Weak Solution for the 3D Incompressible MHD Equations
李天理, 王 力 下载量: 437 浏览量: 659 科研立项经费支持
理论数学 Vol.11 No.4, April 29 2021, PDF, HTML, XML DOI:10.12677/PM.2021.114077 被引量
全波电磁仿真软件在《微波工程》教学中的应用The Application of Full Wave Electromagnetic Simulation Software in Teaching of Microwave Engineering
包 扬, 樊纪元, 何 欣, 汪书嘉 下载量: 433 浏览量: 2,106 科研立项经费支持
软件工程与应用 Vol.11 No.1, January 29 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.111004 被引量
基于双流Swinc Transformer的工业过程故障诊断Industrial Process Fault Diagnosis Based on Two Stream Swinc Transformer
徐 磊, 田 颖 下载量: 481 浏览量: 1,933 国家自然科学基金支持
建模与仿真 Vol.12 No.2, March 8 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.122074 被引量
基于生成式对抗网络的多维时间序列补插研究Multivariate Time Series Imputation Based on Generative Adversarial Network
赵景启 下载量: 533 浏览量: 3,392
计算机科学与应用 Vol.13 No.3, March 29 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133046 被引量
基于知识图谱嵌入的多模型融合与多任务学习的工业软件组件推荐方法Multi-Model Fusion and Multi-Task Learning Based on Knowledge Graph Embedding for Industrial Software Component Recommendation
钟卓伦 下载量: 232 浏览量: 395
计算机科学与应用 Vol.13 No.12, December 30 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1312260 被引量
晶粒择优取向AlFe2B2合金的磁相变调控与反常热膨胀研究 Study on Manipulation of the Magnetic Phase Transition and Anomalous Thermal Expansion in Grain-Oriented AlFe2B2 Alloys
查嘉驹, 郭文辉, 龚 勇, 李俊沛, 黄文洋, 缪雪飞 下载量: 187 浏览量: 1,401
材料科学 Vol.14 No.1, January 29 2024, PDF, HTML, XML DOI:10.12677/MS.2024.141010 被引量
Ag修饰的TiO2纳米管阵列材料的制备及其气敏特性研究Preparation and Gas Sensing Properties of Ag Modified TiO2 Nanotube Array Materials
孙志英 下载量: 314 浏览量: 340
传感器技术与应用 Vol.12 No.4, July 5 2024, PDF, , XML DOI:10.12677/jsta.2024.124060 被引量
基于物元模型的高新技术企业发展力评价研究The Evaluation Research of High-Tech Enterprises Development Power Based on Matter-Element Model
刘颖, 宋赫民 下载量: 3,365 浏览量: 7,190
现代管理 Vol.1 No.3, September 19 2011, PDF, , DOI:10.12677/mm.2011.13043 被引量