Chúng ta đã chứng minh rằng với một generic LCM, chiều của không gian vector ở mỗi node T bằng với luồng cực đại giữa S và T. Tuy nhiên, chúng ta chưa chỉ ra cách để xây dựng một generic LCM cho một mạng truyền thông đã cho. Trong lý thuyết tiếp theo, chúng ta sẽ mô tả một thủ tục xây dựng một generic LCM cho bất kỳ mạng truyền thông acyclic nào.
Định lý 3.1: Tồn tại một generic LCM trên mỗi mạng truyền thông acyclic miễn là trường cơ sở của là một trường vô hạn hoặc trường hữu hạn đủ lớn.
tục sau xây dựng một LCM bằng cách gán một vector v(XY) tới mỗi kênh XY, mỗi kênh một lần.
{
for tất cả các kênh XY
v(XY) = vector không; // khởi tạo for (j = 0; j <= n; j++)
{
Sắp xếp tất cả các kênh đi ra XjY từ Xj theo thứ tự bất kỳ;
Lấy từng kênh ra từ Xj {
Gọi kênh lấy ra là XjY;
Chọn một vector w trong không gian v(Xj) mà w v(UZ):UZ với bất kỳ tập nào của nhiều nhất d – 1 kênh với v(Xj)
v(UZ):UZ ; v(XjY) = w; }
v(Xj+1) = mở rộng tuyến tính bởi các vector v(XXj+1) trên tất cả các kênh vào XXj+1 tới Xj+1;
} }
Bản chất của thủ tục trên là xây dựng generic LCM từng bước và đảm bảo rằng trong mỗi bước một phần LCM đã được xây dựng là generic. Cho một node Xj, có các tập hữu hạn của các cardinality (số các yếu tố trong một tập hợp) nhiều nhất là d
mà v(Xj) v(UZ):UZ. Khi trường cơ sở của là đủ lớn thì
v(Xj) U v(UZ):UZ
Với giao là trên tất cả các như vậy. Do đó, việc chọn vector w trong thủ tục ở trên là có thể.
Gọi Z1Y1, Z2Y2,…, ZmYm là một tập các kênh mà
v(Zk) {v(ZJYj): jk}với 1 k m và 1 m d.
Để xác nhận rằng LCM v là generic, chúng ta cần chứng minh sự độc lập tuyến tính giữa các vector v(Z1Y1), v(Z2Y2), .. v(ZmYm). Chứng minh bằng phương pháp quy
nạp trên m. Không mất tổng quát, giả sử rằng ZmYm là kênh cuối cùng trong m kênh được gán một vector trong thủ tục xây dựng v ở trên. Vì
v(Zm) {v(ZJYj):1 jm}
thủ tục xây dựng dẫn tới v(ZmYm) {v(ZJYj):1 jm}.
Mặt khác, giả thiết qui nạp khẳng định sự độc lập tuyến tính giữa các vector
v(Z1Y1), v(Z2Y2), .. v(Zm-1Ym-1). Vì vậy các vector v(Z1Y1), v(Z2Y2), .. v(ZmYm) là độc lập tuyến tính. Định lý được chứng minh.
Cho một mạng truyền thông (G, S) và một số nguyên dương r, tồn tại một generic LCM v trên mạng truyền thông associated memoryless (G(r), S) bởi bổ đề 3.6 và định lý 3.1. Với mỗi node X trong (G, S), chiều của v([X, r]) với node [X, r] trong (G(r), S) bằng với giá trị cực đại của một luồng từ nguồn tới [X, r]. Giá trị luồng cực đại này ít nhất bằng r - lần maxflowG(X) với là một số nguyên cố định.
Từ các bổ đề 3.8 - 3.10, chúng ta có kết luận tương tự về mạng truyền thông thích nghi. Với mỗi node X trong (G, S), chiều của không gian v([X, r]) cho node tương ứng [X, r] trong (G[r], S) bằng với giá trị cực đại của một luồng từ nguồn tới [X,
r] trong (G[r], S), và giá trị cực đại này ít nhất bằng r - lần maxflowG(X) với là một số nguyên cố định nào đó.
Bây giờ chúng ta chuyển kết luận này về multicast mã hóa-tuyến tính trên mạng memoryless trở lại mạng ban đầu (G, S). Gọi f* là giá trị nhỏ nhất của
maxflowG(X) trên tất cả các node X không phải nguồn trong G. Sau đó, với một số nguyên đủ lớn K, sử dụng kỹ thuật trong ví dụ 3.3, có thể thiết kế một phiên quảng bá có chiều dài bằng K lần đơn vị thời gian, phiên này quảng bá một thông điệp khoảng
Kf* kí tự từ nguồn. Thêm nữa, toàn bộ thông điệp có thể được khôi phục ở mỗi node X
không phải nguồn sau khoảng Kf*/ maxflowG(X) đơn vị thời gian.
Trong phần này, tác giả luận văn đã trình bày cách xây dựng một lược đồ mã hóa cho multicast trong một mạng để đạt được tốc độ truyền dữ liệu lớn nhất. Mã hóa tuyến tính là lược đồ mã hóa đơn giản, do đó việc mã hóa hay giải mã có thể dễ dàng cài đặt trong thực tế. Trong lược đồ này các khối dữ liệu được xem như là các vector trên một trường cơ sở nhất định và cho phép một node áp dụng một phép biến đổi tuyến tính tới một vector trước khi truyền nó đi. Bài toán multicast đã được công thức hóa và chứng minh rằng mã hóa tuyến tính là có thể đạt được tốc độ truyền multicast
CHƯƠNG 4. ĐỀ XUẤT PHƯƠNG PHÁP MỚI TĂNG HIỆU NĂNG CHO CÁC ỨNG DỤNG MULTICAST
Trong luận văn, tác giả đề xuất một phương pháp mới là sự kết hợp của hai phương pháp thiết kế liên tầng theo kinh nghiệm và mã mạng cho vấn đề multicast đơn nguồn trong các mạng mesh không dây. Phương pháp thiết kế liên tầng theo kinh nghiệm trong đề xuất là sự nối định tuyến tối ưu và điều khiển năng lượng. Luận văn sử dụng một thuật toán năng lượng tối ưu để điều khiển mức năng lượng của một node cho mỗi phiên truyền. Thiết kế liên tầng trong phương pháp đề xuất liên quan tới ba tầng của ngăn xếp giao thức (tầng vật lý, tầng MAC và tầng mạng). Kỹ thuật mã mạng luận văn sử dụng là kỹ thuật mã mạng tuyến tính ngẫu nhiên. Phương pháp đề xuất được gọi là CLNC (Cross-Layer Network Coding).
Khi một node có cơ hội truyền dữ liệu, node sẽ sử dụng thuật toán tối ưu hóa năng lượng để chọn mức năng lượng tối ưu. Nó xem xét thông tin ở tầng MAC bao gồm tốc độ truyền dữ liệu, nhiễu (sử dụng bộ đánh giá xu hướng), tốc độ lỗi gói tin (PER) để điều chỉnh mức năng lượng ở tầng vật lý. Sau đó, kỹ thuật mã mạng sẽ được sử dụng để định tuyến các gói tin.