Thiết kế và thi công bộ thí nghiệm điện tử công suất

http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN OBO OK S CO M ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN KHOA CƠNG NGHỆ THƠNG TIN PHẠM THUỲ LINH _ 0212160 ĐẶNG THỊ THANH HƯƠNG _ 0212128 ĐỒ ÁN MƠN HỌC KHAI THÁC DỮ LIỆU VÀ ỨNG DỤNG ĐỀ TÀI : MÃ HỐ HỆ ĐA CẤP ĐA KẾ THỪA THAY CHO PHÉP TÍNH LƯỚI KIL DỰA TRÊN TÀI LIỆU : ENCODING MULTIPLE INHERITANCE HIERARCHIES FOR LATTICE OPERATIONS M.F van Bommel *, P Wang TP.HCM – 5/2005 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN MỤC LỤC Giới thiệu Background KIL OBO OKS CO M Tóm tắt Những phương pháp trước Transitive closure Giải mã từ phía bên lên Giải mã từ xuống 10 Mã hóa tĩnh 11 Mã hóa khỏang thời gian 13 Thuật tóan mã hóa vBW 14 Động lực 15 Phương pháp Sự xác Năng suất Thao tác lưới Tóm tắt Lời cảm ơn Tham khảo 16 20 24 26 30 30 31 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Fig1 Fig2 Fig3 Fig4 Fig5 Fig6 Fig7 Fig8 KIL OBO OKS CO M HÌNH VẼ 12 12 16 16 27 27 29 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Mã hóa hệ đa cấp kế thừa bội Tóm tắt: KIL OBO OKS CO M thay cho phép tính lưới Sự cập nhật hóa ngày lớn hệ đa cấp kế thừa bội trở nên thơng dụng với số lượng gia tăng ứng dụng lâu năm hỗ trợ đối tượng phức tạp Việc tính tóan hiệu phép tính lưới kết hợp thấp với lớn (GLB) cao với nhỏ (LUB), kết hợp bị trích Phương pháp mã hóa chặt chẽ hệ đa cấp bị u cầu hỗ trợ phép tóan Một phương pháp lao vào câu lệnh đưa chuyển thành dãy logic với từ nhị phân biểu diễn phép tóan lưới tóan tử logic Một cách nhìn tổng quan tiếp cận đưa vài phương pháp kiểm chứng so sánh Một phương pháp đề nghị , dựa việc mã hóa từ xuống Caseau khơng có u cầu hòan thành lưới, điều cho phép cập nhật hóa hệ đa cấp ngày lớn cách thêm node vào Thuật tóan đòi hỏi việc mã hóa đa thức theo khơng gian thời gian ủng hộ hiệu tính tóan lưới ứng dụng , nơi mà lớp đối tượng lưu trữ mã Những kết thử nghiệm đưa ấn tượng sâu sắc, phân tích cung cấp hiệu việc chèn có thứ tự việc mã hóa Giới thiệu Các hệ đa cấp kế thừa phổ biến nhiều lĩnh vực Những ngơn ngữ lập trình hướng đối tượng C++, Java Smalltalk cho phép định nghĩa lớp mà lớp tổ chức thành hệ đa cấp kế thừa Những đề nghị liệu gần cho phép định nghĩa giản đồ dựa đối tượng phức tạp, vài đòi hỏi phép tính lưới để suy lọai đối tượng Mối quan hệ kế thừa xuất http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN việc truy vấn liệu, việc kết hợp thường xun sử dụng việc quản lý quan niệm Cuối cùng, hệ thống đại diện cho tri thức cho phép khái KIL OBO OKS CO M niệm tổ chức thành hệ đa cấp phân lớp, với việc thừa kế thành phần khóa thuật tóan lập luận Những hệ thống cho phép hệ đa cấp kế thừa tổ chức đối tượng , mà đối tượng ví dụ lớp kiểu thành phần, điều mơ hình hóa lưới Thao tác đối tượng vận hành phép tính lưới GLB LUB, đại diện cho kết hợp phân rã lọai đối tượng Một tóan tử khóa hệ thống thực hành kiểm tra thử kết hợp, định xem có tồn mối quan hệ kế thừa cặp đối tượng lý thuyết hay khơng Phần cung cấp tài liệu định nghĩa cần thiết để hiểu vấn đề Một vài phương pháp đề nghị việc mã hóa lưới để ủng hộ phép phép tính lưới theo thời gian khơng đổi Phần nhắc lại phần 3, với việc phân tích giới hạn lợi ích mối quan hệ chúng Sự phát triển ứng dụng lâu năm tận dụng hệ đa cấp kế thừa, sở tri thức sở liệu Background Một hệ đa cấp kế thừa miêu tả trật tự cục bộ, poset (P, ≤), mối quan hệ nhị phân ≤ , mối quan hệ phan xạ, phản đối xứng, transitive Mối quan hệ a ≤ b ngụ ý a b lớp, a trực tiếp b, a trực tiếp vài lớp c, c ≤ b Hai phần tử a b poset P cho so sánh a ≤ b b ≤ a Xem xét poset (P, ≤), A P Phần tử b ∈ P đđược gọi ràng buộc A a ≤ b tất a ∈ A Ngòai b gọi ràng buộc nhỏ (LUB) A trường hợp b ≤ a a ràng buộc A Ngược lại, phần tử b ∈ P đđược gọi ràng buộc A b ≤ a http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN tất a ∈ A, ràng buộc lớn (GLB) A trường hợp a ≤ b a ràng buộc A KIL OBO OKS CO M Một lattice poset mà cặp phần tử có LUB GLB LUB hai phần tử {a,b} có nghĩa a ∨ b gọi hợp a b Tương tự, GLB {a,b} có nghĩa a ∧ b gọi giao a b Một semilattice thấp poset mà cặp phần tử có GLB Một thảo luận chi tiết poset lattice tìm thấy chủ đề chuẩn mơn tóan riêng biệt ví dụ [4] Nói chung, hệ đa cấp kế thừa khơng có cấu trúc lattice; hợp giao cặp phần tử khơng thể định nghĩa Trong trường hợp thế, GLB LUB phần tử khơng thể định nghĩa Để phân biệt trường hợp này, từ GCS LCS sử dụng định nghĩa sau Trong poset (P, ≤) hệ đa cấp kế thừa, siêu lớp chung nhỏ (LCS) subset A P nhỏ phần tử B có tồn b ∈ B điều kiện b ≤ a, phần tử a ràng buộc A Ngược lại, siêu lớp chung lớn (GCS) subset A P nhỏ củ phần tử B có tồn b ∈ B điều kiện a ≤ b, phần tử a ràng buộc của A Được đưa poset (P, ≤,∧,∨ ), lattice poset lattice (L, ⊇,∩,∪ ), GLB LUB tính tóan cách hiệu quả, giả định có tồn hàm số γ từ P đến L thế, phần tử a b P , γ (a ∧ b) = γ (a) ∩ γ (b), γ (a ∨ b) = γ (a) ∪ γ (b), Đó là, γ đồng dạng lattice Ngòai ra, cho γ đảo ngược; là, có tồn hàm số γ -1 từ L đến P thế, a P , γ -1( γ (a)) = a.Sau đó, cách tính tóan GLB LUB phần tử a b P nối mệnh đề nhau, đưa http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN a ∧ b = γ -1( γ (a) ∩ γ (b)), KIL OBO OKS CO M a ∨ b = γ -1( γ (a) ∪ γ (b)) Đối với poset (P, ≤) khơng phải lattice, sử dụng gắn vào lattice, phép tính phức tạp Trước tiên, phép tóan trần sàn phải định nghĩa Đối với subset A P , trần A kí hiệu A subset B nhỏ A điều kiện tất a ∈ A, tồn a b ∈ B , a ≤ b Sàn A kí hiệu A subset C nhỏ A điều kiện tất a ∈ A, tồn a c ∈ B , c ≤ a Bây định nghĩa phép tóan GCS LCS Đối với poset (P, ≤) subset A = {a1, …,ak}của P , GCS tính tóan sau:  k   i =1  GCS(A) =  x ∈ P | γ ( x) ⊇ I γ (ai) Cách khác, GCS phần tử lớn poset mà mã mã GLB phần tử tương ứng semilattice gắn vào Tương tự, LCS tính tóan sau:  k   i =1  LCS(A) =  x ∈ P | U γ (ai) ⊇ γ ( x) 2.1 Vấn đề Xem xét poset (P, ≤) Để Anc(x) = { y ∈ P |y < x} Desc(x) = { y ∈ P |y > x} Một phần tử j ∈ X nói giao khơng thể tối giản tồn x ∈ X chẳng hạn x ∉ Desc(j) Anc(j) ⊂ Anc(x) ∪ {x} Tương tự, xác định hội khơng thể tối giản Để J(P) biểu rõ phần tất yếu tố giao khơng thể tối giản M(P) biểu rõ phần tất yếu tố hợp khơng thể tối giản Markowsky [5] mã hóa tối ưu dành cho tóan tử giao (hội) http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN lưới đạt liên kết số hay bit khác đến yếu tố KIL OBO OKS CO M giao khơng thể tối giản (hội khơng thể tối giản) Để (P, ≤) poset, χ : J ( P) → S = {1, , k } Habib et al [6] cung cấp định nghĩa sau Một mã hóa đơn giản xếp ϕ ( x) : X → S với ϕ ( x) = U j∈Anc ( x ) χ ( j ) ϕ kết hợp từ P lên 2S ; là, x ≤ py iff ϕ ( x) ⊂ ϕ ( y ) Sau vấn đề định thỏa thuận tốt mã hóa Thật khơng may mắn, Caseau et al [7] chứng tỏ mã hóa đơn giản cân đa thức đến vẽ đồ thị màu lần lượt, vấn đề NP-hard Thật vậy, vấn đề mã hóa thường (cũng biết vấn đề hai chiều) tìm thấy số k nhỏ tồn xếp ϕ ( x) : X → {1,…,k} ϕ ( x) → S với ϕ ( x) = U j∈Anc ( x ) χ ( j ) kết hợp từ P lên 2S ; là, x ≤ py iff ϕ ( x) ⊂ ϕ ( y ) Rõ ràng, vấn đề NPhard Những phương pháp trước Một số phương pháp đề nghị để giải phép tóan poset lattice Thật khơng may mắn, phép tóan có giới hạn khơng hiệu kích thước giải hệ đa cấp động phép tóan lattice 3.1 Transitive closure Một phương pháp thường để lưu trữ poset bao gồm ma trận transitive closure Để cho x1, x2, …,xn phần tử poset Một ma trận transitive closure ma trận n x n 1, mà phần tử thứ (i, j) ma trận iff xi cha xj Một ma trận liền kề đối xứng A1 định nghĩa hợp ma trận liền kề A ma trận định dạng n x n Inxn nơi mà phần tử thứ ( i, j) ma trận liền kề iff xi cha xj http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Ma trận transitive closure đạt phép tóan ma trận A0 = Inxn , KIL OBO OKS CO M A1 = A x A0 , Ak = Ak-1 x Ak-1 , Ak = Ak-1 = A* Sự tính tóan hội tụ hầu hết phép nhân log 2n ma trận logic n x n Phương pháp đòi hỏi O(n2) bit để lưu trữ Để tìm GLB LUB phần tử, cần O(n) phép tóan vectơ n bit, với nỗ lực cần để tìm thấy phần tử nhỏ [8] Những người Ait-Kaci [9] đưa thuật tóan pidgin-code để để định mã trancitive closure đến phần tử hệ đa cấp bắt đầu phần tử bên tiến hành theo hướng lên lớp lớp Mỗi nút mã nhị phân mã 2p với p số nút viếng thăm phạm vi Hai mẫu giải mã transitive closure biểu diễn hình 1, bên cột đặt tên “transitive” Giải mã phía sử dụng tối thiểu bit mã phần tử hệ đa cấp (a-g), hình thành cấu trúc Giải mã phía tất 15 phần tử hệ đa cấp (ngọai trừ nút q , nút ảo thay cho giao nút e f cho giải mã sau này) Việc giải mã đòi hỏi tối thiểu chiều dài mã 15 bit, tổng chiều dài 120 bit khơng ý đến số đầu 3.2 Giải mã từ phía bên lên Những người Ait-Kaci [9] cải tiến thuật tóan pidgin-code transitive closure cách tăng chiều dài nút cần thiết Vịêc gia tăng xảy http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN thuật tóan họ nút nút đơn (để phân biệt với 2) mã phân biệt tính tóan so sánh với mã thuộc tính đến phần tử biết KIL OBO OKS CO M khơng thể so sánh Đó là, mã làm tốt tất mã ràng buộc bên nó, khơng thể so sánh với mã phần tử khơng thể so sánh Hai mẫu mã hóa biểu diễn hình bên cột có tên Bottom-Up Việc mã hóa bên sử dụng tối đa bit mã phần tử hệ thống hình Việc mã hóa bên cho tất 15 phần tử hệ thống đòi hỏi chiều dài mã tối đa 10 bit, quan trọng nhỏ 15 transitive closure Tổng chiều dài mã hóa 18 bit bit đầu phớt lờ Mặc dù phương pháp kết mã dày transitive closure, tạo mã dài Thật vậy, việc mã hóa chuỗi (1 với nhánh) chiều dài mã n-1 Mỗi gia tăng chiều dài từ thêm vào chiều dài tất bit việc sử dụng lại bit khơng gây mâu thuẫn Một giải pháp để giải vấn đề đề nghị Ait-Kaci điều chỉnh hệ thống; là, tạo nhóm có nút kết nối đặc có vài liên kết kế thừa với nhóm khác Sau đó, nhóm mã hóa cách riêng biệt, mã nhóm định để phân biệt phần tử nhóm khác Điều sử dụng lại vị trí bit nhóm, việc thêm số bit cho mã nhóm Trường hợp tốt có thể, khơng gian sử dụng mã hóa điều chỉnh O(nlogn), hệ đa cấp hồn tồn mơ hình hóa mức Đối với hệ đa cấp khơng có cấu trúc mơ hình, chuỗi, mã hóa cần O(n2) bit Nỗ lực thêm đòi hỏi điều chỉnh khơng gian để lưu trữ cấu trúc điều chỉnh khơng phân tích, tranh luận Ganguly et al [8] đòi hỏi O(n2) thời gian O(nd) khơng gian, điều kiện d độ lớn đồ thị nhóm http://kilobooks.com KIL OBO OKS CO M THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Thủ tục truyền đề cập ResolveConflicts đòi hỏi thêm vị trí bit cho mã cho nut tất yếu tố liên quan Truyền( x: nut ; c: mã) Với yy, γ ( y ) ⊇ γ ( x) bổ đề 2, γ ( y ) ≠ γ ( x) bổ đề 3, phải có bit y mà khơng x, bổ đề Mặt khác x y khơng thể so sánh Nếu mã cho y chứa đựng bit khơng tìm thấy mã x, bổ đề Mặt khác, thừa nhận γ ( x) ⊇ γ ( y ) , để LCS{x,y}={ a1 , , a k } Trong điều sau đây, điều chứng minh sai phản chứng Trước tiên xem tình trạng mã cách trực tiếp sau mã hố x y, sau Bằng bổ đề 2, γ ( x) ⊇ γ ( y ) ⊇ với i, ≤ i ≤ k Thừa nhận mã y mã hố sau x Nếu y nut chính, mã cho y tạo với số gia mã cha nó, định bit trống khơng x sử dụng, trái ngược Nếu y khơng chính, ResolveConflicts gọi Nếu mã cho y khơng chứa đựng mã khơng có x, lúc gọi γ ( x) ⊇ γ ( y ) , mã cho y gia tăng với bit khơng thuộc mã x, mâu thuẫn 21 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Bây cho nut x mã hố sau mã y Nếu nut x chính, mã số gia mã cha w Rõ ràng, LCS({x,y})=LCS({w,y}) Có khả KIL OBO OKS CO M chứng minh mã cha khơng chứa đựng bit tìm thấy mã y việc mã hố x khơng cộng bit vào mã cha bit khơng dùng Nếu y mã hố sau w, tranh luận giữ cho w y1) Việc mã hố cho a số nhị phân mã cha nó, giải mâu thuẫn Nếu x ≠ a y ≠ a , γ ' ( x) ⊇ γ ' ( y ) γ ( x) ⊇ γ ( y ) , x ≤ y giả thuyết quy nạp, γ ' ( x) thay đổi γ (x) và/ γ ' ( y ) thay đổi γ ( y ) ResolveConflicts Modify Cả trường hợp, FreeBit khơng cho phép thay đổi bit mà dẫn đến mối liên hệ khơng Nếu x ≠ a y=a, γ ' ( x)khong ⊃ γ ' ( y ) trừ x ≤ y , ResolveConflicts khơng cho phép điều Nếu x=a, theo bổ đề 4, x ≤ y tồn q chẳng hạn γ ' ( y ) ⊇ q γ ' ( x)khong ⊇ q Theo đó, γ ' ( x)khong ⊇ γ ' ( y ) , mâu thuẫn với giả định Định lý (Gộp chung) Với việc mã hố γ hệ đẳng cấp, γ ( x) ⊇ γ ( y ) x≤ y 23 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Chứng minh Xảy trực tiếp từ bổ đề KIL OBO OKS CO M 4.4 Năng suất Chìa khố cho bổ sung có hiệu giải thuật khơng tạo hiệu việc mã hố, mà việc lưu trữ số lượng thơng tin hệ đẳng cấu bên ngồi lưu trữ mã chúng Giả định tạo nên phân tích hiệu khơng thơng tin lưu trữ bên ngồi việc mã hố Ranh giới dấu cách tốt đòi hỏi việc mã hố O(log n) bit nut, nơi mà n số lượng nut hệ đẳng cấu, cho ranh giới tồn O(n log n) Điều xảy hệ đẳng cấp lưới hồn tồn mã hóa bề ngang trước, nut tồn cho mã nhị phân Trong trường hợp xấu nhất, việc mã hố đòi hỏi O(n) bit nut, tồn O( n ), mà xảy hệ đẳng cấp loạt nhánh đơn nhánh, có mức độ Hàm chiếm ưu cho thời gian mã hố cho nut hàm ResolveConflicts Tính tốn tập hợp vơ song cho nut đòi hỏi kiểm tra tất nut khác cho liên quan Cho nut tập hợp, mà bao gồm hầu hết tất nut khác, hàm FreeBit hàm Modify gọi FreeBit đòi hỏi phân tích vị trí bit, mà đòi hỏi viẹc kiểm tra lại với n bit Modify u cầu kiểm trakiểm tra vị trí bit qua FreeBit, sau kiểm tra cho phân lớp phổ biến lớn hình thức ngun thuỷ nut, thao tác u cầu O( n ) thao tác Vì tồn thời gian chạy ReosolveConflicts, theo cách Encode, O( n ) nut, O( n ) tồn Thử nghiệm trước [12] phân tích thực nhiều phương thức mã hố khác hệ đẳng cấp giới thực, cụ thể hệ đẳng cấp lớp 300-đối tượng LAURE [13] Khi ứng dụng vào hệ đẳng cấp này, phương thức mã hố thấp đòi hỏi 860 byte lưu trữ cho mã, với mã dài 32 bit So sánh thuận lợi cho việc mã hố AitKaci [9], mà đồi hỏi 5280 byte đưa mã dài 281 bit, thừa nhận khơng điều biến Với điều biến, việc mã hố đòi hỏi 1452 24 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN byte, với mã dai 120 bit, sử dụng 30 nhóm Phương pháp nén dãy băng Agrawal [11] đòi hỏi 1336 byte cho hệ đẳng cấp giống Ngay phương KIL OBO OKS CO M pháp mã hố riêng Caseau đòi hỏi 1014 byte, với mã dài 33 bit Như trước, kích thước mã tương tự (phụ thuộc vào tính tự nhiên hệ đẳng cấp), nhiều lưu trữ tồn u cầu để hồn thành lưới Thử nghiệm xa hướng dẫn để xác định trật tự việc thêm nut với số sau (của nut ma cha mã hố) dẫn đến gia tăng kich thước tồn việc mã hố thành 1098 byte việc lưu trữ, với mã lớn 34 bit Hầu hết giảm bớt lưu trữ 848 byte, với 32 bit lớn Để kiểm tra quan điểm việc mã hố nut với hầu hết đầu tiên, xem hệ đẳng cấp H1 n+1 nut chẳng hạn nut r có n-x nut con, A={ a1 , , a n − x }, với khơng có con, “sự hồn thành đỉnh” x nut, B={ b1 , , bx } nut khác Chú ý chiều dài mã dài nut “sự hồn thành đỉnh” chiều dài l=logx +1 tổng bit cần để mã hố x(logx +1) Nó theo sau tổng bit cần để mã hố H1 ngang với x(logx+1) + (l+1)+…+(l+(n-x)) nut hồn thành đỉnh đựoc mã hố trứơc tiên, ngang với (1+2+…+(n-x))+ x(n-x+1)+x(logx+1) nut A mã hố trước tiên Rõ ràng, tốt mã hố nut B trước tiên Sự khác biệt lớn xảy x ≈ n2 Trong trường hợp này, mã hố nut với hầu hết nut trước tiên Một ví dụ hệ đẳng cấp cung cấp hình 6, với việc mã hố khác Tuy nhiên, trật tự mã hố khơng quan trọng thay “ hồn thành đỉnh ” đồ thị chia đơi đầy đủ với n4  nut tập hợp chia Trong trường hợp này, tồn kích thước mã hố giống Điều minh hoạ hình 25 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Hơn nữa, tốt khơng mã hố nut có nhiều cháu cho hệ đẳng cấp theo sau Để thuận lợi, giả định n = k nơi k ≥ Để H2 hệ đẳng cấp KIL OBO OKS CO M n+2 nut chảng hạn nut cao r có 3n8  chúng tất có chung mà có 3n8  khác, nut cao có “đỉnh đầy đủ” n nut khác Sự khác biệt ( 38n + 1) 28n − (log x + 2)( 68n + 1) >> lớn Một ví dụ tác động thể hình 4.5 Thao tác lưới Với hệ đẳng cấp kế thừa với cấu trúc lưới, thao tác lưới việc xếp, GLB, LUB có liên quan Chẳng hạn hệ đẳng cấp, có lợi việc mã hố c đảo ngược, dồng hình lưới Khi hệ đẳng cấp mã hố hàm đưa viết khơng đòi hỏi phải lưới, việc mã hố khơng dễ thay đổi, nhiều nổ lực đòi hỏi để định lớp tập hợp lớp bao phủ mã Đây kết thao tác GCS LCS tập hợp lớp, phụ thuộc vào tính khơng lưới hệ đẳng cấp Thao tác sau minh họa tác động 26 http://kilobooks.com KIL OBO OKS CO M THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN 27 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Xem thao tác GLB(h,m) hệ đẳng cấp hình Thao tác điện tốn KIL OBO OKS CO M γ (h) ∪ γ (m) = 100010001 ∪ 000011010 = 100011011 = γ (o) dễ dàng xác định GLB(h,m)=o Tương tự, với LUB(f,g), γ ( f ) ∩ γ ( g ) = 001000010 ∩ 000001010 = 000000010 = γ (c) Với thao tác phức tạp GCS({d,g}), thao tác điện tốn γ (d ) ∪ γ ( g ) = 100000001 ∪ 000001010 = 100001011 mà mã lớp đơn Việc sử dụng xếp kiểm tra a ≤ b ⇔ γ (a ) ∪ γ (b) = γ (a ) , việc tìm thấy tất mã xếp mã γ (d ) ∪ γ ( g ) , cho tập hợp mã {100101111,100011011}, tìm thấy tập mã tối thiểu phần kiểm tra mà xếp khác cho tập hợp, Việc trình bày mã cảu lớp n o, GCS cho lớp d g Trong việc xác định lớp xác bao gồm thao tác GCS LCS q trình tương đối tốn kém, nên ghi q trình giữ ngun ứng dụng đích 28 http://kilobooks.com KIL OBO OKS CO M THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Ví dụ như, xem hệ thống sở liệu dựa đối tượng phức tạp nơi mà đối tượng thuộc lớp đơn Nếu có xác nhận đựơc thực hệ thống mà đối tượng biết tồn hai hay nhiều lớp, phải xác định lớp thực lớp mà thật thuộc về, xã định với thao tác GCS Để xác định lớp thật sự, mã đạt phải giải mã, Thật ra, việc giải mã khơng phải làm hết, mã đạt thao tác GCS nhiều thơng tin, chí nhiều hơn, thơng tin biết lớp thật đối tượng , lưu trữ với đối tuợng 29 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Phương pháp lưu mã cho phép xác nhận xa lớp đối tượng dễ dàng giải Theo đối tượng ứng dụng sở liệu liên tục KIL OBO OKS CO M kết hợp với mã chúng, khơng với tên lớp Có thể nói tương tự với kiển thức sở hệ thống Điều giảm xa việc lưu trữ tonà có mã phải kết hợp với lớp, khơng tập hợp định nghĩa lớp Vì suy nghĩ lưu trữ mã độ dài biến số đòi hỏi nhiều lưu trữ trỏ lớp đơn, khơng đòi hỏi nhiều đơid tượng khơng thể giải với lớp đơn, phải lưu trữ với tập hợp lớp trỏ 5.Tóm tắt Giải thuật space-and-time-efficient mã hố lưới thành tập hợp vec tơ nhị phân đề xuất, giải thuật có hiêu cho việc tính tốn GLB, LUB, mối liên hệ hai nut nét Giải thuật, cho phép chức năg thêm lớp với thay đổi tối thiểu tồn mã, đòi hỏi O( n ) thời gian tệ O( n ) khơng gian cho việc mã hố hệ đẳng cấp tồn bộ, cho phép thao tác điện tốn lưới có hiệu Dựa vào kết minh hoạ liên quan phương pháp Ứng dụng liên tục chẳng hạn sớ liệu kiến thức tren sở hệ thống đòi hỏi hiệu việc mã hố cho phép thay đổi để thực hệ đẳng cấp với biên tập lại việc mã hố Lưu trữ mã đơn cho đối tượng nhận tồn tập hợp lớp cha cải tiến xa việc lưu trữ tồn đòi hỏi nhiều hệ thống nơi mà lớp thật đối tượng chưa giải Lời cảm ơn Tác giả muốn cảm ơn Tim Beck việc làm ơng suốt thời gian đầu cơng việc này, bao gồm phát triển phần mềm sử dụng cho nghiên cứu Gratitude mở rộng với tham khảo cho giải có ích chúng, đặc biệt vấn đề với bảng đề nghị phân tích trật tự thêm vào Cảm ơn Yves Caseau 30 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN việc cung cấp hệ đẳng cấp lớp LAURE cho việc kiểm tra Cuối cùng, cảm ơn trường Tham khảo KIL OBO OKS CO M sinh viên thơng tin phản hồi [1] R.G.G Cattell et al (Eds.), The Object Data Standard: ODMG 3.0, Morgan Kaufmann, San Francisco, CA, 2000 [2] I.F Cruz, A.O Mendelzon, P.T Wood, A graphical query language supporting recursion, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1987, pp 323–330 [3] A Borgida, R.J Brachman, D.L McGuinness, L.A Resnick, Classic: a structural data model for objects, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1989, pp 58–67 [4] B Kolman, R Busby, S Ross, Discrete Mathematical Structures, third ed., Prentice Hall, New Jersey, 1996 [5] G Markowsky, The representation of posets and lattices by sets, Algebra Universalis 11 (1980) 173–192 [6] M Habib, L Nourine, O Raynaud, A new lattice-based heuristic for taxonomy encoding, in: International KRUSE Symposium on Knowledge Retrival, Use and Storage for Efficiency, 1997, pp 60–71 [7] Y Caseau, M Habib, L Nourine, O Raynaud, Encoding of multiple inheritance hierarchies and partial orders, Computational Intelligence 15 (1) (1999) 50– 62 [8] D Ganguly, C Mohan, S Ranka, A space-and-time efficient coding algorithm for lattice computations, IEEE Transactions on Knowledge and Data Engineering (5) (1994) 819–829 31 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN [9] H Ait-Kaci, R Boyer, P Lincoln, R Nasr, Efficient implementation of lattice 115–146 KIL OBO OKS CO M operations, ACM Transactions on Programming Languages and Systems 11 (1) (1989) [10] Y Caseau, Efficient handling of multiple inheritance hierarchies, in: Proceedings of the International Conference on Object-Oriented Systems, Languages, and Applications, 1993, pp 271–287 [11] R Agrawal, A Borgida, J.V Jagadish, Efficient management of transitive relationships in large data and knowledge bases, in: Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1989, pp 253–262 M.F van Bommel, P Wang / Data & Knowledge Engineering 50 (2004) 175–194 [12] M.F van Bommel, T.J Beck, Incremental encoding of multiple inheritance hierarchies supporting lattice operations, Linkoping Electronic Articles in Computer and Information Science 5(1) [13] Y Caseau, An object-oriented deductive language, Annals of Mathematics and Artificial Intelligence (2) (1991) 211–258 Martin van Bommel is an Associate Professor in the Department of Mathematics, Statistics and Computer Science, St Francis Xavier University He received his B.Sc degree from St Francis Xavier University; and received his Masters of Mathematics and Ph.D degrees in Computer Science in 1990 and 1996, respectively, from the University of Waterloo His research interests include object-oriented database design, schema management, query optimization, and complex object database constraints He has published in the following topics: database design, database constraints, document indexing, and information science He is a member of the Association for Computing Machinery and the ACM Special Interest Group on the Management of Data Ping Wang is an Associate Professor in the Department of Mathematics, Statistics and Computer science, St Francis Xavier University He received his B.Sc degree from Beijing Normal University, P.R China, in 1989; and received his M.Sc and Ph.D in 32 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Mathematics in 1989 and 1993, respectively, from the University of Regina, Saskatchewan, Canada His research interests include graph theory and algorithms He KIL OBO OKS CO M has published in the following topics: construct cages, total graph coloring, simulated annealing, and genetic algorithms 33 [...]... minh hoạ kết quả sau khơng nhiều kế thừa và do vậy chỉ gọi đến hàm FreeBit Chú ý rằng việc dùng lại vị trí bit thứ ba và thứ tư trong nut d thơng qua g Tiến tình này tiếp tục với nut h và I bằng việc thêm vào vị trí bit 5 và 6, tách biệt thứ tự, cho mã của nut cha d Việc thêm nut j với mã ’1111’ sẽ gây ra mâu thuẫn đầu tiên, và dẫn đến sự biến đổi vị trí bit của e và f từ vị trí bit 4 và 3 đến 8 và 7,... biến thi n Thật khơng may mắn, khi thuật tóan này cũng u cầu cấu trúc lattice và nó khơng gia tăng, có nghĩ rằng khi thêm một nút vào hệ đa cấp thì phải tính tóan lại tòan bộ mã hóa 11 http://kilobooks.com KIL OBO OKS CO M THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Sự phát triển kích thước trong việc mã hóa thì dựa trên 1 số lượng tối đa của những nút có cùng nút cha và số nút với cha bội ở tại mỗi mức của hệ thống Kết... hợp vec tơ nhị phân được đề xuất, và giải thuật có hiêu quả cho việc tính tốn GLB, LUB, và mối liên hệ giữa hai nut là nét chính Giải thuật, cho phép chức năg thêm một lớp mới với sự thay đổi tối thi u sự tồn tại của mã, đòi hỏi O( n 4 ) thời gian và tệ nhất O( n 2 ) khơng gian cho việc mã hố một hệ đẳng cấp tồn bộ, và cho phép thao tác điện tốn lưới có hiệu quả Dựa vào kết quả minh hoạ sự liên quan của... của các nút vì kế thừa bội dẫn đến các mã dài hơn đối với những phần tử ớ gần phía trên của hệ đa cấp mà chúng được kế thừa bởi lớp con của chúng 3.4 Mã hóa tĩnh Phương pháp mã hóa thứ ba được đưa ra bởi Ganguly, liên quan đến sự xun suốt hệ đa cấp từ dưới lên được theo bởi 1 lộ trình từ trên xuống Kết quả độ phức tạp thời gian là O(n+e), với e là số cạnh của hệ đa cấp, và kết quả kinh nghiệm là chỉ... mã hố khơng dễ thay đổi, và nhiều nổ lực đòi hỏi để quyết định lớp hoặc tập hợp các lớp được bao phủ bởi mã Đây là đúng nhất nếu kết quả của thao tác GCS hoặc LCS là một tập hợp các lớp, phụ thuộc vào tính khơng lưới của hệ đẳng cấp Thao tác sau minh họa tác động này 26 http://kilobooks.com KIL OBO OKS CO M THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN 27 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Xem như thao... 1 trong mã c2 và trong mã c1 cũng chứa 1 bit 1 ở vị trí đó Chú ý rằng c1 chỉ được phép chứa hơn bit 1 ở những vị trí khác Phép tóan c1 ∩ c2 và c1 ∪ c2 thì tương đương với tóan tử nhị phân and và or 14 http://kilobooks.com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN 4.1 Động lực KIL OBO OKS CO M Lý do chính đối với nhu cầu lattice trong thủ tục của Caseau là sự giới hạn rằng những bit mới chỉ có thêm vào những nút... cả với sự biến thi n, chỉ biểu diễn tốt chung với hệ đa cấp nhỏ ( ... tồn hàm số γ -1 từ L đến P thế, a P , γ -1 ( γ (a)) = a.Sau đó, cách tính tóan GLB LUB phần tử a b P nối mệnh đề nhau, đưa http:/ /kilobooks. com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN a ∧ b = γ -1 ( γ (a) ∩... xi cha xj http:/ /kilobooks. com THƯ VIỆN ĐIỆN TỬ TRỰC TUYẾN Ma trận transitive closure đạt phép tóan ma trận A0 = Inxn , KIL OBO OKS CO M A1 = A x A0 , Ak = Ak-1 x Ak-1 , Ak = Ak-1 = A* Sự tính... Giải mã từ phía bên lên Những người Ait-Kaci [9] cải tiến thuật tóan pidgin-code transitive closure cách tăng chiều dài nút cần thiết Vịêc gia tăng xảy http:/ /kilobooks. com THƯ VIỆN ĐIỆN TỬ TRỰC