基于动态数组的加法器重写优化算法Adder Rewriting Optimization Algorithm Based on Dynamic Array
张小盈, 吕妍颖, 江建国 下载量: 335 浏览量: 738
应用数学进展 Vol.10 No.11, November 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011405 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 220 浏览量: 324
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 277 浏览量: 392
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
机器人钻削三位力反馈表面接触滑移抑制Robotic Three-dot Force Feedback to Suppress Surface Contact Slipping in Robot Drilling
李晨杰, 李树强, 屈润鑫, 朱思俊, 姚俊 下载量: 3,408 浏览量: 8,440 科研立项经费支持
机械工程与技术 Vol.2 No.3, August 27 2013, PDF, , DOI:10.12677/MET.2013.23018 被引量
有机硼羟丙基胍胶压裂液的交联动力学研究Study on Reaction Dynamics of Organic Boric Cross-Linker and Hydroxypropyl Guar Gum
唐 萍, 林 鑫, 郑承纲, 石 阔 下载量: 1,604 浏览量: 2,845 科研立项经费支持
物理化学进展 Vol.6 No.1, February 28 2017, PDF, , XML DOI:10.12677/JAPC.2017.61005 被引量
复杂断块凝析气-油层A区井型井网确定及参数优化研究Well Type and Well Pattern Identification and Parameters Optimization Research in Complex Fault Block Condensate Oil and Gas Zone A
郭雨仙, 郝思源, 周楚棋, 李明泽 下载量: 1,762 浏览量: 3,523
自然科学 Vol.5 No.2, May 19 2017, PDF, , XML DOI:10.12677/OJNS.2017.52017 被引量
基于等刚度原理的LTCC基板密集孔区域研究Study on Dense Hole Region of LTCC Substrate Based on Equal Stiffness Theory
刘洋志, 时生淦, 马洪波, 王天石, 邓超, 张怡 下载量: 1,239 浏览量: 3,300 国家科技经费支持
机械工程与技术 Vol.7 No.1, February 28 2018, PDF, HTML, XML DOI:10.12677/MET.2018.71008 被引量
基于双向流固耦合的柔性表面仿生减阻研究Research on Bionic Drag Reduction of Flexible Surface Based on Bi-Directional Fluid Solid Coupling
郝路亭, 徐 中 下载量: 1,665 浏览量: 4,016
建模与仿真 Vol.7 No.2, May 18 2018, PDF, HTML, XML DOI:10.12677/MOS.2018.72006 被引量
江汉油田老区特殊复杂井固井工艺改进与实践The Improvement and Practice of Cementing Technology for Special and Complex Wells in Old Areas of Jianghan Oilfield
周福新, 李 簏, 刘 瑶 下载量: 919 浏览量: 2,641
石油天然气学报 Vol.40 No.3, June 15 2018, PDF, HTML, XML DOI:10.12677/JOGT.2018.403085 被引量
多点地质统计学算法的C#实现及应用Realization and Application of Multipoint Geostatistics Algorithms by C#
郭凤云, 苗长运 下载量: 856 浏览量: 2,668
软件工程与应用 Vol.8 No.2, April 15 2019, PDF, HTML, XML DOI:10.12677/SEA.2019.82007 被引量