1. Trang chủ
  2. » Luận Văn - Báo Cáo

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

81 743 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 81
Dung lượng 1,44 MB

Nội dung

i Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn/ ĐẠ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 TOÁ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 ii LỜI CẢM ƠN Để hoàn thành chương trình cao học và viết luận văn này, tôi đã nhận được sự hướng dẫn, giúp đỡ và góp ý nhiệt tình của quý thầy cô trường Đại học Công nghệ và Truyền thông Thái Nguyên. Trước hết, tôi xin bày tỏ lòng biết ơn sâu sắc đến TS. Lê Quang Minh đã hướng dẫn tôi thực hiện luận văn này. Xin cùng bày tỏ lòng biết ơn chân thành tới các thầy cô giáo, người đã đem lại cho tôi những kiến thức bổ trợ vô cùng có ích trong những 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ệ và Truyền thông Thái Nguyên đã tạo điều kiện cho tôi trong quá trình học tập. Cuối cùng tôi xin gửi lời cám ơn đến gia đình, bạn bè, những người đã luôn bên tôi, động viên và khuyến khích tôi trong quá trình thực hiện đề tài nghiên cứu của mình. 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, đây là kết quả nghiên cứu của tôi trong đó có sự giúp đỡ rất lớn của thầy hƣớng dẫn và bạn bè. Các nội dung nghiên cứu và kết quả trong đề tài này hoàn toàn trung thực. Trong luận văn, tôi có tham khảo đến một số tài liệu của một số tác giả đƣợc liệt kê tại 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 6 1.1 Khái niệm cơ bản về độ tin cậy 6 1.1.1 Tổng quan 6 1.1.2 Định nghĩa về độ tin cậy 6 1.1.3 Dạng chung của xác suất an toàn 7 1.2 Chỉ số độ tin cậy của hệ thống 7 1.2.1 Phần tử không phục hồi 7 1.2.2 Phần tử phục hồi 13 1.3 Phƣơng pháp tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống 16 1.3.1 Sơ đồ khối độ tin cậy của các phần tử nối tiếp 17 1.3.2 Sơ đồ khối độ tin cậy của các phần tử song song 19 1.4 Các biện pháp để nâng cao độ tin cậy của hệ thống 21 1.5 Kết luận 22 CHƢƠNG 2. 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 toán tìm đƣờng đi trong đồ 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 các đỉnh và các cạnh của đồ 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 toán tìm tất cả các đƣờng đi trong ma trận liên kết 25 2.1.5 Thuật toán tìm tất cảđƣờng đi của ma trận liên kết trong lý thuyết đồ thị. 27 2.1.6 Kêt luận 32 2.2 Bài toán tối thiểu các toán tử logic 32 2.2.1 Định nghĩa và các phép toán trong đại số Boole 32 2.2.2 Các phƣơng pháp cơ bản để tối thiểu hoá các toán tử logic 34 v 2.3 Bài toán xác định trực giao hoá các toán tử logic 35 2.3.1 Các phƣơng pháp giảm thiểu các hàm đại số logic đối với các hình thức trực giao và 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 trong dạng chuẩn tắc tuyển………. 38 2.3.3 Kết luận 39 CHƢƠNG 3. 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 bài toán 40 3.1.1 Viết chƣơng trình để tìm các đƣờng đi trong ma trận liên kết 40 3.1.2 Xây dựng chƣơng trình trực giao hoá hàm đại số logic 43 3.2 Các ví dụ sử dụng các hàm đã xây dựng 46 3.3 Phát triển các chức năng và cá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 các hàm: 62 3.6 Kết quả thu đƣợc từ chƣơng trình tính toán độ tin cậy của hệ thống 63 3.7 Kết luận 72 KẾT KUẬN 74 TÀI LIỆU THAM KHẢO 76 1 MỞ ĐẦU 1. Lý do chọn đề tài Xã hội hiện đại ngày càng phát triển kéo theo đó là đời sống của con ngƣời ngày càng đi lên, nhƣng bên cạnh còn tồn tại những thách thức và khó khăn mà cuộc sống hiện đại mang lại. Phải kể đến công cuộc bùng nổ cách mạng khoa học kỹ thuật đã bắt đầu tạo ra các hệ thống phức tạp trong khoa học máy tính, giao thông vận tải, năng lƣợng và các ngành khác của nền kinh tế. Đây là những hệ thống có tính ứng dụng cao, tham gia vào trong tất cả các lĩnh vực của đời sống của con ngƣời. Tuy nhiên, cũng chính vì điều này mà xã hội luôn phải đối mặt với nguy cơ các thiết bị không sẵn sàng để hoạt động một cách đúng đắn, việc thao tác sai cùng với những sai lầm đáng tiếc trong quá trình thiết kế, chế tạo thiết bị, làm cho cấu trúc hệ thống bị phá vỡ, các chức năng của hệ thống hoạt động không chính xác. Mà nhƣ ta đã biết nó không đơn thuần chỉ là một hệ thống đơn giản mà là hệ thống bao gồm một số lƣợng lớn các yếu tố thành phần có cấu trúc phức tạp với các chƣơng trình điều khiển các hoạt động của nó. Thấy đƣợc quy cơ tiềm tàng đang xảy ra đối với mỗi hệ thống, ta càng hiểu rõ hơn tầm quan trọng của các vấn đề liên quan đến độ tin cậy, khả năng sống sót và việc phát triển nhanh chóng các phƣơng pháp để đảm bảo độ tin cậy cao của các hệ thống ở tất cả các giai đoạn thiết kế, thử nghiệm, sản xuất và hoạt động. Trong các hệ thống kỹ thuật hiện đại nếu không đảm bảo đƣợc độ tin cậy thì hệ thống coi nhƣ không tồn tại. Chính điều này đòi hỏi phải phát triển phƣơng pháp đặc biệt để đảm bảo, tăng cƣờng và duy trì độ tin cậy của những hệ thống này, các phƣơng pháp toán học dựa trên tính toán ƣu tiên và đánh giá thử nghiệm, phƣơng pháp đánh giá dựa trên cơ sở lý thuyết xác suất và quá trình ngẫu nhiên, đã và đang đƣợc áp dụng và đạt đƣợc những kết quả khả quan. Việc đánh giá độ tin cậy của hệ thống dựa trên cấu trúc của hệ thống, thông qua độ tin cậy của từng thành phần hệ thống là một bài toán khó, mà để giải nó cần đến các 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 là một trong những chìa khóa để phát triển công nghệ hiện đại. Phƣơng pháp đánh giá độ tin cậy của hệ thống mang tính kinh tế rất cao, nó liên quan đến sản xuất và lập trình dự toán nhƣ thế nào, chi phí bảo trì, các chi phí 2 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 sẽ đƣợc tối đa nếu độ tin cậy hệ thống đƣợc chọn theo một công thức dựa trên tính toán tuổi thọ của thiết bị, dịch vụ đời sống thực tế của thiết bị cho đến khi nó không hoạt động tốt. Điều này dẫn đến lựa chọn một cấu hình chi phí tối thiểu đáp ứng một mức độ dự phòng quy định. Ta dễ dàng thấy đƣợc độ tin cậy và khả năng hoạt động an toàn của hệ thống phụ thuộc vào cấu trúc của nó (cấu trúc logic) và độ tin cậy của các thành phần cấu thành bên trong hệ thống đó. Vì vậy, đối với các hệ thống phức tạp, có hai cách để tăng độ tin cậy: tăng độ tin cậy của các yếu tố thành phần và thay đổi chƣơng trình. Trong hai cách ở trên thì nâng cao độ tin cậy của các yếu tố thành phần là phƣơng pháp đơn giản nhất để tăng độ tin cậy của hệ thống và để thực hiện ngƣời ta đã sử dụng một kỹ thuật rất phổ biến và đơn giản đó là bổ sung các yếu tố dƣ thừa, hay còn gọi là hệ thống có dự phòng. Tuy nhiên không phải lúc nào cũng xây dựng đƣợc hệ thống có dự phòng. Thật vậy, ngày nay nhờ sự phát triển của khoa học kỹ thuật mà chất lƣợng các thành phần đã đƣợc nâng cao đáng kể dẫn đến chất lƣợng của cả hệ thống cũng đƣợc nâng cao. Việc xem xét làm thế nào để đảm bảo độ tin cậy của các yếu tố kỹ thuật của hệ thống còn tùy thuộc vào khoa học công nghệ, vật lý và hóa học đặc biệt, và vƣợt ra ngoài phạm vi của lý thuyết độ tin cậy sẽ đề cập trong luận văn này. Việc đảm bảo độ tin cậy cũng nhƣ hoạt động an toàn cho các hệ thống đã trở thành một vấn đề đƣợc cả thế giới quan tâm và bàn luận, nhƣng đó vẫn là vấn đề còn mới mẻ ở Việt Nam. Tôi đã chọn đề tài “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” để nghiên cứu. Thông qua luận văn này tôi muốn tập trung đi sâu vào nghiên cứu cơ sở lý thuyết cũng nhƣ các thông số cơ bản ảnh hƣởng đến độ tin cậy của hệ thống, phát triển các thuật toán và xây dựng chƣơng trình để tính toán đƣợc độ tin cậy của hệ thống đơn giản. Bƣớc đầu tiên là nghiên cứu thuật toán chuyển từ sơ đồ cấu trúc logic của hệ thống sang sơ đồ khối, sau đó sử dụng đồ thị và ma trận liên kết lƣu trữ các kết quả trung gian làm cơ sở để tính toán, các thuật toán tối thiểu hàm logic, thuật toán trực giao hoá các toán tử logic và chuyển từ mô hình logic sang mô hình đại số để tính các giá trị xác suất có liên quan. Và để chứng minh hệ thống đã xây dựng hoạt động đúng đắn tôi sẽ đi xét ví dụ về một hệ thống máy chủ, từ đó đƣa ra các kết quả để chứng minh lập luận của mình. 3 Hy vọng luận văn sẽ là một tài liệu tham khảo có ích đối với tất cả các bạn sinh viên, các thầy cô khi nghiên cứu về lĩnh vực này. 2. Mục đích nghiên cứu Mục đích nghiên cứu của đề tài là nghiên cứu các bài toán tính độ tin cậy của hệ thống thông qua cấu trúc hệ thống và xây dựng thành công phần mềm đánh giá độ tin cậy của hệ thống. Khi biết đƣợc độ tin cậy của hệ thống chúng ta có thể 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ác sự cố lỗi có thể gây ra. 3. 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 của hệ thống có sử dụng phƣơng pháp đánh giá độ tin cậy một cách đúng đắn sẽ là cơ sở, nền tảng cho sự ra đời của các phần mềm đánh giá độ tin cậy của các hệ thống phức tạp sau này. 4. Nhiệm vụ nghiên cứu Xuất phát từ mục đích trên, nhiệm vụ của đề tài đặt ra nhƣ sau: - Nghiên cứu các khái niệm liên quan đến độ tin cậy của 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 của hệ thống qua cấu trúc hệ thố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. - Sử dụng chƣơng trình tính độ tin cậy đã xây dựng để tính độ tin cậy và khả năng hệ thống hoạt động an toàn thông qua ví dụ cụ thể. 5. Phƣơng pháp nghiên cứu Sử dụng phối hợp các 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 các tài liệu có liên quan đến độ tin cậy của hệ thống cũng nhƣ các phƣơng pháp tính, đánh giá độ tin cậy của 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ý các kết quảvà xây dựng đồ thị trực quan. 6. Đóng góp của luận văn 4 - Hệ thống hoá cơ sở lý luận của việc đánh giá độ tin cậy của hệ thống. - Xây dựng thành công phần mềm tính toán độ tin cậy của hệ thống, là cơ sở, nền tảng cho việc nghiên cứu và xây dựng các phần mềm tính toán độ tin cậy cho các hệ thống phức tạp và tinh vi hơn về sau. 7. Cấu trúc luận văn Ngoài phần mở đầu và kết luận, luận văn gồm có 3 chƣơng: CHƢƠNG I. KHÁI NIỆM CƠ BẢN VỀ ĐỘ TIN CẬY Đƣa ra một số khái niệm cơ bản về độ tin cậy cũng nhƣ các chỉ số liên quan đến chúng. Phƣơng pháp tính độ tin cậy của hệ thống qua cấu trúc nối tiếp và 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 ra một số bài toán cơ bản, các thuật toán cũng nhƣ các phƣơng pháp để giải quyết 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 bài toán và đƣa ra các hàm chức năng cần thiết để xây dựng và giải quyết bài toán đánh giá độ tin cậy của hệ thống mạng máy tính. Đặc tả hệ thống mạng máy tính, xét các trƣờng hợp cơ bản có thể xảy ra và xây dựng hệ thống dựa trên những hàm đã phát triển. Chạy chƣơng trình và phân tích các kết quả đạt đƣợc. 5 CHƢƠNG 1: CƠ SỞ LÝ THUYẾT 1.1 Khái niệm cơ bản về độ tin cậy 1.1.1 Tổng quan Độ tin cậy là đặc tính then chốt trong sự phát triển kỹ thuật, đặc biệt là khi xuất hiện những hệ thống phức tạp nhằm hoàn thành những chức năng quan trọng trong các lĩnh vực công nghiệp khác nhau. Định lƣợng độ tin cậy của phần tử hoặc của cả hệ thống đƣợc đánh giá bằng cách phân tích, tính toán các chỉ số của độ tin cậy, dựa trên hai yếu tố cơ bản là: Tính làm việc an toàn và tính sửa chữa đƣợc. Quan niệm về hệ thống, thiết bị kỹ thuật theo cách nhìn của độ tin cậy sẽ làm cơ sở cho việc tính toán các chỉ số của độ tin cậy cho các hệ thống với các mức độ và phƣơng pháp dự phòng khác nhau. “Hệ thống là một tập hợp gồm nhiều phần tử tương tác, có các mối quan hệ ràng buộc lẫn nhau và cùng hoạt động hướng tới một mục tiêu chung thông qua chấp thuận các đầu vào, biến đổi có tổ chức để tạo kết quả đầu ra”. Hay “Hệ thống là một tập hợp gồm nhiều phần tử có các mối quan hệ ràng buộc tương tác lẫn nhau để thực hiện một mục đích chung”[6]. “Hệ thống thông tin là một tập hợp và kết hợp của các phần cứng, phần mềm và các hệ mạng truyền thông đƣợc xây dựng và sử dụng để thu thập, tạo, tái tạo, phân phối và chia sẻ các dữ liệu, thông tin và tri thức nhằm phục vụ các mục tiêu của tổ chức”[10,11]. Phần tử là một bộ phận tạo thành hệ thống mà trong quá trình nghiên cứu độ tin cậy nhất định nó đƣợc xem nhƣ là một 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, hoặc xác định dựa trên những số liệu thống kê. Phần tử ở đây có thể hiểu theo một cách rộng rãi hơn, bản thân phần tử cũng có thể có cấu trúc phức tạp, nếu xét riêng nó là một hệ thống. 1.1.2 Định nghĩa về độ tin cậy Độ tin cậy P(t) của phần tử hoặc của hệ thống là xác suất để trong suốt khoảng thời gian khảo sát t phần tử đó hoặc hệ thống đó vận hành an toàn.[2-4,10,11] P(t) đƣợc định nghĩa nhƣ biểu thức sau:P(t) = P{ ≥ t} (1.1) [...]... - Tin cậy trong khoảng 0 đến t 16 Giả thiết hai sự kiện này độc lập với nhau, ta có:R(t) = A.P(t) (1.22) Theo luật phân bố mũ: Trong đó: là hệ số sẵn sàng 1.3 Phƣơng pháp tính độ tin cậy của hệ thống thông qua cấu trúc của hệ thống Cấu trúc của một hệ thống dù phức tạp đến đâu thì cũng chỉ quy về 2 dạng là cấu trúc nối tiếp hoặc cấu trúc song song [4] Phƣơng pháp tính độ tin cậy của hệ thống qua cấu. .. tử bán dẫn Nhiệm vụ tính toán độ tin cậy của một hệ thống sẽ là việc xác định các chỉ số độ tin cậy của nó nếu nhƣ đã biết các chỉ số độ tin cậy của các phần tử riêng biệt và cấu trúc của hệ thống, tức là đặc tính liên hệ giữa các phần tử theo cách nhìn của độ tin cậy Cấu trúc đơn giản hơn cả là cấu trúc không có dự phòng của một hệ thống đƣợc tạo nên bởi n phần tử, mỗi trở ngại của một phần tử riêng... qua cấu trúc nối tiếp và song song hay còn đƣợc biết đến với tên gọi khác là: Phƣơng pháp tính độ tin cậy của hệ thống không có dự phòng và có dự phòng của hệ thống [2] Phƣơng pháp này xây dựng mối quan hệ trực tiếp giữa độ tin cậy của hệ thống với độ tin cậy của các phần tử đã biết Sơ đồ khối độ tin cậy (Reliability Block Diagrams - RBD) của hệ thống đƣợc xây dựng trên cơ sở phân tích ảnh hƣởng của hỏng... gian hoạt động an toàn trung bình của hệ thống là: Vì Trong đó với i = 1/ i và i chạy tử 1 đến n nên: gọi là cƣờng độ phục hồi của hệ thống Hệ số sẵn sàng của hệ thống: Hàm tin cậy của toàn hệ thống: Ví dụ: Một máy bay có 2 động cơ hoạt động độc lập Ít nhất một động cơ phải hoạt động bình thƣờng để máy bay vẫn bay Độ tin cậy của động cơ 1 và động cơ 2 lần lƣợt là 0.99 và 0.97 Tính xác suất của các chuyến... của toàn hệ thống trƣớc hết cần thiết kế đảm bảo độ tin cậy riêng cho các thành phần trong hệ thống Độ tin cậy của sản phẩm phải đƣợc thể hiện bằng khả năng sản phẩm hoạt động hoàn hảo trong thời gian xác định cụ thể Các công thức phân phối xác suất đƣợc sử dụng để tính toán, đánh giá độ tin cậy của từng phần tử cũng nhƣ của cả hệ thống Việc tính toán chính xác độ tin cậy của hệ thống đặc biệt quan trọng... bảo trì độ tin cậy của thiết bị càng thấp thì nhu cầu bảo trì càng cao 23 CHƢƠNG 2 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ị và các ma trận liên kết để tính toán độ tin cậy của hệ thống, chẳng hạn nhƣ xác suất để hệ thống làm việc an toàn trong thời gian t là P(t); xác suất hệ thống gặp sự cố Q(t); hàm mật độ phân phối xác suất q(t), Tuy nhiên các hệ thống ngày... bình i của các phần tử Vì các phần tử nối tiếp trong sơ đồ tin cậy nên hệ thống chỉ hoạt động an toàn khi tất cả n phần tử đều hoạt động tốt, giả thiết các phần tử độc lập nhau Độ tin cậy của hệ thống [2] là: Trong đó: Pi(t) là xác suất hoạt động tốt (trạng thái tốt) của phần tử thứ i 18 Các phần tử của hệ thống có độ tin cậy tuân theo quy luật hàm số mũ: P(t)= , và đã biết cƣờng độ hỏng hóc của chúng... thống ngày nay càng ngày càng phức tạp nên việc tính toán độ tin cậy của chúng “bằng tay” tốn rất nhiều thời gian, công sức cũng nhƣ độ chính xác không cao Vì vậy việc tạo ra các phần mềm dùng để tính toán các chỉ số độ tin cậy cho hệ thống ngày càng đƣợc nhiều ngƣời quan tâm hơn Quy trình để xây dựng phần mềm tính toán các chỉ 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] nhƣng... cấu trúc logic của hệ thống cho ta một hình ảnh trực quan về cấu trúc hệ thống và sẽ là điều kiện tiên đề để có thể phân tích và đánh giá độ tin cậy của hệ thống a Các quy tắc biến đổi cấu trúc logic thành bảng chứa các giá trị tƣơng đƣơng: - Các phần tử của một cấu trúc logic (hay còn gọi là các đỉnh), các nút trung gian có một nút khởi đầu và kết thúc (đầu vào và đầu ra) - Mỗi phần tử của cấu trúc. .. thời gian t khảo sát Giả thiết độ tin cậy tuân theo quy luật hàm số mũ: Thì ta có xác suất sự cố của toàn hệ thống [7] là: 20 Độ tin cậy của hệ thống: So sánh công thức 1.35 này với công thức 1.24 ở trên ta thấy rõ ràng xác suất làm việc không có sự cố của hệ thống song song luôn cao hơn xác suất làm việc không có sự cố của hệ thống nối tiếp Cƣờng độ hỏng hóc của hệ thống: Nếu n phần tử hoàn toàn nhƣ . độ tin cậy của hệ thống qua cấu trúc hệ thố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. - Sử dụng chƣơng trình tính độ tin cậy đã xây dựng để tính độ. 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 để nghiên cứu. Thông qua luận văn này tôi muốn tập trung đi sâu vào nghiên cứu cơ sở lý thuyết cũng nhƣ các thông. thầy cô khi nghiên cứu về lĩnh vực này. 2. Mục đích nghiên cứu Mục đích nghiên cứu của đề tài là nghiên cứu các bài toán tính độ tin cậy của hệ thống thông qua cấu trúc hệ thống và xây dựng

Ngày đăng: 22/10/2014, 23:58

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiế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 và thống kê toán, Nhà xuất bản Đại học Sƣ phạm, Hà Nội, tr16, 31 Sách, tạp chí
Tiêu đề: Nhập môn lý thuyết xác suất và thống kê toán
Tác giả: Trần Diên Hiển, Vũ Viết Yên
Nhà XB: Nhà xuất bản Đại học Sƣ phạm
Năm: 2005
[2]. Ts. Nguyễn Duy Việt (4/2011), “Tính độ tin cậy của hệ thống không phục hồi”, tạp chí Khoa học Giao thông Vận tải, tr2-4 Sách, tạp chí
Tiêu đề: Tính độ tin cậy của hệ thống không phục hồi
[3]. Nguyễn Duy Việt (8/2009), “Độ tin cậy của hệ thống điều khiển tín hiệu”, Tạp chí Giao thông vận tải, tr5-7 Sách, tạp chí
Tiêu đề: Độ tin cậy của hệ thống điều khiển tín hiệu
[4]. Nguyễn Duy Việt (11/2002), “Các chỉ số an toàn của hệ thống điều khiển từ xa trong đường sắt”, Tạp chí Khoa học Giao thông Vận tải, tr.3-5 Sách, tạp chí
Tiêu đề: Các chỉ số an toàn của hệ thống điều khiển từ xa trong đường sắt
[5]. Đỗ Đức Giáo (2008), Toán rời rạc, Nhà xuất bản Đại học Quốc gia Hà Nội, tr.492-495, 496-498 Sách, tạp chí
Tiêu đề: Toán rời rạc
Tác giả: Đỗ Đức Giáo
Nhà XB: Nhà xuất bản Đại học Quốc gia Hà Nội
Năm: 2008
[6]. TS. Phạm Thị Thanh Hồng, ThS. Phạm Minh Tuấn (2006), Hệ thống thông tin quản lý, Nhà xuất bản Khoa học và kỹ thuật Hà Nội, tr.23, 24.Tiếng Anh Sách, tạp chí
Tiêu đề: Hệ thống thông tin quản lý
Tác giả: TS. Phạm Thị Thanh Hồng, ThS. Phạm Minh Tuấn
Nhà XB: Nhà xuất bản Khoa học và kỹ thuật Hà Nội
Năm: 2006
[7]. Carlo Kopp (1996), System Reliability and metrics of Reliability, Peter Harding & Associates Pty Ltd, pp.5-7, 8,9 Sách, tạp chí
Tiêu đề: System Reliability and metrics of Reliability
Tác giả: Carlo Kopp
Năm: 1996
[8]. Mahesh Pandey, Mikko Jyrkama (2008), System Reliability Analysis,University of Waterloo, pp.2-5, 23.Tiếng Nga Sách, tạp chí
Tiêu đề: System Reliability Analysis
Tác giả: Mahesh Pandey, Mikko Jyrkama
Năm: 2008
[9]. LeQuangMinh (2007), “Анализ методов обеспечения отказоустойчивости и живучести вычислительных систем”, Естественные науки и технологии- №5.(Phântíchcácphươngphápbảo đảm độtincậyvà độhoạt độngcủahệthốngtínhtoán, Tạpchí “Khoahọctựnhiênvà côngnghệ”, số 5 – 2007) Sách, tạp chí
Tiêu đề: Анализ методов обеспечения отказоустойчивости и живучести вычислительных систем”, Естественные науки и технологии- №5. (Phântíchcácphươngphápbảo đảm độtincậyvà độhoạt độngcủahệthốngtínhtoán, Tạpchí “Khoahọctựnhiênvà côngnghệ
Tác giả: LeQuangMinh
Năm: 2007

HÌNH ẢNH LIÊN QUAN

Hình 1.1: Biểu diễn hàm mật độ phân phối xác suất - 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
Hình 1.1 Biểu diễn hàm mật độ phân phối xác suất (Trang 12)
Hình 1.2[1]: Biểu diễn độ tin cậy của phần  tử - 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
Hình 1.2 [1]: Biểu diễn độ tin cậy của phần tử (Trang 13)
Hình 1.3: Biểu diễn cường độ hỏng hóc - 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
Hình 1.3 Biểu diễn cường độ hỏng hóc (Trang 15)
Hình 1.5: Một kịch bản phát hiện lỗi và sửa lỗi  c. Khả năng sẵn sàng hoạt động A (Availability) - 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
Hình 1.5 Một kịch bản phát hiện lỗi và sửa lỗi c. Khả năng sẵn sàng hoạt động A (Availability) (Trang 19)
1.3.1  Sơ đồ khối độ tin cậy của các phần tử nối tiếp - 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
1.3.1 Sơ đồ khối độ tin cậy của các phần tử nối tiếp (Trang 21)
1.3.2  Sơ đồ khối độ tin cậy của các phần tử song song - 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
1.3.2 Sơ đồ khối độ tin cậy của các phần tử song song (Trang 23)
Hình 2.1 Sơ đồ khối - 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
Hình 2.1 Sơ đồ khối (Trang 32)
Hình 2.2a : Đồ thị vô hướng - 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
Hình 2.2a Đồ thị vô hướng (Trang 33)
Hình 2.2b: Đồ thị có hướng - 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
Hình 2.2b Đồ thị có hướng (Trang 33)
Hình 3.1: Sơ đồ mô phỏng chương trình tìm tất cả các đường đi - 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
Hình 3.1 Sơ đồ mô phỏng chương trình tìm tất cả các đường đi (Trang 44)
Hình 3.2: Mô hình hàm tìm kiếm tất cả các đường đi trong ma trận liên kết. - 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
Hình 3.2 Mô hình hàm tìm kiếm tất cả các đường đi trong ma trận liên kết (Trang 46)
Hình 3.4a: Sơ đồ cấu trúc logic; 3.4b: Đồ thị liên kết tương ứng - 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
Hình 3.4a Sơ đồ cấu trúc logic; 3.4b: Đồ thị liên kết tương ứng (Trang 50)
Hình 3.5 Đồ thị liên kết hệ thống  Ma trận tương ứng với đồ thị liên kết trên là: - 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
Hình 3.5 Đồ thị liên kết hệ thống Ma trận tương ứng với đồ thị liên kết trên là: (Trang 52)
Hình 3.6 Đồ thị liên kết của hệ thống - 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
Hình 3.6 Đồ thị liên kết của hệ thống (Trang 65)
Hình 3.8 Bảng các giá trị xác suất P(t) và Q(t) - 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
Hình 3.8 Bảng các giá trị xác suất P(t) và Q(t) (Trang 69)
Sơ đồ ở hình 3.9 thể hiện sự liên quan giữa P(t) và thời gian t: - 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
h ình 3.9 thể hiện sự liên quan giữa P(t) và thời gian t: (Trang 70)
Hình 3.10 Bảng các giá trị xác suất P(t), P 12 (t) và giá trị thiệt hại của hệ thống khi máy  số 3 bị hỏng - 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
Hình 3.10 Bảng các giá trị xác suất P(t), P 12 (t) và giá trị thiệt hại của hệ thống khi máy số 3 bị hỏng (Trang 71)
Hình 3.10 thể hiện các giá trị xác suất của hệ thống và phần trăm giá trị thiệt hại  của hệ thống khi máy chủ số 3 bị hỏng: - 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
Hình 3.10 thể hiện các giá trị xác suất của hệ thống và phần trăm giá trị thiệt hại của hệ thống khi máy chủ số 3 bị hỏng: (Trang 71)
Hình 3.11 Sự phụ thuộc của P(t) và P 12 (t) vào thời gian t - 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
Hình 3.11 Sự phụ thuộc của P(t) và P 12 (t) vào thời gian t (Trang 72)
Hình 3.14 Sự phụ thuộc của P(t), P 12 (t), P 2 (t) vào thời gian t - 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
Hình 3.14 Sự phụ thuộc của P(t), P 12 (t), P 2 (t) vào thời gian t (Trang 74)
Hình 3.13 Bảng các giá trị xác suất P(t), P 12 (t), P 2 (t) và giá trị thiệt hại của hệ thống  khi máy số 3 và máy số 1 bị hỏng - 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
Hình 3.13 Bảng các giá trị xác suất P(t), P 12 (t), P 2 (t) và giá trị thiệt hại của hệ thống khi máy số 3 và máy số 1 bị hỏng (Trang 74)
Hình 3.15 Sự phụ thuộc P(t) vào thời gian t - 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
Hình 3.15 Sự phụ thuộc P(t) vào thời gian t (Trang 75)

TRÍCH ĐOẠN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w