0

tổng trực tiếp của họ mo đ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

Kinh tế - Quản lý

... 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...
  • 50
  • 1,001
  • 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

Thạc sĩ - Cao học

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

Thạc sĩ - Cao học

... 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...
  • 69
  • 1,363
  • 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

Công nghệ thông tin

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

Lập trình

... 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 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 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)...
  • 25
  • 1,948
  • 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

Thạc sĩ - Cao học

... 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...
  • 22
  • 777
  • 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

Hệ thống thông tin

... 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 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 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...
  • 54
  • 4,942
  • 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Ụ ĐỂ PHỎNG QUÁ TRÌNH LÀM VIỆC CỦA HỆ PHÂN TÁN

Kỹ thuật

... 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 ...
  • 22
  • 1,328
  • 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

Đồ họa

... 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...
  • 13
  • 2,509
  • 4
Báo cáo nghiên cứu khoa học:

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 khoa học

... 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 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) ... 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...
  • 12
  • 411
  • 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

Kỹ thuật lập trình

... 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...
  • 15
  • 2,286
  • 0
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

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

Kỹ thuật lập trình

... 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 ... 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...
  • 16
  • 1,813
  • 4
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

Kỹ thuật lập trình

... 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á...
  • 25
  • 1,912
  • 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

Kỹ thuật lập trình

... 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...
  • 25
  • 1,905
  • 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

Kỹ thuật lập trình

... 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...
  • 22
  • 1,752
  • 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

Kỹ thuật lập trình

... thuật toán MINIMAX: Xét hình vẽ, thời điểm ban đầu, Max chọn nút có giá trị Đến lượt Min, Min chọn nút có giá trị Đến lượt Max, Max chọn nút (có giá trị 6) nút (có giá trị 14) tương ứng 1.2 ... 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 quát hàm lượng giá Trong đó: • f(x): Điểm ... ngược lên cho nút cha mẹ (là nút MAX) Sau giá trị gán cho ông bà nút MIN giá trị beta kết thúc tốt Tiếp theo thuật toán xuống nút cháu khác kết thúc việc tìm kiếm nút cha mẹ chúng gặp giá trị lớn...
  • 9
  • 1,124
  • 18

Xem thêm