TAILIEUCHUNG - Materials Science and Engineering Handbook P5

Công nghệ cơ khí thường tạo ra các giả lập mô phỏng hoạt động của các đối tượng, như quy trình chế tạo thực tế theo trình tự tối ưu hóa sự thực hiện, hiệu quả kinh tế và chi phí năng lượng trước khi quyết định lựa chọn một thiết kế cụ thể. | design shown in Fig. 2 meets the requirements if it is interpreted colloquially. If the requirement is Load2 shall be ON if and only if switch 1 is ON then the design indicated is wrong because loadl can also be ON if switch2 and switch3 and switch4 are ON. This is a trivial example of an error due to a sneak path. Today most requirements are not stated with the precision that distinguishes if then from if and only if then. Because the requirement is often ambiguous the circuit paths that implement the if then form can be highlighted by a heuristic sneak error detection process or tool as a possible error to be examined more closely by the designer. A circuit in Fig. 2 is an example of a common sneak pattern which occurs when two initially independent circuits of switches and loads are drawn near each other on the page sharing a common power source at the top and a common power return at the bottom and then a design change introduces a switched path between these previously independent circuits. This is called an H pattern because of its resemblance to a letter H. Errors like these are easy to make in large electromechanical systems with incremental requirements and numerous switches and relays. Fig. 2 An automotive example of a sneak path Design errors of this kind can be detected by formal methods where both the requirements and the design are described in languages with semantics that are very well defined. An algorithmic process can then be used to prove whether or not the design requirement is met by the design. This algorithmic process can be automated. There is some progress in this area but it has been difficult to express requirements in a language that is both precise enough to be mechanically compared to the design and clear enough to discuss with the customer. Likewise the design language must be precise while not interfering with the creativeness inherent in most good design. References cited in this section 5. . Nagel SPICE2 A Computer Program to .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.