Hội thảo Khoa học CNTT với PGS. TS Nguyễn Anh Linh Ngày 15/9/2023 chủ đề: "Computing Fuzzy Bisimulations"

Ngày đăng: 15/09/2023

Mong muốn những bước tiến mới cần phát triển của Khoa CNTT trong nghiên cứu khoa học, trong tương lai sẽ có nhiều quý Thấy/Cô sẽ có những công trình nghiên cứu khoa học đạt chuẩn trong nước, cũng như sẽ được đăng ở các tạp chí uy tín trên thế giới.

Ngày 15/9/2023. Khoa CNTT, trường ĐH Nguyễn Tất Thành tổ chức buổi hội thảo quan trọng liên quan đến lĩnh vực phát triển những vấn đề mới trong nghiên cứu khoa học. Cuộc hội thảo đã thu hút sự quan tâm lớn từ tất cả quý Thầy/Cô của Khoa CNTT. Đúng 13h, Thầy TS. Nguyễn Kim Quốc, trưởng Khoa CNTT dẫn lời mở đầu bằng phát biểu mong muốn những bước tiến mới cần phát triển của Khoa CNTT trong nghiên cứu khoa học, trong tương lai sẽ có nhiều quý Thấy/Cô sẽ có những công trình nghiên cứu khoa học đạt chuẩn trong nước, cũng như sẽ được đăng ở các tạp chí uy tín trên thế giới.

Với bài nghiên cứu về "Computing Fuzzy Bisimulations", Thầy PGS. TS. Nguyễn Anh Linh đã trình bày về Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the G¨odel semantics.

Phép mô phỏng mờ (Fuzzy simulation) là một phần của lý thuyết mờ (Fuzzy theory) và thường được sử dụng để mô hình hóa các hệ thống hoặc quy trình trong môi trường không chắc chắn hoặc mờ mịt. Trong phép mô phỏng mờ, ta sử dụng biến mờ để biểu diễn các giá trị đầu vào và đầu ra của hệ thống. Dưới đây là một số bước cơ bản để thực hiện phép mô phỏng mờ:

Xác định biến mờ: Xác định các biến đầu vào và đầu ra của hệ thống bạn muốn mô phỏng mờ. Điều này bao gồm việc xác định tên biến, miền giá trị của chúng và xây dựng hàm xác suất mờ (membership function) để biểu diễn mức độ của biến trong các tập mờ.

Xây dựng quy tắc mờ: Xác định các quy tắc mờ (fuzzy rules) dựa trên kiến thức và kinh nghiệm về hệ thống. Mỗi quy tắc mờ gắn liên các biến đầu vào với các biến đầu ra bằng cách sử dụng các từ mờ như "nếu", "thì", "và", "hoặc", v.v.

Chạy mô phỏng: Áp dụng các quy tắc mờ vào biến đầu vào của hệ thống để tính toán biến đầu ra mờ. Điều này thường bao gồm việc sử dụng các phép toán mờ như hợp nhất (fuzzy AND), giao nhau (fuzzy OR), và áp dụng các quy tắc mờ đã xây dựng để đưa ra kết quả mờ cho biến đầu ra.

Defuzzification (ghi rõ): Sau khi tính toán được biến đầu ra mờ, bạn cần chuyển chúng thành giá trị cụ thể bằng cách sử dụng một quá trình gọi là ghi rõ. Có nhiều phương pháp khác nhau để thực hiện điều này, ví dụ như trung bình trọng số, giá trị tối đa, v.v.

Đánh giá kết quả: So sánh kết quả sau quá trình ghi rõ với mục tiêu hoặc các tiêu chuẩn đã định sẵn để đánh giá hiệu suất của hệ thống mô phỏng mờ.

Lưu ý rằng phép mô phỏng mờ có thể được thực hiện bằng cách sử dụng các công cụ và phần mềm đặc biệt được thiết kế để hỗ trợ tính toán và mô phỏng mờ. Các ngôn ngữ lập trình như Python cũng cung cấp thư viện và khung làm việc cho phép mô phỏng mờ.

Mong muốn rằng, với hiện tại và tương lai Khoa CNTT sẽ có nhiều buổi hội thảo nghiên cứu khoa học CNTT, nhằm bắt kịp với xu thế phát triển không ngừng nền CNTT trong nước và quốc tế.

vxchi_KCNTT