Tóm tắt Luận án Tiến sĩ Khoa học máy tính: Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây

Tóm tắt Luận án Tiến sĩ Khoa học máy tính "Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây" trình bày việc đề xuất mô hình WSN-CPN một mô hình mạng cảm biến không dây bằng ngôn ngữ Coloured Petri Net; Đề xuất mô hình động PDP-WSN-CPNcho phép người dùng tùy chỉnh các thông số trong mạng và phát hiện nghẽn chính xác hơn với xác suất nghẽn; Xây dựng công cụ CODE-WSN thực thi tất cả các mô hình trên.
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ Khoa học máy tính: Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây Kỷ yếu hội nghị quốc tế ĐẠI HỌC QUỐC GIA TP. HỒ CHÍ MINH 1. K. Le, B. Pham, Q. Tram, T. Bui and T. Quan, “CODE-WSN: A Formal TRƯỜNG ĐẠI HỌC BÁCH KHOA Modelling Tool for Congestion Detection on Wireless Sensor Networks,” in The World Symposium on Communication Engineering (WSCE 2018), Singapore, 2018, pp. 13-19. 2. K. Le, G. Trinh, T. Bui and T. Quan, “Probabilistic Modelling for Congestion Detection on Wireless Sensor Networks,” in International Conference on Control, Decision and Information Technologies (CoDIT), Barcelona, Spain, LÊ NGỌC KIM KHÁNH 2017, pp. 190-195. 3. K. Le, T. Nguyen, T. Cao, T. Bui and T. Quan, “Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks,” in International Conference on Future Data and Security Engineering (FDSE), Can Tho, Vietnam, 2016, pp. 105-116. 4. K. Le, T. Bui, T. Quan and L. Petrucci, “A Framework for Fast Congestion MỘT CÁCH TIẾP CẬN HÌNH THỨC TRONG VIỆC MÔ Detection in Wireless Sensor Networks using Clustering and Petri-Net-based HÌNH HÓA THAM SỐ ĐỘNG CHO BÀI TOÁN KIỂM TRA Verification,” in International Workshop on Petri Nets and Software Engineering (PNSE 2016), Torun, Poland, 2016, pp. 329-334. TẮC NGHẼN TRÊN MẠNG CẢM BIẾN KHÔNG DÂY 5. K. Le, T. Bui, T. Quan and L. Petrucci, “COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks,” in IEEE International Conference on Communication Software and Networks (ICCSN 2016), Beijing, China, 2016, pp. 450-454. 6. K. Le, T. Bui, T. Quan, L. Petrucci and É. André, “Component-Based Abstraction of Petri Net Models: An Application for Congestion Ngành: Khoa học máy tính Verification of Wireless Sensor Networks,” in The Sixth International Mã số ngành: 62480101 Symposium on Information and Communication Technology (SoICT 2015), ACM, Hue, Vietnam, 2015, pp. 342-349. 7. K. Le, T. Bui and T. Quan, “A Formal Approach for Congestion Constraints Verification on Wireless Sensor Networks,” in Asia Conference on Information Systems (ACIS 2014), 2014, Nha Trang, Vietnam, pp. 319-325. TÓM TẮT LUẬN ÁN TIẾN SĨ TP. HỒ CHÍ MINH - NĂM 2022 Công trình được hoàn thành tại Trường Đại học Bách Khoa – ĐHQG-HCM DANH MỤC CÔNG TRÌNH ĐÃ CÔNG BỐ Tạp chí quốc tế 1. K. K. Le-Ngoc, T. T. Quan, T. H. Bui, A. M. Rahmani and M. Hosseinzadeh, Người hướng dẫn 1: PGS.TS. Quản Thành Thơ “Optimized fuzzy clustering in wireless sensor networks using improved Người hướng dẫn 2: PGS.TS. Bùi Hoài Thắng squirrel search algorithm,” Fuzzy Sets and Systems, 2021 (SCI,Q1). 2. K. Le, T. Cao, P. Le, B. Pham, T. Bui and T. Quan, “Probabilistic congestion of wireless sensor networks: a Coloured Petri Net-based approach,” Communications on Applied Electronics, vol. 7, no. 2, pp. 1-7, Phản biện độc lập 1: 2017. Phản biện độc lập 2: 3. G. Trinh, K. Le, T. Bang, Q. Tram, T. Bui and T. Quan, “Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets,” International Journal of Applied Information Systems, vol. 11, no. 7, pp. 1-9, 2016. Phản biện 1: Phản biện 2: 4. K. Le, T. Bui, T. Quan, L. Petrucci, and É. André, “Congestion Verification Phản biện 3: on Abstracted Wireless Sensor Networks with the WSN-PN Tool,” Journal of Advances in Computer Networks, vol. 4, no. 1, pp. 33- ...