... tuyến chế độ vận hành hệ thống; Đánh giá đưa cảnh báo tình trạng vận hành hệthống điện; Giám sát ổnđịnh điện áp ổnđịnh độ; Hỗ trợ công tác phục hồi hệthống Như phân tích trên, hệthống ... Lâm 3600/2600 ứng với chế độ vận hành mạch/2 mạch đường dây [3] Hiện tượng ổnđịnh động hệthống điện xuất có cố lớn hệthống điện Tổng kết cố lớn cho thấy ổnđịnh động thường cố đường dây 500 ... hành hệthống điện hệ thời gian thực Thậm chí, hệthống điện cần trang bị bảo vệ để thực loạt hành động tự động trước hệthống bị tách phân chia theo cách thức kiểm soát Các cố diện rộng xảy hệ thống...
... song với độtincậy phần tử cho tr ớc biến ngẫu nhiên giá trị đánh giá hỏng hóc toàn hệthống Phân tích thuật giải Nh ta biết với hệthống có phần tử nối song song độtincậy toàn hệthống phụ ... Và độtincậy thiết bị đợc đánh giá qua xác suất thời gian làm việc tincậy lớn tuổi thọ phần tử Nh với cờng độ hỏng hóc cho trớc biến ngẫu nhiên thời gian làm việc tincậy phần tử Khi hệthống ... xảy ngẫu nhiên với độtincậy Bài toán đặt phải tìm độtincậy toàn hệ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 pháp mô hình hoá hệ ngẫu nhiên Phơng...
... 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 ... Độtincậy sơ đồ nối tiếp: Giả sử có n phần tử, mà p tử có độtincậy Pi (t ) Độtincậyhệthống xác định: n Pht (t ) = ∏ Pi (t ) → Pi (t ) ≤ i =1 Ta thấy rằng: độtincậyhệthống nhỏ độtin ... độ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ính toán độ...
... 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...
... 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 solanlamviecthunghiemN Nếu ... 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 ... 10 Nhận 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...
... Nhiệm vụ tính toán độtincậyhệthống việc xác định số độtincậy nhƣ biết số độtincậy phần tử riêng biệt cấu trúc hệ thống, tức đặc tính liên hệ phần tử theo cách nhìn độtincậy Cấu trúc đơn ... đề tài nghiên cứu toán tí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 ... hỏng hóc hệthống Sơ đồ khối độtincậy [11] đƣợc xem xét cách độc lập thành phần hệthống đƣợc ƣớc tính độtincậy khả sẵn sàng (hoặc không) Việc xây dựng sơ đồ khối độtincậy khó khăn hệ thống...
... đế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 ... Nhiệm vụ tính toán độtincậyhệthống việc xác định số độtincậy nhƣ biết số độtincậy phần tử riêng biệt cấu trúc hệ thống, tức đặc tính liên hệ phần tử theo cách nhìn độtincậy Cấu trúc đơn ... toàn hệthống nối tiếp 27 CHƢƠNG PHƢƠNG PHÁP ĐÁNH GIÁ ĐỘTINCẬYCỦAHỆTHỐNG QUA CẤU TRÚC HỆTHỐNG Sử dụng đồ thị ma trận liên kết để tính toán độtincậyhệ thống, chẳng hạn nhƣ xác suất để hệ...
... 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ã ... trạng thái hệthống giá trị đầu vào tại, ca kiểm thử chứa chuỗi cặp Ví dụ hệthống ATM, hệthống chuyển điện thoại, hệthống đèn chiếu sáng hệthống hướng ... TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGÔ THỊ NGA KẾT HỢP PHƯƠNG PHÁP KIỂM CHỨNG MÔ HÌNH VÀ CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM LÀM TĂNG ĐỘTINCẬYCỦAHỆTHỐNG PHẦN MỀM Ngành: Công nghệ thôngtin Chuyên ngành: Kỹ...
... NGHIỆM ĐỘ CHÍN 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ệ độtin ... cổng giai đoạn 3: giai đoạn phát triển cổng giai đoạn 4, 5: giai đoạn sản xuất II ĐÁNH GIÁ ĐỘTINCẬY ( DART ) Phương pháp để đánh giá độtincậyhệthống sử dụng phép thử step-stress Phương ... 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),...
... TỔNG QUAN CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƯƠNG PHÁP TÍNH TOÁ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 ... Tổng quan tiêu tincậy phương pháp tính toá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 ... điện pháp địnhđộtincậy hợp lý Đó nhiệm vụ khó khăn, việc nâng cao độtincậy lưới cung cấp điện có ảnh hưởng đáng kể đến chất lượng điện tiêu kinh tế toàn hệthống cung cấp điện Độtincậy cung...
... TỔNG QUAN CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƢƠNG PHÁP TÍNH TOÁ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 ... Chƣơng TỔNG QUAN CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƢƠNG PHÁP TÍNH TOÁ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 ... cao độtincậyhệthống cung cấp điện 1.2.1 Đặc điểm hệthống điện mặt độtincậy 1.2.2 Các biện pháp chung nâng cao độtincậyhệthống điện 1.2.3 Các biện pháp thực để nâng cao độ...
... TỔNG QUAN CÁC CHỈ TIÊU TINCẬY VÀ CÁC PHƯƠNG PHÁP TÍNH TOÁ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 ... Tổng quan tiêu tincậy phương pháp tính toá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 ... điện pháp địnhđộtincậy hợp lý Đó nhiệm vụ khó khăn, việc nâng cao độtincậy lưới cung cấp điện có ảnh hưởng đáng kể đến chất lượng điện tiêu kinh tế toàn hệthống cung cấp điện Độtincậy cung...
... đựng thôngtin dáng điệu hệthống S Nếu số phép thử N đủ lớn kết thu lấy trung bình theo xác suất ổnđịnh đạt độ xác cần thiết Phương pháp mô thường dùng để nghiên cứu hệ ngẫu nhiên đồng ... việc tincậy ti < T : thiết bị làm việc không tincậy 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 solanlamviecthunghiemN Nếu N lớn đánh ... dùng để giải toán hệ tiền định Phân tích thuật giải a Chọn dãy Ui phân bố khoảng (0,1): Ui ~ U(0,1) 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 : thiết...