Hệ thống đáng tin cậy tính
Quy định công huống hạ, hệ thống hoàn thành quy định công năng năng lực
Triển khai2 cái cùng tên mục từ
Hệ thống đáng tin cậy tính giống nhau là chỉ ở quy định thời gian nội cùng quy định công huống hạ, hệ thống hoàn thành quy định công năng năng lực / xác suất. Bởi vì khoa học kỹ thuật tiến bộ, hệ thống tạo thành càng ngày càng phức tạp, tùy theo sinh ra hệ thống đáng tin cậy tính vấn đề cũng ngày càng xông ra. Hệ thống càng phức tạp, ý nghĩa này chịu tải tin tức lượng càng lớn, tầm quan trọng càng cao, công năng càng cường, áp dụng phạm vi cũng liền càng quảng, một khi mất đi hiệu lực sở tạo thành tổn thất cũng là thật lớn, thậm chí là tai nạn tính. Như thế nào nhanh chóng, hữu hiệu, chuẩn xác mà đối hệ thống đáng tin cậy tính tiến hành đánh giá cùng phân tích, chính xác phỏng chừng hệ thống thực tế tính năng, giảm bớt hệ thống nguy hiểm là có cực kỳ quan trọng hiện thực ý nghĩa.
- Tiếng Trung danh
- Hệ thống đáng tin cậy tính
- Ngoại văn danh
- system reliability
- Phân loại
- Toán học vật lý học
- Dùng đồ
- Đáng tin cậy tính công trình
- Công thức
- Năng lực / xác suất
- Ý nghĩa
- Giảm bớt hệ thống nguy hiểm
Trong thế giới hiện thực hệ thống là phổ biến tồn tại, tỷ như chuyên chở hệ thống, sinh vật hệ thống, điện lực hệ thống, máy tính hệ thống, giáo dục hệ thống chờ. Căn cứ hệ thống trung tổ phân số lượng cùng với tổ phân trồng xen kẽ dùng quan hệ mạnh yếu, giống nhau nhưng đem hệ thống phân chia vì đơn giản hệ thống cùng phức tạp hệ thống. Đơn giản hệ thống trung nguyên tố số lượng ít, nguyên tố chi gian ngẫu hợp quan hệ mỏng manh, điển lót cục chân bà hình đơn giản hệ thống như xâu chuỗi hệ thống, song song hệ thống, hỗn liên hệ thống chờ; mà phức tạp hệ thống trung bộ kiện số lượng so nhiều thả bộ kiện gian tồn tại rắc rối phức tạp ngẫu hợp tác dụng quan bá bảng hệ, như cùng hậu cay hàng rào điện hệ thống, phức tạp cơ điện nhất thể hóa hệ thống chờ. Từ trực quan thị giác tới xem, phức tạp hệ thống lại có thể phân chia vì phức tạp internet hệ thống cùng nhưng dùng internet miêu tả phức tạp hệ thống tưởng chiến táo, trong đó phức tạp internet hệ thống là chỉ này phần ngoài bày biện ra điển hình internet hình dạng, tỷ như hàng rào điện hệ thống hi mới,Chuyên chở võngChờ; nhưng dùng võng bếp hung lê lạc miêu tả thiêm mới phức tạp hệ thống còn lại là chỉ này hệ thống phần ngoài vô lộ rõ internet đặc tính, nhưng này bên trong kết cấu lại có rõ ràng internet đặc tính, tỷ như, cơ điện nhất thể hóa phức tạp hệ thống chờ. Hệ hạ hồng bối thống đáng tin cậy tính phân tích vẫn luôn là đáng tin cậy tính công trình nghiên cứu trung điểm mấu chốt cùng chỗ khó.
Hệ thống đáng tin cậy tính giống nhau là chỉ ở quy định thời gian nội cùng quy định công huống hạ, hệ thống hoàn thành quy định công năng năng lực / xác suất. Bởi vì khoa học kỹ thuật tiến bộ, hệ thống tạo thành càng ngày càng phức tạp, tùy theo sinh ra hệ thống đáng tin cậy tính vấn đề cũng ngày càng xông ra. Hệ thống càng phức tạp, ý nghĩa này chịu tải tin tức lượng càng lớn, tầm quan trọng càng cao, công năng càng cường, áp dụng phạm vi cũng liền càng quảng, một khi mất đi hiệu lực sở tạo thành tổn thất cũng là thật lớn, thậm chí là tai nạn tính. Như thế nào nhanh chóng, hữu hiệu, chuẩn xác mà đối hệ thống đáng tin cậy tính tiến hành đánh giá cùng phân tích, chính xác phỏng chừng hệ thống thực tế tính năng, giảm bớt hệ thống nguy hiểm là có cực kỳ quan trọng hiện thực ý nghĩa[1].
Phân tích pháp thông thường này đây bộ kiện đáng tin cậy tính thuộc tính làm cơ sở, liệt kê hệ thống khả năng trục trặc trạng thái, phân tích hệ thống trục trặc trạng thái hạ các bộ kiện hành vi đặc thù, tiến tới tính toán hệ thống đáng tin cậy tính chỉ tiêu phân tích hệ thống đáng tin cậy tính. Phân tích pháp nhân này nguyên lý đơn giản, tính toán tốc độ mau chờ ưu thế, rộng khắp ứng dụng với quy mô nhỏ hệ thống hoặc đơn giản hệ thống đáng tin cậy tính đánh giá. Nhưng phân tích pháp ứng dụng ở phức tạp hệ thống trung tồn tại dưới khuyết tật: Đương phân tích pháp yêu cầu phân tích hệ thống không gian trạng thái số tùy bộ kiện cái số trình chỉ số quy luật tăng trưởng khi, tính toán quá trình quá mức phức tạp; tiềm tàng giả thiết cho rằng bộ kiện cùng bộ kiện chi gian lẫn nhau độc lập, cùng phức tạp hệ thống bộ kiện ngẫu hợp quan hệ phức tạp tương mâu thuẫn.
Căn cứ vào FTA hệ thống đáng tin cậy tính phân tích phương pháp
FTA là đáng tin cậy tính phân tích trung nhất thường dùng phương pháp chi nhất. Nó lấy trục trặc hình thức làm cơ sở, tự đỉnh xuống phía dưới phân tích hệ thống đáng tin cậy tính, tức đầu tiên xác định hệ thống tầng trục trặc hình thức, theo thứ tự tra tìm khiến cho thượng một tầng trục trặc toàn bộ khả năng trục trặc, thẳng đến tìm ra tạo thành hệ thống trục trặc toàn bộ cơ bản việc gì vậy kiện mới thôi. Bất luận cái gìĐơn điệu liên hệ hệ thốngĐáng tin cậy tính đều có thể dùng này nhỏ nhất cắt tập tổ hợp đáng tin cậy tính tới tỏ vẻ, bởi vậy, đối với bộ kiện ít, liên hệ quan hệ đơn giản hệ thống, này hệ thống đáng tin cậy tính phân tích nhưng chuyển hóa vì cầu giải nhỏ nhất cắt tập vấn đề. Mà đối với bộ kiện số lượng so nhiều, bộ kiện gian ngẫu hợp quan hệ phức tạp hệ thống, trực tiếp ứng dụng FTA tồn tại dưới vấn đề: Nhỏ nhất cắt tập như thế nào cầu giải, như thế nào xây dựng kết cấu hàm số, hệ thống trung bộ kiện chi gian quan hệ như thế nào miêu tả chờ. Nhằm vào phức tạp hệ thống FTA thành lập trục trặc thụ thường thường là trạng thái tĩnh, nhưng thực tế cấu thành hệ thống bộ kiện trục trặc có động thái tính, bởi vậy động thái trục trặc thụ DFTA đúng thời cơ mà sinh, dẫn vào trục trặc thụ kết cấu cùng trạng thái dời đi động thái đặc tính, định nghĩa tiêu chuẩn động thái đặc tính tân logic loại hình, thành lập động thái trục trặc thụ, tiến hành bộ phận tương quan bộ kiện hệ thống đáng tin cậy tính nghiên cứu, do đó hoàn thiện hệ thống đáng tin cậy tính mô hình miêu tả năng lực, thực hiện càng vì chuẩn xác logic xử lý quá trình.
Trạng thái không gian pháp thông thường lấy đáng tin cậy tính công trình trung Marco phu mô hình làm cơ sở, phân tích hệ thống trạng thái biến hóa quá trình, xây dựngTrạng thái dời đi phương trình,Thống kê phân tích hệ thống đáng tin cậy tính chỉ tiêu. Trạng thái không gian pháp áp dụng với trạng thái không gian số lượng ít hệ thống, nhưng theo thứ tự cái cử hệ thống sở hữu trạng thái, phân tích hệ thống đáng tin cậy tính. Nhưng là, trong hiện thực hệ thống trạng thái không gian số lượng thường thường thật lớn, bởi vậy ở đoản thời kỳ nội, đối nhiều trạng thái hệ thống lợi dụng Marco phu mô hình tiến hành đáng tin cậy tính phân tích. GENERATE thuật toán có thể sinh ra hệ thống thực tế vận hành khi nhất khả năng xuất hiện trạng thái, do đó giảm bớt hệ thống trạng thái không gian số lượng. Lấy hệ thống trạng thái xác suất không tăng thứ tự sinh thành hệ thống lớn nhất xác suất giá trị hữu hiệu trạng thái, tu chỉnh GENERATE thuật toán, hạ thấp hệ thống trạng thái không gian số lượng. Marco phu mô hình trung giả thiết bộ kiện trạng thái chỉ có bình thường cùng trục trặc hai loại, nhưng trên thực tế bộ kiện trạng thái lại có bao nhiêu loại, tỷ như bình thường, trục trặc, duy tu chờ, hơn nữa bộ kiện trục trặc suất, chữa trị suất chờ tham số thu hoạch cũng có nhất định khó khăn. Lợi dụng kém phân tầm quan trọng suy đoán, phỏng chừng nhiều trạng thái bộ kiện tham số giá trị. Đem mơ hồ lý luận cùng Marco phu mô hình tương kết hợp, tính toán mô hình trung bộ kiện trục trặc suất cùng chữa trị suất. Kết hợp Taylor triển khai thức, thành lậpMarco phu liênSinh thành Ma trận đàn nghịch hàm số, lợi dụng nghịch hàm số tính toán hệ thống đáng tin cậy tínhXác suất mật độ hàm số.Ở lấy Marco phu mô hình làm cơ sở hệ thống đáng tin cậy tính nghiên cứu trung nhiều lấy trạng thái dời đi hàm số phục tùng chỉ số phân bố vì giả thiết tiền đề, mà công trình thực tế trung dự phòng tính kiểm tu khoảng cách thời gian chờ đều vì phi chỉ số phân bố. Vì khắc phục kể trên vấn đề, nửa Marco phu mô hình bị đưa ra. Nửa Marco phu mô hình là một cái tùy thời gian mà biến hóa một duy liên tục tham số tùy cơ quá trình, thả không cần đối trạng thái dời đi hàm số làm chỉ số phân bố giả thiết. Nửa Marco phu mô hình không có Marco phu tính, này tương lai trạng thái quyết định bởi với hiện tại trạng thái cùng ở nên trạng thái dừng lại thời gian.
Căn cứ vào GO pháp hệ thống đáng tin cậy tính phân tích phương pháp
GO pháp này đây công năng lưu vì hướng phát triển, đem hệ thống nguyên lý đồ hoặc công trình đồ ấn nhất định quy tắc chuyển hóa trở thành GO đồ, tiến tới định tính hoặc định lượng phân tích hệ thống đáng tin cậy tính phương pháp. Cùng FTA bất đồng, GO pháp chủ yếu phản ánh chính là hệ thống trình tự thao tác quá trình cập bộ kiện chi gian công năng tác dụng quan hệ, mà FTA tắc phản ánh tạo thành hệ thống trục trặc các loại nguyên nhân và logic quan hệ. Trước mắt, GO pháp và cải tiến thuật toán đã rộng khắp ứng dụng với các loại hình hệ thống đáng tin cậy tính phân tích trung, dùng GO pháp thay thế tính toán phức tạp tổ hợp đáng tin cậy tính liên hợp xác suất, hạ thấp máy tính biên trình thực hiện khó khăn. Đem ngắn nhất đường nhỏ tập cùng GO pháp tướng kết hợp, khiến cho GO pháp lợi dụng máy tính biên trình thực hiện khó khăn tiến thêm một bước hạ thấp. Đem GO pháp ứng dụng với cung ứng liên hệ thống đáng tin cậy tính phân tích trung, đem hệ thống đáng tin cậy tính tính toán vấn đề thay đổi vì cầu đối ứng chờ hiệu tiết điểm đáng tin cậy tính vấn đề. Lợi dụng GO pháp đối tồn tại cộng nhân mất đi hiệu lực nhiều giai đoạn nhiệm vụ hệ thống tiến hành đáng tin cậy tính kiến mô phân tích. Năm gần đây, GO pháp rộng khắp ứng dụng ở cung cấp điện hệ thống, ô tô phanh lại hệ thống, năng lượng hạt nhân hệ thống chờ cơ điện nhất thể hóa phức tạp hệ thống đáng tin cậy tính phân tích trung, cũng lấy được nhất định thành quả. Ở GO pháp cơ sở thượng, một loại áp dụng với thời gian danh sách vấn đề cùng nhiều trạng thái hệ thống giai đoạn nhiệm vụ vấn đề GO-FLOW phương pháp bị đưa ra dùng cho phân tích hệ thống đáng tin cậy tính.
Mông đặc Carlo phápLại xưng là bắt chước pháp, nó lấy xác suất thống kê lý luận làm cơ sở, mượn dùng với hệ thống xác suất mô hình cùng tùy cơ lượng biến đổi mô phỏng sinh ra một ít toán học cùng kỹ thuật vấn đề tới giải quyết hệ thống đáng tin cậy tính vấn đề. Mông đặc Carlo mô phỏng kỹ thuật bị cho rằng ở đại hình phức tạp internet hệ thống đáng tin cậy tính đánh giá trung khởi đến quan trọng tác dụng. Lấy mạng lưới thần kinh làm cơ sở, kết hợp mông đặc Carlo mô phỏng nghiên cứu đại hình kết cấu hệ thống đáng tin cậy tính. Vì đề cao số liệu thống kê hiệu suất cùng thu liễm tính, hạ thấp tính toán phức tạp độ, căn cứ vào giao nhau entropy mông đặc Carlo mô phỏng bị đưa ra. Nên phương pháp cơ bản tư tưởng là thu thập mẫu phụ trợ tầm quan trọng tính toán mật độ hàm số, lợi dụng ưu hoá quá trình lớn nhất hạn độ giảm bớt mông đặc Carlo mô phỏng tính toán phức tạp độ. Căn cứ vàoNguyên bào tự động cơMông đặc Carlo pháp hệ thống đáng tin cậy tính phân tích phương pháp, nên phương pháp không cần đã biết hệ thống ngắn nhất đường nhỏ hoặc nhỏ nhất cắt tập chờ tin tức, vẫn như cũ có thể đánh giá hệ thống đáng tin cậy tính, thả phân tích kết quả so căn cứ vào ngắn nhất đường nhỏ mông đặc Carlo pháp cùng căn cứ vào nhỏ nhất cắt tập mông đặc Carlo pháp muốn hảo. Mặt khác, đemHạt đàn ưu hoá thuật toánCùngMông đặc Carlo bắt chướcKết hợp, giải quyết phức tạp internet hệ thống đáng tin cậy tính tính toán ưu hoá vấn đề, lớn nhất hạn độ mà hạ thấp tính toán phí tổn. Lợi dụngDuy trì vector cơỞ tính toán tốc độ phương diện ưu thế, đem này cùng mông đặc Carlo bắt chước kết hợp, thành lập kinh nghiệm mô hình đánh giá hệ thống đáng tin cậy tính.
Tổng hợp pháp kết hợp hiểu biết tích pháp cùng mông đặc Carlo pháp ưu thế, lợi dụng phân tích pháp phân tích xây dựng hệ thống đáng tin cậy tính mô hình, kết hợp mông đặc Carlo phương pháp ở bắt chước mô phỏng phương diện ưu thế cầu giải đáng tin cậy tính mô hình, hạ thấp tính toán khó khăn, đề cao tính toán tốc độ. Thời gian trục trặc thụ mô hình phân tích hệ thống đáng tin cậy tính, lợi dụng mông đặc Carlo mô phỏng pháp gia tốc mô hình tính toán quá trình, trong đó hệ thống thời gian trục trặc thụ mô hình có thể biểu chinh thời gian cùng hệ thống cập bộ kiện trục trặc số lần chi gian quan hệ. Căn cứMarco phu quá trìnhThành lập đáng tin cậy tính mô hình, cũng lợi dụng mông đặc Carlo mô phỏng cầu giảiHệ thống đáng tin cậy độ,Lấy đề cao tính toán hiệu suất. Động thái trục trặc thụ dẫn vào động thái môn có thể miêu tả bộ kiện gian phức tạp quan hệ, bởi vậy thành lập hệ thống đáng tin cậy tính phân tích động thái trục trặc thụ mô hình, cũng chọn dùng mông đặc Carlo mô phỏng cầu giải mô hình. Kế thừa trục trặc thụ cùng Marco phu mô hình ưu thế, định nghĩa một tổ tân phân tích hệ thống đáng tin cậy tính mô hình ——— bệnh hình thức bố ngươi logic điều khiển Marco phu quá trình. Nên mô hình ở đánh giá hệ thống đáng tin cậy tính khi, khắc phục Marco phu pháp trạng thái không gian số lượng đại cùng với trục trặc thụ mô hình không thể miêu tả hệ thống động thái tính chờ khuyết điểm.
Mặt khác, ở tổng hợp pháp trung nhất thường thấy phương thức là căn cứ vào Bayes internet hệ thống đáng tin cậy tính phân tích phương pháp. Bayes internet mô hình tắc lợi dụng Bayes ở xử lý không xác định lý luận phương diện ưu thế, kết hợp nhỏ nhất lộ tập hoặc FTA thành lập hệ thống Bayes internet, căn cứ Bayes thuật toán tính toán hệ thống trung các tiết điểm trục trặc xác suất, do đó tìm ra hệ thống bạc nhược phân đoạn, phân tích hệ thống đáng tin cậy tính.
Bayes internet mô hình có thể tương đối tốt xử lý hệ thống trung không xác định tin tức, thả Bayesian internet trực quan hình tượng, bởi vậy nên mô hình là trước mắt nghiên cứu phức tạp hệ thống đáng tin cậy tính ứng dụng nhất rộng khắp phương pháp chi nhất. Nhưng là Bayes internet ở xây dựng khi, tồn tại hai điều kiện độc lập giả thiết quan hệ:
① nếu đã biết phụ tiết điểm, nhậm một tiết điểm cùng với phi hậu đại tiết điểm là điều kiện độc lập;
② cấp định phụ tiết điểm, tử tiết điểm cùng với tử tiết điểm phụ tiết điểm ——— Marco phu bao trùm, cái này tiết điểm cùng internet trung sở hữu mặt khác tiết điểm là điều kiện độc lập.
Này hai cái giả thiết điều kiện cũng không áp dụng với ngẫu hợp quan hệ phức tạp hệ thống. Đồng thời, ở Bayes internet mô hình, tính toán xác suất phân bố thuộc về điều kiện xác suất, mà điều kiện xác suất chịu nhân vi chủ quan nhân tố ảnh hưởng trọng đại, bởi vậy, đối lợi dụng Bayes internet mô hình tính toán ra hệ thống đáng tin cậy tính khách quan tính, chân thật tính tồn tại nhất định nghi ngờ.
Nhằm vào phân tích pháp,Mông đặc Carlo pháp,Tổng hợp pháp tồn tại bản chất vấn đề, tức hệ thống kết cấu thuộc tính cùng với bộ kiện gian tác dụng quan hệ không thể chuẩn xác miêu tả, căn cứ vào internet lý luận nghiên cứu hệ thống đáng tin cậy tính phương pháp bị đưa ra. Internet pháp trung tâm tư tưởng là đem hệ thống đáng tin cậy tính vấn đề cùng internet lý luận tương kết hợp, lợi dụng internet miêu tả hệ thống bên trong kết cấu quan hệ ưu thế, thành lập hệ thống đáng tin cậy tính đánh giá chỉ tiêu phân tích hệ thống đáng tin cậy tính., Internet lý luận ở hệ thống đáng tin cậy tính nghiên cứu trung đã chịu rộng khắp chú ý, đặc biệt là ở phức tạp internet hệ thống trung ứng dụng. Cái gọi là phức tạp internet là chỉ này Topology đặc tính thỏa mãn điều kiện nhất định, tỷ như phục tùng tiểu thế giới đặc tính chờ. Internet hệ thống đáng tin cậy tính là chỉ ở bình thường vận hành công huống hạ, hệ thống vẫn cứ bảo trì vốn có internet công năng xác suất / năng lực. Ở nghiên cứu phức tạp internet hệ thống đáng tin cậy tính khi, giống nhau dùng liên thông đáng tin cậy tính tới tỏ vẻ hệ thống đáng tin cậy tính, tức internet liên thông tính càng cường, hệ thống đáng tin cậy tính càng cao. Căn cứ nghiên cứu trọng điểm điểm bất đồng, căn cứ vào internet lý luận đánh giá internet hệ thống đáng tin cậy tính chỉ tiêu cũng có điều bất đồng. Thông qua tham khảo thế giới hiện thực internet hệ thống cùng với phức tạp internet hệ thống đáng tin cậy tính nghiên cứu thành quả, quy nạp ra đánh giá phức tạp internet hệ thống đáng tin cậy tính chỉ tiêu hệ thống, bao gồm 4 cái một bậc chỉ tiêu ( tức kháng hủy tính, sinh tồn tính, hữu hiệu tính, đồng bộ tính ), mỗi cái một bậc chỉ tiêu lại bao hàm bao nhiêu cái nhị cấp chỉ tiêu.
Hệ thống đáng tin cậy tính phân tích phát triển xu thế nhưng đại khái tình hình chung vì như sau vài giờ:
1, phức tạp internet là phức tạp hệ thống trừu tượng, trong hiện thực cơ hồ sở hữu phức tạp hệ thống đều có thể dùng internet mô hình tới miêu tả này bên trong kết cấu quan hệ, bởi vậy căn cứ vào hệ thống internet đặc tính, đem này chuyển hóa vì internet mô hình, lợi dụng internet nghiên cứu hệ thống đáng tin cậy tính, đặc biệt là phức tạp cơ điện nhất thể hóa hệ thống là tương lai đáng tin cậy tính phát triển phương hướng.
2, hệ thống internet mô hình xây dựng. Nhằm vào mỗ một hệ thống, như thế nào lựa chọn sử dụng tiết điểm cùng liên tiếp biên, xây dựng có thể biểu chinh hệ thống Topology kết cấu internet mô hình là không chỉ có là căn cứ vào internet nghiên cứu hệ thống đáng tin cậy tính cơ sở, đồng thời cũng là nghiên cứu trọng điểm chi nhất.
3, hiện có căn cứ vào internet phức tạp hệ thống đáng tin cậy tính nghiên cứu phần lớn là đối hệ thống Topology kết cấu đáng tin cậy tính phân tích, bộ kiện đáng tin cậy tính thuộc tính đều chưa suy xét. Bởi vậy, ở hệ thống Topology internet mô hình cơ sở thượng, dùng để biểu chinh tạo thành hệ thống các tổ phân lẫn nhau quan hệ Topology kết cấu cùng dùng để biểu chinh hệ thống tổ phân tiết điểm đáng tin cậy tính thuộc tính / công năng đáng tin cậy tính thuộc tính tới xây dựng đánh giá hệ thống đáng tin cậy tính suy đoán chỉ tiêu tiến tới nghiên cứu hệ thống đáng tin cậy tính, ở quốc nội thượng thuộc chỗ trống, nhưng lại là nghiên cứu phức tạp hệ thống đáng tin cậy tính tân ý nghĩ.
