Bài giảng Mạng tính toán - Phạm Đình Duy Phương

Bài giảng Mạng tính toán - Phạm Đình Duy Phương, sẽ giới thiệu cho người học nắm một số nội dung sau: Khái niệm mạng tính toán, các vấn đề trên mạng tính toán, ý tưởng giải quyết bài toán, một số hạn chế. Mời các bạn cùng tham khảo bài giảng để nắm rõ hơn nội dung kiến thức.
Nội dung trích xuất từ tài liệu:
Bài giảng Mạng tính toán - Phạm Đình Duy PhươngMẠNG TÍNH TOÁN(COMPUTATIONAL NETWORK) Phạm Đình Duy Phương phuongtt2a@gmail.comMục tiêu1. Khái niệm mạng tính toán2. Các vấn đề trên mạng tính toán3. Ý tưởng giải quyết bài toán4. Một số hạn chế Slide 2Mạng tính toánMạng tính toán là một cấu trúc (M, F), trong đó:• M = {x1,x2,...,xm} tập hợp các biến đơn trong miền xác định tương ứng D1,D2,...,Dm• F = {f1,f2,...,fm} tập các quan hệ có dạng: f : u(f) → v(f) trong đó u(f), v(f) là các tập con khác rỗng của M thỏa: u(f) ∩ v(f) = ∅ Mở rộng cấu trúc tập biến Slide 3Mạng tính toán• Một phương pháp biểu diễn và xử lý tri thức• Thực hiện những tính toán hay suy diễn ra nh ững yếu tố cần thiết nào đó từ một số yếu tố đã được biết tr ước• Tự nhiên, gần gũi đối với cách suy nghĩ và giải quyết của con người khi áp dụng vào giải quyết các vấn đề Slide 4Ví dụ - Mạng tính toán tam giác Tập các biến trong tam giác gồm: • a, b, c : 3 cạnh tam giác ∀α, β, γ : 3 góc tam giác • ha, hb, hc : 3 đường cao tương ứng 3 cạnh • S : diện tích tam giác • p : nửa chu vi tam giác •… Slide 5Ví dụ - Mạng tính toán tam giácCác hệ thức cơ bản giữa các yếu tố của tam giác:• Liên hệ giữa 3 góc: – f1 : α + β + γ = π (radian).• Định lý cosin : – f2 : a2 = b2 + c2 - 2.b.c.cosα – f3 : b2 = a2 + c2 - 2.a.c.cosβ – f4 : c2 = a2 + b2 - 2.a.b.cosγ• Định lý Sin : –…• Các công thức tính diện tích –… Slide 6Các vấn đề trên mạng tính toán• Trong tam giác ABC giả sử đã biết cạnh a, góc β, góc γ . Hãy tính các cạnh còn lại. – Giả thiết: A = {a, β, γ } – Tính các biến: B = {b, c}• Vấn đề 1: A → B giải được không?• Vấn đề 2: Nếu A → B giải được, trình bày lời giải• Vấn đề 3: Nếu A → B không giải được, tìm thêm yếu tố để bài toán giải được Slide 7 Ý tưởng a b f1:α + β + γ = π f2: = sinα sinβA={a, β, γ } A1={a, β, γ ,α} A2={a, β, γ , α,b} c b = f: 3 sinγ sinβ Áp dụng luật Mở rộng tập giả thiết ban đầu f1 A3={a, β, γ , α,b,c} Xuất hiện tập biến B cần tính Dãy {f1 ,f2 ,f3} là 1 lời giải của bài toán Kết luận: A → B giải được Slide 8Hạn chế 1• Trong một bài toán, thường xuất hiện nhiều đối tượng khác nhau, hoặc• Bài toán chỉ tập trung vào 1 đối tượng, nhưng với những tri thức trên đối tượng này không đủ công cụ để giải bài toánVí dụ: cho tứ giác với 4 cạnh và 1 góc biết trước, tính diện tích tứ giác? Mạng các đối tượng tính toán Slide 9Hạn chế 2• Các thành phần tri thức cơ bản của một mạng tính toán bao gồm tập các biến đơn.• Trong bài toán điện xoay chiều, xuất hiện biến theo thời gian, ví dụ cường độ dòng điện: i(t) = I0cos(ωt+ φ)Chỉnh sửa cấu trúc tập biến, ví dụ thêm khái niệm biếnhàm Slide 10Hạn chế 3• Tập quan hệ tính toán & cơ chế suy luận còn đơn giản Mở rộng tập quan hệ tính toán & cơ chế suy luận Slide 11Tham khảo• [Nhon, 1995] Đỗ Văn Nhơn, Luận văn thạc sĩ: Giải đề trên mạng tính toán, 1995• [Kiem et al., 1997] Hoàng Kiếm, Đỗ Văn Nhơn, Lê Hoài Bắc, A Knowledgeable Model: Network of C-Objects, 1997• [Nhon&Tam, 2009] Nhon Do Van, Tam Pham Huu, The Extensive Computational Network and Applying in an Educational Software, Proceedings of ICAIE 2009, Wuhan, China, 2009• [Nhon&Hien, 2011] Nhon Do, Hien Nguyen, A Reasoning Method on Computational Network and Its Applications, Pro ...