... cầu R-m đun Ta gọi m đun tổng trực tiếp hai m đun A, B kí hiệu A ⊕ B Tổng trực tiếp hai m đun A, B gọi tích trực tiếp kí hiệu A × B 2.2.6 Tổng trực tiếp hai m đun Cho A, B m đun m đun X thỏa ... thành m đun, gọi m đun X Nếu A, B m đun m đun X Khi A + B m đun X Mỗi nhóm nhóm aben xem Z-m đun 2.2.2 M đun sinh tập Giao họ khác rỗng m đun X lại m đun X Xét S tập m đun X Xét họ T tất m đun ... ⊕ B ta nói X tổng trực tiếp = hai m đun A, B M đun X tổng trực tiếp hai m đun A B với x ∈ X có cách biểu diễn x = a + b với a ∈ A, b ∈ B M đun A X gọi hạng tử trực tiếp X có m đun B ¡ X cho...
Ngày tải lên: 19/02/2014, 09:50
... R - m đun tự (gọi tắt m đun tự do) M có sở 8 Quy ước: M đun (0) tự với tập ∅ sở Định lý 1.2.5 R - m đun M tự M đẳng cấu với tổng trực tiếp họ vành hệ tử R I Kí hiệu: R ( ) tổng trực tiếp ⊕ ... 1.2.9 Cho R vành M R - m đun • M gọi R - m đun đơn (hay m đun bất khả quy) MR ≠ ( ) M có hai m đun ( ) M • M gọi R - m đun nửa đơn R - m đun N M hạng tử trực tiếp M tức tồn m đun N1 cho M= N ⊕ N1 ... ; R I tích trực tiếp ∏ Ri i∈I i∈I Ri R I tập số tùy ý Nếu I tập hữu hạn với n phần tử tổng trực tiếp tích trực tiếp trùng I tức R ( ) = R I , ta kí hiệu hai tập trùng R n Vậy R - m đun M tự M...
Ngày tải lên: 02/12/2015, 13:24
Thủy vân cơ sở dữ liệu quan hệ dựa trên kỹ thuật tối ưu hoá áp dụng thuật toán tìm kiếm theo mẫu
... sigmoid trơn sau: Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 38 n ˆ c ( S i i ) Sigmoid( f ,ref ) ( sij ij ) n j 1 Sigmoid( , ) ( x) hàm sigmoid ... Chuyên ngành: Khoa học máy tính Mã số: 604801 TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH NGƯỜI HƯỚNG DẪN KHOA HỌC TS BÙI THẾ HỒNG Thái Nguyên – 2009 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên ... Người hướng dẫn khoa học: (Ghi rõ họ tên, chức danh khoa học, học vị) Phản 1: biện Phản 2: biện Luận văn bảo vệ trước Hội đồng chấm luận văn họp tại: Vào hồi ngày...
Ngày tải lên: 07/11/2012, 09:16
Áp dụng thuật toán Mullery đảm bảo gắn bó dữ liệu trong các CSDL phân tán
... 2, ….T + n – Nó tiếp tục chuyển cho trạm liền sau số tới chưa dùng đến T + n Khi trạm có cố, phát yêu cầu cập nhật vơi số Trên trạm, cập nhật thực cách tiếp nhận yêu cầu số liên tiếp nhau( theo ... tác đọc ghi, thao tác kiểm tra - đọc tức trạng thái hành Mỗi server tiếp nhận yêu cầu ghi đến trạm cục thời điểm cho trước tiếp nhận yêu cầu tính toán sở dấu theo tiêu chí lâu Điều dẫn đến cần ... thành tiểu luận Với kiến thức có hạn nên tiểu luận không tránh khỏi sai sót Rất mong nhận góp ý Thầy anh chị lớp Học viên thực Nguyễn Cao Tài GVHD: PGS.TS Lê Văn Sơn Trang Tiểu luận Lập trình...
Ngày tải lên: 25/04/2013, 10:32
Tiểu luận khai phá dữ liệu: SỬ DỤNG WEKA VỚI CSDL SEGMENT TEST ÁP DỤNG THUẬT TOÁN PHÂN CỤM REPTree
... Lựa chọn chế độ phân cụm (cluster buider) - Lựa chọn chế độ phân cụm (cluster mode) • Use training set Các cụm học kiểm tra tập học • Supplie test set Sử dụng tập liệu khác để kiểm tra cụm học ... chức hữu ích • Save model Lưu lại mô hình tương ứng với phân lớp học vào tập tin nhị phân (binary file) • Load model Đọc lại mô hình học trước từ tập tin nhị phân • Re-evanluate model on current ... Lựa chọn phận phân lớp(classifire) - Lựa chọn tùy chọn cho việc kiểm tra (test options) • Use training set Bộ phận lọc đánh giá tập học • Supplied test set Sử dụng tập liệu khác(với tập học)...
Ngày tải lên: 16/12/2013, 15:06
Áp dụng thuật toán di truyền trong các dữ liệu kiểm thử phần mềm
... tối ưu toàn cục 8 3.3.3 Sự chọn lọc Toán tử chọn lọc chọn cá thể từ hệ để trở thành bố mẹ cho trình kết hợp lại bao gồm lai ghép đột biến Có nhiều cách khác để chọn lựa cá thể, ví dụ phương ... chấm luận văn thạc sĩ Học viện Công nghệ Bưu Viễn thông Vào lúc: ngày tháng năm Có thể tìm hiểu luận văn tại: - Thư viện Học viện Công nghệ Bưu Viễn thông MỞ ĐẦU 1.1 Lý chọn đề tài Thuật toán ... lặp} While not kết thúc Đánh giá thích nghi Đánh giá độ thích nghi P(t) Chọn lọc P(t+1) từ P(t) {Kết hợp gen cha mẹ Chọn lọc chọn lọc} Kết hợp P(t+1) với việc sử dụng lai ghép Lai ghép Đột biến đột...
Ngày tải lên: 13/02/2014, 11:06
khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave
... networks Lựa chọn phân lớp cho phép tùy chọn việc kiểm tra (test options) : - Use training set Bộ phân loại học đánh giá tập học tập học - Supplied test set Sử dụng tập liệu khác (với tập học) việc ... chức hữu ích + Save model : Lưu lại mô hình tương ứng với phân lớp học vào tập tin nhị phân (binary file) + Load model Đọc lại mô hình học trước từ tập tin nhị phân + Re-evaluate model on current ... ví d của phương pháp học giám sát Chương Tổng quan Khai phá liệu (unsupervised learning) Phân cụm liệu không đòi hỏi phải định nghĩa trước mẫu liệu huấn luyện Vì thế, coi phân cụm liệu cách học...
Ngày tải lên: 05/03/2014, 17:56
ÁP DỤNG THUẬT TOÁN TẠI TRẠM SẢN XUẤT VÀ TRẠM TIÊU THỤ ĐỂ MÔ PHỎNG QUÁ TRÌNH LÀM VIỆC CỦA HỆ PHÂN TÁN
... thiệu RMI Thiết lập môi trường triệu gọi từ xa Nhận xét RMI Giới thiệu toán demo chương trình Các điểm mạnh hệ tin học phân tán Hỗ trợ truy cập các dữ liệu được lưu ở nhiều nơi Có ... cài đặt giao diện Remote Các giao diện từ xa phải đảm bảo những tính chất sau: • Giao diện từ xa phải khai báo public • Giao diện từ xa kế thừa java.rmi.Remote • Mọi phương thức ... throws để kiểm soát các ngoại lệ java.rmi.RemoteException • Kiểu dữ liệu các đối tượng từ xa: phải được khai báo là kiểu giao diện Remote Xây dựng lớp cài đặt giao diện từ xa ...
Ngày tải lên: 13/03/2014, 11:19
các trường hợp áp dụng thuật toán, đánh giá và mở rộng cho ảnh màu 24bit
... thức thân hạn chế, thời gian tìm hiều môn học chưa nhiều nên đồ án em sai sót hạn chế Em kính mong nhận góp ý thầy bạn để em nắm vững kiến thức môn học hoàn thiện tốt tập Em xin chân thành cảm ... cảm ơn thầy giáo tận tình dạy giúp đỡ chúng em suốt trình học tập môn học 12 TÀI LIỆU THAM KHẢO [1] Slide giảng – PGS, TS Đào Thanh Tĩnh – Học viện Kỹ thuật Quân [2] Digital Image Processing – Rafael ... tăng cường làm giảm mật độ sáng tăng lên không nhiều + Hạn chế: - Đối với phương pháp biến đổi trực tiếp ảnh màu không tốt trường hợp mà ảnh sau tăng cường sáng, màu ảnh bị thay đổi so với ảnh...
Ngày tải lên: 29/03/2014, 08:07
Báo cáo nghiên cứu khoa học: " ÁP DỤNG THUẬT TOÁN GIẢM SAI SỐ VÀ THUẬT TOÁN DI TRUYỀN CHO HỆ MỜ SAM XẤP XỈ VỚI TẬP MỜ DẠNG HÌNH THANG" potx
... SAM học tối ưu hệ luật Trong ngăn Configuration, chọn chế học tối ưu hệ luật (Fuzzy System Optimization) • Number of Generation : Ấn định số hệ lặp Chọn 60 • Auto-Delete redundant rules : Chọn ... diễn mô hình kinh tế lượng Áp dụng học tham số cho mô hình : Sử dụng ngăn Configuration phần mềm ứng dụng để ấn định chế độ học tham số mô hình SAM Chọn chế độ học tham số (parameters learning) ... vang(t-2)×vang(t-1)×vang(t) Sau kết áp dụng thuật toán học điều chỉnh tham số học tối ưu mô hình SAM dự báo giá vàng Bộ liệu thử nghiệm chọn ngẫu nhiên từ liệu thống kê Cơ sở việc lựa chọn mô hình dự báo chuyên gia Viện...
Ngày tải lên: 22/07/2014, 10:21
thuyết trình báo cáo môn tri tuê nhân tạo áp dụng thuật toán tìm kiếm min max và alphabeta cắt tỉa xây dựng trò chơi cờ ca rô trên android
... Eval1(n)=X(n)-O(n) với X(n) tổng bình phương số quân X liên tiếp đường ngang, dọc, chéo O(n) tổng bình phương số quân O liên tiếp đường ngang, dọc, chéo Ví dụ hàng ngang có quân X liên tiếp Eval1+=1*1+2*2+3*3 ... =X’(n)-O’(n) với X’(n) tổng bình phương số quân O liên tiếp mà X chặn O’(n) tổng bình phương số quân X liên tiếp mà O chặn đường ngang, dọc, chéo Trường hợp riêng: Nếu X chặn quân O liên tiếp phương cộng ... liên tiếp cộng thêm 50 vào giá trị hàm Eval1(n) cộng thêm 100 số quân X liên tiếp để thấy rõ cấp thiết nước số quân O liên tiếp phương trừ 50 vào giá trị hàm Eval 1(n) trừ 100 số quân O liên tiếp...
Ngày tải lên: 23/10/2014, 23:46
slike thuyết trình áp dụng thuật toán tìm kiếm min max và alphabeta cắt tỉa xây dựng trò chơi cờ ca rô trên ngôn ngữ java
... Giới thiệu game cờ Caro Cờ caro hay gomoku môn cờ logic lâu đời cổ xưa Trái Đất Là trò chơi đối khàng người Một số dạng biến thể gomoku: - Gomoku - ProGomoku - Pente Luật chơi: - Bàn cờ chuẩn ... người chơi đánh quân liên trường hợp: quân nằm ngang liên tiếp, quân thẳng đứng liên tiếp, quân chéo trái liên tiếp quân chéo phải liên tiếp + FILLED: Khi tất nốt bàn cờ đánh mà không dành chiến ... ngược lại MIN cần chọn chiến lược giúp cực tiểu hóa giá trị hàm mục tiêu MAX cần chọn chiến lược giúp cực đại hóa giá trị hàm mục tiêu – với giả sử MIN nước tối ưu MAX chọn nước ứng với giá...
Ngày tải lên: 23/10/2014, 23:50
báo cáo môn trí tuê nhân tạo áp dụng thuật toán tìm kiếm min max và alphabeta cắt tỉa xây dựng trò chơi cờ ca rô trên ngôn ngữ java
... Luật chơi Gomoku Khi trình độ kỳ thủ Gomoku nâng cao, họ nhận chơi đơn giản Gomoku lợi lớn cho bên tiên tức bên Đen (thực tế ưu thắng) Sau số nhà toán học chứng minh chơi với luật Gomoku bàn cờ ... nhà sử học nói vào kỷ 17 18, người chơi trò này-người già người trẻ Năm 1858, sách trò chơi xuất bản, gọi Kakugo Nó tiếp tục chơi, gọi với nhiều tên khác Goren, Goseki, Gomokunarabe, Gomoku phát ... người chơi đánh quân liên trường hợp: quân nằm ngang liên tiếp, quân thẳng đứng liên tiếp, quân chéo trái liên tiếp quân chéo phải liên tiếp + Trạng thái FILLED: Khi tất nốt bàn cờ đánh mà không...
Ngày tải lên: 23/10/2014, 23:50
slike thuyết trình báo cáo môn trí tuê nhân tạo áp dụng thuật toán alpha - beta pruning để xây dựng trò chơi cờ úp trên android
... giá Hàm đánh giá trạng thái bàn cờ dựa ba yếu tố Tổng điểm quân đỏ Tổng điểm quân đen Điểm thưởng 14 2.3 Hàm đánh giá Công thức tổng quát hàm đánh giá Trong đó: f(x): Điểm số quân ... dụng trò chơi đối kháng Mỗi trạng thái bàn cờ gán giá trị cụ thể Người chơi Max chọn nước có điểm lớn Người chơi Min chọn nước có điểm nhỏ 10 2.2 Thuật toán Alpha-Beta cắt tỉa Do MINIMAX đòi hỏi ... cho máy) ngắn gọn 20 9/9/r4khPH/6P2/5P3/5p3/3r5/5h3/2Cp1pp2/1RCcK3c w - - - 21 Demo chương trình Chương trình demo thiết bị chạy HĐH Android Có thể tương thích với máy sử dụng HĐH từ Android...
Ngày tải lên: 23/10/2014, 23:51