Đồ án độ tin cậy hệ thống điện

Dành cho các bạn quan tâm đến các hệ thống điện

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 NXB H : ĐHCN, 2012 Số trang 67 tr + Lê Thị Hải Yến Trường Đại học Công nghệ Luận văn ThS ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người hướng dẫn: Tiến sĩ Lê Quang Minh Năm bảo vệ: 2012 Abstract: Trình bày 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 Nghiên cứu số toán bản, thuật toán phương pháp để giải chúng Trình bày 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 Đư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 Keywords: Công nghệ phần mềm; Cấu trúc hệ thống; Mạng máy tính Content CHƢƠNG CƠ SỞ LÝ THUYẾT 1.1 Khái niệm độ tin cậy Tổng quan “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] Đị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) = P{ ≥ t} (1.1) Trong đó: -  thời gian liên tục vận hành an toàn phần tử 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 nói chung 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 Độ tin cậy hệ thống gọi theo cách khác xác suất an toàn P(t) = P{ ≥ 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.2 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ạng phục hồi không phục hồi 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ử đư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ố Trong phần nói đến thơng số phần tử khơng phục hồi cách tính thơng số dựa vào lý thuyết xác suất thống kê 1.2.2 Phần tử phục hồi Phần tử phục hồi [2] phần tử đưa vào sử dụng đến xảy cố đem sửa chữa phục hồi Trong phần nói đến thơng số phần tử không phục hồi cách tính thơng số dựa vào lý thuyết xác suất thống kê 1.3 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 dạng cấu trúc nối tiếp cấu trúc song song [4] (Phương pháp tính độ tin cậy hệ thống khơng có dự phịng có dự phịng hệ thống [2]) Phương pháp xây dựng mối quan hệ trực tiếp độ tin cậy hệ thống với độ tin cậy phần tử biết Sơ đồ khối độ tin cậy (Reliability Block Diagrams - RBD) hệ thống xây dựng sở phân tích ảnh hưởng hỏng hóc phần tử đến hỏng hóc hệ thống 1.3.1 Sơ đồ khối độ tin cậy phần tử nối tiếp Cấu trúc đơn giản cấu trúc khơng có dự phịng hệ thống tạo nên n phần tử, trở ngại phần tử riêng biệt dẫn đến trở ngại hệ thống Thời gian hoạt động an tồn trung bình hệ thống là: Xác suất trạng thái hỏng hệ thống: 1.3.2 Sơ đồ khối độ tin cậy phần tử song song Trong sơ đồ phần tử song song [8] (hệ thống có dự phịng), cố phần tử khơng định dẫn đến cố cho toàn hệ thống, sơ đồ hệ thống gặp cố tất phần tử gặp cố Độ tin cậy hệ thống: Thời gian hoạt động an tồn trung bình hệ thống là:  Xác suất làm việc khơng có cố hệ thống song song cao xác suất làm việc khơng có cố hệ thống nối tiếp 1.4 Các biện pháp để nâng cao độ tin cậy hệ thống Nêu số biện pháp để nâng cao độ tin cậy hệ thống từ đưa chiến lược bảo dưỡng thích hợp 1.5 Kết luận Xác suất vận hành an toàn phần tử giảm dần theo thời gian Xác suất vận hành an tồn hệ thống song song ln cao xác suất vận hành an toàn hệ thống nối tiếp Độ tin cậy hệ thống có ý nghĩa quan trọng hệ thống lớn máy bay, phi thuyền, tên lửa, dây chuyền sản xuất công nghiệp, … Để đảm bảo độ tin cậy toàn hệ thống trước hết cần thiết kế đảm bảo độ tin cậy riêng cho thành phần hệ thống Độ tin cậy sản phẩm phải thể khả sản phẩm hoạt động hoàn hảo thời gian xác định cụ thể Các công thức phân phối xác suất sử dụng để tính tốn, đánh giá độ tin cậy phần tử hệ thống Việc tính tốn xác độ tin cậy hệ thống đặc biệt quan trọng công tác bảo trì độ tin cậy thiết bị thấp nhu cầu bảo trì cao CHƢƠNG PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN CẬY CỦA HỆ THỐNG QUA CẤU TRÚC HỆ THỐNG Sử dụng đồ thị ma trận liên kết để tính tốn độ tin cậy hệ thống, chẳng hạn xác suất để hệ thống làm việc an toàn thời gian t P(t); xác suất hệ thống gặp cố Q(t); hàm mật độ phân phối xác suất q(t), Phần mềm tính tốn số tin cậy cho hệ thống có cấu trúc phức tạp gồm nhiều giai đoạn [10] có chung bốn bước sau: Giai đoạn đầu: Xây dựng sơ đồ cấu trúc logic; Giai đoạn 2: Tìm tất đường thành cơng hệ thống Giai đoạn 3: Tất đường thành công hệ thống ghi lại dạng toán tử logic bản, tối thiểu hố tốn tử logic Giai đoạn 4: Trực giao hố tốn tử logic, chuyển đổi mơ hình logic sang đại số tính tốn xác suất hệ thống hoạt động an tồn, thời gian trung bình lần hỏng hóc số khác độ tin cậy 2.1 BÀI TỐN TÌM ĐƯỜNG ĐI TRONG ĐỒ THỊ HỆ THỐNG 2.1.1 Thuật toán chuyển đổi sơ đồ cấu trúc logic thành sơ đồ khối Sơ đồ cấu trúc logic biểu diễn cấu trúc logic hệ thống sơ đồ theo quy ước cách mã hoá biểu diễn mối quan hệ thành phần dạng ký hiệu Việc xây dựng thành công sơ đồ cấu trúc logic hệ thống cho ta hình ảnh trực quan cấu trúc hệ thống điều kiện tiên đề để phân tích đánh giá độ tin cậy hệ thống 2.1.2 Phân loại đỉnh cạnh đồ thị liên kết Việc phân loại đỉnh, cạnh giúp ta xây dựng sơ đồ cấu trúc logic cách xác 2.1.3 Thuật toán chuyển đổi sơ đồ cấu trúc logic sang đồ thị liên kết Trường hợp sơ đồ cấu trúc logic vơ hướng việc biến đổi đơn giản sơ đồ cấu trúc logic có hướng việc quan trọng phải xác định hướng cung xây dựng cho hệ thống đạt hiệu 2.1.4 Thuật tốn tìm tất đƣờng ma trận liên kết Thuật tốn để tìm tất đường ma trận kề dựa thao tác nhân ma trận liên kết cột tương ứng ma trận thể sau: Bk = A B* k- 1(*) Trong đó: - Bk cột mà trận kết phép nhân (*) - B* k- kết phép chuyển đổi B k- ; Vậy toán đặt cho ma trận A ma trận cột B1 tìm tất đường có từ nguồn (điểm phát) tới đích (điểm nhận) +) Bước 1: Kiểm tra ma trận cột B1 có chứa cung đỉnh nguồn hay không Nếu cung tồn ghi nhận đường thay cung giá trị Cho ta kết B*1 ; +) Bước 2: Xét với k=2 +) Bước 3: Thực phép tính (*) để tìm giá trị Bk tương ứng +) Bước 4: Kiểm tra Bk nguồn, đường tồn ghi nhớ thay đường giá trị Nếu đường xuất Bk đường đầy đủ thay Bk =0 Kết B*k +) Bước 5: Kiểm tra B*k Nếu B*k =0 thực tiếp bước Nếu B*k ≠0 thực tiếp bước +) Bước 6: Kiểm tra điều kiện k ≤ n-1 Nếu thoả mãn điều kiện k < n-1 tăng k lên thực tiếp bước Nếu điều kiện k = n-1thì thực tiếp bước +) Bước 7: Kiểm tra lại danh sách đường kết nhận danh sách đường có từ đỉnh đầu đến đỉnh cuối 2.1.5 Thuật tốn tìm tất đƣờng ma trận liên kết lý thuyết đồ thị Tư tưởng tìm kiếm theo chiều sâu là: Từ đỉnh nguồn (đỉnh đầu) đồ thị ta di chuyển đến đỉnh khác (một đỉnh mà từ đỉnh đầu) Từ đỉnh ta tiếp tục đến khác đỉnh khác Nếu tiếp quay lại đỉnh trước đến đỉnh khác Cứ đến đỉnh cuối đồ thị 2.1.6 Kết luận Dựa vào kết thuật tốn trình bày, ta rút vài kết luận sau: - Thuật toán chuyển đổi từ sơ đồ cấu trúc logic sang đồ thị liên kết thực tay đơn giản lập trình, việc lập trình chuyển đổi tương đối phức tạp Đầu tiên phải nói đến số lượng lớn thành phần sơ đồ cấu trúc logic phức tạp việc xây dựng ký pháp đồ hoạ Vậy việc chuyển đổi từ sơ đồ cấu trúc logic sang đồ thị liên kết tay đơn giản nhiên lại nhiều thời gian - Từ thuật tốn tìm đường biết lý thuyết đồ thị ta phát triển thành thuật tốn tìm tất đường đồ thị cách chuyển đồ thị thành ma trận tương ứng, phần tử ma trân δij =1 tồn đường i j, δij =0 không tồn đường i j 2.2 BÀI TOÁN TỐI THIỂU CÁC TOÁN TỬ LOGIC Việc tối thiểu hoá toán tử logic thường dựa đẳng thức Boole hay gọi luật đại số Boole Vậy đại số Boole phép toán, luật liên quan đến đại số Boole mà ta sử dụng để tối thiểu hố tốn tử logic gì? Trong mục giải vấn đề 2.2.1 Định nghĩa phép toán đại số Boole Một đại số Boole cấu trúc đại số gồm tập hợp S chứa phần tử, ký hiệu 1, với hai phép tốn ngơi “+” (tuyển - ˅) “.” (hội - ˄) phép toán “¯” (phủ định) 2.2.2 Các phƣơng pháp để tối thiểu hoá toán tử logic - Phương pháp biến đổi đại số; - Phương pháp bảng Karnaugh; - Phương pháp Quine – Mc.Cluskey 2.3 BÀI TOÁN XÁC ĐỊNH TRỰC GIAO HOÁ CÁC TOÁN TỬ LOGIC Phương pháp trực giao phương pháp biến đổi logic cho kết toán tử 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 a) Thuật tốn cắt giảm Thuật toán dựa việc triển khai hàm logic cho ta kết hàm logic trực giao, trực giao không lặp trường hợp đặc biệt dạng chuẩn tắc tuyển trực giao b) Thuật tốn trực giao hố theo cơng thức Poresky Thuật tốn trực giao hố theo cơng thức Poresky [10] gồm bước sau: Hàm logic viết dạng chuẩn tắc tuyển sau: f(xn) = K1 ˅ K2 ˅ …˅ Kj ˅ ….˅ KR Trong đó: Kj mệnh đề sơ cấp có số thứ tự j Tất biến hàm logic viết dạng chuẩn tắc tuyển phải xếp theo thứ tự tăng dần, bắt đầu với bậc thấp biến Dạng chuẩn tắc tuyển viết dạng công thức Poresky sau: f(xn) = K1 ˅ K2 ˅ …˅ Kj ˅ ….˅ KR = Khai triển công thức ta dạng trực giao không lặp hàm ban đầu c) Thuật toán cắt giảm hàm đại số logic cách đưa dạng chuẩn tắc tuyển Thuật toán gồm bước sau đây: Đây hàm dạng chuẩn tắc tuyển Tìm phép hội sơ cấp xuất dạng chuẩn tắc tuyển Tìm tất tập hợp bao phủ phép hội sơ cấp Khai triển tất tập hợp, ta hàm ban đầu dạng chuẩn tắc tuyển hoàn toàn 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 Quá trình chuyển đổi hàm xác suất thực theo quy tắc sau: Sử dụng công thức De Morgan để đưa dạng chuẩn tắc hội, không chứa phép cộng logic Các ký hiệu phép cộng nhân logic thay dấu phép cộng phép nhân đại số Các ký hiệu xi thay xác suất Pi Qi tương ứng thay 1- 2.3.3 Kết luận - Thuật tốn cắt giảm thích hợp để tính tay khai triển hàm làm giảm kết trung gian - Việc sử dụng thuật toán cắt giảm để đưa dạng chuẩn tắc tuyển nhìn dài dịng lại dễ dàng lập trình máy tính - Thuật tốn trực giao hố theo công thức Poresky không đơn giản giải tay số lượng biến khai triển dài 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 Sau hiểu rõ cách thức phương pháp để tính tốn độ tin cậy hệ thống ta phải cụ thể hố phương pháp ngơn ngữ lập trình cụ thể 3.1 Thiết lập tốn 3.1.1 Viết chƣơng trình để tìm đƣờng ma trận liên kết 3.1.1.1 Các yêu cầu chƣơng trình xây dựng chƣơng trình Chương trình thiết kế với mục đích tìm tất đường hai nút ma trận liên kết, mà ma trận liên kết xây dựng từ đồ thị liên kết Tham số đầu vào chương trình ma trận liên kết xây dựng từ đồ thị liên kết Chương trình phải hoạt động cho tìm đường ma trận liên kết Tham số đầu chương trình tất đường viết dạng phép hội sơ cấp Để chạy ứng dụng máy tính bạn phải có nhớ tối thiểu 32MB 3.1.1.2 Lựa chọn thuật tốn để viết chƣơng trình tìm tất đƣờng hai nút ma trận liên kết Trong chương có nói đến thuật tốn tìm tất đường hai nút Thuật tốn phần 2.1.4 nói việc tìm tất đường hai nút ma trận liên kết, cịn thuật tốn phần 2.1.5 nói việc tìm tất đường hai nút ma trận liên kết lý thuyết đồ thị Hai thuật tốn có ưu nhược điểm riêng Ta sử dụng thuật toán 2.1.5 để xây dựng chương trình tìm tất đường hai nút ma trận kết nối 3.1.1.3 Phát triển hàm tìm kiếm tất đƣờng hai nút ma trận liên kết Vì đường mà tìm kiếm phải khác khơng lặp, có nghĩa chúng khác độ dài, số đỉnh đường mà khơng thứ tự đường phải khác hoàn toàn Để thực điều ta phải xác định loại tất đường như: unsigned int K [maxN [maxK] unsigned int i_line, unsigned int Leng [maxN] Tất đường lưu ma trận hai chiều K, với i_line dòng, chiều dài đường lưu ma trận Leng Các biến maxN (số lượng tối đa đường đi), maxK (kích cỡ tối đa ma trận) phải khai báo hạn chế để tiết kiệm tài nguyên nhớ chạy chương trình Hàm tìm kiếm tất đường hai nút ma trận liên kết viết ngôn ngữ C++, chi tiết thể phụ lục 1, /* function Find: Tim kiem vet can theo nguyen tac de quy tat ca cac duong di tu dinh Dau (I_ISTOK) den dinh cuoi I_STOK) */ void Find( unsigned int A[maxK][maxK], unsigned int P[maxK unsigned int L, unsigned int N, unsigned int i_istok, unsigned int i_stok, unsigned int i_end, unsigned int K[maxN][maxK], unsigned int Leng[maxN], unsigned int &i_line ); 3.1.2 Xây dựng chƣơng trình trực giao hố hàm đại số logic 3.1.2.1 Các yêu cầu chƣơng trình xác định vấn đề Tham số đầu vào chương trình hàm đại số logic thiết lập từ tập biến mà mô tả đặc điểm chức trạng thái hoạt động tốt hệ thống phức tạp Tham số đầu chương trình hàm đại số logic giảm thiểu, viết dạng trực giao trực giao khơng lặp 3.1.2.2 Phân tích lựa chọn thuật tốn trực giao hoá Ta thấy thuật toán trực giao hoá theo công thức Poresky phù hợp để viết chương trình Cơng thức Poresky sử dụng thuật toán là: K1 ˅ K2 ˅ …˅ Kj ˅ ….˅ Kn = Cơng thức viết dạng khác sau: K1 ˅ K2 ˅ …˅ Kj ˅ ….˅ Kn = = Ki biến tập biến: Ki = x1 x2 xm tính sau: = v x1 v x1 x2 v v x1 x2 x3 3.1.2.3 Thiết kế hàm chức cho thuật toán trực giao hoá /* Function Ortogonal: Truc giao hoa tat ca cac phan cua K1, ket qua luu ma tran AB, ma van giu duoc dang CTT truc giao.*/ void ortogonal( unsigned int K1[maxN][maxK], //input unsigned int i_line, unsigned int LengK1[maxN], unsigned int AB[maxN][maxK], //output unsigned int &i_line_AB, unsigned int Leng_AB[maxN] ); 3.2 Các ví dụ sử dụng hàm xây dựng Ví dụ 1: a b Hình 3.4a: Sơ đồ cấu trúc logic; 3.4b: Đồ thị liên kết tương ứng Ví dụ 2: Xét hệ thống máy chủ có cấu trúc hình 3.5: - 0: Là máy chủ (server); - 1,2,3: Là máy chủ thứ cấp mà kết nối trực tiếp với server; - 4,5: Các đường truyền; - 6,7,8: Các Bus; - 9,10, ,14: Các trạm trung chuyển; - 15,16,17: Các máy trạm (client) người sử dụng cuối 9 15 12 13 16 10 14 11 17 Hình 3.5 Đồ thị liên kết hệ thống 3.3 Phát triển chức u cầu cần thiết bổ sung cho việc tính tốn Để giải số phép toán cộng nhân ta sử dụng số quy tắc toán logic sau: - x.x = x hay x˄x = x; x+x = x hay x˅x = x; = 0, hay = 0; Nếu xi * K(xi) = K(xi) * K(xi) = 0, K(xi) phép tuyển mà có liên quan đến biến logic xi 3.4 Kết luận Chương nói đến yêu cầu để thiết lập, hướng giải xây dựng hàm chức tốn –xây dựng hệ thống tính tốn độ tin cậy khả sống sót (khả hoạt động an tồn) hệ thống Với xây dựng tính tốn độ tin cậy khả sống sót hệ thống Tuy nhiên từ bước đầu việc chuyển đổi từ sơ đồ cầu trúc logic sang ma trận liên kết không thực xác kết thu khơng xác Hướng phát triển chương trình xây dựng giao diện đồ họa để nâng cao khả tương tác người hệ thống làm việc Chương trình xây dựng đáp ứng yêu cầu toán, trình phát triển chương trình cịn nhược điểm chưa khắc phục việc sử dụng ma trận lưu trữ tất đường tìm hai nút đồ thị làm cho ma trận liên kết đầu vào phải giới hạn kích thước khơng chương trình khơng thể hoạt động xác để tiết kiệm tài nguyên nhớ chương trình (nếu kích thước ma trận liên kết lớn khoảng 23x23 chương trình chạy lâu kết xuất file out lớn - cỡ hàng Gb) 10 CHƢƠNG ĐỘ TIN CẬY VÀ KHẢ NĂNG HỆ THỐNG HOẠT ĐỘNG AN TOÀN QUA VÍ DỤ CỤ THỂ 4.1 Đặc tả hệ thống Trong chương tơi sử dụng chương trình tính tốn mơ tả chương III để tính tốn độ tin cậy khả vận hành an toàn hệ thống máy chủ mơ tả hình 4.1 đây: 15 12 13 16 10 14 11 17 Hình 4.1 Sơ đồ cấu trúc logic hệ thống Trong đó: - 0: Là máy chủ (server); - 1,2,3: Là máy chủ thứ cấp mà kết nối trực tiếp với server; - 4,5: Các đường truyền; - 6,7,8: Các Bus; - 9,10, ,14: Các trạm trung chuyển; - 15,16,17: Các máy trạm (client) người sử dụng cuối Yêu cầu đặt toán là: Tính P(t) THD, biết cường độ hỏng hóc phần tử hệ thống máy chủ sau: - i = 0.0001 (1/năm) với i = (1, 2, 3,15,16,17); - i = 0.00001 (1/năm) với i = (4,5,6,7,8); - i = 0.0001 (1/năm) với i = (9, , 14); Giả sử để người sử dụng nút 15 nhận liệu có trường hợp sau xảy ra: - Trường hợp 1: Nút 15 nhận tín hiệu từ ba máy chủ thứ cấp 1, tức nhận 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 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 11 (2) 4.2 Nghiên cứu thuật toán phát triển hàm Trường hợp 1: Sử dụng tính chất kết hợp đại số Boole: 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 Trường hợp 2: Sử dụng tính chất kết hợp đại số Boole: 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 4.3 Kết thu từ chương trình tính tốn độ tin cậy hệ thống Trường hợp 1: 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 mơ tả chi tiết phụ lục 2, ta thu kết sau trực giao hố sau: F(0=>15)= x1*x2*x3*x6*x7*x8*x15*(x9+x10*x'9) Hình 4.5 Sự phụ thuộc P(t) vào thời gian t Trường hợp 2: F= f1,15 ˅f2,15˅f3,15 Hình 4.7 Sự phụ thuộc P(t) vào thời gian t +) 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 thứ 3000 nút 15 khơng nhận tín hiệu phản hồi từ máy chủ số mà nhận tín hiệu phát từ máy chủ số máy chủ số 12 Hình 4.10 Sự phụ thuộc P(t) vào thời gian t +) Để 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 tín hiệu phản hồi máy chủ số vào thứ 3000 máy chủ số vào thứ 3500, nhận tín hiệu từ máy chủ số Hình 4.13 Sự phụ thuộc P(t) vào thời gian t 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 độ tin cậy khả sống sót hệ thống, thơng qua kết chương trình thấy kết hoàn toà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 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 13 KẾT KUẬN Kết luận Luận văn đưa phân tích 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 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 viết ngơn ngữ lập trình C++ ngơn ngữ phá biến nay, giải yêu cầu đặt toán, với tập hợp tham số đầu vào cho kết quả, kết 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 tố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 References 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ê tố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 14 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) 15 ... tốn, đánh giá độ tin cậy phần tử hệ thống Việc tính tốn xác độ tin cậy hệ thống đặc biệt quan trọng công tác bảo trì độ tin cậy thiết bị thấp nhu cầu bảo trì cao CHƢƠNG PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN. .. tính độ tin cậy hệ thống khơng có dự phịng có dự phịng hệ thống [2]) Phương pháp xây dựng mối quan hệ trực tiếp độ tin cậy hệ thống với độ tin cậy phần tử biết Sơ đồ khối độ tin cậy (Reliability... đến cố cho toàn hệ thống, sơ đồ hệ thống gặp cố tất phần tử gặp cố Độ tin cậy hệ thống: Thời gian hoạt động an toàn trung bình hệ thống là:  Xác suất làm việc khơng có cố hệ thống song song