mô đun tự do trên vành chính
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
... 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...
- 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 ... 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...
- 50
- 737
- 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
... 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...
- 69
- 1,358
- 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
... 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
... 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,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
... 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
... đ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,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
... 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...
- 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 ≤ ... 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,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 ... 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
... đặ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 vMAX(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 vMIN(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...
- 15
- 2,282
- 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
... đặ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 vMAX(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 vMIN(v,MAX-VALUE(s)) ... đích đố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...
- 16
- 1,812
- 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
... 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,911
- 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
... 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,904
- 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 ... 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,751
- 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ó liên quan với nút MIN bên Alpha giá trị thấp mà MAX nhận sau cho MIN nhận giá trị tốt Tương tự MIN có giá trị beta không cần xem xét nút nằm có giá trị lớn Để bắt đầu thuật toán tìm kiếm alpha ... nút cha mẹ chúng gặp giá trị lớn giá trị beta Quá trình gọi cắt tỉa beta (β cut) Cách làm tương tự thực cho việc cắt tỉa alpha (α cut) nút cháu nút MAX Hai luật cắt tỉa dựa giá trị alpha beta...
- 9
- 1,123
- 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 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 của các đơn vị đào tạo tại nhật bản khảo sát chương trình đào tạo gắn với các giáo trình cụ thể 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 các chương trình đào tạo theo những bộ giáo trình tiêu biểu nội dung cụ thể cho từng kĩ năng ở từng cấp độ xác định mức độ đáp ứng về văn hoá và chuyên môn trong ct 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 tốc độ rôto n fi p2 đặc tuyến dòng điện stato i1 fi p2 sự cần thiết phải đầu tư xây dựng nhà máy thông tin liên lạc và các dịch vụ 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