Tài liệu, ebook Kỹ Thuật Lập Trình

We have presented a framework for automated design verification for component-based software. The method generates regular expressions from one of the outputs of the design phase (sequence diagrams). Models corresponding to these regular expressions are then generated. These models are used to verify whether the design satisfies the predefi...

12 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 693 | Lượt tải: 0

Một số Heuristics cho BP • Cập nhật theo chế độ tuần tự (online) hay batch (epoch):  Thường việc học theo chế độ tuần tự giúp BP hội tụ nhanh hơn, đặc biệt khi dữ liệu lớn và dư thừa. • Chuẩn hoá giá trị đầu ra:  Đảm bảo giá trị đầu ra nằm trong miền giá trị của hàm chuyển trên các neuron đầu ra tương ứng (thường là nằm trong khoảng [a+, b...

91 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 728 | Lượt tải: 0

Nhất quán theo cung • X Y là nhất quán khi và chỉ khi với mọi giá trị x của X đều có giá trị hợp lệ cho y Các bài toán thỏa rằng buộc Nhất quán theo cung • X Y là nhất quán khi và chỉ khi với mọi giá trị x của X đều có giá trị hợp lệ cho y • Nếu X mất một giá trị, thì cần kiểm tra lại lân cận của X. Các bài toán thỏa rằng buộc Nhất quá...

37 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 803 | Lượt tải: 1

Phương pháp alpha-beta (cont) Các hàm trong chiến lược Alpha-beta  Hàm sử dụng α để ghi giá trị lớn nhất trong các giá trị của đỉnh con đã đánh giá của một đỉnh trắng, β ghi giá trị nhỏ nhất trong các đỉnh con của một đỉnh đen.  Hàm MaxValue(u, α, β) tính giá của đỉnh Trắng u.  Hàm MinValue(u, α, β) tính giá của đỉnh Đen u. Hàm gán giá trị...

35 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 1308 | Lượt tải: 0

. Ưu điểm  Ưu điểm chính là khả năng song song của thuật toán .  Gas duyệt qua không gian tìm kiếm sử dụng nhiều cá thể (and with genotype rather than phenotype) và ít mắc phải cực trị địa phương như các thuật toán khác.  Dễ thể hiện.  Khi đã có thuật toán gen cơ bản, chỉ cần viết một NST mới (just one object) để xử lý bài toán khác.  ...

53 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 752 | Lượt tải: 0

10.3.2. Cài đặt thuật toán SA Procedure Simulated_Anneaning; Begin t ← 0; u ← trạng thái ban đầu nào đó; T ← nhiệt độ ban đầu; repeat v ← trạng thái được chọn ngẫu nhiên trong lân cận u; if cost(v) > cost(u) then u ← v; else u ← v với xác suất e∆/T; T ← g(T,t); t ← t + 1; until T đủ nhỏ; End; Chú ý: g(T,t) thỏa mãn điều kiện g(T,t...

69 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 741 | Lượt tải: 2

5.6. Tìm kiếm trên đồ thị và/hoặc  Thông thường, sử dụng tìm kiếm theo chiều sâu để tìm lời giải cho bài toán.  Tìm đến đỉnh u, đỉnh này có thể giải được hay không tùy thuộc nó thuộc lớp bài toán nào. Hàm Solvable sau sẽ trả về TRUE nếu giải được, nếu không là FALSE. Function Solvable(u); Begin If u là đỉnh kết thúc then {Solvable(u) ← true...

68 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 2410 | Lượt tải: 1

Đổi sang dạng CNF • Tất cả những ai yêu động vật thì được người khác yêu: x [y Animal(y)  Loves(x,y)]  [y Loves(y,x)] • 1. Khử dấu tương đương và kéo theo: x [y Animal(y)  Loves(x,y)]  [y Loves(y,x)] • 2. Chuyển  vào trong: x p ≡ x p,  x p ≡ x p x [y (Animal(y)  Loves(x,y))]  [y Loves(y,x)] x [y Animal(y)  ...

143 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 729 | Lượt tải: 0

7. So sánh giữa lập trình hệ thống và lập trình AI Lập trình hệ thống • Dữ liệu + Thuật toán = Chương trình. • Xử lý dữ liệu. • Dữ liệu trong bộ nhớ được đánh địa chỉ số • Xử lý theo các thuật toán. • Định hướng xử lý các đại lượng định lượng số. • Xử lý tuần tự theo mẻ. • Không giải thích trong quá trình thực hiện. • Kết quả chính xác,...

28 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 912 | Lượt tải: 0

Các vấn đề liên quan khi sử dụng Neural Networks
Các mạng đa tầng là đầy đủ về mặt tính toán, tuy nhiên: Làm sao để chọn số nút ẩn và số tầng ẩn Khi nào sử dụng các nút thiên lệch Cách chọn một tập rèn luyện Điều chỉnh các trọng số hay tốc độ học nên n.t.n? Giải thuật Genetic
Nắm bắt ý tưởng từ thuyết tiến hóa
Học được xem như l...

41 trang | Chia sẻ: thucuc2301 | Ngày: 24/11/2020 | Lượt xem: 716 | Lượt tải: 0