... 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 ... ker ϕ = 2.2.12 Mô un tự vành Nói chung, R -mô un R -mô un tự chưa mô un tự Riêng với trường hợp R vành ta có định lý: Định lý Mô un mô un tự vành mô un tự Chứng minh Cho X mô un tự vành R, A ¡ X ... văn sở mô un tự hữu hạn sinh vành Nói mô un tự hữu hạn sinh vành chính, lý thuyết mô un có kết phong phú sâu sắc Ta nêu hai kết sau đây: Định lý: Trên vành chính, mô un mô un tự lại tự Định lý:...
Ngày tải lên: 19/02/2014, 09:50
... R - mô un bất khả quy 15 Nếu R R - mô un bất khả quy rad R = R Định nghĩa 1.3.2 Vành R vành đơn R ≠ R có hai iđêan ( ) R Định nghĩa 1.3.3 Vành R vành nửa đơn xem R mô un mô un nửa đơn nghĩa ... R - mô un phải, tương tự ta kí hiệu R M để M R - mô un trái, M vừa R - mô un phải vừa R - mô un trái gọi song mô un kí hiệu R MR 7 Định nghĩa 1.2.2 Cho M R - mô un tập ∅ ≠ N ⊂ M N gọi mô un ... nghĩa 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=...
Ngày tải lên: 02/12/2015, 13:24
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
... Hàm giấu c định nghĩa số đầu vào tail chuẩn hoá độ dài S i , tail count chuẩn hoá Hàm tính sau: n c ( S i i ) 1{sij ij ref } n j 1 : n độ dài S i 1{} hàm định nghĩa sau: Chú ... hình 1.5 Đầu vào liệu nhúng thủy vân, khoá liệu gốc (có thể có không tuỳ thuộc vào phương pháp) Đầu thủy vân khôi phục đại lượng mối tương quan thủy vân cho trước đầu vào Phụ thuộc vào mục đích ... Ý nghĩa khoa học ý nghĩa thực tiễn đề tài Ý nghĩa khoa học đề tài - Đưa sở khoa học việc lựa chọn kỹ thuật tối ưu để mã hoá giải mã thuỷ vân sử dụng kỹ thuật tìm kiếm theo mẫu để giải toán Ý nghĩa...
Ngày tải lên: 07/11/2012, 09:16
Á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ễn thông điều hành thống hệ điều hành Từ định nghĩa này, người ta xem hệ phân tán tập hợp bao gồm xử lý vi xử lý với nhớ đồng hồ nhịp độc lập Điều đồng nghĩa với việc xử lý không sử dụng chung ... thực chúng, có nghĩa đối tượng GVHD: PGS.TS Lê Văn Sơn Trang Tiểu luận Lập trình mạng nâng cao ngữ cảnh thực tiến trình, hệ kiểu hoạt động với độ ổn định tuyệt vời Các điều kiện giả định so với ... TẬP I ĐẶT VẤN ĐỀ I.1 Giới thiệu toán Trong hệ thống phân tán giả định có độ ổn định tuyệt vời, ta muốn trì gắn bó mạnh đối tượng định vị trạm khác Thuật toán dựa nguyên lý sau đây: Trước thực...
Ngày tải lên: 25/04/2013, 10:32
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
... Môi trường cho phép sử dụng tất khả 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) mô hình học máy - KnowledgeFlow: Môi ... tục (continuous) Một thuộc tính xem Interesting mang vài thông tin hữu ích (thế thông tin hữu ích tùy thuộc vào vấn đề phân tích bạn) Để đo lường mức độ interestingness, người ta thường dựa vào ... tra • Cost-sensitive evaluation Các lỗi(của phân lớp) xác định dựa ma trận chi phí (cost matrix) định • Random seed for XVal/ %Split Chỉ định giá trị random seed sử dụng cho trình lựa chọn ngẫu...
Ngày tải lên: 16/12/2013, 15:06
Á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 hay không tùy vào điều kiện liệu đầu vào Điể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 ... vòng lặp ‘while…do’ phụ thuộc vào số mảng, kiểm tra cho lần lặp trừ định nghĩa mảng thay đổi Chiến lược thử nghiệm lặp lặp lại lần, lần nhiều lần lặp Kết thí nghiệm mô tả bảng 4.8 Bảng 4.8 Kết ... dụng hàm fitness, biến đầu vào thể mã nhị phân giống hình ảnh nhớ máy Điểm mạnh GA việc xử lý liệu đầu vào có cấu trúc số phức, vị từ phức tạp, hàm chưa biết biến đầu vào Vì vậy, vấn đề sinh liệu...
Ngày tải lên: 13/02/2014, 11:06
khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave
... việc tìm kiếm mô hình mô tả phụ thuộc quan trọng biến tồn hai mức : Mức cấu trúc mô hình (thường dạng đồ thị) xác định biến phụ thuộc cục vào biến khác ; Mức định lượng mô hình xác định mức độ ... ưu hoá tiêu chuẩn đánh giá mô hình với liệu quan sát cách miêu tả mô hình định Trong tìm kiếm mô hình, miêu tả mô hình thay đổi để xét họ mô hình Với cách biểu diễn mô hình, phương pháp tìm kiếm ... tri thức miền để định tham số đầu vào : Đa số thuật toán phân cụm yêu cầu người dùng nhập vào tham số định, ví dụ số cụm mong muốn Kết phân cụm phụ thuộc nhiều vào tham số đầu vào Trong đó, tham...
Ngày tải lên: 05/03/2014, 17:56
Á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 ... 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 nghĩa đối tượng từ xa • Cài đặt các phương thức để triệu gọi được từ xa Cài đặt phương ... hiện việc kết nối giữa các đối tượng qua các cổng định được mở từ trước Áp dụng thuật toán trạm sản xuất và trạm tiêu thụ để mô quá trình làm việc hệ phân tán Bao gồm: ...
Ngày tải lên: 13/03/2014, 11:19
các trường hợp áp dụng thuật toán, đánh giá và mở rộng cho ảnh màu 24bit
... lược đồ mức xám định trước: trình xác định histogram hiệu chỉnh histogram ảnh gốc phù hợp với histogram xác định 2.2.2 Nội dung thuật toán Ta có: a : Giá trị xám điểm ảnh ảnh đầu vào z : Giá trị ... thành phần H S) 3.1.3 Công thức tính - Chuyển từ mô hình RGB mô hình HSI theo công thức: H= - Thực biến đổi I theo phương pháp - Chuyển từ mô hình HSI mô hình RGB theo công thức: + RB sector (0 ≤ ... 24BIT 3.1 Làm giả ảnh màu 3.1.1 Mô 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 mô hình màu không nói đến mức...
Ngày tải lên: 29/03/2014, 08:07
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
... dụng học tham số cho mô hình : Sử dụng ngăn Configuration phần mềm ứng dụng để ấn định chế độ học tham số mô hình SAM Chọn chế độ học tham số (parameters learning) với ấn định: • All fuzzy sets ... 10 Sử dụng mô hình SAM kết cho dự báo (bảng 4) cung cấp số so sánh mô hình SAM mô hình kinh tế lượng Rõ ràng mô hình SAM nhận có chất lượng tốt (sai số thấp theo số đánh giá) so với mô hình kinh ... nhiên từ liệu thống kê Cơ sở việc lựa chọn mô hình dự báo chuyên gia Viện Kinh Tế tp.Hồ Chí Minh thực Bộ liệu thử nghiệm sau: Bảng Stt 10 Vàng(t-2) Vàng(t-1) Vàng(t) 482 481 480 481 480 481 480 481...
Ngày tải lên: 22/07/2014, 10:21
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
... thường dùng để nói đến máy tính có mục đích không định ngành khoa nghiên cứu lý thuyết ứng dụng trí tuệ nhân tạo Tuy trí thông minh nhân tạo có nghĩa rộng trí thông minh khoa học viễn tưởng, ngành ... số quân X 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ố ... hợp riêng: Nếu X chặn quân O liên tiếp phương cộng thêm 100 vào giá trị hàm Eval(n) Nếu O chặn quân X liên tiếp phương trừ 100 vào giá trị hàm Eval(n) 12 Ví dụ cụ thể Giả sử độ sâu k trò chơi...
Ngày tải lên: 23/10/2014, 23:46
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
... cần chọn nhánh dẫn tới nút chiến thắng để đi, trò chơi không hấp dẫn thường có .Và thực tế là, trò chơi đối kháng sau vài lượt lại sinh nhiều khả đánh (bùng nổ tổ hợp) Do không dùng thuật toán vét ... điểm cờ lượng giá trả lại.Vì không gian tìm kiếm lớn nên giới hạn cho máy tính tìm kiếm đọ sâu định, => Và tất nhiên độ sâu lớn chương trình “thông minh” trả giá mặt thời gian… Biểu diễn trạng thái ... nhánh tìm kiếm Nếu v giá trị tồi α, MAX bỏ qua nước ứng với v, Cắt tỉa nhánh ứng với v β định nghĩa tương tự MIN Thuật toán cắt tỉa alpha-beta Thuật toán Cắt tỉa α-β Ý tưởng: Nếu nhánh...
Ngày tải lên: 23/10/2014, 23:50
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
... win), sau cách cụ thể tìm ra, hệ thống phân loại .Và vậy, từ Gomoku lâm vào giai đoạn khủng hoảng Khả đánh thắng 100 phần trăm Đen làm trò chơi ý nghĩa Có nhiều cải tiến đề xuất, số bị bỏ qua nhanh ... hàm Max-Value lấy vị trí cho quân đưa vào mà quân đối địch để điểm trạng thái quân đưa vào giá trị lớn - Hàm Min –Value ngược lại, tức lấy vị trí cho quân đưa vào mà quân đối địch để điểm trạng ... chẳng hạn gán cho chiến thắng, cho hòa -1 cho thua trận.Tại nút có trọng số tương ứng xác định cách đó.Dựa vào trò chơi này, người ta tìm nước “tốt” để giành phần thắng cho (nếu có thể), cách tìm...
Ngày tải lên: 23/10/2014, 23:50
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 Mô tả toán Hướng giải Hướng phát triển Demo chương trình Mô tả toán Giới thiệu trò chơi cờ úp Mô tả không gian trạng thái toán 1.1 Giới thiệu ... hàng chấp nhận thua ván chơi Cầu hòa: Người chơi cầu hòa đối phương đồng ý Ván chơi xử hòa 1.2 Mô tả không gian trạng thái Trạng thái đầu: Là trạng thái bàn cờ thời điểm bắt đầu chơi Trạng ... 20 70 Tướng 6000 17 VD: Ma trận điểm vị trí quân Xe 18 2.3 Hàm đánh giá B: điểm thưởng Dựa vào số lợi từ nước cụ thể ta cộng thêm điểm cho nước Vd: Khi bên đen bị khuyết sỹ mà bên đỏ xe...
Ngày tải lên: 23/10/2014, 23:51