lập trình symbolic và ứng dụng

... đều có những ưu thế riêng và có thể áp dụng lý thuyết của môn học này vào thực tiển Tuy nhiên do thời gian nghiên cứu có hạn nên tôi xin trình bày vấn đề “Lập trình symbolic trên Maple” Đề tài ... Đề tài thực hiện gồm các chương: Chương I: Lập trình Maple cơ bản Chương II: Lập trình Maple nâng cao Chương III: Một số package và bài toán ứng dụng Chương IV: Kết luận Trang 3NHẬN XÉT ……… ... CHƯƠNG 1: LẬP TRÌNH MAPLE CƠ BẢN 2 I BIẾN LẬP TRÌNH VÀ KÝ HIỆU TOÁN HỌC 2 II MỘT SỐ KIỂU DỮ LIỆU VÀ PHÉP TOÁN 3 III LỆNH GÁN 10 IV LỆNH ĐIỀU KIỆN 11 V VÒNG LẶP 12 VI LỆNH VÀ HÀM THOÁT

Ngày tải lên: 10/04/2015, 01:28

... tảng về “Lập trình Symbolic” để em có thể thực hiện bài thu hoạch này Trang 11Tài liệu tham khảo [1] Các file bài giảng về lập trình Symbolic của PGS TS Đỗ Văn Nhơn. [2] RSA – Tấn công và phòng ... Trang 1Trường Đại Học Công Nghệ Thông TinBÁO CÁO CHUYÊN ĐỀ Lập trình Symbolic ĐỀ TÀI: Lập trình mã hóa và giải mã thông tin trên Mapple dựa trên hệ mã RSA Giáo viên hướng dẫn :PGS.TS ... hiểu chi tiết về lập trình và sử dụng các công thức tính toán trên Mapple Qua đó, em có thể thấy được Mapple có khả năng tính toán các số có giá trị lớn, với thời gian nhanh và độ chính xác cao

Ngày tải lên: 10/04/2015, 00:50

... cụ lập trình symbolic hỗ trợ mạnh mẽ trong việc tính toán toán học, tính toán symbolic, và trí tuệ nhân tạo Trong phạm vi đề tài, em xin trình bày bài toán tam giác trên mạng tính toán và sử dụng ... KHẢO [1] PGS.TS Đỗ Văn Nhơn, các bài giảng Biễu diễn tri thức và Ứng dụng [2] PGS.TS Đỗ Văn Nhơn, các bài giảng về môn Lập trình Symbolic [3] Phần Help của công cụ Maple v6 10 ... CH1101046 D. PHẦN KẾT LUẬN Nhờ sử dụng công cụ Maple, mà việc giải bài toán tam giác dựa trên mạng tính toán trở nên đơn giản hơn nhiều so với việc dùng các công cụ lập trình khác. Có thể mở rộng thuật

Ngày tải lên: 10/04/2015, 00:49

... công cụ mạnh mẽ và hữu ích cho việc lập trình tính toán hình thức Symbolic Thông qua công cụ này, ta có thể lập trình giải quyết những bài toán mà nếu sử dụng các ngôn ngữ lập trình khác sẽ gặp ... đang và sẽ tiếp tục là công cụ hỗ trợ, giải quyết đắc lực cho việc lập trình, tính toán hình thức và ứng dụng giải quyết được nhiều bài toán phức tạp Việc tìm hiểu và nghiên cứu về đề tài Lập trình ... tính toán thống kê, xử lý số liệu, số phức, phương trình vi phân, phương trình đạo hàm riêng và lập trình giải các bài toán với cấu trúc chương trình đơn giản Ngoài ra, với phần mềm này ta dễ dàng

Ngày tải lên: 10/04/2015, 00:49

... học “Lập trình Symbolic & trí tuệ nhân tạo” Xin chân thành c ảm ơn các thầy cô trường Đại học Công nghệ Thông tin Tp.HCM, đặc biệt thầy Đỗ Văn Nhơn, đã trực tiếp giảng dạy môn Lập trình Symbolic ... khác nhau và ngày càng hoàn thiện - Với phần mềm Maple, chúng ta có thể: o Thực hiện các tính toán với khối lượng lớn, với thời gian nhanh và độ chính xác cao o Sử dụng các gói chuyên dụng của ... đại số tuyến tính (gói linalg), o Thiết kế các đối tượng 3 chiều o Lập trình giải các bài toán trí tuệ nhân tạo o … 2 Lập trình trong Maple 2.1 Các lệnh điều khiển 2.1.1 Lệnh điều kiện if

Ngày tải lên: 10/04/2015, 08:06

... các máy tính có mục đích không nhất định và ngành khoa học nghiên cứu về các lý thuyết và ứng dụng của trí tuệ nhân tạo Ứng dụng tin học vào sản xuất và đời sống con người đã đưa vấn đề trí tuệ ... phương trình có nghiệm duy nhất x= - - Nếu a = 0: + Nếu b ≠ 0: phương trình vô nghiệm + Nếu b = 0: phương trình có vô số nghiệm đúng với mọi x Trang 5Bài toán giải và biện luận phương trình bậc ... phương trình * Trường hợp 2: Với a<>0, ta tính delta + Nếu 0 : phương trình vô nghiệm + Nếu 0 : phương trình có nghiệm kép x = - + Nếu > 0 : phương trình có 2 nghiệm Cài đặt chương trình:

Ngày tải lên: 10/04/2015, 01:28

... sau khi học xong môn “Lập trình Symbolic cho trí tuệ nhân tạo”, em đã chọn đề tài “Ứng dụng lập trình Symbolic để giải và biện luận phương trình và hệ phương trình theo tham số m” Trong phạm ... liệu, giải thuật để giải và biện luận phương trình và hệ phương trình theo tham số m, đồng thời viết một chương trình để giải và biện luận phương trình và hệ phương trình theo tham số m bằng ... khả năng lập trình, có thể xem Maple như là một ngôn ngữ lập trình, trong đó chúng ta có thể tạo ra những chương trình và những gói (package) để tái sử dụng  Một tính năng rất hay và cũng rất

Ngày tải lên: 10/04/2015, 00:50

... ĐI, CHU TRÌNH EULER VÀ HAMILTONMSHV: CH1101098 LỚP: CH-K6 Trang 2LỜI MỞ ĐẦULý thuyết đồ thị là một ngành khoa học được phát triển từ lâu, nhưng có nhiềuứng dụng hiện đại nhất là ứng dụng trong ... đi Euler, chu trình Euler và các giải thuật Chương 3 trình bày tổng quan các khái niệm cơ bản về đồ thị Hamiltonnhư: đường đi Hamilton, chu trình Hamilton Chương 4 sẽ cài đặt ứng dụng minh họa ... trên đồ thị đã có nhiềuứng dụng trong nhiều lĩnh vực khác như: Mạng máy tính, Lý thuyết mã, Tối ưu hoá, Kinh tế học v.v Phạm vi của bài thu hoạch sẽ khảo sát và cài đặt ứng dụng minh họa, giảiquyết

Ngày tải lên: 10/04/2015, 01:34

... chương trình áp dụng cho việc xử lý và giải toán tích phân GVHD : PGS.TS Đỗ Văn Nhơn Trang 15 HVTH : Mã Tuấn Huy Trang 16CHƯƠNG V TÀI LIỆU THAM KHẢO PGS.TS Đỗ Văn Nhơn – Giáo trình “Lập trình Symbolic ... Giáo trình “Lập trình Symbolic và ứng dụng” – 2012-2013  PGS.TS Đỗ Văn Nhơn – Biểu diễn tri thức và Ứng dụng – 2012-2013  PGS.TS Đỗ Văn Nhơn – TS Đỗ Phúc – “Giáo trình Các Hệ Cơ Sở Tri Thức, ... đồ thị không chu trình có hướng (DAG) Ngôn ngữ cho phép các biến có phạm vi nhất định (lexical scoping) Ngôn ngữ có hình thức lập trình hàm, nhưng cũng có hỗ trợ đầy đủ cho lập trình truyền thống,

Ngày tải lên: 10/04/2015, 01:31

... lớp người lập trình Làm việc với Maple IDE sẽ dẫn dắt một người mới lập trình vào con đưởng học ngôn ngữ lập trình Maple nhanh chóng hơn, tập trung vào chủ đề và dung các công cụ lập trình lien ... trong mô hình thực thi ngôn ngữ, và trong suốt với người lập trình Mã được phát triển theo ngôn ngữ lập trình symbolic như Lisp và Prolog rất có ý nghĩa, dễ hiểu, và dễ bảo trì Đây cũng là loại ... như C và Fortran trong việc hiệu quả thực thi không từ bỏ Trang 3lập trình cấp cao, và giao diện tốt với các ngôn ngữ như C, C++ và hệ điều hành như Unix Lý do chính để học lập trình symbolic

Ngày tải lên: 10/04/2015, 01:31

... I.4.6 Sử dụng các hàm RETURN, ERROR 19 I.4.7 Khai báo chu trình 20 I.4.8 Phạm vi các biến (biến toàn cục, biến cục bộ và tham biến) 21 CHƯƠNG II: ỨNG DỤNG MAPLE 22 II.1 Mô tả chương trình 22 ... chỉ có giá trị bên trong chu trình mà nó được khai báo Ngoài chutrình này nó không mang ý nghĩa gì Trang 23CHƯƠNG II: ỨNG DỤNG MAPLE II.1 Mô tả chương trìnhChương trình giải 1 bài toán về hàm ... khỏi chu trình.Nếu không có lệnh RETURN, chu trình tự động cho kết quả của phép tính cuối cùngtrong chu trình Hàm ERROR được sử dụng để đưa thông điệp lỗi ra màn hình từ bên trong chutrình Maple

Ngày tải lên: 10/04/2015, 01:31

... đồ thị G 1 = (V 1 ,E 1 ) và G 2 = (V 2 ,E 2 ) được gọi là đẳng cấu với nhau nếu có một song ánh f: V 1 → V 2 sao cho nếu a và b là liền kề trong V 1 thì f(a) và f(b) liền kề trong V 2 ... chứng minh hai đồ thị đẳng cấu ta cần: + Chứng minh điều kiện cần thỏa. + Xây dựng một song ánh bảo toàn quan hệ liền kề giữa hai đồ thị (điều kiện đủ để hai đồ thị đẳng cấu). Ví dụ 1: Chứng ... v 4 u 3 a v 2 u 4 a v 3 ⇒ f là song ánh và bảo toàn quan hệ liền kề, điều kiện đủ thỏa. Vậy hai đồ thị G và H đẳng cấu với nhau. Ví dụ 2: G và H có cùng số cạnh, số đỉnh nhưng H có đỉnh

Ngày tải lên: 10/04/2015, 01:31

... sử dụng các lệnh chứa trong các gói tương ứng II BÀI TOÁN GIẢI VÀ BIỆN LUẬN PHƯƠNG TRÌNH BẬC NHẤT MỘT ẨN VÀ BẬC HAI MỘT ẨN. 1. Bài toán giải và biện luận phương trình bậc nhất một ẩn: Phương trình ... các lệnh sử dụng trong chương trình: 4 4 Chương trình: 8 5 Ví dụ minh họa: 11 a Giải và biện luận theo tham số m phương trình bậc nhất: 11 b Để giải và biện luận theo tham số m phương trình bậc ... động của cácđường và mặt được cho bởi các hàm tùy ý trong nhiều hệ tọa độkhác nhau  Là một ngôn ngữ lập trình đơn giản và mạnh mẽ, có khả năngtương tác với các ngôn ngữ lập trình khác (C, Fortran,

Ngày tải lên: 10/04/2015, 01:32

... được sử dụng rất nhiều như công cụ phát triển nhanhứng dụng theo cách thông minh và dễ dàng hơn Trong báo cáo này, ta cùng tìm hiểu lập trình Symbolic và ứng dụng của nótrong việc áp dụng giải ... cận đó là sử dụngngôn ngữ tính toán hình thức để lập trình (còn gọi là lập trình Symbolic) Lập trình Symbolic là khái niệm về phát triển thuật toán dựa trên ý tưởngrằng công thức và các thành ... Quan Về Lập Trình Symbolic và ngôn ngữ Maple1 Tổng quan về lập trình Symbolic Phát triển sau này cùng với các ngôn ngữ hiện đại, ngôn ngữ Symbolic mang đến cách tiếp cận mới về cách lập trình tính

Ngày tải lên: 10/04/2015, 01:33

... Thông Tin – TP Hồ Chí Minh ồ Chí Minhng d ng l p trình Ứng dụng lập trình ụng lập trình ập trình giác Lớp Cao học Khóa 06 Môn học: Lập trình Symbolic Hướng dẫn: PGS TS Đỗ Văn Nhơn Thực hiện: ... diện và cách sử dụng 7 7 Kết luận và hướng phát triển 8 Tài liệu tham khảo 9 Mô hình mạng tính toán được ứng dụng nhiều trong những phần mềm hỗ trợ giải bài tập Báo cáo xin trình bày một dạng ứng ... một dạng ứng dụng của mô hình này trong giải quyết một số dạng toán đơn giản của hình học tam giác Kỹ thuật lập trình symbolic dựa trên Maple được áp dụng nhằm đơn giản hóa quá trình tính toán

Ngày tải lên: 10/04/2015, 01:34

... phương trình, hệ phương trình, bất phương trình Để tìm nghiệm các phương trình, bất phương trình và hệ phương trình… trong maple cho sử dụng hàm solve và fsolve để tìm nghiệm cho các phương trình ... các đa thức 18 1.5 Tìm nghiệm phương trình, hệ phương trình, bất phương trình 19 CHƯƠNG 2: LẬP TRÌNH SYMBOLIC TRONG MAPLE 20 1.1 Các yếu tố của ngôn ngữ lập trình 20 Trang 31.2.1 Lệnh điều kiện ... xây dựng và đưa vào thương mại đầu tiên vào năm 1985 Qua nhiều lần cải tiến và phát triển, Maple trở nên phổ biến và là công cụ hỗ trợ tính toán không thể thiếu trong quá trình dạy và học toán

Ngày tải lên: 10/04/2015, 08:27

... liệu 10 4 Hàm số 13 5 Phương trình 16 B MỘT SỐ ỨNG DỤNG TRÊN MAPLE 18 I Giải và biện luận phương trình bật nhất 18 1 Cài đặt 18 2 Ví dụ 18 II Giải và biện luận phương trình bật hai 19 1 Cài đặt ... ngữ lập trình đơn giản và mạnh mẽ, có khả năng tương tác với các ngôn ngữ lập trình khác Trang 5• Cho phép trích xuất ra các định dạng khác nhau như word, HTML…• Một công cụ biên soạn giáo án và ... chia làm hai loại: biến toán học và biến lập trình  Biến toán học: đại diện cho một ẩn số trong toán học.  Biến lập trình: là những biến có thể gán giá trị nào đó và giá trị được lưu trữ cho tận

Ngày tải lên: 10/04/2015, 08:27

... HỌC QUỐC GIA TP. HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN LẬP TRÌNH SYMBOLIC VÀ ỨNG DỤNG Tìm hiểu Ant Colony Optimization và hiện thực với Maple Giảng viên hướng dẫn PGS.TS. Đỗ Văn Nhơn ... HỌC QUỐC GIA TP. HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN LẬP TRÌNH SYMBOLIC VÀ ỨNG DỤNG Tìm hiểu Ant Colony Optimization và hiện thực với Maple Giảng viên hướng dẫn PGS.TS. Đỗ Văn Nhơn ... phải đáp ứng việc tính toán nhanh với khối lượng lớn, với thời gian nhanh và độ chính xác cao. Thường thì các ngôn ngữ lập trình cấp thấp mới đáp ứng những yêu cầu này, nhưng lập trình với

Ngày tải lên: 10/04/2015, 01:31

... chương trình trợ giúp hiệu quả cho giảng viên và sinh viên trong việc dạy và học Trong nội dung của bài thu hoạch này, đứng với phương diện người lập trình, em chỉ xin trình bày cách lập trình ... chu trình - Hàm ERROR được sử dụng để đưa thông điệp lỗi ra màn hình từ bên trong chu trình III CÁCH THIẾT LẬP MỘT CHU TRÌNH III.1 Giới thiệu - Maple là một ngôn ngữ lập trình hướng chu trình ... tượng 3 chiều - Và dùng nó như một ngôn ngữ lập trình chuyên cho toán học I.2 Giới thiệu một số hàm cơ bản Ta đi qua một vài hàm để làm quen với maple, cần tìm hiểu thêm để có thể lập trình tốt -

Ngày tải lên: 10/04/2015, 00:50

... một chương trình hỗ trợ giải các bài toán tìm nguyên hàm cho các hàm ở nhiều dạng khác nhau Chương trình có ứng dụng bộ máy tính toán của chương trình Maple để hỗ trợ tính toán và trình bày kết ... Int(A*f(x)) chuyển thành A*Int(f(x)) 4) Ứng dụng tích phân tính sẳn Nếu không tìm được trả về 0 5) Ứng dụng biển đổi biểu thức Nếu không có đẳng tương ứng trả về 0 6) Ứng dụng tích phân từng phần cho các ... CÔNG NGHỆ THÔNG TIN Phòng Sau Đại Học  Báo Cáo Môn Học Lập Trình Symbolic CHƯƠNG TRÌNH HỖ TRỢ GIẢI TOÁN NGUYÊN HÀM SỬ DỤNG CƠ SỞ TRI THỨC VÀ MAPLE Giảng viên hướng dẫn: PGS.TS Đỗ Văn Nhơn Học

Ngày tải lên: 10/04/2015, 01:25