... 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 ... hai phép toán xác định thỏa mãn tất yêu 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 ... đẳng cấu mô un X mô un tự Y mô un tự Hơn nữa, S sở X f (S) sở Y 14 Mô 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ọ mô un tự mô un tự do” Cũng lưu ý vành R mô un tự...
Ngày tải lên: 19/02/2014, 09:50
... 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 ... M 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 ⊕ ... 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...
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
... 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 Mô 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 Mô 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 mô hình hệ thống thuỷ vân sau:...
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ệ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
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 mô 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 mô 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) mô 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
Á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
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) - Mô tả khái niệm (Concept description & summarization) : thiên vê mô 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
Á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
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ừ 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 ... (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ừ mô hình màu RGB thành mô 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
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 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 ... trình Chất lượng mô hình SAM sau giai đoạn học cấu trúc : Dùng mô 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 mô hình kinh tế lượng: ... lượng dự báo SAM so với mô 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 mô hình kinh tế lượng...
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
... 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
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
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
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 ... 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