基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
应用局部保持投影法于无线网络室内定位Wireless Local Area Network Indoor Positioning Using Locality Preserving Projects
詹佳翰, 李坤洲 下载量: 3,667 浏览量: 9,678
无线通信 Vol.2 No.2, May 29 2012, PDF, , DOI:10.12677/hjwc.2012.22007 被引量
基于幅度叠加的罗兰C全向磁天线信号合成方法研究Research on Signal Synthesized Method of Loran C Omni-Directional H-Field Antenna Based on Amplitude Superposition
崔国恒, 周隽, 许江宁, 曹可劲 下载量: 3,805 浏览量: 12,663
无线通信 Vol.2 No.2, May 29 2012, PDF, , XML DOI:10.12677/hjwc.2012.22009 被引量
产品布局优化设计中组件形变方法研究Research on Component Deformation Method in Product Layout Optimization Design
陈 标, 廖小平, 郑羽嘉, 马俊燕 下载量: 2,747 浏览量: 8,733 国家自然科学基金支持
机械工程与技术 Vol.3 No.1, March 12 2014, PDF, , DOI:10.12677/MET.2014.31002 被引量
一锅法合成艾地苯醌One-Pot Synthesis of Idebenone
仇永富, 卢斌, 严燚宇, 汤倩, 张天丽, 何郁焙, 罗婉悦, 赵岩, 祁实, 田建华, 王金, 高振秋, 卞勋光 下载量: 1,180 浏览量: 2,750
有机化学研究 Vol.7 No.1, March 28 2019, PDF, HTML, XML DOI:10.12677/JOCR.2019.71006 被引量
两类Virasoro代数的构造和相关性质The Construction and Related Properties of Two Kinds of Virasoro Algebras
马雯雯, 叶丽霞 下载量: 734 浏览量: 1,027 科研立项经费支持
理论数学 Vol.10 No.5, May 14 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105054 被引量
Beukers型多重积分的概率表示及应用Probabilistic Representations and Applications of Multiple Integrals of Beukers’s Type
常桂松, 徐 晨 下载量: 377 浏览量: 3,310
应用数学进展 Vol.11 No.5, May 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.115256 被引量
基于数值预报产品的地面气温精细化预报技术研究Technology Research of Fine Surface Temperature Forecasting Based on the Numerical Prediction Products
和丽云, 陈国华, 木丽赟, 张崇莉, 元 超 下载量: 263 浏览量: 381
气候变化研究快报 Vol.12 No.3, May 22 2023, PDF, HTML, XML DOI:10.12677/CCRL.2023.123050 被引量
SST中间神经元功能降低对抑郁症的影响Effect of Somatostatin-Expressing Interneuron Deficits in Depression
郭 沉 下载量: 976 浏览量: 2,775
心理学进展 Vol.9 No.10, October 25 2019, PDF, HTML, XML DOI:10.12677/AP.2019.910214 被引量
通过像素相关性改进的基于均值的密文域可逆信息隐藏The Mean-Based Ciphertext Domain Reversible Information Hiding Is Improved by Pixel Correlation
赵师毅, 袁 圆 下载量: 1,011 浏览量: 1,564
计算机科学与应用 Vol.8 No.11, November 6 2018, PDF, HTML, XML DOI:10.12677/CSA.2018.811182 被引量