Luận văn thạc sĩ VNU UET các phương pháp đánh giá độ tin cậy của hệ thống tính toán qua cấu trúc hệ thống

5 MỤC LỤC MỞ ĐẦU CHƢƠNG 1: CƠ SỞ LÝ THUYẾT 11 1.1 Khái niệm độ tin cậy 11 1.1.1 Tổng quan 11 1.1.2 Định nghĩa độ tin cậy 11 1.1.3 Dạng chung xác suất an toàn 12 1.1 Chỉ số độ tin cậy hệ thống 12 1.2.1 Phần tử không phục hồi 12 1.2.2 Phần tử phục hồi 18 1.2 Phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc hệ thống 20 1.3.1 Sơ đồ khối độ tin cậy phần tử nối tiếp 21 1.3.2 Sơ đồ khối độ tin cậy phần tử song song .23 1.3 Các biện pháp để nâng cao độ tin cậy hệ thống 25 1.4 Kết luận 26 CHƢƠNG PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN CẬY CỦA HỆ THỐNG QUA CẤU TRÚC HỆ THỐNG 27 2.1 Bài tốn tìm đƣờng đồ thị hệ thống 27 2.1.1 Quy tắc chuyển đổi sơ đồ cấu trúc logic thành sơ đồ khối .27 2.1.2 Phân loại đỉnh cạnh đồ thị liên kết 28 2.1.3 Quy tắc chuyển đổi sơ đồ cấu trúc logic sang đồ thị liên kết: 28 2.1.4 Thuật tốn tìm tất đƣờng ma trận liên kết 29 2.1.5 Thuật tốn tìm tất đƣờng ma trận liên kết lý thuyết đồ thị .30 2.1.6 Kết luận .34 2.2 Bài toán tối thiểu toán tử logic 34 2.2.1 Định nghĩa phép toán đại số Boole .35 2.2.2 Các phƣơng pháp để tối thiểu hoá toán tử logic .36 2.3 Bài toán xác định trực giao hoá toán tử logic 37 2.3.1 Các phƣơng pháp giảm thiểu hàm đại số logic hình thức trực giao trực giao không lặp 37 2.3.2 Các quy tắc chuyển đổi hàm logic sang dạng xác suất dạng chuẩn tắc tuyển 39 2.3.3 Kết luận .40 CHƢƠNG THIẾT LẬP VÀ XÂY DỰNG CHƢƠNG TRÌNH TÍNH ĐỘ TIN CẬY CỦA HỆ THỐNG MẠNG MÁY TÍNH .41 3.1 Thiết lập toán .41 3.1.1 Viết chƣơng trình để tìm đƣờng ma trận liên kết 41 3.1.2 Xây dựng chƣơng trình trực giao hố hàm đại số logic 43 3.2 Các ví dụ sử dụng hàm xây dựng 45 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 3.3 Phát triển chức yêu cầu cần thiết bổ sung cho việc tính tốn 49 3.4 Kết luận 56 CHƢƠNG ĐỘ TIN CẬY VÀ KHẢ NĂNG HỆ THỐNG HOẠT ĐỘNG AN TOÀN QUA VÍ DỤ CỤ THỂ .58 4.1 Đặc tả hệ thống 58 4.2 Nghiên cứu thuật toán phát triển hàm 59 4.3 Kết thu đƣợc từ chƣơng trình tính toán độ tin cậy hệ thống 61 4.4 Kết luận 71 KẾT KUẬN 72 TÀI LIỆU THAM KHẢO .73 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỞ ĐẦU Lý chọn đề tài Thế giới xung quanh ta khơng ngừng tiến hóa biến đổi theo xu hƣớng ngày hoàn thiện Các cách mạng khoa học kỹ thuật bùng nổ mạnh mẽ đặc biệt cách mạng lĩnh vực công nghệ mở kỷ nguyên mới, bắt đầu tạo hệ thống siêu phức tạp khoa học máy tính, giao thơng vận tải, lƣợng ngành khác kinh tế Nó khơng đơn hệ thống đơn giản mà hệ thống đƣợc đặc trƣng số lƣợng lớn yếu tố thành phần có cấu trúc phức tạp với chƣơng trình điều khiển hoạt động Đây hệ thống có tính ứng dụng cao, tham gia vào tất lĩnh vực đời sống, toàn sở hạ tầng xã hội đại Tuy nhiên, điều mà sản xuất xã hội phải đối mặt với nguy thiết bị không sẵn sàng để hoạt động cách đắn, việc thao tác sai với sai lầm khơng đáng có trình thiết kế chế tạo thiết bị, làm cho cấu trúc hệ thống bị phá vỡ, chức hệ thống hoạt động khơng xác Thấy đƣợc quy tiềm tàng xảy hệ thống, ta hiểu rõ tầm quan trọng vấn đề liên quan đến độ tin cậy, khả sống sót việc phát triển nhanh chóng phƣơng pháp để đảm bảo độ tin cậy cao hệ thống tất giai đoạn thiết kế, thử nghiệm, sản xuất hoạt động Trong hệ thống kỹ thuật đại, phức tạp khơng đảm bảo đƣợc độ tin cậy hệ thống coi nhƣ không tồn Các ứng dụng sống ngƣời hầu hết có tham gia khoa học máy tính Ví dụ lĩnh vực hàng không: khu vực ngành hệ thống thông tin quản lý, bao gồm số lƣợng lớn máy tính, hệ thống kiểm sốt khơng lƣu, lƣợng truy cập cho hàng không dân dụng, hệ thống điều khiển q trình tự động, trung tâm kiểm sốt mạng lƣới theo dõi không gian, mạng hệ thống truyền tải liệu, Tất tạo thành hệ thống số lƣợng lớn yếu tố thành phần có cấu trúc phức tạp thực chức riêng, chúng tin cậy so với hệ thống đơn giản Chính điều địi hỏi phải phát triển phƣơng pháp đặc biệt để đảm bảo, tăng cƣờng trì độ tin cậy hệ thống phức tạp nhƣ vậy, bao gồm phát triển phƣơng pháp tốn học tính tốn ƣu tiên đánh giá thử nghiệm, phƣơng pháp đánh giá độ tin cậy hệ thống dựa sở lý thuyết xác suất trình ngẫu nhiên đƣợc áp dụng đạt đƣợc kết khả quan Việc đánh giá độ tin cậy hệ thống dựa cấu trúc hệ thống, thông qua độ tin cậy thành phần hệ thống toán phức tạp, mà để giải cần đến cơng cụ nhƣ lý LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com thuyết xác suất, lý thuyết đồ thị, logic Vấn đề độ tin cậy tiếp tục chìa khóa để phát triển cơng nghệ đại Phƣơng pháp đánh giá độ tin cậy hệ thống mang tính kinh tế cao, liên quan đến sản xuất lập trình dự tốn nhƣ nào, chi phí bảo trì, chi phí tối thiểu cấu hình hệ thống, nói cách khác tổng số lợi nhuận dự kiến đƣợc tối đa độ tin cậy hệ thống đƣợc chọn theo cơng thức dựa tính tốn tuổi thọ thiết bị, dịch vụ đời sống thực tế thiết bị khơng hoạt động tốt [9] Khi biết đƣợc độ tin cậy hệ thống giúp có đƣợc kế hoạch bảo trì, lên kế hoạch dự phịng, nâng cao độ tin cậy, tránh đƣợc cố lỗi gây Điều dẫn đến lựa chọn cấu hình chi phí tối thiểu đáp ứng mức độ dự phòng quy định Ta dễ dàng thấy đƣợc độ tin cậy khả hoạt động an toàn hệ thống phụ thuộc vào cấu trúc (cấu trúc logic) độ tin cậy thành phần cấu thành nên hệ thống [10] Vì vậy, hệ thống phức tạp, có hai cách để tăng độ tin cậy: tăng độ tin cậy yếu tố thành phần thay đổi chƣơng trình Trong hai cách nâng cao độ tin cậy yếu tố thành phần phƣơng pháp đơn giản để tăng độ tin cậy hệ thống Để nâng cao độ tin cậy yếu tố thành phần ngƣời ta sử dụng kỹ thuật phổ biến đơn giản bổ sung yếu tố dƣ thừa, hay gọi hệ thống có dự phịng Tuy nhiên khơng phải lúc xây dựng đƣợc hệ thống có dự phịng Thật vậy, ngày nhờ phát triển khoa học kỹ thuật mà chất lƣợng thành phần đƣợc nâng cao đáng kể dẫn đến chất lƣợng hệ thống đƣợc nâng cao Việc xem xét làm để đảm bảo độ tin cậy yếu tố kỹ thuật hệ thống tùy thuộc vào khoa học cơng nghệ, vật lý hóa học đặc biệt, vƣợt phạm vi lý thuyết độ tin cậy đề cập luận văn Việc đảm bảo độ tin cậy nhƣ hoạt động an toàn cho hệ thống trở thành vấn đề đƣợc giới quan tâm bàn luận, nhƣng vấn đề cịn mẻ Việt Nam Tôi chọn đề tài “Các phương pháp đánh giá độ tin cậy hệ thống tính tốn qua cấu trúc hệ thống” để nghiên cứu Thông qua luận văn muốn tập trung sâu vào nghiên cứu sở lý thuyết nhƣ thông số ảnh hƣởng đến độ tin cậy hệ thống, phát triển thuật toán xây dựng chƣơng trình để tính tốn đƣợc độ tin cậy hệ thống đơn giản Bƣớc nghiên cứu thuật toán chuyển từ sơ đồ cấu trúc logic hệ thống sang sơ đồ khối, sau sử dụng đồ thị ma trận liên kết lƣu trữ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com kết trung gian làm sở để tính tốn, thuật tốn tối thiểu hàm logic, thuật toán trực giao hoá toán tử logic chuyển từ mơ hình logic sang mơ hình đại số để tính giá trị xác suất có liên quan Và để chứng minh hệ thống xây dựng hoạt động đắn tơi xét ví dụ hệ thống máy chủ, từ đƣa kết để chứng minh lập luận Mục đích nghiên cứu Mục đích nghiên cứu đề tài đƣa phƣơng pháp đánh giá độ tin cậy hệ thống tính tốn qua cấu trúc hệ thống xây dựng thành công phần mềm đánh giá độ tin cậy hệ thống Khi biết đƣợc độ tin cậy hệ thống lên kế hoạch bảo trì, lên kế hoạch dự phịng, nâng cao độ tin cậy, tránh đƣợc cố lỗi gây Giả thuyết khoa học Nếu xây dựng thành công phần mềm đánh giá độ tin cậy hệ thống có sử dụng phƣơng pháp đánh giá độ tin cậy cách đắn sở, tảng cho đời phần mềm đánh giá độ tin cậy hệ thống phức tạp sau Nhiệm vụ nghiên cứu Xuất phát từ mục đích trên, nhiệm vụ đề tài đặt sau: - Nghiên cứu khái niệm liên quan đến độ tin cậy hệ thống, phƣơng pháp tính độ tin cậy qua cấu trúc hệ thống - Phƣơng pháp đánh giá độ tin cậy hệ thống qua cấu trúc hệ thống - Thiết lập xây dựng chƣơng trình tính độ tin cậy hệ thống mạng máy tính - Sử dụng chƣơng trình tính độ tin cậy xây dựng để tính độ tin cậy khả hệ thống hoạt động an toàn thơng qua ví dụ cụ thể Phƣơng pháp nghiên cứu Sử dụng phối hợp phương pháp: - Phƣơng pháp phân tích, tổng hợp lý luận: Nghiên cứu, tìm hiểu, phân tích tài liệu có liên quan đến độ tin cậy hệ thống nhƣ phƣơng pháp tính, đánh giá độ tin cậy hệ thống - Phƣơng pháp sử dụng toán học: Sử dụng phƣơng pháp xác suất thống kê, xử lý kết quảvà xây dựng đồ thị trực quan Đóng góp ln văn Luận văn góp phần hệ thống hố sở lý luận việc đánh giá độ tin cậy hệ thống Việc xây dựng thành công phần mềm tính tốn độ tin cậy hệ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 10 thống sở, tảng cho việc nghiên cứu xây dựng phần mềm tính tốn độ tin cậy cho hệ thống phức tạp tinh vi sau Cấu trúc luận văn Ngoài phần mở đầu kết luận, luận văn gồm có chƣơng: Nội dung chƣơng I số khái niệm độ tin cậy, số liên quan đến độ tin cậy phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc nối tiếp song song Nội dung chƣơng II số toán bản, thuật toán nhƣ phƣơng pháp để giải chúng Nội dung chƣơng III việc xây dựng tốn tính toán độ tin cậy hệ thống, đƣa hàm chức cần thiết để xây dựng giải toán đánh giá độ tin cậy hệ thống mạng máy tính Nội dung chƣơng IV đƣa ví dụ hệ thống mạng máy tính thực, đặc tả hệ thống xét trƣờng hợp ảnh hƣởng đến độ tin cậy hệ thống Chạy chƣơng trình viết chƣơng III phân tích kết đạt đƣợc LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 11 CHƢƠNG 1: CƠ SỞ LÝ THUYẾT 1.1 Khái niệm độ tin cậy 1.1.1 Tổng quan Độ tin cậy đặc tính then chốt phát triển kỹ thuật, đặc biệt xuất hệ thống phức tạp nhằm hoàn thành chức quan trọng lĩnh vực công nghiệp khác Định lƣợng độ tin cậy phần tử hệ thống đƣợc đánh giá cách phân tích, tính tốn số độ tin cậy, dựa hai yếu tố là: Tính làm việc an tồn tính sửa chữa đƣợc Quan niệm hệ thống, thiết bị kỹ thuật theo cách nhìn độ tin cậy làm sở cho việc tính toán số độ tin cậy cho hệ thống với mức độ phƣơng pháp dự phòng khác “Hệ thống tập hợp gồm nhiều phần tử tương tác, có mối quan hệ ràng buộc lẫn hoạt động hướng tới mục tiêu chung thông qua chấp thuận đầu vào, biến đổi có tổ chức để tạo kết đầu ra” Hay “Hệ thống tập hợp gồm nhiều phần tử có mối quan hệ ràng buộc tương tác lẫn để thực mục đích chung”[6] “Hệ thống thông tin tập hợp kết hợp phần cứng, phần mềm hệ mạng truyền thông đƣợc xây dựng sử dụng để thu thập, tạo, tái tạo, phân phối chia sẻ liệu, thông tin tri thức nhằm phục vụ mục tiêu tổ chức” Phần tử phận tạo thành hệ thống mà q trình nghiên cứu độ tin cậy định đƣợc xem nhƣ tổng thể không chia cắt đƣợc (ví dụ nhƣ: linh kiện, thiết bị… ) mà độ tin cậy cho trƣớc, xác định dựa số liệu thống kê Phần tử hiểu theo cách rộng rãi hơn, thân phần tử có cấu trúc phức tạp, xét riêng hệ thống 1.1.2 Định nghĩa độ tin cậy Độ tin cậy P(t) phần tử hệ thống xác suất để suốt khoảng thời gian khảo sát t phần tử hệ thống vận hành an tồn P(t) đƣợc định nghĩa nhƣ biểu thức sau: P(t) = P{ ≥ t} (1.1) Trong đó: -  thời gian liên tục vận hành an toàn phần tử Biểu thức phần tử muốn vận hành an tồn khoảng thời gian t giá trị t phải bé giá trị quy định  LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 12 Đồng thời biểu thức phần tử vận hành an toàn với xác suất (0 ≤ P(t) ≤ 1) suốt khoảng thời gian t Khi bắt đầu vận hành nghĩa thời điểm t = 0, phần tử hoạt động tốt nên P(0)= Ngƣợc lại thời gian kéo dài, khả vận hành an toàn phần tử giảm tới t∞ theo quy luật phát triển vật chất tác động tàn phá thời gian, định phần tử phải hỏng dó P(∞) = 1.1.3 Dạng chung xác suất an toàn Kiến thức cần thiết để phân tích độ tin cậy hệ thống là: - Kiến thức lý thuyết xác suất trình ngẫu nhiên; - Kiến thức thành phần, thông số kỹ thuật hệ thống Bƣớc việc tính tốn xác suất an tồn xác suất hỏng hệ thống chọn tiêu chuẩn áp dụng cụ thể thông số kỹ thuật phần tử cách thích hợp, mối quan hệ phần tử với Theo định nghĩa độ tin cậy nói độ tin cậy hệ thống cịn đƣợc gọi theo cách khác xác suất an toàn P(t) Theo định nghĩa xác suất xác suất khơng an tồn (Q(t)) hay gọi xác suất hỏng hệ thống [1] là: Q(t) = 1-P(t) 1.1 Chỉ số độ tin cậy hệ thống Các hệ thống, thiết bị kỹ thuật (các phần tử) tồn thực tiễn thƣờng tồn dƣới dạng phục hồi đƣợc không phục hồi đƣợc Và để dễ xác định độ tin cậy phần tử ta phân chia phần tử thành dạng nhƣ 1.2.1 Phần tử không phục hồi Phần tử không phục hồi [2] phần tử đƣợc đƣa vào sử dụng, bị hƣ hỏng loại bỏ mà không tiến hành sửa chữa việc sửa chữa khơng mang lại hiệu quả, ví dụ nhƣ: linh kiện điện trở, tụ điện, IC … ta quan tâm đến kiện xảy cố Những thông số phần tử không phục hồi là: a Thời gian vận hành an toàn  Giả thiết thời điểm t = phần tử bắt đầu hoạt động đến thời điểm t =  phần tử bị cố Khoảng thời gian  đƣợc gọi thời gian liên tục vận hành an tồn phần tử Vì cố không xảy tất định nên  đại lƣợng ngẫu nhiên có giá trị khoảng ≤  ≤ ∞ Giả thiết khoảng thời gian khảo sát t phần tử xảy cố với xác suất Q(t) Khi đó: Q(t) = P{ < t} (1.2) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 13 Vì  đại lƣợng ngẫu nhiên liên tục nên: - Q(t) đƣợc gọi hàm phân phối biến ngẫu nhiên liên tục  q(t) hàm mật độ phân phối xác suất  q(t) dQ(t) t Hình 1.1: Biểu diễn hàm mật độ phân phối xác suất Trên hình 1.1, biểu diễn hàm mật độ phân phối xác suất thời gian trung bình vận hành an tồn Theo tính chất hàm mật độ phân phối xác suất biến ngẫu nhiên liên tục, ta có: q(t)=Q’(t) {Đạo hàm bậc 1của hàm phân phối xác suất }, đó: 𝑑𝑄(𝑡) 𝑞 𝑡 = (1.3) 𝑑𝑡 Trong thỏa mãn tính chất: ∞ 𝑞 𝑡 𝑑𝑡 = Vậy hàm mật độ phân phối xác suất  là: 𝑞 𝑡 = lim 𝑃 𝑡 < τ ≤ t + ∆t (1.4) ∆𝑡→0 ∆𝑡 Có q(t).∆t xác suất để thời gian hoạt động  nằm khoảng (t t+∆t) với ∆t đủ nhỏ b Độ tin cậy phần tử P(t) Ta có hàm Q(t) mơ tả xác suất cố phần tử, hàm mô tả độ tin cậy phần tử đƣợc ký hiệu P(t) đƣợc tính theo định nghĩa hàm xác suất: P(t) = – Q(t) = P{  ≥ t} (1.5) Nhƣ P(t) xác suất để phần tử vận hành an tồn khoảng thời gian t ta giả thiết có  ≥ t Từ biểu thức (1.3) ta có: LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 14 𝑡 𝑄 𝑡 = 𝑞 𝑡 𝑑𝑡 (1.6) Từ biểu thức (1.5) (1.6) ta có ∞ 𝑃 𝑡 = 𝑞 𝑡 𝑑𝑡 (1.7) 𝑡 Q(t) P(t0) Q(t0) t Hình 1.2: Biểu diễn hàm phân phối xác suất P(t) t Hình 1.3: Biểu diễn độ tin cậy phần tử Từ hai đồ thị ta thấy Q(∞) = P(∞) = chứng tỏ độ tin cậy phần tử giảm dần theo thời gian c Cường độ hỏng hóc (t) Cƣờng độ hỏng hóc [3] (hay cƣờng độ trở ngại) khái niệm quan trọng nghiên cứu độ tin cậy, (t) hàm theo thời gian Với ∆t đủ nhỏ (t).∆t xác suất để phần tử hoạt động tốt đến thời điểm t hỏng hóc khoảng thời gian ∆t Hay số lần hỏng hóc đơn vị thời gian khoảng thời gian ∆t LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 59 Giả sử để ngƣời sử dụng nút 15 nhận đƣợc liệu có trƣờng hợp sau xảy ra: - Trƣờng hợp 1: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp 1, tức nhận đƣợc tín hiệu từ máy chủ số 0, hiệu suất tổng có dạng: F= f1,15˅f2,15˅f3,15 (1) - Trƣờng hợp 2: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp số 1, số số 3, hiệu suất tổng có dạng sau: F= f1,15 ˅f2,15˅f3,15 (2) 4.2 Nghiên cứu thuật toán phát triển hàm Bắt đầu Trường hợp 1: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp 1, tức nhận Đọc ma trận đầu vào đƣợc tín hiệu từ máy chủ số 0, hiệu suất tổng có dạng Tìm tất đƣờng f(1,15) sau: F= f1,15˅f2,15˅f3,15 Sử dụng tính chất kết hợp đại số Boole ta đƣợc: Tìm tất đƣờng f(2,15) Tính: f(12,15)=f(1,15)*f(2,15) F= f1,15˅f2,15˅f3,15 = (f1,15˅f2,15 )˅f3,15 = f12,15˅f3,15 Sau sử dụng thuật tốn trực Tìm tất đƣờng f(3,15) Tính: F=f(12,15)*f(3,15) giao hố để chuyển đổi mơ hình logic sang đại số tính giá trị xác suất P(t) THD Thuật tốn đƣợc thể hình 4.2 dƣới đây: Trực giao hố F Sử dụng hàm chức tính giá trị xác suất Các kết sơ đồ Kết thúc LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 60 Trường hợp 2: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp số 1, số số 3, hiệu suất tổng có dạng sau: F= f1,15 ˅f2,15˅f3,15 Sử dụng tính chất kết hợp đại số Boole ta đƣợc: F= f1,15 ˅f2,15˅f3,15 = (f1,15 ˅f2,15)˅f3,15 = f12,15˅f3,15 Sau sử dụng thuật tốn trực giao hố để chuyển đổi mơ hình logic sang đại số tính giá trị xác suất P(t) THD Thuật toán đƣợc thể hình 4.3 dƣới Ngồi việc sử dụng tính chất kết hợp đại số Boole để tính nhƣ cách nói sử dụng thuật tốn khác để việc tính tốn đƣợc nhanh Thuật tốn đƣợc mơ tả nhƣ sau: Bắt đầu Đọc ma trận đầu vào Tìm tất đƣờng f(1,15) Tìm tất đƣờng f(2,15) Tính: f(12,15)=f(1,15)˅f(2,15 ) Tìm tất đƣờng f(3,15) Tính: F=f(12,15)˅f(3,15) Trực giao hố F Sử dụng hàm chức tính giá trị xác suất Các kết sơ đồ Kết thúc Hình 4.3 Sơ đồ thuật tốn Cơng thức: F= f1,15 ˅f2,15˅f3,15 tƣơng đƣơng với F= f0,15 X0 lúc phải hoạt động truyền liệu có X1, X2 X3 truyền liệu, nên xác suất sử dụng X0 luôn trƣờng hợp thứ tƣơng ứng với việc tìm tất đƣờng thành công từ đỉnh đến đỉnh 15 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 61 Trong chƣơng III xây dựng đƣợc hàm cộng nhân logic nên biến đổi công thức (2) để sử dụng đƣợc hàm F= f1,15 ˅f2,15˅f3,15 = (f1,15 ˅f2,15)˅(f1,15 ˅f3,15)˅(f2,15˅f3,15) (3) Đối với (3) ta tiến hành thuật tốn nhƣ sau: - Tìm f1,15 , f2,15, f3,15 cách tìm tất đƣờng từ đỉnh 1, 2, đến đỉnh 15 - Đặt F1 = f1,15 ˅f2,15 F2 = f1,15 ˅f3,15 F3 = f2,15˅f3,15 sử dụng phép nhân logic - Tính F4 = F1 ˅F2 sau tính tiếp F = F3 ˅ F4 sử dụng phép cộng logic Nhƣ ta tính tính đƣợc (3) có sử dụng hàm chức thiết kế chƣơng III 4.3 Kết thu đƣợc từ chƣơng trình tính tốn độ tin cậy hệ thống Trường hợp 1: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp 1, tức nhận đƣợc tín hiệu từ máy chủ số 0, hiệu suất tổng có dạng sau: F= f1,15˅f2,15˅f3,15 Sử dụng hàm chức xây dựng chƣơng III chƣơng trình đƣợc mơ tả chi tiết phụ lục 2, ta thu đƣợc kết nhƣ sau: F(0 => 15) = x1*x2*x3*x6*x7*x8*x15*( x9 + x10 + x5*x9 + x4*x9 + x9*x10 + x5*x10 + x4*x10 + x5*x9*x10 + x4*x9*x10 + x4*x5*x9 + x4*x5*x10 + x4*x5*x9*x10 ) Sau trực giao hoá ta thu đƣợc kết nhƣ sau: F(0 => 15) = x1*x2*x3*x6*x7*x8*x15*( x9 + x10*x'9 ) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 62 Theo yêu cầu đặt toán ta cần tính P(t) THD biết cƣờng độ hỏng hóc phần tử hệ thống +) Tính P(t): Ta xử lý tiếp kết thu đƣợc sau sử dụng hàm trực giao hoá cách thay Xi Pi = exp(-λi *t) X’i Qi = - exp(-λi *t) Nhƣ ta tính đƣợc giá trị P(t) +) Tính thời gian hoạt động an tồn trung bình (hay cịn gọi thời gian hoạt động an tồn trung bình đến lần hƣ hỏng – MTTF): Theo lý thuyết trình bày chƣơng I, ta có: ∞ 𝑇𝐻𝐷 = ∞ 𝑒 −t dt P t dt = 0 Việc tính 𝑇𝐻𝐷 khơng đơn giản nhƣng ta tính theo phƣơng pháp gần Với cƣờng độ hỏng hóc cho nhƣ ta tính đƣợc THD=2186,6 (giờ) Các kết P(t), Q(t) phụ thuộc vào thời gian t đƣợc thể hình 4.4 dƣới đây: F = f(1,15 )*f(2,15)*f(3,15) t P(t) 500 0.804623067 1000 0.644618213 1500 0.514482915 2000 0.40925768 2500 0.324598342 3000 0.256779343 3500 0.20265536 4000 0.15960364 4500 0.125459403 5000 0.098450311 5500 0.077135079 6000 0.0603486 6500 0.047153778 7000 0.036799874 Q(t) 0.195376933 0.355381787 0.485517085 0.59074232 0.675401658 0.743220657 0.79734464 0.84039636 0.874540597 0.901549689 0.922864921 0.9396514 0.952846222 0.963200126 Hình 4.4 Bảng giá trị xác suất P(t) Q(t) Sơ đồ hình 4.5 thể liên quan P(t) thời gian t : LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 63 Hình 4.5 Sự phụ thuộc P(t) vào thời gian t Trường hợp 2: Nút 15 nhận đƣợc tín hiệu từ ba máy chủ thứ cấp số 1, số số 3, hiệu suất tổng có dạng sau: F= f1,15 ˅f2,15˅f3,15 Sử dụng hàm chức xây dựng chƣơng III chƣơng trình đƣợc mơ tả chi tiết phụ lục 2, ta thu đƣợc kết nhƣ sau: F(0 => 15) = x15*(x1*x6*x9 + x3*x8*x10 + x2*x7*x8*x10 + x2*x6*x7*x9 + x2*x4*x6*x7*x9 + x2*x5*x7*x8*x10 + x1*x6*x7*x8*x10 + x3*x6*x7*x8*x9 + x1*x4*x6*x7*x8*x10 + x1*x5*x6*x7*x8*x10 + x3*x5*x6*x7*x8*x9 + x3*x4*x6*x7*x8*x9 + x1*x4*x5*x6*x7*x8*x10 + x3*x4*x5*x6*x7*x8*x9 ) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 64 Sau trực giao hoá ta thu đƣợc kết nhƣ sau: F(0 => 15) = x15*( x1*x6*x9 + x3*x8*x10*x'1 + x1*x3*x8*x10*x'6 + x1*x3*x6*x8*x10*x'9 + x2*x7*x8*x10*x'3*x'1 + x1*x2*x7*x8*x10*x'6*x'3 + x2*x6*x7*x9*x'8*x'3*x'1 + x2*x3*x6*x7*x9*x'8*x'1 + x1*x2*x6*x7*x8*x10*x'9*x'3 + x2*x6*x7*x8*x9*x'10*x'3*x'1 + x2*x3*x6*x7*x8*x9*x'10*x'1 + x1*x6*x7*x8*x10*x'9*x'3*x'2 + x3*x6*x7*x8*x9*x'10*x'2*x'1 ) Theo yêu cầu đặt tốn ta cần tính P(t) THD biết cƣờng độ hỏng hóc phần tử hệ thống +) Tính P(t): Ta xử lý tiếp kết thu đƣợc sau sử dụng hàm trực giao hoá cách thay Xi Pi = exp(-λi *t) X’i Qi = - exp(-λi *t) Nhƣ ta tính đƣợc giá trị P(t) +) Tính thời gian hoạt động an tồn trung bình (hay cịn gọi thời gian hoạt động an tồn trung bình đến lần hƣ hỏng – MTTF): Theo lý thuyết trình bày chƣơng I, ta có: ∞ 𝑇𝐻𝐷 = ∞ 𝑒 −t dt P t dt = 0 Với cƣờng độ hỏng hóc cho nhƣ ta tính đƣợc THD=5504,3 (giờ) Các kết P(t), Q(t) phụ thuộc vào thời gian t đƣợc thể hình 4.6 dƣới đây: LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 65 F =f(1,15) t 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 6000 6500 7000 7500 8000 8500 v f(2,15) v f(3,15) P(t) Q(t) 0.948342144 0.893899679 0.837559283 0.780246913 0.722854137 0.666188836 0.610947549 0.557702601 0.50690037 0.458868474 0.413825184 0.371894419 0.333119988 0.297479153 0.264897197 0.235259399 0.208421603 0.051657856 0.106100321 0.162440717 0.219753087 0.277145863 0.333811164 0.389052451 0.442297399 0.49309963 0.541131526 0.586174816 0.628105581 0.666880012 0.702520847 0.735102803 0.764740601 0.791578397 Hình 4.6 Bảng giá trị xác suất P(t) Q(t) Sơ đồ hình 4.7 thể liên quan P(t) thời gian t: 1,2 P(t) 0,8 0,6 0,4 0,2 0 5000 10000 15000 20000 25000 t(giờ) Hình 4.7 Sự phụ thuộc P(t) vào thời gian t LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 66 +) Trong trƣờng hợp thứ ta xét thêm trƣờng hợp hệ thống hoạt động bình thƣờng nút 15 khơng nhận đƣợc tín hiệu phản hồi từ máy chủ số (máy chủ số bị hỏng) mà nhận đƣợc tín hiệu phát từ máy chủ số máy chủ số Sử dụng hàm chức xây dựng chƣơng III chƣơng trình đƣợc mơ tả chi tiết phụ lục 2, ta thu đƣợc kết sau trực giao hoá nhƣ sau: F(0 => 15) = x0*x15*( x1*x6*x9 + x2*x6*x7*x9*x'1 + x2*x7*x8*x10*x'6*x'1 + x1*x2*x7*x8*x10*x'6 + x2*x6*x7*x8*x10*x'9*x'1 + x1*x2*x6*x7*x8*x10*x'9 + x1*x6*x7*x8*x10*x'9*x'2 ) Vậy ta phải tính xác suất hệ thống hoạt động an toàn máy chủ số hỏng, ký hiệu là: P12(t) thời gian hoạt động trung bình an tồn T12 Hình 4.8 thể giá trị xác suất hệ thống phần trăm giá trị thiệt hại hệ thống máy chủ số bị hỏng: t P(t) 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 6000 6500 7000 0.948342144 0.893899679 0.837559283 0.780246913 0.722854137 0.666188836 0.610947549 0.557702601 0.50690037 0.458868474 0.413825184 0.371894419 0.333119988 0.297479153 P12(t) 0.945594013 0.884699643 0.820274651 0.754639745 0.689568639 0.626375318 0.565994442 0.50905329 0.45593515 0.406833231 0.361794919 0.320759833 0.283589751 0.250092685 (P12(t) - P(t))*100/P(t) 0.29 1.03 2.06 3.28 4.6 5.98 7.36 8.72 10.05 11.34 12.57 13.75 14.87 15.93 Hình 4.8 Bảng giá trị xác suất P(t), P12(t) giá trị thiệt hại hệ thống máy số bị hỏng LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 67 Sơ đồ hình 4.9 thể liên quan P(t), P12(t) thời gian t: 1.2 P(t) 0.8 0.6 P(t) P12(t) 0.4 0.2 0 5000 10000 15000 20000 25000 t(giờ) Hình 4.9 Sự phụ thuộc P(t) P12(t) vào thời gian t Dựa vào biểu đồ ta thấy máy phát số bị hỏng xác suất hệ thống hoạt động an tồn giảm so với trƣờng hợp máy khơng bị hỏng Điều với thực tế nhƣ kỳ vọng Thời gian hoạt động trung bình an tồn hệ thống máy phát số bị hỏng đƣợc tính theo cơng thức: ∞ 𝑇𝐻𝐷 = ∞ 𝑒 −t dt P t dt = 0 là: T12 = 5016,5 (giờ) Ta thấy trƣờng hợp máy chủ số khơng bị hỏng THD = 5504,3 (giờ), trƣờng hợp máy chủ số bị hỏng T12 = 5016,5 (giờ) Vậy THD > T12 điều chứng tỏ trƣờng hợp máy chủ số khơng bị hỏng thời gian hệ thống hoạt động an toàn lâu trƣờng hợp máy chủ số bị hỏng, đồng nghĩa với việc hệ thống hoạt động tốt hay không phụ thuộc vào phần tử hoạt động tốt hay khơng LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 68 Ta xét trƣờng hợp cụ thể sau: Giả sử hệ thống hoạt động tốt 3000 đầu, sau máy chủ số bị hỏng Khi xác suất hệ thống hoạt động an toàn đƣợc thể theo sơ đồ hình 4.10 dƣới đây: 1.2 P(t) 0.8 0.6 0.4 0.2 0 5000 10000 15000 20000 25000 t(giờ) Hình 4.10 Sự phụ thuộc P(t) vào thời gian t Vào thời điểm hệ thống chạy đƣợc t=3000 máy chủ số bị hỏng, mà thời gian trung bình đến lần hỏng hệ thống máy chủ số bị hỏng hóc T12=5016,5 (giờ) sau máy số bị hỏng hệ thống cịn hoạt động an tồn khoảng thời gian là: T’12 = 5016,5-3000 = 2016,5 (giờ) Nhìn vào hình 4.8 ta thấy máy chủ số bị hỏng thời điểm t=3000 độ tin cậy hệ thống bị giảm 5,98% +) Để hiểu rõ khả tồn hệ thống ta xét tiếp trƣờng hợp: Hệ thống hoạt động bình thƣờng khơng nhận đƣợc tín hiệu phản hồi máy chủ số máy chủ số mà nhận đƣợc tín hiệu từ máy chủ số Tất đƣờng đến đƣợc đỉnh 15 hệ thống là: F(0 => 15) = x0*x2*x7*x15*( x6*x9 + x4*x6*x9 + x8*x10 + x5*x8*x10) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 69 Sử dụng hàm chức xây dựng chƣơng III chƣơng trình đƣợc mơ tả chi tiết phụ lục 2, ta thu đƣợc kết sau trực giao hoá nhƣ sau: F(0 => 15) = x0*x2*x7*x15*( x6*x9 + x8*x10*x'6 + x6*x8*x10*x'9 ) Vậy ta phải tính xác suất hệ thống hoạt động an toàn máy số máy số hỏng, ký hiệu là: P2(t) thời gian hoạt động trung bình an tồn T2 Hình 4.11 thể giá trị xác suất hệ thống phần trăm giá trị thiệt hại hệ thống máy chủ số số bị hỏng: t 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 6000 6500 7000 7500 8000 8500 9000 9500 10000 10500 11000 11500 P(t) 0.948342144 0.893899679 0.837559283 0.780246913 0.722854137 0.666188836 0.610947549 0.557702601 0.50690037 0.458868474 0.413825184 0.371894419 0.333119988 0.297479153 0.264897197 0.235259399 0.208421603 0.184220016 0.162478402 0.143014789 0.125646353 0.110193513 0.096482381 P12(t) 0.945594013 0.884699643 0.820274651 0.754639745 0.689568639 0.626375318 0.565994442 0.50905329 0.45593515 0.406833231 0.361794919 0.320759833 0.283589751 0.250092685 0.220042184 0.193192244 0.169288486 0.148076639 0.129308656 0.112747133 0.098167919 0.085362129 0.074136682 P2(t) 0.897746205 0.801788986 0.712904274 0.631422818 0.557360172 0.490514964 0.43054226 0.377008438 0.329431206 0.287308902 0.250140458 0.217439905 0.188745558 0.163625345 0.141680107 0.122544795 0.105887994 0.091411166 0.078846633 0.067955859 0.058526907 0.050372396 0.043327034 ((P2(t) -P(t))*100)/P(t) 5.335198833 10.30436582 14.88312667 19.07397422 22.89451724 26.36998138 29.52876876 32.39973468 35.01065979 37.38752643 39.55407557 41.5318182 43.3400682 44.99602969 46.51505995 47.91077614 49.19528855 50.37935183 51.47254526 52.48333443 53.41933482 54.28733087 55.0933201 Hình 4.11 Bảng giá trị xác suất P(t), P12(t), P2(t) giá trị thiệt hại hệ thống máy số máy số bị hỏng LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 70 Sơ đồ hình 4.12 thể liên quan P(t), P12(t), P2(t) thời gian t: 1.2 0.8 P(t) P(t) P12(t) 0.6 P2(t) 0.4 0.2 0 5000 10000 15000 20000 25000 t(giờ) Hình 4.12 Sự phụ thuộc P(t), P12(t), P2(t) vào thời gian t Dựa vào biểu đồ ta thấy máy chủ số số bị hỏng xác suất hệ thống hoạt động an tồn giảm nhiều so với trƣờng hợp hệ thống hoạt động an toàn Điều với thực tế Thời gian hoạt động trung bình an tồn hệ thống máy chủ số số bị hỏng đƣợc tính theo cơng thức: ∞ 𝑇𝐻𝐷 = ∞ 𝑒 −t dt P t dt = 0 là: T2 = 3915 (giờ) Ta thấy trƣờng hợp hệ thống hoạt động tốt THD = 5504,3 (giờ), trƣờng hợp máy số máy số bị hỏng T2 = 3915 (giờ) Dễ thấy THD > T12 điều chứng tỏ trƣờng hợp hệ thống hoạt động tốt thời gian hệ thống hoạt động an toàn lâu trƣờng hợp máy số máy số bị hỏng, đồng nghĩa với việc hệ thống hoạt động tốt hay không phụ thuộc vào phần tử hoạt động tốt hay khơng Ta xét tiếp trƣờng hợp trên: Giả sử hệ thống hoạt động tốt 3000 đầu, sau khơng nhận đƣợc tín hiệu từ máy chủ số 3, sau 500 khơng LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 71 nhận đƣợc tín hiệu từ máy chủ số Khi xác suất hệ thống hoạt động an toàn đƣợc thể theo sơ đồ hình 4.13 dƣới đây: 1.2 P(t) 0.8 0.6 0.4 0.2 0 5000 10000 t(giờ) 15000 20000 25000 Hình 4.13 Sự phụ thuộc P(t) vào thời gian t Vào thời điểm hệ thống chạy đƣợc t=3000 máy chủ số bị hỏng, sau 500 máy chủ số lại bị hỏng mà thời gian trung bình đến lần hỏng hóc hệ thống máy chủ số máy chủ số1 bị hỏng T2=3915 (giờ) sau máy chủ số máy chủ số bị hỏng hệ thống cịn hoạt động an tồn khoảng thời gian là: T’2 = 3915 - 3000 - 500 = 415 (giờ) Nhìn vào hình 4.11 ta thấy máy chủ số máy chủ số bị hỏng thời điểm t=3500 độ tin cậy hệ thống bị giảm 29,5% 4.4 Kết luận Với việc phát triển thành công chƣơng trình tính tốn độ tin cậy ta nghiên cứu đƣợc độ tin cậy nhƣ khả sống sót hệ thống, thơng qua kết chƣơng trình thấy kết hồn tồn phù hợp với mong đợi chúng ta, điều có nghĩa chƣơng trình ta phát triển làm việc cách xác sở cho việc phát triển phần mềm tính tốn độ tin cậy hệ thống phức tạp Qua ví dụ cụ thể chứng minh điều thành phần hệ thống đóng vai trị vô quan trọng, độ tin cậy nhƣ khả sống sót hệ thống phụ thuộc vào chúng Việc loại bỏ bớt thành phần hệ thống làm cho hệ thống hoạt động an toàn LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 72 KẾT KUẬN Kết luận Luận văn đƣa phân tích đƣợc lý thuyết liên quan đến độ tin cậy hệ thống xây dựng thành cơng phần mềm ứng dụng giải tốn tính số liên quan đến độ tin cậy hệ thống, bao gồm việc xây dựng toán, giai đoạn giải toán, thuật tốn đƣợc phát triển q trình tìm đƣờng đồ thị, tối thiểu hoá toán tử logic, phƣơng pháp trực giao hoá quy tắc để chuyển đổi hàm xác suất để tính tốn giá trị cần tìm Chƣơng trình đƣợc viết ngơn ngữ lập trình C++ ngơn ngữ phá biến nay, giải đƣợc yêu cầu đặt toán, với tập hợp tham số đầu vào cho kết quả, kết đƣợc phân tích thấy chúng phù hợp với mong đợi, điều chứng tỏ chƣơng trình hoạt động đắn Chƣơng trình tính toán độ tin cậy sở để phát triển cho phần mềm tính tốn độ tin cậy hệ thống phần cứng tƣơng lai Hƣớng phát triển Để phần mềm giải tốn tính tốn độ tin cậy hệ thống đáp ứng yêu cầu với hệ thống ngày phức tạp cần có đầu tƣ nghiên cứu sâu hơn.Việc nhập liệu đầu vào ma trận liên kết nhiều thời gian gây nhầm lẫn phát triển phần mềm theo hƣớng giao diện đồ hoạ để tăng hiệu tƣơng tác ngƣời hệ thống làm việc Hoặc cách khác nghiên cứu khả lƣu trữ file input output sở liệu SQL, Oracle sở liệu khác hệ thống lớn liệu lớn LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 73 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Trần Diên Hiển, Vũ Viết Yên (2005), Nhập môn lý thuyết xác suất thống kê toán, Nhà xuất Đại học Sƣ phạm, Hà Nội, tr16, 31 [2] Nguyễn Duy Việt (4/2011), “Tính độ tin cậy hệ thống không phục hồi”, tạp chí Khoa học Giao thơng Vận tải, tr2-4 [3] Nguyễn Duy Việt (8/2009), “Độ tin cậy hệ thống điều khiển tín hiệu”, Tạp chí Giao thơng vận tải, tr5-7 [4] Nguyễn Duy Việt (11/2002), “Các số an toàn hệ thống điều khiển từ xa đƣờng sắt”, Tạp chí Khoa học Giao thơng Vận tải, tr.3-5 [5] Đỗ Đức Giáo (2008), Toán rời rạc, Nhà xuất Đại học Quốc gia Hà Nội, tr.492-495, 496-498 [6] Phạm Thị Thanh Hồng, Phạm Minh Tuấn (2006), Hệ thống thông tin quản lý, Nhà xuất Khoa học kỹ thuật Hà Nội, tr.23, 24 Tiếng Anh [7] Carlo Kopp (1996), System Reliability and metrics of Reliability, Peter Harding & Associates Pty Ltd, pp.5-7, 8,9 [8] Mahesh Pandey, Mikko Jyrkama (2008), System Reliability Analysis, University of Waterloo, pp.2-5, 23 Tiếng Nga [9] Le Quang Minh (2007), “Анализ методов обеспечения отказоустойчивости и живучести вычислительных систем”, Естественные науки и технологии№5 (Phân tích phƣơng pháp bảo đảm độ tin cậy độ hoạt động hệ thống tính tốn, Tạp chí “Khoa học tự nhiên công nghệ”, số – 2007) [10] Le Quang Minh (2007), “Анализ эффективности применения методов повышения отказоустойчивости ИВС реального времени”, Микроэлектроники и информатики, Тез докл Всероссийской конференции (Phân tích hiệu việc ứng dụng phƣơng pháp nâng cao độ tin cậy cho hệ thống thời gian thực có cấu trúc dạng Hội thảo khoa học toàn LB Nga, Mátxcơva) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... liên quan đến độ tin cậy hệ thống, phƣơng pháp tính độ tin cậy qua cấu trúc hệ thống - Phƣơng pháp đánh giá độ tin cậy hệ thống qua cấu trúc hệ thống - Thiết lập xây dựng chƣơng trình tính độ tin. .. hệ số sẵn sàng 1.2 Phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc hệ thống Cấu trúc hệ thống dù phức tạp đến đâu quy hai dạng cấu trúc nối tiếp cấu trúc song song [4] Phƣơng pháp tính độ tin. .. sau Cấu trúc luận văn Ngoài phần mở đầu kết luận, luận văn gồm có chƣơng: Nội dung chƣơng I số khái niệm độ tin cậy, số liên quan đến độ tin cậy phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc