tổng trực tiếp trong của họ mô đun con

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

... 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 hai un Cho A, B un un X thỏa ... 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 ... ⊕ B ta nói X tổng trực tiếp = hai un A, B un X tổng trực tiếp hai un A B với x ∈ X có cách biểu diễn x = a + b với a ∈ A, b ∈ B un A X gọi hạng tử trực tiếp X có un B ¡ X cho...

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

... 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 http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN KHOA ... 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

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

... 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 ... tin về môn học và giới thiệu những tài liệu thiết thực để hoà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 ... 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...

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

... 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 kiểu kéo/thả để ... phần) thí nghiệm Môi trường Explorer - Preprocess: Để chọn thay đổi(xử lý) liệu làm việc Classify : Để huấn luyện kiểm tra hình học máy(phân loại, hồi quy/dự đoán) Cluster : Để học nhóm từ liệu(phân ... 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

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

... 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 ... 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 ... chi tiết phù hợp kiểm tra mô- đun nhỏ Kiểm thử hộp trắng không đầy đủ kiểm thử hết lệnh không chứng tỏ kiểm thử hết trường hợp Ngoài kiểm thử hết đường vòng lặp lớn Trong chương cho ta thấy tư...

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

... ư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 ... cha /con lớp Trong ứng dụng cụ thể cần lựa chọn hình phân lớp phù hợp Việc lựa chọn vào so sánh hình phân lớp với nhau, dựa tiêu chuẩn sau : - Độ xác dự đoán (predictive accuracy) khả ... 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...

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

... 1 Vài nét hệ phân tán Giới 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 ... “//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 ... gọi từ xa  Đã có rất nhiều giải pháp cho vấn đề này và hiện Web Services lên là lựa chọn tốt nhất  Có thể giải đối với vấn đề tường lửa :  Yêu cầu người quản trị cung cấp số...

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

... 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 C Gonzalez, Richard E Woods [3] Nhập môn xử ... kiến 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 ... 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 ≤...

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

... mờ • Iteration : Chọn số lần lặp liệu học Áp dụng với số lần học 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ó ... hình kinh tế lượng Áp dụng học tham số cho hình : Sử dụng ngăn Configuration phần mềm ứng dụng để ấn định chế độ học tham số hình SAM Chọn chế độ học tham số (parameters learning) với ấn ... 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 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 hình dự báo chuyên gia Viện...

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 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ược lại, MIN chọn nước ứng với giá trị MINIMAX cực tiểu Thuật toán MIN-MAX  MAX chọn nước ứng với giá trị MINIMAX cực đại (để đạt giá trị cực đại hàm mục tiêu) „ Ngược lại, MIN chọn nước ứng...

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 ... chóng với tên Kakugo (trò quân) Cá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, ... 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ờ rộ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 ... 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...

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

22 1,8K 2

Bạn có muốn tìm thêm với từ khóa:

w