tổng trực tiếp của hai mô đun

thuật toán tìm cơ sở của các môđun con của môđun tự do hữu hạn sinh trên vành chính

thuật toán tìm cơ sở của các môđun con của môđun tự do hữu hạn sinh trên vành chính

... thành un, gọi un X Nếu A, B un un X Khi A + B un X Mỗi nhóm nhóm aben xem Z -mô un 2.2.2 un sinh tập Giao họ khác rỗng un X lại un X Xét S tập un X Xét họ T tất un ... hai phép toán xác định thỏa mãn tất yêu cầu R -mô un Ta gọi un tổng trực tiếp hai un A, B kí hiệu A ⊕ B Tổng trực tiếp hai 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 ... đẳng cấu un X un tự Y un tự Hơn nữa, S sở X f (S) sở Y 14 un tự sinh tập hợp Có thể dễ dàng chứng minh kết sau đây: Tổng trực tiếp họ un tự un tự do” Cũng lưu ý vành R un tự...

Ngày tải lên: 19/02/2014, 09:50

50 1K 0
về sự tồn tại hạng của module tự do hữu hạn sinh trên các vành không giao hoán

về sự tồn tại hạng của module tự do hữu hạn sinh trên các vành không giao hoán

... 1.2.9 Cho R vành M R - un • M gọi R - un đơn (hay un bất khả quy) MR ≠ ( ) M có hai un ( ) M • M gọi R - un nửa đơn R - un N M hạng tử trực tiếp M tức tồn un N1 cho M= N ⊕ N1 ... M R - un tự (gọi tắt un tự do) M có sở 8 Quy ước: un (0) tự với tập ∅ sở Định lý 1.2.5 R - 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 ⊕ ... R - un phải, tương tự ta kí hiệu R M để M R - un trái, M vừa R - un phải vừa R - un trái gọi song un kí hiệu R MR 7 Định nghĩa 1.2.2 Cho M R - un tập ∅ ≠ N ⊂ M N gọi un...

Ngày tải lên: 02/12/2015, 13:24

50 739 0
Á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

Á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

... Việc triển khai phương pháp cho phép gắn bó liệu môi trường phân tán điều kiện lý tưởng (không có cố nào) áp dụng mang lại hiệu định cho hệ thống đăng ký Tuy nhiên, trình triển khai lập trình ... vấn trạng thái treo ii) Cần phải tránh trường hợp thao tác hai khác chứa thông tin truy cập hai hay nhiều yêu cầu dẫn đến không gắn bó Hai vấn đề vừa nêu xác định ràng buộc vấn đề gắn bó liệu Để ... Trang Tiểu luận Lập trình mạng nâng cao thể sau Nếu tác động A B thuộc hai giao dịch khác thực hai tiến trình hiệu ứng tổng quát chúng hiệu ứng dãy (A;B) (B;A) Cho tập hợp giao dịch M={T1,T2…,Tn}...

Ngày tải lên: 25/04/2013, 10:32

25 737 7
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

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

... sánh giải thuật học máy khai phá liệu Weka- môi trường - Simple CLI : giao diện đơn giản kiểu dòng lệnh(như MS-DOS) - Explore (Chúng ta chủ yếu sử dụng môi trường này) Môi trường cho phép sử dụng ... trình khai phá liệu, công việc xử lý liệu trước đưa vào hình cần thiết, bước làm cho liệu có ban đầu qua thu thập liệu (gọi liệu gốc original data) áp dụng (thích hợp) với hình khai phá ... Weka để khám phá liệu - Experimenter : Môi trường cho phéptiến hành thí nghiệm thực kiểm tra thống kê(statistical tests) hình học máy - KnowledgeFlow: Môi trường cho phép bạn tương tác đồ họa...

Ngày tải lên: 16/12/2013, 15:06

25 2K 8
khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave

khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave

... cầu khai phá hay nhiệm vụ, cung cấp thông tin trợ giúp cho việc tìm kiếm thực khai phá thăm dò kết khai phá trung gian 1.2 1.2.1 Hướng tiếp cận kỹ thuật khai phá liệu Các hướng tiếp cận khai phá ... learning) - tả khái niệm (Concept description & summarization) : thiên vê tả, tổng hợp tóm tắt khai niệm tóm tắt văn Chương Tổng quan Khai phá liệu 1.2.2 Một số kỹ thuật khai phá liệu ... bảng vi Tổng quan Khai phá liệu 1.1 Khai phá liệu 1.1.1 Khái niệm 1.1.2 Kiến trúc hệ thống khai phá liệu 1.2 Hướng tiếp cận kỹ thuật khai phá...

Ngày tải lên: 05/03/2014, 17:56

54 4,9K 10
Á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

Á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

... 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 phải khai báo với mệnh đề throws để kiểm soát các ngoại ... 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  Ở phía máy chủ: • Khai báo cài đặt nhất giao diện từ xa • Định ... “//host/objectname” giúp ta xác định được đối tượng phục vụ  Bộ đăng ký RMI registry  Ta gọi trực tiếp mà thông qua các lớp trung gian Stub và Skel Ta thực hiện điều này nhờ trình biên...

Ngày tải lên: 13/03/2014, 11:19

22 1,3K 0
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

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

... 10 Sử dụng hình SAM kết cho dự báo (bảng 4) cung cấp số so sánh hình SAM hình kinh tế lượng Rõ ràng hình SAM nhận có chất lượng tốt (sai số thấp theo số đánh giá) so với hình kinh ... trình Chất lượng hình SAM sau giai đoạn học cấu trúc : Dùng hình SAM sau học cấu trúc để dự báo Đường biểu diễn (đồ thị 1) phản ánh kết dự báo, (bảng 3) số so sánh SAM hình kinh tế lượng: ... lượng dự báo SAM so với hình kinh tế lượng giai đoạn dài hạn, theo chuyên gia viện kinh tế tp.HCM, dự báo tốt đường biểu diễn dự báo vào vùng giới hạn hai đường biểu diễn hình kinh tế lượng...

Ngày tải lên: 22/07/2014, 10:21

12 412 0
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

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

15 2,3K 0
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

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

... người thứ hai Các trạng thái xảy chơi: + WIN: 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: ... người, ứng dụng thuật toán Min-Max cắt tỉa alpha-beta I 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: - ... đánh vào nước mà người chơi máy đánh trước đánh + OK: Khi trạng thái không xảy người chơi đánh tiếp! IV Thuật toán sử dụng Thuật toán Min-Max Các chiến lược tối ưu  Chiến lược tối ưu chuỗi...

Ngày tải lên: 23/10/2014, 23:50

25 1,9K 5
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

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

... 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 ... không giống Gomoku Luật bổ sung ăn quân đối phương Nước ăn quân thực cách chặn hai đầu nước hai quân đối phương ăn hai quân Ai tạo nước năm ăn cặp quân trước thắng Rất phổ biến Mỹ Chơi bàn 19x19 ... trạng thái nhỏ giá trị Max có , nhánh không xét tiếp Tương tự với hàm Min –Value, trạng thái có giá trị trạng thái lớn giá trị Min có không xét tiếp Thuật toán có hiệu nhiều việc cắt giảmkhông...

Ngày tải lên: 23/10/2014, 23:50

24 1,9K 8
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

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

... Nội dung     tả toán Hướng giải Hướng phát triển Demo chương trình tả toán   Giới thiệu trò chơi cờ úp tả không gian trạng thái toán 1.1 Giới thiệu ... 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 ... thái mức i cách di chuyển quân cờ bàn theo bước hợp lệ Trạng thái đích: Là trạng thái mà hai quân tướng hai bên bị ăn quân tướng không nước hợp lệ Khi đó, bên lại người thắng Thuật toán sử dụng...

Ngày tải lên: 23/10/2014, 23:51

22 1,8K 2
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

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

... toán tả qua mã giả sau Hàm chi phí Hàm chi phí trò chơi trạng thái đánh giá dựa ba yếu tố • Tổng điểm quân đỏ (người chơi Max) • Tổng điểm quân đen (người chơi Min) • Điểm thưởng Công thức tổng ... này, trạng thái ban đầu sinh ngẫu nhiên từ 2.17! khả • Trạng thái đích: Là trạng thái mà hai quân tướng hai bên bị ăn quân tướng không nước hợp lệ Khi đó, bên lại người thắng • Trạng thái trung ... phương đồng ý Ván chơi xử hòa Mục tiêu toán Xây dựng ứng dụng trò chơi cờ úp người với máy, người với người tảng điện thoại android tả không gian trạng thái toán II • Trạng thái đầu: Là trạng...

Ngày tải lên: 23/10/2014, 23:51

10 1,1K 18
w