mô đun tự do

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

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

... 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 ¡ ... tính Do S sở Định lý Nếu f : X → Y đẳ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...

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

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

... 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 ... 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 ... vừa hệ sinh vừa hệ độ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ệ...

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

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

... 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ệ ... vân - Nghiên cứu sử dụng công cụ để mô tả kỹ thuật tìm kiếm theo mẫu Phƣơng pháp nghiên cứu - Nghiên cứu lý thuyết sở thuỷ vân sở liệu - Nghiên cứu ứng dụng mô tả chi tiết kỹ thuật tìm kiếm theo...

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

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

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

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

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

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

25
1.9K
8

Áp dụng thuật toán di truyền trong các dữ liệu kiểm thử phần mềm

Ngày tải lên : 13/02/2014, 11: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...

22
777
1

khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave

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

... đ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,...

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

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

... trường, lắng nghe ở cổng có số hiệu xác định  Java cho phép người lập trình tự tạo đăng ký cho riêng Để tạo đăng ký và tự đăng ký đối tượng, ta sử dụng phương thức tĩnh createRegistry() lớp ... khách ta dù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 tán phát triển tự nhiên và là tất yếu  Là giải pháp khá đơ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...

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

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

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

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

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

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

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

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

... 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)) ... thư mục download smartphone Android rùi tiến hành cài đặt chạy bình thường Trên PC Muốn chạy chương trình PC trước hết phải cài phần mềm bluestacks Đây phần mềm giả lập Android PC Link dowload ... nhận dạng chữ viết tay, nhận dạng tiếng nói khuôn mặt Bởi vậy, trí thông minh nhân tạo trở thành môn học, với mục đích cung cấp lời giải cho vấn đề sống thực tế Ngày nay, hệ thống nhân tạo dùng...

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

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

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

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

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

25
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

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

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

22
1.8K
2