模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,085 浏览量: 10,823
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 207 浏览量: 317
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
迁移关系的布尔函数表示的优化Optimization of the Boolean Function Representing Transition Relation
张小珍, 江建国 下载量: 1,617 浏览量: 3,934
软件工程与应用 Vol.5 No.6, December 21 2016, PDF, , XML DOI:10.12677/SEA.2016.56037 被引量
基于GMM-UBM的飞机发动机声音识别方法研究Research of Aircraft Engine Sound Recognition Method Based on GMM-UBM
杨毫鸽, 孙成立 下载量: 1,549 浏览量: 2,200 国家自然科学基金支持
计算机科学与应用 Vol.7 No.8, August 28 2017, PDF, , XML DOI:10.12677/CSA.2017.78089 被引量
基于Halcon图像分析的快递信息识别Express Information Recognition Based on Halcon Image Analysis
吴海升, 张有中 下载量: 566 浏览量: 1,440 科研立项经费支持
软件工程与应用 Vol.11 No.3, June 10 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.113046 被引量
基于改进YOLOv5的交通标志检测算法研究Research on Traffic Sign Detection Algorithm Based on Improved YOLOv5
刘晓倩, 李士心, 李保胜, 董秀焕, 高雪苹, 陈东园, 张美会 下载量: 313 浏览量: 887 科研立项经费支持
计算机科学与应用 Vol.12 No.9, September 26 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.129219 被引量
基于图像分割的复合材料I型层间断裂裂纹识别研究Mode I Interlaminar Fracture Crack Identification of Composite Materials Based on Image Segmentation
伊泽元, 吴震宇 下载量: 237 浏览量: 331
建模与仿真 Vol.12 No.3, May 18 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.123206 被引量
基于两阶段混合模型的地震数据到时拾取研究Seismic Data Arrival Pickup Based on a Two-Stage Hybrid Model
付 敏, 马中华 下载量: 247 浏览量: 332 科研立项经费支持
计算机科学与应用 Vol.13 No.9, September 26 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.139174 被引量
多因素影响下对草原土壤影响的研究Study on the Influence of Grassland Soil under the Influence of Multi-Factors
刘佳辉, 胡方旭, 刘 磊 下载量: 153 浏览量: 408
建模与仿真 Vol.12 No.2, March 24 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.122131 被引量
基于YOLOX的遥感飞机检测算法Remote Sensing Aircraft Detection Algorithm Based on YOLOX
赵立敏, 白宗文 下载量: 762 浏览量: 964 科研立项经费支持
计算机科学与应用 Vol.13 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133064 被引量