... Phƣơng pháp tínhđộtincậyhệthốngdựphòngcódựphònghệthống [2] Phƣơng pháp xây dựng mối quan hệ trực tiếp độtincậyhệthống với độtincậy phần tử biết Sơ đồ khối độtincậy (Reliability ... cứu toántínhđộtincậyhệthốngthông qua cấu trúc hệthống xây dựng thành công phần mềm đánh giá độtincậyhệthống Khi biết đƣợc độtincậyhệthống lên kế hoạch bảo trì, lên kế hoạch dự phòng, ... văn - Hệthống hoá sở lý luận việc đánh giá độtincậyhệthống - Xây dựng thành công phần mềm tínhtoánđộtincậyhệ thống, sở, tảng cho việc nghiên cứu xây dựng phần mềm tínhtoánđộtin cậy...
... đến độtincậyhệ thống, phƣơng pháp tínhđộtincậy qua cấu trúc hệthống - Phƣơng pháp đánh giá độtincậyhệthống qua cấu trúc hệthống - Thiết lập xây dựng chƣơng trình tínhđộtincậyhệthống ... phần hệthống hoá sở lý luận việc đánh giá độtincậyhệthống Việc xây dựng thành công phần mềm tínhtoánđộtincậyhệ 10 thống sở, tảng cho việc nghiên cứu xây dựng phần mềm tínhtoánđộtincậy ... đƣợc độtincậy khả hoạt động an toànhệthống phụ thuộc vào cấu trúc (cấu trúc logic) độtincậ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: ...
... CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƯƠNG PHÁP TÍNHTOÁNĐỘTINCẬYCỦAHỆTHỐNG ĐIỆN NÓI CHUNG VÀ ĐỘTINCẬY CUNG CẤP ĐIỆN NÓI RIÊNG 1.1 Khái niệm chung độtincậyhệthống điện 1.1.1 Hệthống điện phần ... Tổng quan tiêu tincậy phương pháp tínhtoánđộtincậyhệthống điện nói chung độtincậy cung cấp điện nói riêng Chương 2: Phương pháp đồ thị - giải tích để đánh giá độtincậy cung cấp điện ... lớn đến hoạt động an sinh xã hội Chính ngành điện cần phải có phương pháp tínhtoán thích hợp để đánh giá độtincậy cung cấp điện Với đề tài: Tínhtoán phân tích độtincậyhệthống cung cấp...
... TIÊU TINCẬY VÀ CÁC PHƢƠNG PHÁP TÍNHTOÁNĐỘTINCẬYCỦAHỆTHỐNG ĐIỆN NÓI CHUNG VÀ ĐỘTINCẬY CUNG CẤP ĐIỆN NÓI RIÊNG 1.1 Khái niệm chung độtincậyhệthống điện 1.1.1 Hệthống điện phần tử + Hệ ... CHỈ TIÊU TINCẬY VÀ CÁC PHƢƠNG PHÁP TÍNHTOÁNĐỘTINCẬYCỦAHỆTHỐNG ĐIỆN NÓI CHUNG VÀ ĐỘTINCẬY CUNG CẤP ĐIỆN NÓI RIÊNG 1.1 Khái niệm chung độtincậyhệthống điện 1.1.1 Hệthống ... 1.1.2 Độtincậy phần tử hệthống cung cấp điện 1.1.3 Các tiêu đánh giá độtincậyhệthống cung cấp điện 1.2 Các biện pháp nâng cao độtincậyhệthống cung cấp điện 1.2.1 Đặc điểm hệ...
... CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƯƠNG PHÁP TÍNHTOÁNĐỘTINCẬYCỦAHỆTHỐNG ĐIỆN NÓI CHUNG VÀ ĐỘTINCẬY CUNG CẤP ĐIỆN NÓI RIÊNG 1.1 Khái niệm chung độtincậyhệthống điện 1.1.1 Hệthống điện phần ... Tổng quan tiêu tincậy phương pháp tínhtoánđộtincậyhệthống điện nói chung độtincậy cung cấp điện nói riêng Chương 2: Phương pháp đồ thị - giải tích để đánh giá độtincậy cung cấp điện ... lớn đến hoạt động an sinh xã hội Chính ngành điện cần phải có phương pháp tínhtoán thích hợp để đánh giá độtincậy cung cấp điện Với đề tài: Tínhtoán phân tích độtincậyhệthống cung cấp...
... we can essentially vote with the majority, thus detecting and correcting an error Such techniques are called error-detecting and error-correcting codes, but they decrease the transmission speed ... major developments in operating system software were the UNIX operating system (1969–70), the CM operating system for the 8086 Microprocessor (1980), and the MS-DOS operating system (1981) The choice ... York, 1988 Echte, K Dependable Computing—EDCC-1 Proceedings of the First European Dependable Computing Conference, Berlin, Germany, 1994 Fault-Tolerant Computing Symposium, 25th Anniversary Compendium...
... Single error detecting; single error correcting Double error detecting; zero error correcting Triple error detecting; zero error correcting Double error detecting; single error correcting Quadruple ... error detecting; zero error correcting Triple error detecting; single error correcting Double error detecting; double error correcting Quintuple error detecting; zero error correcting Quadruple ... of codes that we discuss in this chapter are error-detecting and -correcting codes The principle that underlies error-detecting and -correcting codes is the addition of specially computed redundant...
... operating system was responsible for creating, destroying, and monitoring processes, reporting on the failure or restoration of processors, and handling the conventional functions of operating ... controllers, and so forth) was (and still is) implemented with parallel units continuously operating (hot redundancy) A diagram depicting the Tandem architecture is shown in Fig 3.19 The architecture supports ... possibilities of errors of commission and omission in generating and detecting the heartbeat signals This could be modeled by a coverage factor representing the fraction of processor faults that the heartbeat...
... Level Voting Assume that a digital system is composed of m series subsystems, each having a constant-failure rate l, and that voting is to be applied at the subsystem level The majority voting circuit ... expression pc (3 − 2pc ) 3pc − 2p2 Differentiating with respect c to pc and equating to zero yields pc 3/ 4, which agrees with Fig 4.7 Substituting this value of pc into [pv pc (3 − 2pc ) 1] ... in a 5-level voter system Higher-Level Voting One could extend the above analysis to cover higherlevel voting systems; for example, 7-level and 9-level voting Even though it is easy to replicate...
... which the terms alpha testing and beta testing are often used Alpha testing means that a test group within the company evaluates the software before release, whereas beta testing means that a number ... resumes the testing and correcting of software errors (including those found during the acceptance test), and a new acceptance test date is scheduled Sometimes, “third party” testing is used, ... constructing the prototype, an initial control structure (the main program coordinating all the parts) is written and tested along with the interfaces to the various components (subroutines and...
... resulting events (inclusion–exclusion); clearly, hand computations are starting to become intractable A similar set of equations can be written in terms of cut sets In this case, interrupting ... the simplest means of evaluating the two-terminal reliability of a network is to enumerate all possible combinations where each of the e edges can be good or bad, resulting in 2e combinations Each ... Good Good Good Continued 6! 20 3!3! Good Good Good Good Good Good Good Good Good Good TWO-TERMINAL RELIABILITY TABLE 6.1 E 33 E 34 E 35 E 36 E 37 E 38 E 39 E 40 E 41 E 42 (Continued) 1′ 2345′...
... attempted Adopting the terminology of government contracting (which generally has parallels in the commercial world), we might say that the methods of Sections 7.6.1–7.6.3 are useful in formulating the ... elements, r i , by allocating some or all of the cost budget, c0 , to fund redesign for higher reliability Place components in parallel with the subsystems that operate contin- 336 RELIABILITY OPTIMIZATION ... well-separated Thus it is important to find a means of calculating the sensitivity of the solution to parameter variations or calculating a range of good solutions close to the optimum There has...
... Thit b phõn on dựng dao cỏch ly: tớnh toỏn trng hp cú v khụng t thit b t ng úng li + Thit b phõn on dựng mỏy ct: khụng nh hng c v s ln ct v thi gian ct 85 Tạp chí Khoa học & Công nghệ - Số 4(44)/Năm ... tớnh toỏn tin cy: + c s liu t File ó nhp + Tớnh toỏn tin cy ca li phõn phi cú mt hoc hai ngun cung cp + Ghi kt qu mi tớnh hoc xem li kt qu ó tớnh toỏn + T chc in n kt qu NNG CAO TIN CY CA LI ... Khoa học & Công nghệ - Số 4(44)/Năm 2007 - T chc tỡm v sa cha nhanh s c - S dng cỏc thit b in cú tin cy cao - S dng cỏc thit b t ng, cỏc thit b iu khin t xa: TDL, TDN, SCADA - Thay th trm bin...
... hỏng Tuy nhiên nh toán hỏng hóc phần tử xảy ngẫu nhiên với độtincậy Bài toán đặt phải tìm độtincậytoànhệthống Những toán loại phơng pháp mô hình hoá hệ ngẫu nhiên tỏ có hiệu Nội dung phơng ... nhiên giá trị đánh giá hỏng hóc toànhệthống Phân tích thuật giải Nh ta biết với hệthốngcó phần tử nối song song độtincậytoànhệthống phụ thuộc vào độtincậy phần tử đợc xác định theo biểu ... x
... tincậy phần tử = P, ta có: Pht = − (1 − P ) n → Vậy: độtincậyhệthống ≥ độtincậy phần tử phần tử song song, số phần tử song song tăng độtincậyhệthống tăng → độtincậyhệthống ≥ độtin ... ≤ i =1 Ta thấy rằng: độtincậyhệthống nhỏ độtincậy phần tử cóđộtincậy thấp Pi (t ) Trong sơ đồ nối tiếp, muốn nâng cao độtincậyhệ thống, phải nâng cao độtincậy phần tử ... độtincậyhệthống ≥ độtincậy cho phép Sau khoảng thời gian t cp hệthống phải bảo dưỡng định kỳ Ta viết: [P(t )] = e − tcp λ → t cp = ln[P(t )] λ 11.3 Độtincậyhệ thống: Khi tínhtoán độ...
... b Tính ti = − ln U i c So sánh ti với T ti ≥ T : thiết bị làm việc tincậy ti < T : hỏng hóc d Thực N thử nghiệm từ bước a đến bước c Độtincậy thiết bị đánh sau: P ( ti > T ) ≈ solanlamviectincay ... khảo [1] Giáo trình mô hình hóa hệ thống- Khoa điện điện tử tàu biển-Trường Đại học hàng hải Việt Nam-2011 [2] Kỹ lập trình Visualbasic 6.0-Nguyễn Tiến Dũng-NXB Thống kê-2011 [3] www.google.com ... xét, kết luận Chương trình mô chạy đạt yêu cầu Giao diện đảm bảo yêu cầu nhập thông số hệ từ bàn phím Kết thay đổi thông số đầu vào khác nhau, giá trị thực nghiệm lý thuyết xấp xỉ cho thấy lý...
... hệthống lai phối hợp hai hệthống xăng điện Vì độtincậyhệthống máy tính điều quan trọng trình phát triển phần mềm Các kỹ thuật kiểm thử cho chứng độtincậyhệthống Vì kỹ thuật thực mã ... gian hữu hạn hệthống hữu hạn, thuộc tính hoạt động bị vi phạm thời gian vô hạn hệthống vô hạn a Thuộc tính hoạt động Định nghĩa 3.14 Thuộc tính hoạt động Thuộc tính thời gian tuyến tính LT Plive ... chứng dựa vào mô hình vào mô hình mô tả hành vi hệthống công thức toán học xác không nhập nhằng Các mô hình hệthống kèm theo thuật toándò tìm tất trạng thái mô hình hệthốngcách tự động Điều...
... CHẮN CỦAHỆTHỐNG ( DMT ) Mục tiêu chủ yếu DMT: Minh họa cấp độtincậy sản phẩm Cung cấp kế hoạch thử nghiệm có ý nghĩa thống kê nhằm biện minh cho việc cân yếu tố bảo vệ độtincậy chi phí ... minh III THỬ NGHIỆM ĐỘ CHÍN CHẮN CỦAHỆTHỐNG ( DMT ) Giới thiệu: Là thiết bị hỗn hợp lắp ghép để bảo đảm độtincậy cao ứng dụng dài hạn (10 năm) DMT dựa phương pháp thống kê lấy mẫu kế ... bạc mà bảo đảm độtincậy sản phẩm III THỬ NGHIỆM ĐỘ CHÍN CHẮN CỦAHỆTHỐNG ( DMT ) Các phép thử stress: Bốn thử nghiệm stress chủ yếu cần thực là: Tuổi thọ hoạt động với nhiệt độ cao (HOTL),...