模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,198 浏览量: 11,460
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
基于自助收费的高速公路收费车道扩容最优化方案设计及实施Design and Implementation on Optimization System to Increase Highway Toll Lane Capacity Based on Automatical Toll
肖宾杰, 戴孙放, 刘玉喆 下载量: 1,579 浏览量: 3,927 科研立项经费支持
交通技术 Vol.6 No.1, January 24 2017, PDF, HTML, XML DOI:10.12677/OJTT.2017.61006 被引量
基于机器学习的网贷借款人违约预测研究 Research on Default Prediction of Online Lending Borrowers Based on Machine Learning
王相婷, 赵子轩, 王殊檀, 刘宁宁 下载量: 1,391 浏览量: 3,977
服务科学和管理 Vol.8 No.1, January 15 2019, PDF, HTML, XML DOI:10.12677/SSEM.2019.81006 被引量
基于改进人工势场方法的无人机群侦察覆盖航路规划算法研究Research on the Route Planning Algorithm of UAV Group Reconnaissance Coverage Based on Improved Artificial Potential Field Method
房达迪, 宋志华, 冷雄晖, 刘江阳, 张 晗 下载量: 607 浏览量: 1,797
运筹与模糊学 Vol.10 No.3, July 31 2020, PDF, HTML, XML DOI:10.12677/ORF.2020.103019 被引量
基于支持向量机的混杂数据过程控制Process Control of Mixed Data Based on Support Vector Machine
孙 静, 郭叙成 下载量: 476 浏览量: 1,131 国家自然科学基金支持
动力系统与控制 Vol.11 No.1, January 18 2022, PDF, HTML, XML DOI:10.12677/DSC.2022.111001 被引量
基于STM32的智能物流搬运机器人Intelligent Logistics Handling Robot Based on STM32
梅红樱, 刘赛一, 孙树祥, 郑新艳, 陈富军, 文 桦, 陈淑静, 熊 娟, 郝华丽 下载量: 777 浏览量: 3,439 科研立项经费支持
人工智能与机器人研究 Vol.11 No.2, April 22 2022, PDF, HTML, XML DOI:10.12677/AIRR.2022.112011 被引量
基于三维的人脸合成与替换系统实现Realization of 3D-Based Face Synthesis and Replacement System
钟卓岑, 史泽奇 下载量: 450 浏览量: 1,649
软件工程与应用 Vol.11 No.3, June 15 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.113056 被引量
大数据时代公民个人生物识别信息的刑法保护——从人脸识别角度切入Criminal Law Protection of Citizens’ Personal Biometric Information in the Era of Big Data—From the Perspective of Face Recognition
韩晨艺 下载量: 283 浏览量: 700
法学 Vol.11 No.5, September 12 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115567 被引量
基于LabVIEW的压电陶瓷强场机械品质因数测量系统Measurement System for High-Field Mechanical Quality Factor of Piezoelectric Ceramics Based on LabVIEW
郑广斌, 陈赵江, 赵恒莉, 刘世清 下载量: 286 浏览量: 434
应用物理 Vol.14 No.1, January 10 2024, PDF, HTML, XML DOI:10.12677/APP.2024.141001 被引量
基于皮尔斯符号论的地图符号评价研究Research on Map Symbol Evaluation Based on Pierce Semiotics
曾特林, 吴彩燕, 王卫红, 谭宝会 下载量: 138 浏览量: 215 科研立项经费支持
测绘科学技术 Vol.12 No.2, April 15 2024, PDF, HTML, XML DOI:10.12677/gst.2024.122012 被引量