Các tham số

Hình 2.7 m tree: Thuộc tính liên kết vào/ra

2.3.2.1 Các tham số

Topology vật lý của mạng được biểu diễn bởi một tập hợp V = {vi, i = 1 · N… N} của nút N và một tập E ={ el =(,) V× V, l = 1 … L sao cho <)} của L sợi liên kết hai chiều để liên kết các nút.

Cho F là tập hợp của tất cả các sợi liên kết một chiều (uni – directional) trong mạng. Nếu el = ( , ) là một liên kết trong E, sau đó el = ( , ) và =( , ) là các liên kết trong F. Tồn tại 2 × L l sợi liên kết một chiều trong mạng. Trong phần tiếp theo, ta sử dụng các ký hiệu để biểu thị sự liên kết theo hướng ngược lại của el .

Như đã đề cập trong các phần trước, mỗi liên kết bi-directional el E được phân công một ml bộ giám sát quang có thể được triển khai tại một trong hai đầu của liên kết. Sau khi lỗi một liên kết, một màn hình hoạt động ml cảnh báo bởi sự thất bại của liên kết đó sẽ thiết lập để ‘1’ các bit thứ l của mã báo động. Như vậy, chúng ta gán cho mỗi màn hình mi một mã báo động , trong đó tất cả các bit được thiết lập để '0' ngoại trừ một sự tương ứng với số của màn hình. Các mã báo động , có thể được chuyển đổi thành các giá trị thập phân tương đương của nó đại diện . Cho C là tập hợp của tất cả các mã thông báo giao cho màn hình; C = { , i = 1 · · · L}.

Hai thông số A và B được xác định như sau: A> 2|E| và B <2-|E| (2)

2.3.2.2 Các biến

- Các biến nhị phân si (i = 1,..., 2 × L) để lựa chọn các đầu của cây. si được thiết lập để 1 nếu liên kếte i  F được chọn là đầu của cây; si được thiết lập là 0 nếu không.

- Các biến nhị phân di (i = 1,..., 2 × L) để lựa chọn cáclá của cây. di được đặt là 1 nếu liên kết ei F được chọn là một lá của cây; di được đặt là 0 nếu không.

- Các biến nhị phân gi (i = 1,..., 2 × L) để lựa chọn cácliên kết thuộc về các cây. gi

được đặt là 1 nếu liên kết eiF thuộccho cây; gi được đặt là 0 nếu không.

- Các biến nhị phân zl,k (l, k = 1,..., 2 × L) đại diện cách các tín hiệu giám sát được truyền qua mạng. zl, k được đặt là 1 nếu liên kết ek F là một liên kết đi ra el F; zl,k

được đặt là 0 nếu không.

- Các biến số nguyên không âm linzi, j (i, j = 1,..., L) được sử dụng để tính toán trung gian.

- Các biến số nguyên dương Ai (i = 1,..., L) tương ứng với các đại diện thập phân của mã báo động liên quanvới lỗi của liên kết ei (ei  E).

- Các biến nhị phân fi, j (i, j = 1,..., L) so sánh mã thông báo kết hợp với ei và ej (ei,

ej  E).