分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,768
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于联盟链的安全公平细粒度数据交易方案A Secure and Fair Fine-Grained Data Trading Scheme Based on Consortium Blockchain
白 瑞, 陈玉玲, 谭超月, 杨宇项 下载量: 294 浏览量: 462 国家自然科学基金支持
运筹与模糊学 Vol.13 No.3, June 20 2023, PDF, HTML, XML DOI:10.12677/ORF.2023.133182 被引量
避雷器在线监测装置现场校验系统的研发Design and Development of AN Automatic Calibration System for Voltage Dividers
张 露, 李进扬, 王永勤, 贺家慧, 吴 彤, 邵华锋, 李小双 下载量: 975 浏览量: 2,192
电气工程 Vol.7 No.1, March 19 2019, PDF, HTML, XML DOI:10.12677/JEE.2019.71006 被引量
导管架裙桩夹桩器卡爪国产化材料应用研究Research on the Application of Domestic Materials of Skirt Pile Gripper Claw of Jacket
刘顺庆, 刘 涛, 李 军, 胡 苏, 邵国庆 下载量: 617 浏览量: 1,868
机械工程与技术 Vol.9 No.2, March 30 2020, PDF, HTML, XML DOI:10.12677/MET.2020.92007 被引量
基于区块链的公平合同签订方案Fair Contract Signing Scheme Based on Block Chain
陈俊屹 下载量: 429 浏览量: 715
计算机科学与应用 Vol.11 No.11, November 12 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.1111273 被引量
一种基于PKI的根密钥自动管理方案Automatic Root Key Management Based on PKI
白云, 李晖, 金东勋 下载量: 2,733 浏览量: 6,553
计算机科学与应用 Vol.3 No.7, November 1 2013, PDF, , XML DOI:10.12677/CSA.2013.37051 被引量
核电厂严重事故管理指南(SAMG)实施阶段若干问题的思考与建议 Issues Associated with SAMG in the Implement Phase and Relative Advices
杨志义, 张佳佳, 冯进军, 李春, 种毅敏 下载量: 2,947 浏览量: 8,720 科研立项经费支持
核科学与技术 Vol.2 No.3, July 15 2014, PDF, , DOI:10.12677/NST.2014.23005 被引量
高分辨率卫星反演降水数据在四川省的适用性分析Analysis of the Suitability of High Resolution Satellite Inversion Precipitation Data in Sichuan Province
孙云华, 杨 星, 崔希民 下载量: 1,227 浏览量: 2,483 国家科技经费支持
气候变化研究快报 Vol.7 No.5, August 29 2018, PDF, HTML, XML DOI:10.12677/CCRL.2018.75035 被引量
新能源车用减速器润滑系统仿真与优化验证Lubrication System Simulation and Optimization Validation of New Energy Vehicle Reducer
朱 超, 曲婧瑶, 施绍有, 赵志宇 下载量: 514 浏览量: 1,289
机械工程与技术 Vol.10 No.2, April 8 2021, PDF, HTML, XML DOI:10.12677/MET.2021.102017 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 200 浏览量: 313
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量