TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI
Phát hiện và xử lý tắc nghẽn trên mạng cảm ứng không dây là một vấn đề thu hút nhiều sự chú ý trong cộng đồng nghiên cứu. Về cơ bản, mạng cảm ứng không dây có thể triển khai ở chế độ mạng dày hoặc mạng thưa; mỗi chế độ này đòi hỏi một chiến lược tiếp cận khác nhau để phát hiện và xử lý nghẽn. Do chi...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | Vietnamese |
| Published: |
Can Tho University Publisher
2015-12-01
|
| Series: | Tạp chí Khoa học Đại học Cần Thơ |
| Subjects: | |
| Online Access: | https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/2340 |
| _version_ | 1797286470500745216 |
|---|---|
| author | Lê Ngọc Kim Khánh Lê Quốc Vũ Tân Quốc Tiến Bùi Hoài Thắng Quản Thành Thơ |
| author_facet | Lê Ngọc Kim Khánh Lê Quốc Vũ Tân Quốc Tiến Bùi Hoài Thắng Quản Thành Thơ |
| author_sort | Lê Ngọc Kim Khánh |
| collection | DOAJ |
| description | Phát hiện và xử lý tắc nghẽn trên mạng cảm ứng không dây là một vấn đề thu hút nhiều sự chú ý trong cộng đồng nghiên cứu. Về cơ bản, mạng cảm ứng không dây có thể triển khai ở chế độ mạng dày hoặc mạng thưa; mỗi chế độ này đòi hỏi một chiến lược tiếp cận khác nhau để phát hiện và xử lý nghẽn. Do chi phí triển khai một mạng cảm ứng không dây là khá lớn, vấn đề kiểm tra sự tắc nghẽn trên mạng cần được kiểm tra trên một mô hình máy tính trước khi triển khai thực tế. Chúng tôi giải quyết vấn đề này bằng cách sử dụng hướng tiếp cận kiểm tra mô hình. Ngôn ngữ mạng Petri được sử dụng để biểu diễn và kiểm tra các tính chất của một mạng không dây. Hơn thế nữa, chúng tôi còn sử dụng kỹ thuật trừu tượng hóa dựa trên thành phần để có thể trừu tượng hóa các thành phần không cần thiết trên một mạng cảm ứng không dây khi cần kiểm tra tắc nghẽn theo các chế độ khác nhau. Nhờ đó, tốc độ xử lý của chúng tôi được tăng lên rất nhiều. Chúng tôi đã phát triển công cụ WSN-PN để hiện thực ý tưởng này. Kết quả thí nghiệm cho thấy WSN-PN có thể thu giảm đáng kể không gian trạng thái cần kiểm tra khi sử dụng trừu tượng hóa. |
| first_indexed | 2024-03-07T18:18:44Z |
| format | Article |
| id | doaj.art-6779c61349b14eefad1569d4914f17fc |
| institution | Directory Open Access Journal |
| issn | 1859-2333 2815-5599 |
| language | Vietnamese |
| last_indexed | 2024-03-07T18:18:44Z |
| publishDate | 2015-12-01 |
| publisher | Can Tho University Publisher |
| record_format | Article |
| series | Tạp chí Khoa học Đại học Cần Thơ |
| spelling | doaj.art-6779c61349b14eefad1569d4914f17fc2024-03-02T07:22:40ZvieCan Tho University PublisherTạp chí Khoa học Đại học Cần Thơ1859-23332815-55992015-12-01CĐ Công nghệ TTTRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRILê Ngọc Kim Khánh0Lê Quốc Vũ1Tân Quốc Tiến2Bùi Hoài Thắng3Quản Thành Thơ4Khoa Khoa học và Kỹ thuật máy tính, Đại học Bách Khoa, Đại học Quốc gia, Thành phố Hồ Chí MinhKhoa Công nghệ Thông tin, Đại học Sài Gòn, Thành phố Hồ Chí MinhKhoa Công nghệ Thông tin, Đại học Sài Gòn, Thành phố Hồ Chí MinhKhoa Khoa học và Kỹ thuật máy tính, Đại học Bách Khoa, Đại học Quốc gia, Thành phố Hồ Chí MinhKhoa Khoa học và Kỹ thuật máy tính, Đại học Bách Khoa, Đại học Quốc gia, Thành phố Hồ Chí MinhPhát hiện và xử lý tắc nghẽn trên mạng cảm ứng không dây là một vấn đề thu hút nhiều sự chú ý trong cộng đồng nghiên cứu. Về cơ bản, mạng cảm ứng không dây có thể triển khai ở chế độ mạng dày hoặc mạng thưa; mỗi chế độ này đòi hỏi một chiến lược tiếp cận khác nhau để phát hiện và xử lý nghẽn. Do chi phí triển khai một mạng cảm ứng không dây là khá lớn, vấn đề kiểm tra sự tắc nghẽn trên mạng cần được kiểm tra trên một mô hình máy tính trước khi triển khai thực tế. Chúng tôi giải quyết vấn đề này bằng cách sử dụng hướng tiếp cận kiểm tra mô hình. Ngôn ngữ mạng Petri được sử dụng để biểu diễn và kiểm tra các tính chất của một mạng không dây. Hơn thế nữa, chúng tôi còn sử dụng kỹ thuật trừu tượng hóa dựa trên thành phần để có thể trừu tượng hóa các thành phần không cần thiết trên một mạng cảm ứng không dây khi cần kiểm tra tắc nghẽn theo các chế độ khác nhau. Nhờ đó, tốc độ xử lý của chúng tôi được tăng lên rất nhiều. Chúng tôi đã phát triển công cụ WSN-PN để hiện thực ý tưởng này. Kết quả thí nghiệm cho thấy WSN-PN có thể thu giảm đáng kể không gian trạng thái cần kiểm tra khi sử dụng trừu tượng hóa. https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/2340Mạng cảm ứng không dâyPhát hiện tắc nghẽnKỹ thuật trừu tượng hóamạng Petri |
| spellingShingle | Lê Ngọc Kim Khánh Lê Quốc Vũ Tân Quốc Tiến Bùi Hoài Thắng Quản Thành Thơ TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI Tạp chí Khoa học Đại học Cần Thơ Mạng cảm ứng không dây Phát hiện tắc nghẽn Kỹ thuật trừu tượng hóa mạng Petri |
| title | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI |
| title_full | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI |
| title_fullStr | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI |
| title_full_unstemmed | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI |
| title_short | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG CẢM ỨNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI |
| title_sort | truu tuong hoa dua tren thanh phan de kiem tra tac nghen tren mang cam ung khong day su dung mang petri |
| topic | Mạng cảm ứng không dây Phát hiện tắc nghẽn Kỹ thuật trừu tượng hóa mạng Petri |
| url | https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/2340 |
| work_keys_str_mv | AT lengockimkhanh truutuonghoaduatrenthanhphanđekiemtratacnghentrenmangcamungkhongdaysudungmangpetri AT lequocvu truutuonghoaduatrenthanhphanđekiemtratacnghentrenmangcamungkhongdaysudungmangpetri AT tanquoctien truutuonghoaduatrenthanhphanđekiemtratacnghentrenmangcamungkhongdaysudungmangpetri AT buihoaithang truutuonghoaduatrenthanhphanđekiemtratacnghentrenmangcamungkhongdaysudungmangpetri AT quanthanhtho truutuonghoaduatrenthanhphanđekiemtratacnghentrenmangcamungkhongdaysudungmangpetri |