计算机学士论文3 网上购物平台-计算机学士论文-程序-ppt全套计算机学士论文3 网上购物平台-计算机学士论文-程序-ppt全套

研究兴趣 软件工程，软件验证，形式化方法 静态和动态分析技术的结合，即互补的证明和测试 并发面向对象程序的静态分析 教育 博士生，软件工程（2020年至今） 沙夫豪森理工学院 顾问： 硕士，软件工程（2017-2019） 中山大学数据与计算机科学学院 硕士学位论文：使用Simulink Design Verifier验证网络物理系统中（非）功能需求的工具支持的验证 GPA：4.4 / 5.0 指导老师： 软件工程学士（2013-2017） 中山大学数据与计算机科学学院 GPA：3.9 /

工程信息学系 论文题目 从复杂的视频场景中提取文本 主管 Athanasios Nikolaidis博士，nikolaid teiser.gr 目的 本论文的目的是开发一种图像处理桌面应用程序，该应用程序能够检测和提取具有复杂背景的视频中的文本显示。 我的方法从各种流行的科学论文中实现了机器学习和图像分析方法。 技术领域 JavaFX，OpenCV，LIBSVM，Gradle，JUnit，TestFX 参考文献 [1] Palaiahnakote Shivakumara，Trung Qu