基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 704 浏览量: 1,056
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
具有同时多种子检测与并行扩展能力的BLAST算法加速器研究The Research on BLAST Accelerator with Parallel Multi-Seeds Detection and Extension
夏 飞, 金国庆, 张春雷 下载量: 2,751 浏览量: 12,241 国家自然科学基金支持
计算生物学 Vol.5 No.1, February 28 2015, PDF, , XML DOI:10.12677/HJCB.2015.51001 被引量
刀具半径对3D误差补偿的影响研究Research on Influence of Tool Radius on 3D Error Compensation
唐清春, 谢 栋, 刘 斌 下载量: 684 浏览量: 1,999
机械工程与技术 Vol.9 No.2, March 30 2020, PDF, HTML, XML DOI:10.12677/MET.2020.92008 被引量
公共工期指派和可控处理时间资源约束下最大费用最小化单机排序问题Minmax Single Machine Scheduling Problem with Common Due-Date and Controllable Processing Time and Resource Restriction
罗成新 下载量: 703 浏览量: 3,772 国家自然科学基金支持
应用数学进展 Vol.9 No.11, November 18 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911224 被引量
基于深度学习的癫痫识别软硬件协同设计Co-Design of Software and Hardware for EEG Epilepsy Recognition Based on Deep Learning
谈宇轩, 涂淑琴 下载量: 565 浏览量: 1,267
人工智能与机器人研究 Vol.11 No.1, February 28 2022, PDF, HTML, XML DOI:10.12677/AIRR.2022.111008 被引量
基于MC的辐射场快速计算程序设计与验证Program Design and Verification of Rapid Calculation of Radiation Field Based on MC
谢明亮, 彭 波, 魏 巍, 李 青, 谢政权, 陈玉清, 于 雷, 沈华韵, ZhongBin 下载量: 429 浏览量: 717
核科学与技术 Vol.10 No.3, July 20 2022, PDF, HTML, XML DOI:10.12677/NST.2022.103019 被引量
变温场诱导相分离的格子Boltzmann数值模拟 Lattice Boltzmann Numerical Simulation of Phase Separation Induced by Variable Temperature Field
李阳贵, 黄笑冲, 梁大成 下载量: 344 浏览量: 724 国家自然科学基金支持
流体动力学 Vol.10 No.4, December 9 2022, PDF, HTML, XML DOI:10.12677/IJFD.2022.104006 被引量
核磁共振脉冲序列发生器集成化研究进展Research Progress of Nuclear Magnetic Resonance Pulse Sequence Generator Integration
刘 颖, 刘 意, 林 羚, 章浩伟 下载量: 323 浏览量: 538 科研立项经费支持
软件工程与应用 Vol.12 No.2, April 14 2023, PDF, HTML, XML DOI:10.12677/SEA.2023.122024 被引量
陆水水库洪水集合概率预报方法与应用研究Ensemble Probability Flood Forecasting Method and Application in Lushui Reservoir
崔 震, 巴欢欢, 郭生练, 王 俊, 张 俊, 陈瑜彬 下载量: 664 浏览量: 2,304 国家自然科学基金支持
水资源研究 Vol.9 No.6, December 9 2020, PDF, , DOI:10.12677/JWRR.2020.96061 被引量
GR4J与新安江模型在湿润地区比较研究Comparative Study of GR4J and Xinanjiang Models in Humid Area
王何予, 郭生练, 王 俊, 崔 震 下载量: 638 浏览量: 1,286 国家自然科学基金支持
水资源研究 Vol.10 No.1, February 18 2021, PDF, HTML, XML DOI:10.12677/JWRR.2021.101002 被引量