基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,589 浏览量: 1,877
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
基于S波波速变化的北京市高丽营地区地裂缝发展趋势研究Research in the Trend of Ground Rupture Development in Gaoliying of Beijing Based on the Variation of the S Wave Velocities
赵 帅, 孟勇琦, 孙佳珺 下载量: 1,162 浏览量: 3,179
地球科学前沿 Vol.8 No.7, November 19 2018, PDF, HTML, XML DOI:10.12677/AG.2018.87123 被引量
基于Hadoop的产品大数据分布式存储优化Storage Optimization of Product Big Data Based on Hadoop Platform
王耐东, 王雅君, 张昕晨, 程胜明 下载量: 716 浏览量: 1,134 科研立项经费支持
计算机科学与应用 Vol.11 No.5, May 27 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.115154 被引量
基于门控多层感知机和Informer的多通道电力负荷预测Multi-Channel Power Load Forecasting Based on Gated Multilayer Perceptron and Informer
孙卓远, 吕学文, 王继军 下载量: 71 浏览量: 158
人工智能与机器人研究 Vol.13 No.2, May 31 2024, PDF, HTML, XML DOI:10.12677/airr.2024.132039 被引量
集成化全电参数行波管自动测量系统Integrated Automatic Measurement System for All Electric Parameters of TWT
陈源, 宫大鹏, 黄桃, 李斌 下载量: 512 浏览量: 711 国家自然科学基金支持
计算机科学与应用 Vol.11 No.1, January 29 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111024 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,515 浏览量: 5,767
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
CoFeNi系高熵合金机械合金化过程的研究Research on the Mechanical Alloying Process of CoFeNi System High-Entropy Alloys
赵雅芳, 孟祥然, 郭晓影, 申梓傲, 牛 也 下载量: 56 浏览量: 78 科研立项经费支持
冶金工程 Vol.11 No.2, June 27 2024, PDF, , XML DOI:10.12677/meng.2024.112013 被引量
探析越鞠丸和柴胡疏肝散“同病异治”抑郁症的作用机制Analysis of Antidepressant Mechanism of Yueju Pill and Chaihu Shugan Powder in Treating Depression with “the Same Disease with Different Treatments”
黄志航, 刘文雯, 钟 馨, 木本荣, 王冬梅, 国锦琳 下载量: 715 浏览量: 1,765 科研立项经费支持
中医学 Vol.10 No.1, January 5 2021, PDF, HTML, XML DOI:10.12677/TCM.2021.101001 被引量
人血清中游离氨基酸指纹图谱的初步研究A Preliminary Study on Free Amino Acid Fingerprint of Human Serum
徐 慧, 陈秋虹, 黄岛平, 苏梅清 下载量: 1,839 浏览量: 4,157 科研立项经费支持
分析化学进展 Vol.7 No.1, February 8 2017, PDF, HTML, XML DOI:10.12677/AAC.2017.71001 被引量
基于XRF分析的土壤中重金属元素调查Investigation of Heavy Metal Elements in Soil Based on XRF Analysis
赵小刚, 樊新胜, 刘雅囡 下载量: 554 浏览量: 950
自然科学 Vol.9 No.5, September 24 2021, PDF, HTML, XML DOI:10.12677/OJNS.2021.95090 被引量