mở rộng của tập thuộc tính
chương i tìm bao đóng của tập thuộc tính
Ngày tải lên :
06/07/2014, 04:51
... đóng tập thuộc tính, người ta định nghĩa bao đóng tập phụ thuộc hàm Tuy nhiên việc tính bao đóng tập phụ thuộc hàm nói chung phức tạp, thuộc loại toán NP – Khó Hơn việc tính bao đóng tập phụ thuộc ... TỐI THIỂU CỦA TẬP PHỤ THUỘC HÀM Với tập phụ thuộc hàm F cho, có nhiều phụ thuộc hàm dư thừa, tức ta suy dẫn phụ thuộc hàm thông qua tập phụ thuộc hàm lại F Vấn đề đặt phải thu gọn số phụ thuộc hàm ... ABE + Các thuộc tính phụ thuộc hàm lại không dư thừa Cuối ta tập phụ thuộc hàm thuộc tính dư thừa gồm: F = {C B, AB GH, A E, A D} Định nghĩa phụ thuộc hàm dư thừa: Một phụ thuộc hàm có...
- 9
- 436
- 3
Đơn giản hóa ma trận phân biệt để tìm tập rút gọn (reduct) của tập thuộc tính và cài đặt chương trình thử nghiệm
Ngày tải lên :
10/04/2015, 00:07
... Nói cách khác, thuộc tính a xóa {a} không tập phần tử M Xóa tập thuộc tính (attribute set deletion), cho C A, phép tính xóa tập thuộc tính xóa tất thuộc tính C từ tất phần tử ma trận phân biệt ... khác, tập thuộc tính C xóa tập C phần tử M Như vậy, ma trận thu cách áp dụng phép toán xóa thuộc tính xóa tập thuộc tính ma trận phân biệt đặc trưng ma trận ban đầu Giả sử Ms ma trận sau xóa thuộc ... nghĩa tập liệu xét Mục tiêu việc lựa chọn thuộc tính tìm thuộc tính cốt yếu cần thiết sở liệu Dựa vào đó, việc sinh luật phân lớp đạt hiệu cao mà sử dụng tập thuộc tính lựa chọn Vì việc tìm tập...
- 20
- 2K
- 1
Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho java pathfinder
Ngày tải lên :
28/08/2015, 23:14
... foo()) 30 Chương Kết luận Luận văn “Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder” phát triển mở rộng công cụ jpf-ltl để giải toán kiểm chứng mô hình ... CVC3 solver 4.3.3 Kiểm chứng tính chất LTL Sau số kết đạt công cụ jpf-ltl thông qua ví dụ cụ thể kiểm tra tính chất LTL Hình 4.6 Ví dụ thuộc tính safety Thuộc tính safety Đoạn mã ngồn Java ... .27 Hình 4.6 Ví dụ thuộc tính safety 28 Hình 4.7 Kết công thức [](foo()) 29 Hình 4.8 Ví dụ thuộc tính liveness .29 Hình 4.9 Ví dụ thuộc tính fairness 30...
- 41
- 521
- 0
Phân tích chiến lược mở rộng của tập đoàn trung nguyên
Ngày tải lên :
28/12/2015, 21:53
... chiến lược mở rộng thị trường .1 tập đoàn café trung nguyên MỤC LỤC .2 LỜI MỞ ĐẦU Phần 1: GIỚI THIỆU TẬP ĐOÀN CAFE TRUNG NGUYÊN ... 21 CHIẾN LƯỢC QUẢNG CÁO, PR 22 Phần 5: VAI TRÒ CỦA ĐẶNG LÊ NGUYÊN VŨ TRONG CHIẾN LƯỢC MỞ RỘNG THỊ TRƯỚNG CỦA CAFE TRUNG NGUYÊN 24 I.TIỂU SỬ VÀ SỰ NGHIỆP ... G", công ty cho fax đồng loạt thư ngỏ đến đại lý PHẦN 5: VAI TRÒ CỦA ĐẶNG LÊ NGUYÊN VŨ TRONG CHIẾN LƯỢC MỞ RỘNG THỊ TRƯỚNG CỦA CAFE TRUNG NGUYÊN I TIỂU SỬ VÀ SỰ NGHIỆP Ông sinh ngày 10 tháng...
- 32
- 978
- 1
Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder
Ngày tải lên :
27/02/2017, 04:02
... .27 Hình 4.6 Ví dụ thuộc tính safety 28 Hình 4.7 Kết công thức [](foo()) 29 Hình 4.8 Ví dụ thuộc tính liveness .29 Hình 4.9 Ví dụ thuộc tính fairness 30 ... chương trình Java ii Lời cam đoan Tôi xin cam đoan luận văn “Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder” công trình nghiên cứu riêng Các số liệu, kết ... ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Bùi Hoàng Khánh XÂY DỰNG PHẦN MỞ RỘNG KIỂM CHỨNG THUỘC TÍNH LOGIC THỜI GIAN CHO JAVA PATHFINDER Ngành: Công nghệ thông tin Chuyên ngành: Kỹ...
- 11
- 332
- 0
Báo cáo khoa học: " RÚT GỌN TẬP THUỘC TÍNH CỦA HỆ QUYẾT ĐỊNH DỰA VÀO HỌ PHỦ TẬP THÔ" ppt
Ngày tải lên :
22/07/2014, 20:20
... {C3,C4} rút gọn họ phủ tập thô Ứng với rút gọn thuộc tính tương ứng với C1, C2 bị loại bỏ Kết luận Trong báo này, đ xuất thuật toán rút gọn tập thuộc tính dựa ề vào họ phủ định tập thô Nó dựa số kết ... thiết D Thuật toán rút gọn tập thuộc tính ứng với họ phủ tập thô Nhận xét 3.1 Từ định nghĩa đại lượng ∆x Với D = {d}, d(x) hàm định d: U → V d xác định từ tập vũ trụ U vào tập giá trị V d Ta có ... gọn D Rút gọn hệ định quán tập tối thiểu thuộc tính điều kiện đảm bảo chắn luật định quán Giả sử U tập vũ trụ hữu hạn ∆ = {C i : i=1, m} họ phủ U, C i ∈∆, D thuộc tính định tương ứng với ∆ U...
- 6
- 332
- 0
Tìm hiểu kiến thức về tiêm chủng mở rộng của các bà mẹ có con dưới 1 tuổi ở huyện đông giang, tỉnh quảng nam
Ngày tải lên :
23/07/2014, 01:38
... giá kiến thức tiêm chủng mở rộng bà mẹ có tuổi huyện Đông Giang tỉnh Quảng Nam Chương TỔNG QUAN TÀI LIỆU 1.1 Chương trình tiêm chủng mở rộng Chương trình tiêm chủng mở rộng (CTTCMR: Expanded Programe ... chủng Do việc tìm hiểu kiến thức tiêm chủng mở rộng bà mẹ có tuổi huyện Đông Giang yêu cầu cần thiết Vì nghiên cứu đề tài: “Tìm hiểu kiến thức tiêm chủng mở rộng bà mẹ có tuổi huyện Đông Giang, tỉnh ... sẵn gồm: - Cán chuyên trách, cán làm công tác tiêm chủng mở rộng trung tâm y tế huyện - Cán chuyên trách, cán làm công tác tiêm chủng mở rộng trạm y tế xã - Các cộng tác viên SDD nhân viên y tế...
- 61
- 13.3K
- 116
Nâng cao tính thấu đáo nghiệp vụ và khả năng mở rộng của dữ liệu XML với các đặc tính pureXML của DB2 phiên bản mới 9.7 pptx
Ngày tải lên :
07/08/2014, 09:22
... để có khả mở rộng tối đa Vì khối lượng liệu tăng lên, nên việc phân tán nội dung sở liệu nhiều xử lý thiết bị lưu trữ giúp công ty đạt khả mở rộng tuyến tính DB2 phiên 9.7 mở rộng tính phân đoạn ... áo, vv Với thiết kế theo mô hình quan hệ, thuộc tính quan tâm đến sản phẩm cần phải lưu trữ cột riêng nó, dẫn đến bảng chiều liệu cồng kềnh Bởi thuộc tính khác từ sản phẩm đến sản phẩm khác, bảng ... phẩm Thuộc tính sản phẩm cần phải theo dõi cần đơn giản đưa vào làm phần tử tài liệu XML kết hợp với sản phẩm đích Ta không cần phải thay đổi lược đồ sở liệu Hình mô tả cách mà kho liệu mở rộng...
- 40
- 291
- 0
Chính sách tiền tệ của các NHTW có thể được mô tả bởi quy tắc taylor tuyến tính (mở rộng) hoặc phi tuyến tính
Ngày tải lên :
21/08/2015, 16:37
... tài mở rộng EFCI Chỉ số điều kiện tài tính động sản thực FCI Chỉ số điều kiện tài tính giá đồng USD tương đương gia tăng tăng REER RStock Chỉ số giá cổ phiếu thực tính Chỉ số giá cổ phiếu thực tính ... phát biên độ định? Thứ hai, nghiên cứu mở rộng kỹ thuật phi tuyến tính TR với số tài sử dụng ước lượng tuyến tính để kiểm tra rõ ràng sau kiểm soát phi tuyến tính, ECB NHTW lại có tiếp tục (hoặc ... tuyến tính hay hành vi họ thay quy tắc tiền tệ phi tuyến tính phức tạp hơn? Phần dành hết cho việc trả lời câu hỏi Đặc tính kỹ thuật ước lượng quy tắc phi tuyến tính Taylor Quy tắc phi tuyến tính...
- 51
- 500
- 3
Marketing hỗn hợp nhằm mở rộng thị trường Thuốc chữa bệnh nhập khẩu của Công ty TNHH TM NADY
Ngày tải lên :
31/08/2015, 18:07
... doanh thuốc phòng chữa bệnh cho nhân dân ,một loại hàng hoá gắn liền với sức khoẻ ngời nên mang tính chất xã hội sâu sắc chịu chi phối cuả loại tác động khác quy luật kinh tế Trong c ch c, c ch...
- 30
- 279
- 0
Một số tính chất mở rộng của khóa trong mô hình dữ liệu dạng khối
Ngày tải lên :
10/09/2015, 16:35
... quan hệ PTH Phụ thuộc hàm A, B, C Thuộc tính X, Y, Z Tập thuộc tính XY XY (hợp tập thuộc tính X với Y) ABC [A, B, C] (tập thuộc tính gồm phần tử A, B, C) Dom(A) Miền giá trị thuộc tính A r r(R) ... gọi bao đóng F 1.8.2 Bao đóng tập thuộc tính Định nghĩa 1.9 Cho lược đồ quan hệ R xác định tập thuộc tính U, X U Bao đóng tập thuộc tính X ký hiệu X+: tập tất thuộc tính A mà X→A suy diễn từ F ... liệu quan hệ 1.2 Thuộc tính miền thuộc tính [4], [5] Định nghĩa 1.1 Thuộc tính đặc điểm riêng đối tượng Mỗi thuộc tính có tên gọi phải thuộc kiểu liệu định Kiểu liệu Các thuộc tính phân biệt qua...
- 61
- 410
- 0
Đánh giá tính thích ứng và khả năng mở rộng của một số dòng, giống lúa mới chất lượng cao tại cánh đồng mường tấc huyện phù yên tỉnh sơn la
Ngày tải lên :
13/11/2015, 21:41
... xuất lúa gạo hàng hóa Tuy nhiên việc mở rộng giống vào sản xuất dựa khả thích ứng, tính chống chịu phù hợp với tập quán, thị trường tiêu thụ ðể có sở mở rộng giống lúa chất lượng cao vào sản ... khoa học công nghệ ñã chọn tạo tập ñoàn dòng, giống lúa chất lượng phong phú, ña dạng số lượng chủng loại tính trạng ðây vật liệu quan trọng cho việc khai thác, mở rộng diện tích gieo trồng nâng ... VIỆN KHOA HỌC NÔNG NGHIỆP VIỆT NAM * NGUYỄN HỮU HIỆU ðÁNH GIÁ TÍNH THÍCH ỨNG VÀ KHẢ NĂNG MỞ RỘNG CỦA MỘT SỐ DÒNG, GIỐNG LÚA MỚI CHẤT LƯỢNG CAO TẠI CÁNH ðỒNG MƯỜNG TẤC HUYỆN PHÙ...
- 129
- 371
- 0
Tóm tắt một số tính chất mở rộng của khóa trong mô hình dữ liệu khối
Ngày tải lên :
13/04/2016, 09:19
... bao đóng F 1.8.2 Bao đóng tập thuộc tính Định nghĩa 1.9 Cho lược đồ quan hệ R xác định tập thuộc tính U, X ⊆ U Bao đóng tập thuộc tính X ký hiệu X +: tập tất thuộc tính A mà X→A suy diễn từ F ... → Y 2, Tính mở rộng hai vế Nếu X → Y XZ → YZ 3, Tính bắc cầu Nếu X → Y Y → Z X → Z 4, Tính mở rộng trái thu hẹp phải Nếu X → Y XZ → Y-W 5, Tính tựa bắc cầu Nếu X → Y YW → Z XW → Z 6, Tính cộng ... đủ phụ thuộc hàm r 1.5.1 Các tính chất phụ thuộc hàm Cho lược đồ quan hệ R xác định tập thuộc tính U = {A1, A2, , An}, cho X, Y, Z, W, U ta có số tính chất lớp phụ thuộc hàm sau: 1, Tính phản...
- 24
- 360
- 0
Tìm hiểu kiến thức và thái độ thực hành về tiêm chủng mở rộng của các bà mẹ có con dưới 1 tuổi ở huyện miền núi Nam Đông tỉnh Thừa Thiên Huế năm 2011
Ngày tải lên :
27/08/2016, 11:11
... chủng mở rộng góp phần làm giảm đáng kể tỷ lệ mắc chết trẻ em tuổi tuổi bệnh truyền nhiễm Ước tính hàng năm tiêm chủng cứu sống khoảng triệu trẻ em nước phát triển [1] Chương trình tiêm chủng mở rộng ... Uốn ván, Sởi, Lao, Bại liệt cho trẻ em tuổi Năm 1985 tiêm chủng mở rộng đẩy mạnh triển khai phạm vi nước Mục tiêu tiêm chủng mở rộng hoàn thành với tỷ lệ 87% năm 1990 90% vào năm 1993 cho toàn ... việc tìm hiểu kiến thức tiêm chủng mở rộng bà mẹ có tuổi huyện Nam Đông yêu cầu cần thiết Vì nghiên cứu đề tài: “Tìm hiểu kiến thức thái độ thực hành tiêm chủng mở rộng bà mẹ có tuổi huyện miền núi...
- 18
- 2.2K
- 5
Các mở rộng của C++ so với C
Ngày tải lên :
17/08/2012, 08:39
... định độ rộng tối thiểu để hiển thị k vị trí cho giá trị (nguyên, thực, chuỗi) ta dùng hàm: setw(k) Hàm cần đặt toán tử xuất có hiệu lực cho giá trị đ-ợc in gần Các giá trị in có độ rộng tối ... cin.ignore(1) để bỏ qua ký tự chuyển dòng Để sử dụng loại toán tử ph-ơng thức nói cần khai báo tập tin dẫn h-ớng iostream.h Vo C++ (2) Định dạng in hình Để quy định số thực đ-ợc hiển thị hình ... gọi hàm Tuy nhiên hàm có nh-ợc điểm làm chậm tốc độ thực ch-ơng trình phải thực số thao tác có tính thủ tục gọi hàm nh-: cấp phát vùng nhớ cho đối số biến cục bộ, truyền liệu tham số cho đối,...
- 29
- 802
- 9
Các lĩnh vực mở rộng của kỹ thuật mổ nội soi mũi xoang
Ngày tải lên :
24/10/2012, 14:29
... thấy sa xuống vùng ngách trán Dùng dao rạch đáy u nhày hút chất nhày Sau đó, làm rộng lỗ mở ban đầu túi nhày mở rộng vào mũi Sau phẫu thuật, phẫu thuật viên cần thận trọng bảo tồn tối đa niêm ... rạch da kinh điển Cần lưu ý cần mở khối u nhày thật rộng vào mũi theo dõi sát sau mổ; thời gian theo dõi, chỗ xơ dính, vẫy khô khối polyp cần làm để giữ miệng túi mở rộng tránh tái phát H Ảnh CT ... bướm giải cách rạch chỗ phồng túi nhày làm rộng lỗ thông để túi u nhày thông vào mũi nhằm tránh tái phát sau mổ U nhày xoang trán có thành bên ổ mắt mở rộng kỹ thuật nội soi mũi-xoang được, cần...
- 13
- 690
- 3
Một hướng tiếp tục mở rộng của định lý Jacobson
Ngày tải lên :
10/04/2013, 14:35
... p k k Đònh nghóa: Cho K mở rộng đại số trường F Giả sử phần tử a ∈ K cho tồn số nguyên k ≥ để a p ∈ F ta nói a hoàn toàn không tách F k Một mở rộng đại số K F gọi mở rộng tách (tương ứng: hoàn ... nên R giao hoánª Sau ta cần số đònh nghóa bổ đề liên quan đến mở rộng trường Đònh nghóa: Cho K mở rộng đại số trường F Phần tử a thuộc K gọi tách F đa thức tối tiểu F nghiệm bội GV hướng dẫn: ... MỞ RỘNG ĐỊNH LÝ JACOBSON GV hướng dẫn: PGS – TS Bùi Tường Trí HV: Đinh Quốc Huy Luận văn Thạc só Toán: Một hướng tiếp tục mở rộng đònh lý Jacobson trang 16 Đònh lý Jacobson cho điều kiện tính...
- 34
- 437
- 2
