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

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

... Môi trường giấu tin 17 1.2 Cơ sở lý thuyết thuỷ vân 21 1.2.1 Khái niệm thuỷ vân nhúng thuỷ vân 21 1.2.2 Lịch sử phát triển thuỷ vân 21 1.2.3 hình hệ thống tổng ... loại theo tiêu chí khác tiếp tục thực hiện, ví dụ dựa theo ảnh hưởng tác động từ bên chia thuỷ vân thành hai loại, loại bền vững với tác động chép trái phép, loại thứ hai lại cần tính chất hoàn ... http://www.lrc-tnu.edu.vn  27  2.2 hình chi tiết hệ thống thuỷ vân sở liệu Kỹ thuật tối ưu gồm hai trình, trình mã hoá giải mã thuỷ vân Sơ đồ khối tóm tắt thành phần hình hệ thống thuỷ vân sau:...

Ngày tải lên: 07/11/2012, 09:16

69 1,4K 2
Á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
Áp dụng thuật toán di truyền trong các dữ liệu kiểm thử phần mềm

Áp dụng thuật toán di truyền trong các dữ liệu kiểm thử phần mềm

... cần ý thủ tục là: - Một biến đầu vào A, tham gia trực tiếp vào điều kiện đẳng thức (A=0) - D hàm phi tuyến tính biến đầu vào tham gia hai điều kiện tổng ba đường dẫn - D tham gia vào đẳng thức (D=0) ... phương trình bậc hai 4.2.1 Phương trình bậc hai Một loạt thử nghiệm thực việc áp dụng thuật toán di truyền để sinh liệu kiểm thử cho phần mềm thử nghiệm Trong phần giải phương trình bậc hai (hay gọi ... Cây luồng điều khiển chương trình phần mềm cho thủ tục bậc hai 15 Vấn đề giải phương trình bậc hai việc tìm nghiệm phương trình bậc hai phương trình dạng 4.1 Và nghiệm thể 4.2 Ax  Bx  C  (4.1)...

Ngày tải lên: 13/02/2014, 11:06

22 778 1
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
các trường hợp áp dụng thuật toán, đánh giá và mở rộng cho ảnh màu 24bit

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ành phần H S) 3.1.3 Công thức tính - Chuyển từ hình RGB hình HSI theo công thức: H= - Thực biến đổi I theo phương pháp - Chuyển từ hình HSI hình RGB theo công thức: + RB sector (0 ≤ ... 24BIT 3.1 Làm giả ảnh màu 3.1.1 hình màu HSI Được biểu diễn thành phần: Hue(màu), Saturation( mức độ trắng pha vào so với màu gốc) Intensity (cường độ) Đối với hình màu không nói đến mức ... (H, S, I)  (H, S, I*)  (R, G, B) 3.1.2 Các bước thuật toán - Biến đổi ảnh màu từ hình màu RGB thành hình màu HSI - Tiến hành biến đổi lược đồ mức xám thành phần I hệ HSI ( coi giá trị...

Ngày tải lên: 29/03/2014, 08:07

13 2,5K 4
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
w