(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống

(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống(Luận văn thạc sĩ) Nghiên cứu bài toán tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống

i ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG ĐINH ÚT ĐIỆP NGHIÊN CỨU BÀI TỐN TÍNH ĐỘ TIN CẬY CỦA HỆ THỐNG THƠNG QUA CẤU TRÚC CỦA HỆ THỐNG Chuyên ngành: KHOA HỌC MÁY TÍNH Mã số: 60 48 01 01 2014 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn/ ii LỜI CẢM ƠN Để hoàn thành chương trình cao học viết luận văn này, tơi nhận hướng dẫn, giúp đỡ góp ý nhiệt tình q thầy trường Đại học Cơng nghệ Truyền thông Thái Nguyên Trước hết, xin bày tỏ lòng biết ơn sâu sắc đến TS Lê Quang Minh hướng dẫn thực luận văn Xin bày tỏ lòng biết ơn chân thành tới thầy cô giáo, người đem lại cho tơi kiến thức bổ trợ vơ có ích năm học vừa qua Cũng xin gửi lời cám ơn chân thành tới Ban Giám hiệu, Phòng Đào tạo sau đại học, Đại học Công nghệ Truyền thông Thái Nguyên tạo điều kiện cho q trình học tập Cuối tơi xin gửi lời cám ơn đến gia đình, bạn bè, người ln bên tơi, động viên khuyến khích tơi trình thực đề tài nghiên cứu Thái Nguyên, ngày tháng năm 2014 Đinh Út Điệp iii LỜI CAM ĐOAN Tôi xin cam đoan rằng, kết nghiên cứu tơi có giúp đỡ lớn thầy hƣớng dẫn bạn bè Các nội dung nghiên cứu kết đề tài hoàn toàn trung thực Trong luận văn, tơi có tham khảo đến số tài liệu số tác giả đƣợc liệt kê phần tài liệu tham khảo cuối luận văn Học viên Đinh Út Điệp iv MỤC LỤC MỞ ĐẦU .1 CHƢƠNG 1: CƠ SỞ LÝ THUYẾT 1.1 Khái niệm độ tin cậy 1.1.1 Tổng quan 1.1.2 Định nghĩa độ tin cậy 1.1.3 Dạng chung xác suất an toàn 1.2 Chỉ số độ tin cậy hệ thống 1.2.1 Phần tử không phục hồi 1.2.2 Phần tử phục hồi 13 1.3 Phƣơng pháp tính độ tin cậy hệ thống thông qua cấu trúc hệ thống 16 1.3.1 Sơ đồ khối độ tin cậy phần tử nối tiếp 17 1.3.2 Sơ đồ khối độ tin cậy phần tử song song 19 1.4 Các biện pháp để nâng cao độ tin cậy hệ thống 21 1.5 Kết luận 22 CHƢƠNG PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN CẬY CỦA HỆ THỐNG QUA CẤU TRÚC HỆ THỐNG 23 2.1 Bài tốn tìm đƣờng đồ thị hệ thống 24 2.1.1 Thuật toán chuyển đổi sơ đồ cấu trúc logic thành sơ đồ khối 24 2.1.2 Phân loại đỉnh cạnh đồ thị liên kết 24 2.1.3 Thuật toán chuyển đổi sơ đồ cấu trúc logic sang đồ thị liên kết: 25 2.1.4 Thuật tốn tìm tất đƣờng ma trận liên kết 25 2.1.5 Thuật tốn tìm tất cảđƣờng ma trận liên kết lý thuyết đồ thị 27 2.1.6 Kêt luận 32 2.2 Bài toán tối thiểu toán tử logic 32 2.2.1 Định nghĩa phép toán đại số Boole 32 2.2.2 Các phƣơng pháp để tối thiểu hoá toán tử logic 34 v 2.3 Bài toán xác định trực giao hoá toán tử logic 35 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 36 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……… 38 2.3.3 Kết luận 39 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, VÍ DỤ CỤ THỂ 40 3.1 Thiết lập toán .40 3.1.1 Viết chƣơng trình để tìm đƣờng ma trận liên kết 40 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 46 3.3 Phát triển chức yêu cầu cần thiết bổ sung cho việc tính toán 50 3.4 Đặc tả hệ thống 59 3.5 Nghiên cứu thuật toán phát triển hàm: 62 3.6 Kết thu đƣợc từ chƣơng trình tính tốn độ tin cậy hệ thống 63 3.7 Kết luận 72 KẾT KUẬN 74 TÀI LIỆU THAM KHẢO 76 MỞ ĐẦU Lý chọn đề tài Xã hội đại ngày phát triển kéo theo đời sống ngƣời ngày lên, nhƣng bên cạnh tồn thách thức khó khăn mà sống đại mang lại Phải kể đến công bùng nổ cách mạng khoa học kỹ thuật bắt đầu tạo hệ thống 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ế Đây hệ thống có tính ứng dụng cao, tham gia vào tất lĩnh vực đời sống ngƣời Tuy nhiên, điều mà xã hội ln 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 đáng tiế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 Mà nhƣ ta biết khơng đơn hệ thống đơn giản mà hệ thống bao gồm 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 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 không đảm bảo đƣợc độ tin cậy hệ thống coi nhƣ khơng tồ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 này, phƣơng pháp tốn học dựa tính tốn ƣu tiên đánh giá thử nghiệm, phƣơng pháp đánh giá 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 tốn khó, mà để giải cần đến cơng cụ nhƣ lý 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 Đ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 bên hệ thống 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 để thực 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 ngồi 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 “Nghiên cứu tốn tính độ tin cậy hệ thống thông 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 tố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ữ 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 Hy vọng luận văn tài liệu tham khảo có ích tất bạn sinh viên, thầy cô nghiên cứu lĩnh vực Mục đích nghiên cứu Mục đích nghiên cứu đề tài nghiên cứu tốn tính độ tin cậy hệ thống thơng 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 nhƣ 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 tồ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 luận văn - Hệ thống hoá sở lý luận việc đánh giá độ tin cậy hệ thống - Xây dựng thành công phần mềm tính tốn độ tin cậy hệ 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: CHƢƠNG I KHÁI NIỆM CƠ BẢN VỀ ĐỘ TIN CẬY Đƣa số khái niệm độ tin cậy nhƣ số liên quan đến chúng Phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc nối tiếp song song CHƢƠNG II PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN CẬY CỦA HỆ THỐNG QUA CẤU TRÚC HỆ THỐNG Đƣa số toán bản, thuật toán nhƣ phƣơng pháp để giải chúng CHƢƠNG III ĐỘ TIN CẬY VÀ KHẢ NĂNG HOẠT ĐỘNG AN TOÀN CỦA HỆ THỐNG QUA VÍ DỤ CỤ THỂ Thiết lập tốn đƣ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 Đặc tả hệ thống mạng máy tính, xét trƣờng hợp xảy xây dựng hệ thống dựa hàm phát triển Chạy chƣơng trình phân tích kết đạt đƣợc 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 tố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”[10,11] Phần tử phận tạo thành hệ thống mà 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.[2-4,10,11] P(t) đƣợc định nghĩa nhƣ biểu thức sau:P(t) = P{ ≥ t} (1.1) ... đặt nhƣ 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... liên quan đến chúng Phƣơng pháp tính độ tin cậy hệ thống qua cấu trúc nối tiếp song song CHƢƠNG II PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘ TIN CẬY CỦA HỆ THỐNG QUA CẤU TRÚC HỆ THỐNG Đƣa số toán bản, thuật toán. .. 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 tồn thơng qua ví dụ cụ thể Phƣơng pháp nghiên cứu Sử