mô đun tự do trên vành chính

... 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 ... 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 ... luận 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...

Ngày tải lên: 19/02/2014, 09:50

... 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= ... độc lập tuyến tính ) 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...

Ngày tải lên: 02/12/2015, 13:24

... Ngoài ra, có ứng dụng khác : - Tự động điều khiển tự hiệu chỉnh chép tài liệu Web Ví dụ robot tìm web để đánh dấu vào tài liệu từ nhận dạng sản phẩm bất hợp pháp - Tự động kiểm tra việc truyền ... 15 1.1.4 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ệ ... Chƣơng 2-THUỶ VÂN CƠ SỞ DỮ LIỆU QUAN HỆ DỰA TRÊN KỸ THUẬT TỐI ƢU ÁP DỤNG THUẬT TOÁN TÌM KIẾM THEO MẪU 25 2.1 Giới thiệu thuỷ vân sở liệu 25 2.2 Mô hình chi tiết hệ thống thuỷ vân sở liệu...

Ngày tải lên: 07/11/2012, 09:16

... thái gần máy khác 2) Trật tự nhận thông điệp máy nhận không giống trật tự phát thông điệp Các máy mạng bị cố thông điệp bị Giải pháp cho vấn đề máy phát đánh số thứ tự tất gói thông tin gửi kèm ... dịch M={T1,T2…,Tn} Một trật tự hóa tập hợp tác động thành phần tương ứng với việc thực hoàn toàn giao dịch Việc thu trật tự hóa gắn bó thành công áp dụng ràng buộc trật tự thực tác động Nguyên lý ... thông điệp phát từ tiến trình iii) Các thông điệp phải xử lý trật tự chương trình cung cấp Trật tự tập hợp thông điệp hệ, trật tự thực thông qua việt hợp lực tiến trình cung cấp hay tiến trình...

Ngày tải lên: 25/04/2013, 10:32

... liệu) - Môi trường cho phép so 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 ... 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 ... Lưu lại mô 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 mô hình học trước từ tập tin nhị phân • Re-evanluate model on current test set Đánh giá mô hình...

Ngày tải lên: 16/12/2013, 15:06

... Vì mà có nhiều nghiên cứu nhằm tìm công cụ kiểm thử phần mềm tự động để giảm chi phí phát triển phần mềm Do đó, sinh liệu kiểm thử tự động công cụ hỗ trợ giúp thử nghiệm chương trình để sản xuất ... không rõ ràng, giống “hộp xám” Do đó, kiểm thử hộp xám dạng kiểm thử tốt, có kết hợp kỹ thuật kiểm thử hộp đen hộp trắng 2.2 Sinh liệu kiểm thử tự động Kiểm thử tự động kiểm thử toàn diện, mang ... thế, kiểm thử phần mềm tự động làm giảm đáng kể chi phí phát triển phần mềm Ngoài có số lợi ích sau: việc chuẩn bị thử nghiệm thực trước, lần chạy thử nghiệm nhanh đáng kể tự tin kết thử nghiệm...

Ngày tải lên: 13/02/2014, 11:06

... đo tương tự sử dụng việc cài đặt độ đo tương tự Không có định nghĩa tương tự bất tương tự đối tượng liệu tùy thuộc vào loại liệu khảo sát, loại tương tự cần thiết Độ tương tự /Bất tượng tự đối ... ư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 ... phá liệu biểu diễn mô hình, đánh giá mô hình phương pháp tìm kiếm [8] - Biểu diễn mô hình : việc xây dựng ngôn ngữ L để miêu tả mẫu phát Nếu mô tả bị giới hạn không xây dựng mô hình xác cho liệu,...

Ngày tải lên: 05/03/2014, 17:56

... trường, lắng nghe ở cổng có số hiệu xác định  Java cho phép người lập trình tự tạo đăng ký cho riêng Để tạo đăng ký và tự đăng ký đối tượng, ta sử dụng phương thức tĩnh createRegistry() lớp ... khách ta dùng phương thức Naming.lookup(url:port/ten_doi_tuong") thuộc package java.rmi.server ;  Xu hướng lập trình phân tán phát triển tự nhiên và là tất yếu  Là giải pháp khá đơ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...

Ngày tải lên: 13/03/2014, 11:19

... 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 ≤ ... tăng cường ảnh màu Do 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ốt Theo thân em tự đánh giá phương pháp histogram equalization có hiệu cao nâng cao chất lượng ảnh, bên cạnh dễ cài đặt CHƯƠNG XỬ LÝ VỚI ẢNH MÀU 24BIT 3.1 Làm giả ảnh màu 3.1.1 Mô hình màu HSI...

Ngày tải lên: 29/03/2014, 08:07

... 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 ... ngược lại Xác suất thực đột biến gen Pm = 0.01 (30) Chọn lọc tự nhiên : Do hàm thích nghi có tính hội tụ cao nên phương pháp chọn lọc tự nhiên áp dụng thuật toán phương pháp xếp hạng (ranking) ... Development, Vol 9, No.9- 2006 Phần mềm [6] thiết cho việc xây dựng mô hình SAM dự báo giá số hàng hóa như: vàng, dollar, ciment, gạo Mô hình SAM dự báo giá vàng trình bày kết phần mềm Qua việc phối...

Ngày tải lên: 22/07/2014, 10:21

... đặt Trên smartphone Android Trong thư mục gửi code bọn em có build file demo-co-ca-ro.apk Thầy cần copy file vào thư mục download smartphone Android rùi tiến hành cài đặt chạy bình thường Trên ... SUCCESSORS(state )do vMAX(v,MIN-VALUE(s)) return v function MIN-VALUE(state) returns a ultility state if TERMINAL-TEST(state) then return UTILITY(state) v -∞ for a,s in SUCCESSORS(state )do vMIN(v,MAX-VALUE(s)) ... đối thủ làm lớn tối đa lợi  Min: biểu diễn cho mục đích đối thủ làm nhỏ tối đa lợi đối phương Trên tìm kiếm phân lớp thành lớp Max Min Minimax truyền giá trị lên cao dần đồ thị, qua nút cha...

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

... 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: - ... 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 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 ... „ 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 tìm kiếm cải thiện...

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

... với v o β định nghĩa tương tự với MIN Page 17 of 25 - - Theo thuật toán, trạng thái hàm Max-Value, giá trị 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 ... nhà khoa học tìm thấy chứng chứng minh Caro phát minh Hy lạp cổ đại Châu Mỹ trước thời Colombo Môn cờ cổ Trung Quốc Wutzu Cờ Caro du nhập từ Trung Quốc vào Nhật Bản từ khoảng năm 270 trước CN ... lại sinh nhiều khả đánh (bùng nổ tổ hợp), có số trường hợp tìm kiếm theo kiểu vét cạn hết khả này .Do không dùng thuật toán vét cạn cho chiến lược tìm kiếm 3.2 Không gian tìm kiếm nước & chiến lược...

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

... 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 ... 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 phải duyệt tất nút ⇒ Thuật toán chạy chậm, không phù hợp thực tế  Sử dụng Alpha-Beta...

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