2n圆排列猜想证明The Proof of 2n Circle Arrangement Conjecture
王作栋 下载量: 1,893 浏览量: 3,893
理论数学 Vol.7 No.4, July 6 2017, PDF, HTML, XML DOI:10.12677/PM.2017.74031 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 919 浏览量: 2,782
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
钢丝缠绕剖分式扁挤压筒及其有限元分析Steel Wire Winding Split Flat Extrusion Cylinder and Its Finite Element Analysis
刘志卫, 吴 帆, 付文文 下载量: 183 浏览量: 325 科研立项经费支持
机械工程与技术 Vol.12 No.6, December 11 2023, PDF, HTML, XML DOI:10.12677/MET.2023.126053 被引量
一类含参变量函数的性态The Behavior of a Class of Functions Containing Parameter
王琦, 尤卫玲, 莫春鹏 下载量: 1,957 浏览量: 7,513 国家自然科学基金支持
应用数学进展 Vol.5 No.3, August 18 2016, PDF, , XML DOI:10.12677/AAM.2016.53045 被引量
大功率脉冲变压器短路阻抗设计及试验研究Design and Test Research on Short-Circuit Impedance for High Power Pulse Transformer
杨志刚, 黄懿赟 下载量: 1,040 浏览量: 2,304
核科学与技术 Vol.7 No.1, December 28 2018, PDF, HTML, XML DOI:10.12677/NST.2019.71003 被引量
球铰轴承异响及异常运动原因分析Cause Analysis for Swashplate Bearing Abnormal Noise and Abnormal Motion
刘红宇 下载量: 1,105 浏览量: 3,312 国家科技经费支持
机械工程与技术 Vol.7 No.3, June 28 2018, PDF, HTML, XML DOI:10.12677/MET.2018.73026 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 246 浏览量: 354
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
低温贮箱连接匹配技术研究Research on Connection and Matching Technology of Low Temperature Tank
杨华保, 梁帅康, 陈 亮 下载量: 615 浏览量: 1,087
国际航空航天科学 Vol.8 No.1, February 18 2020, PDF, HTML, XML DOI:10.12677/JAST.2020.81002 被引量
基于机器视觉的胶管尺寸测量系统Machine Vision based Measurement System of Rubber Hose Size
孔凡瑞 下载量: 614 浏览量: 1,378
图像与信号处理 Vol.10 No.3, July 14 2021, PDF, HTML, XML DOI:10.12677/JISP.2021.103015 被引量
具分布时滞双向Cohen-Grossberg模型的伪概周期解Pseudo Almost Periodic Solution of Bidirectional Co-hen-Grossberg Neural Networks with Distributed Delays
向红军, 魏叶梅, 王金华 下载量: 3,503 浏览量: 9,097 科研立项经费支持
理论数学 Vol.3 No.1, January 28 2013, PDF, , DOI:10.12677/PM.2013.31006 被引量