分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 895 浏览量: 2,748
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
邦戈尔盆地北部斜坡油气成藏期次研究Oil and Gas Accumulation Period on the Northern Slope of Bongor Basin
曾艳涛, 文志刚, 宋换新 下载量: 2,063 浏览量: 5,127
石油天然气学报 Vol.38 No.1, March 14 2016, PDF, , XML DOI:10.12677/jogt.2016.381001 被引量
推动氮肥工业技术创新、促进农业绿色生态发展—“一种合成草酰胺连续工艺”专利简介Promote Technological Innovation in Nitrogen Fertilizer Industry and Promote Agricultural Green Ecological Development—Patent Brief of “A Continuous Process for Synthetic Oxamide”
陈贻盾, 胡晓鸣, 郦志文, 段增强 下载量: 1,431 浏览量: 2,158
可持续发展 Vol.8 No.1, January 31 2018, PDF, HTML, XML DOI:10.12677/SD.2018.81009 被引量
超深高温高压气藏水合物预测及防治Gas Hydrate Prediction and Prevention in Ultra-Deep High-Temperature and High-Pressure Gas Reservoirs
吴亚红, 孙晨曦, 张 宝, 陈 庆, 尹学琴, 于雯汀, 吕兆兰 下载量: 540 浏览量: 840
石油天然气学报 Vol.43 No.2, June 29 2021, PDF, HTML, XML DOI:10.12677/JOGT.2021.432022 被引量
渗透率各向异性气藏井网设计与调整研究Well Pattern Design and Adjustment for Permeability Anisotropy Gas Reservoir
聂 彬, 周 贤, 杜立红, 刘 畅, 许正栋, 易珍丽 下载量: 1,712 浏览量: 4,042 国家自然科学基金支持
石油天然气学报 Vol.38 No.2, June 21 2016, PDF, , XML DOI:10.12677/JOGT.2016.382014 被引量
页岩气大容量水池损伤快速修复方法与应用Rapid Repair Method and Application of Shale Gas Large Capacity Pool Damage
何 焱, 邓 勇, 李 强, 徐天源, 汪 洋, 何明星 下载量: 326 浏览量: 691
石油天然气学报 Vol.45 No.1, March 3 2023, PDF, HTML, XML DOI:10.12677/JOGT.2023.451001 被引量
基于特征工件的三轴数控机床动静态误差辨识与分离方法Dynamic and Static Error Identification and Separation Method for Three-Axis CNC Machine Tools Based on Feature Workpiece
吴 昊, 刘 超 下载量: 331 浏览量: 876
机械工程与技术 Vol.12 No.5, October 8 2023, PDF, HTML, XML DOI:10.12677/MET.2023.125048 被引量
油气管道SDH光传输网关键设计Key Design of SDH Optical Transmission Network for Oil and Gas Pipeline
张皓若, 刘晓峰, 郑海鹏, 赵雅琴 下载量: 447 浏览量: 1,836
石油天然气学报 Vol.43 No.3, September 6 2021, PDF, HTML, XML DOI:10.12677/JOGT.2021.433031 被引量
基于地震数据体结构识别与划分含油气单元Research on Identification of Oil and Gas Unit Based on the Seismic Data Structure
李谋杰, 蔡炳坤, 袁世雄, 林昌荣 下载量: 1,507 浏览量: 4,021 科研立项经费支持
石油天然气学报 Vol.38 No.4, December 15 2016, PDF, , XML DOI:10.12677/JOGT.2016.384035 被引量
川中地区寒武系大气田成藏特征及主控因素分析The Reservoir-Forming Characteristics and Major Controlling Factors of Cambrian Large Gas Field in Central Sichuan Basin
唐 娜, 何幼斌 下载量: 1,391 浏览量: 3,617 国家科技经费支持
石油天然气学报 Vol.39 No.1, February 23 2017, PDF, , XML DOI:10.12677/JOGT.2017.391001 被引量