tailieunhanh - Khái niệm sơ đồ, lược đồ đối xứng. Sự đẳng cấu giữa các lược đồ đối xứng

Khái niệm sơ đồ, lược đồ đối xứng. Sự đẳng cấu giữa các lược đồ đối xứng Các số liệu đo đạc cho các đối tượng: hạt nano phát quang, phân tử chất màu trong nước, các thông số của hệ đo, phân tử chất màu trong các môi trường có độ nhớt khác nhau, quantum dot trình bày trong báo cáo tổng kết đề tài. Góp phần đào tạo 01 thạc sĩ. | Tạp chí Tin học và Điều khiền học T. 16 s. 4 2000 34-43 KHÁI NIỆM Sơ ĐỒ LƯỢC Đồ LOGIC Đốl XỨNG. Sự ĐẰNG CẤU GIỬA CÁC Lược ĐỒ LOGIC Đốl XỨNG PHAN CHÍ VÂN Abstract. In this paper the author presents the concepts on the fuzzy logical scheme and the logical sysmmetric scheme. With those mathematic concepts the author presents form the primitive idea to the abstract idea. In addition he also presents the concept on the important questions of the isomorphism between logical symmetric schemes. Tóm tắt. Bài báo giới thiệu những nét CO bản về khái niệm SO đồ lu Ọ c đồ logic đối xứng SĐ LĐLGĐX . Thực chất đây là một phưcmg tiện biểu diễn tri thức theo các quan hệ logic trên một hệ các khái niệm nào đó. Tiếp đó bài báo trình bày khái miệm về sụ đằng cấu giữa các lược đồ logic đối xứng LĐLGĐX là vấn đề quan trọng và trình bày vài ví dụ về sụ đẳng cấu giữa các LĐLGĐX trong giải tích toán học nhằm nêu bật ý nghĩa thực cda sự đằng cấu giữa các LĐLGĐX. 1. SO Đồ LƯỢC ĐỒ LOGIC Đối XỨNG 1. Khái niệm về sơ dồ lược dồ logic dối xúng Cho E là một tập vũ trụ khác rỗng. Trong logic kinh điển chúng ta biết rằng mỗi vị từ một ngôi p định nghĩa trên E xác định một tập con cứa E như sau Ep a e E p a . Một cách tưcmg đương mỗi vị tù một ngôi p gọi là một định nghĩa trên E xác định một cặp khái niệm phủ định nhau là p a và p a trong đó a là một biến trên E và Ep a e E p a Ep a e E p a . Ep được gọi là ngoại diện cda khái niệm p a . Như vậy một hệ các khái niệm trên E xác định tương ứng một họ các tập con của E. Khi đó chúng ta có thể xét các quan hệ trên hệ khái niệm tưo ng ửng với các quan hệ thông thưò ng trong lý thuyết tập hợp trên họ các tập con như bằng lồng giao rời . Trong bài báo này chúng ta sẽ nghiên cứu cấu trúc gồm hệ các khái niệm như đã nói ở trên. Hơn nữa bài báo cũng chỉ xét hạn chế 4 quan hệ giữa các khái niệm được ký hiệu bời 51 q2 q3 qt tương ứng với các quan hệ bằng lồng giao ròi trên họ các tập con như trình bày Ở bài báo LĐLGĐX và ứng dụng trong tập 1 số 2 năm 1991 . Như