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. | 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 .