mô đun con sinh bởi một tập
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
... toán cảm sinh lập 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 ... tất mô un X chứa S Hiển nhiên T khác rỗng X ∈ T Giao họ T mô un X , chứa S , gọi mô un X sinh bới tập S (kí hiệu < S >) S gọi tập sinh hay hệ sinh mô un < S > Từ cách xác định thấy < S > mô un ... 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 Chọn sở X S = {xα }α∈I với I tập tốt...
- 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
... 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 ... X không chứa thực hệ sinh M Nếu M có hệ sinh bao gồm phần tử M gọi mô un xyclic mô un đơn sinh Mô un hệ sinh hữu hạn gọi mô un vô hạn sinh Định nghĩa 1.2.4 Cho M R - mô un, X ⊂ M Ta nói rằng: ... 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...
- 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
... Thuật toán mã hoá bít đơn mô tả sau: Thuật toán: encode_single_ bit Đầu vào: Tập liệu Si, Bit bi, Tập ràng buộc Gi, Tập tham số bí mật , Các tập thống kê Xmax, Xmin Đầu ra: Tập liệu Si i * If ... , với tập hợp tham số bí mật người chủ sở hữu liệu đưa Tập hợp xem phần khoá bí mật Chú ý hàm giấu áp dụng cho S i i vectơ thao tác i biến, S i số Để mã hoá bit bi vào tập S i , ... 2.3: Phân phối tập S i i trục số đầu vào tail khoanh tròn Điểm tham chiếu : ref c , c (0,1) số thực bí mật, phần tập Các điểm liệu S i i ref đầu vào “tail” mô tả hình 2.3...
- 69
- 1,359
- 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
... bảo Một yêu cầu khác quan trọng trình thực hệ phải đảm bảo cho tác động không bị ngắt quãng II.3 Triển khai giao dịch tôn trọng gắn bó Cho tập hợp giao dịch M={T1,T2…,Tn} Một trật tự hóa tập ... trạm hệ phản ảnh sau: - Tập hợp tất tài nguyên chưa cung cấp - Tập hợp tài nguyên cung cấp - Đối tượng chiếm giữ tài nguyên - Kiểu sử dụng - Tập hợp yêu cầu không thỏa mãn - Tập hợp thông điệp dành ... đối tượng độc lập nhau, chúng quan hệ với tập hợp quan hệ gọi ràng buộc toàn vẹn Các ràng buộc thể sâu sắc đặc tính riêng biệt hệ Trạng thái hệ thoả mãn tập ràng buộc toàn vẹn gọi trạng thái gắn...
- 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
... 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) việc đánh giá • Cross-validation Tập liệu chia thành k tập( folds) có kích thước xấp xỉ nhau, ... 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 ... 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...
- 25
- 1,946
- 8
Áp dụng thuật toán di truyền trong các dữ liệu kiểm thử phần mềm
... mềm Một số nhà nghiên cứu sử dụng ứng dụng để kiểm thử phần mềm, để làm điều phải có thuật toán tìm kiếm phù hợp mô luyện kim, thuật toán di truyền, tối ưu hóa đàn kiến lựa chọn tốt cho sinh ... 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 lại lợi ích như: giảm thời gian, công sức, nhân lực chi phí cho kiểm thử phần mềm 2.2.1 Sinh đường dẫn kiểm thử Sinh ... kiểm tra mô- đun nhỏ Kiểm thử hộp trắng không đầy đủ kiểm thử hết lệnh không chứng tỏ kiểm thử hết trường hợp Ngoài kiểm thử hết đường vòng lặp lớn Trong chương cho ta thấy tư tưởng việc sinh liệu...
- 22
- 777
- 1
khai phá dữ liệu dùng thuật toán K-mean và naive bayes trên wave
... ư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 ... 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 đánh giá - Cross-validation Tập liệu chia thành k tập (folds) có kích thước xấp xỉ ... lớp gồm bước sau : Xây dựng mô hình : Tìm mô tả cho tập lớp có - Cho trước tập lớp C = {C1 , C2 , , Ck } - Cho ánh xạ (chưa biết) từ miền D sang tập lớp C - Có tập ví dụ Dexam = D1 +D2 + ...
- 54
- 4,931
- 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
... 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 ... 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: Xây dựng hệ Server hoạt động theo nguyên lý ... trao đổi thông điệp Xây dựng chương trình Java thể hiện chức trạm nêu Viết chương trình mô màn hình quá trình hoạt động hệ Để giải bài toán trạm sản xuất và trạm tiêu thụ ta...
- 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
... 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 ≤ ... 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 ơn thầy ... 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 C Gonzalez, Richard E Woods [3] Nhập môn xử lý...
- 13
- 2,509
- 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
... 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 ... TRIỂN KH&CN, TẬP 9, SỐ -2006 Với aji(xi) giá trị hàm liên thuộc mờ tập mờ thành phần Aji Aj Giá trị tập mờ đầu Rj : Bj’ = aj(x).Bj Ví dụ, xét luật Rj (Hình 3) sử dụng đường đơn biểu diễn tập mờ vế ... mờ hoạt động song song kết hợp theo mô hình cộng-tích Gọi Rj luật mờ thứ j hệ SAM Ta có: Rj : IF X = Aj THEN Y = Bj , j = 1, m Aj: Tập mờ đầu vào Aj tập hợp n tập mờ thành phần Aji, với n chiều...
- 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
... hàng sản phẩm công ty, 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, ... internet, nhóm chúng em đến định chung xây dựng trò chơi cờ ca rô tảng Android Trong trình làm tập lớn, chúng em xin chân thành cảm ơn thầy Phạm Văn Hải tận tình hướng dẫn, cảm ơn bạn đóng góp ... phương pháp cắt tỉa α- β V Kỹ thuật lượng giá Hàm lượng giá quan trọng phương pháp cắt tỉa α- β Một hàm lượng giá tốt rút bớt cho ta nhiều trạng thái phải xét Trong toán cờ caro, hai yếu tố có...
- 15
- 2,285
- 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
... hàng sản phẩm công ty, 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, ... internet, nhóm chúng em đến định chung xây dựng trò chơi cờ ca rô tảng Android Trong trình làm tập lớn, chúng em xin chân thành cảm ơn thầy Phạm Văn Hải tận tình hướng dẫn, cảm ơn bạn đóng góp ... phương pháp cắt tỉa α- β V Kỹ thuật lượng giá Hàm lượng giá quan trọng phương pháp cắt tỉa α- β Một hàm lượng giá tốt rút bớt cho ta nhiều trạng thái phải xét Trong toán cờ caro, hai yếu tố có...
- 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
... 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: - Gomoku - ProGomoku - Pente Luật ... 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 cạn cho chiến lược tìm kiếm Không...
- 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
... Lời mở đầu Mục đích chúng em tập lớn xây dựng chương trình với trí tuệ nhân tạo - thông minh, nhanh nhạy đối kháng với người trò chơi cụ thể Ở tập lớn chúng em xây dựng chương trình ... Hình 1: Gomoku Cờ caro môn cờ logic lâu đời cổ xưa Trái Đất Cờ caro sáng tạo từ nhiều văn minh khác cách độc lập Nó bắt đầu xuất từ năm 2000 trước CN sông Hoàng Hà, Trung Quốc Một số nhà khoa học ... 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...
- 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
... 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 ... ván đấu Các cạnh nối: Trạng thái bàn cờ mức i mức (i+1) có cạnh nối với trạng thái mức (i+1) sinh từ trạng 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...
- 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
... phương đồng ý Ván chơi xử hòa Mục tiêu toán Xây dựng ứng dụng mô trò chơi cờ úp người với máy, người với người tảng điện thoại android Mô tả không gian trạng thái toán II • Trạng thái đầu: Là trạng ... cản • Tốt: Đi nước ô Nếu Tốt chưa qua sông thẳng tiến Khi vượt qua sông ngang thẳng tiến, nước ô Một số ngoại lệ cờ úp: • Quân sĩ không bị giới hạn cung mà khắp bàn cờ • Quân tượng sang lãnh thổ ... Mục lục Sinh viên thực hiện: Phạm Xuân Cường 20090438 .1 Mục lục I Đặt vấn đề toán...
- 9
- 1,124
- 18
Tìm thêm: hệ việt nam nhật bản và sức hấp dẫn của tiếng nhật tại việt nam xác định các mục tiêu của chương trình xác định các nguyên tắc biên soạn khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn khảo sát chương trình đào tạo gắn với các giáo trình cụ thể xác định thời lượng học về mặt lí thuyết và thực tế tiến hành xây dựng chương trình đào tạo dành cho đối tượng không chuyên ngữ tại việt nam khảo sát thực tế giảng dạy tiếng nhật không chuyên ngữ tại việt nam nội dung cụ thể cho từng kĩ năng ở từng cấp độ phát huy những thành tựu công nghệ mới nhất được áp dụng vào công tác dạy và học ngoại ngữ mở máy động cơ lồng sóc mở máy động cơ rôto dây quấn hệ số công suất cosp fi p2 đặc tuyến hiệu suất h fi p2 đặc tuyến mômen quay m fi p2 đặc tuyến dòng điện stato i1 fi p2 động cơ điện không đồng bộ một pha phần 3 giới thiệu nguyên liệu từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose chỉ tiêu chất lượng 9 tr 25