Bài giảng Phương pháp nghiên cứu khoa học (IT) - Bài 5: Mô hình toán học trong nghiên cứu IT – một số dạng của chứng minh toán học trình bày tiên đề, các định nghĩa, phân tích trường hợp, chứng minh bằng phản chứng, chứng minh bằng quy nạp.
5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – CÁC CƠ SỞ BAN ĐẦU CỦA CHỨNG MINH TOÁN HỌC Tiên đề Các cơng trình kiểm định trước Các định nghĩa 5.1 MƠ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT – MỘT SỐ DẠNG CỦA CHỨNG MINH TỐN HỌC Ngơn ngữ: Bởi vì….suy ra… Phân tích trường hợp Chứng minh phản chứng Chứng minh quy nạp 5.1 MÔ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – MƠ HÌNH TỐN HỌC Thơng thường vấn đề kỹ thuật nói chung IT nói riêng mơ tả mơ hình tốn học, VD: Kết nối internet mơ tả dạng đồ thị Mô tả tác động động đất hệ phương trình vi phân Chúng ta sử dụng tốn học để nghiên cứu mơ hình Từ ta đưa kết luận vấn đề nghiên cứu ban đầu Tuy nhiên: MƠ HÌNH khơng phải THỰC TẾ!! Ln có số thơng số, khía cạnh loại bỏ khỏi mơ hình 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – CÁC MỤC ĐÍCH NGHIÊN CỨU CHÍNH TRONG SỬ DỤNG MƠ HÌNH TỐN HỌC Tìm thuật tốn đề giải mơ hình Tìm mơ hình tốn học mơ tả hoạt động hệ thống Chỉ thuật tốn giải mơ hình tốn học tốt thuật tốn có 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – THUẬT TOÁN Một phần lớn nghiên cứu lý thuyết KHMT tiếp tục tạo thuật toán giải toán cụ thể Mỗi thuật tốn chấp nhận ln u cầu nhà nghiên cứu phải chứng minh tính đắn thuật tốn, phân tích hiệu suất (thời gian chạy, yêu cầu nhớ…), phát triển thuật toán so với thuật tốn sử dụng (nếu có) 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – CÁC ĐẶC TRƯNG CỦA THUẬT TỐN Input Output Tính xác định Tính khả thi Tính dừng Tính phổ dụng 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – PHƯƠNG PHÁP BIỂU DIỄN THUẬT TOÁN Dùng dẫn Dùng sơ đồ khối Dùng cấu trúc điều khiển 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – BIỂU DIỄN BẰNG LƯU ĐỒ/SƠ ĐỒ KHỐI Khối thao tác đối tượng:= biểu thức Khối output Khối input Khối input Khởi đầu + Kết thúc Khối điều kiện Thứ tự xử lý 5.1 MƠ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT – BIỂU DIỄN BẰNG LƯU ĐỒ THUẬT TOÁN EUCLID Bước 1: Kiểm tra m= n bước 5, khơng thực tiếp bước Bước m,n Bước 4: bớt m lượng n quay bước + m>n ? + m:=m-n Bước 5: Lấy d giá trị chung m n Kết thúc d:= m n:= n - m 4, Bước 3: m n bước không thực tiếp bước d 5.1 MƠ HÌNH TỐN HỌC TRONG NGHIÊN CỨU IT – BIỂU DIỄN BẰNG CẤU TRÚC ĐIỀU KHIỂN Trong m n lặp lại khối sau: Nếu m > n Bớt m lượng n Điều chỉnh lại giá trị Nếu ngược lại m n Bớt n lượng m Cho tới m = n tun bố USCLN giá trị chung m n read(m,n); while m n if m>n then m:=m-n else n:= n-m; write(m); Chương trình PASCAL 5.2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU- SO SÁNH DỮ LIỆU d Phép kiểm chứng Khi bình phương (Chi-square test) Giải thích Khi bình phương Mức độ tự Giá trị p Đỗ Trượt Tổng Nhóm thực nghiệm 108 42 150 Nhóm đối chứng 17 38 55 Tổng 125 38 205 p = x 10-8 = 0,00000009 < 0,001 => Chênh lệch KQ đỗ/trượt có ý nghĩa => Các liệu không xảy ngẫu nhiên KQ thu tác động 163 5.2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU- PHÉP KIỂM CHỨNG "KHI BÌNH PHƯƠNG" Có thể dùng phép kiểm chứng "khi bình phương" bảng có từ hai cột hàng trở lên Miền Miền 2+3 Miền Tổng cộng Nhóm Sao Nhóm khác Nhóm đối chứng Tổng cộng 164 5.2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU- PHÉP KIỂM CHỨNG "KHI BÌNH PHƯƠNG" Bảng gốc gộp thành bảng 2x2, số có tần suất < Tổng Miền Miền 2+3 Miền cộng Nhóm Sao Nhóm khác Nhóm đối chứng Tổng cộng Đỗ Trượt Tổng cộng Nhóm thực nghiệm Nhóm đối chứng Tổng cộng Nhóm Sao + Nhóm Khác Nhóm thực nghiệm Miền + Miền Đỗ 165 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC Bài giảng 14: Bố cục số quy tắc trình bày báo cáo khoa học Chương V - Mục: 5.3 Tiết thứ: 27-28 Tuần thứ: 14 Mục đích, yêu cầu: Sinh viên nắm bố cục, cấu trúc chuẩn báo cáo khoa học Biết cách vận dụng viết báo cáo khoa học cụ thể - Hình thức tổ chức dạy học:Lý thuyết - Thời gian: Lý thuyết: 2t - Địa điểm:Giảng đường P2 phân cơng - Nội dung chính: PP nghiên cứu 166 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Lời cảm tạ Tóm tắt (1 trang) Danh sách thuật ngữ viết tắt Mục lục, danh sách bảng, biểu đồ hình ảnh Đặt vấn đề Chương Tổng quan tài liệu sở lý thuyết Chương Phương pháp nghiên cứu Chương Kết thảo luận Chương Kết luận đề nghị 10 Tài liệu tham khảo 11 Phụ lục (nếu có) PP nghiên cứu 167 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Lời cảm tạ Cảm ơn quan, tổ chức tạo điều kiện cho nghiên cứu; Cảm ơn cá nhân hỗ trợ cho công tác nghiên cứu (người hướng dẫn, đồng nghiệp, bạn bè, người cung cấp liệu); Cảm ơn quan tài trợ cho nghiên cứu PP nghiên cứu 168 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Tóm tắt (1 trang) Lý chọn đề tài Mục tiêu, phạm vi câu hỏi nghiên cứu Phương pháp nghiên cứu Kết nghiên cứu PP nghiên cứu 169 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Danh sách thuật ngữ viết tắt Danh sách chữ viết tắt tiếng Việt (theo thứ tự ABC) Danh sách chữ viết tắt tiếng Anh (theo thứ tự ABC) PP nghiên cứu 170 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Mục lục, danh sách bảng, biểu đồ hình ảnh Mục lục: số thứ tự, tên mục, số trang Danh sách bảng: số thứ tự, tên bảng, số trang Danh sách biểu đồ: số thứ tự, tên biểu đồ, số trang Danh sách hình ảnh: số thứ tự, tên hình ảnh, số trang PP nghiên cứu 171 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Đặt vấn đề Chương Tổng quan tài liệu sở l thuyết Chương Phương pháp nghiên cứu Tương tự phần đề cương, viết thật chi tiết PP nghiên cứu 172 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Chương Kết thảo luận Mô tả vật, đối tượng khảo sát thông qua tiêu, biến số khảo sát (mô tả túy); Mô tả mối quan hệ đặc tính vật, đối tượng thông qua tiêu, biến số khảo sát (so sánh, tương quan, hồi quy); Đúc rút phát chủ yếu (trả lời câu hỏi nghiên cứu) Lý giải cho phát này, so sánh với kết nghiên cứu trước đây, so với lý thuyết PP nghiên cứu 173 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết Chương Kết luận đề nghị Nêu lại kết quả, phát chủ yếu (trả lời câu hỏi nghiên cứu) Từ phát này, rút ý tưởng, đề xuất giải pháp sản xuất kinh doanh, quản lý, sách vi mô, vĩ mô … Các đề xuất phải phù hợp quán với kết nghiên cứu PP nghiên cứu 174 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết 10 Tài liệu tham khảo Danh sách tài liệu tiếng Việt (theo thứ tự ABC họ tên) Danh sách tài liệu tiếng Anh (theo thứ tự ABC họ) Chú ý: tài liệu tham khảo phải trích dẫn phần khác báo cáo) PP nghiên cứu 175 BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5.3 Cách viết báo cáo nghiên cứu Cấu trúc chuẩn báo cáo kết 11 Phụ lục (nếu có) Phiếu điều tra Các số liệu, kết thống kê Các kết tính thống kê Các đồ, hình ảnh khác Loại khác PP nghiên cứu 176 Bài giảng 15: Ôn tập tồn khóa học Tiết thứ: 29-30 Tuần thứ: 15 Mục đích, u cầu: Sinh viên ơn tập, tổng hợp kiến thức tồn khóa học - Hình thức tổ chức dạy học:Thảo luận - Thời gian: Thảo luận : 2t - Địa điểm: Giảng đường P2 phân cơng - Nội dung chính: Ơn tập, tổng hợp kiến thức tồn khóa học PP nghiên cứu 177 ... với tìm BÀI 5: THỰC HIỆN NGHIÊN CỨU VÀ VIẾT BÁO CÁO KHOA HỌC 5. 2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU Bài giảng 13: Thử nghiệm thuật toán phương pháp đánh giá kết Chương V - Mục: 5. 2 Tiết... thuyết - Thời gian: Lý thuyết: 2t - Địa điểm :Giảng đường P2 phân công - Nội dung chính: PP nghiên cứu 128 5. 2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU- BƯỚC CUỐI CÙNG TRONG BẤT CỨ NGHIÊN CỨU NÀO... 6.7 6.9 Độ lệch chuẩn 0.674949 0.632 455 5 0.674949 0 .56 76 p 0.00361 85 1 45 1 45 5.2 PHƯƠNG PHÁP ĐÁNH GIÁ KẾT QUẢ NGHIÊN CỨU- SO SÁNH DỮ LIỆU a Phép kiểm chứng t-test độc lập Ví dụ: tập hợp điểm kiểm