tổng trực tiếp trong 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 ... LỜI MỞ ĐẦU Trong thực tế việc chứng minh quyền sở hữu sở liệu quan hệ sau phân phối chuyển giao vấn đề quan trọng môi trường ứng dụng dựa Internet nhiều ứng dụng phân phối sản phẩm Trong năm gần ... 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...

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 ... liệu - Trong qui 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 ... 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

... nghiệm từ hệ tiếp theo, để tối ưu hóa hàm fitness Nó ngược lại với kiểm thử ngẫu nhiên, kiểm thử ngẫu nhiên tạo liệu thử nghiệm mà không cần khái niệm liệu trước Trong phần tả giao tiếp phần ... 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ầ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)...

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 ... ưu hoá tiêu chuẩn đánh giá hình với liệu quan sát cách miêu tả hình định Trong tìm kiếm hình, miêu tả hình thay đổi để xét họ hình Với cách biểu diễn hình, phương pháp tìm kiếm...

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 ≤ ... xuất mức xám a ảnh: Γ tổng số điểm ảnh ảnh 1.2 Biến đổi histogram Là thay đổi giá trị (cấp xám) pixel sử dụng phương trình ánh xạ Với mức xám a, ta có hàm chuyển đổi s = T(a) Trong T(a) phải tuân ... Nội dung thuật toán Công thức chuyển đổi T(a)= L *= L*{ p(0)+ +p(a-1)+p(a)} Trong đó: p(a) = h(a)/ Γ a : cấp xám ảnh Γ : tổng số pixel ảnh h(a): số pixel có mức xám a ảnh với: ≤ p(a) ≤ 1, cho tất...

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 ... biến thiên theo thời gian, chuyên gia Viện sử dụng phương pháp Arima (trong kinh tế lượng) để xây dựng hình dự báo giá vàng hình mà chuyên gia đưa sau: D(t) = 0.139 + 0.056[D(t-1) – D(t-2)] ... thời điểm khảo sát, trước thời điểm khảo sát ngày Nhằm xây dựng hình máy học thay hình kinh tế lượng nói trên, sử dụng hệ SAM có hai đầu vào tương ứng với D(t-2), D(t-1) đầu tương ứng với D(t)...

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

... 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  Eval2(n) =X’(n)-O’(n) với X’(n) tổng bình phương số quân O liên tiếp ... Eval(n)=Eval1(n)+Eval2(n) Trong đó:  Eval1(n) hàm công  Eval2(n) hàm phòng thủ 11 Cụ thể tính giá trị tính nhu sau:  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 ... lượng giá tốt rút bớt cho ta nhiều trạng thái phải xét Trong toán cờ caro, hai yếu tố có vai trò định cho trận đấu tổng số nước thắng quân X tổng số nước thắng quân O trạng thái Vì ta sử dụng hàm...

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: ... thuật toán vét cạn cho chiến lược tìm kiếm Không gian tìm kiếm nước chiến lược tìm kiếm cờ Caro  Trong cờ caro sau nước số ô trống giảm.Vì việc tìm kiếm nước tìm kiếm không gian ô trống lại, sau ... 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: -...

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

... đá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 x bàn cờ  ... 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 ... 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