This paper presents the results of

This paper presents the results of an investigation into the types of
tests useful for automatically diagnosing combinational digital
devices. The diagnosis is bascd on a design model that allows
hierarchy in both the structure and the data of the device being
represented. A more general set of assumptions than is commonly
employed allows data values other than boolean values to be
diagnosed, and permits faults other than stuck-at thults to be found.
The design model, the assumptions, and the tests are represented in
SUffFLE, a language based on predicate calculus and specialized
Ibr digital systems.

ผลลัพธ์ (ไทย) 1:

เอกสารนี้แสดงผลลัพธ์ของการสืบสวนได้การทดสอบมีประโยชน์สำหรับการวิเคราะห์โดยอัตโนมัติดิจิตอลแสนอบอุ่นอุปกรณ์ การวินิจฉัยเป็น bascd ในรูปแบบการออกแบบที่ช่วยให้ลำดับชั้นของโครงสร้างและข้อมูลของอุปกรณ์การแสดงด้วย ทั่วไปเพิ่มเติมของสมมติฐานตั้งอยู่ทั่วไปใช้ค่าข้อมูลที่ไม่ใช่ค่าบูลีนจะช่วยให้การวินิจฉัย และอนุญาตให้ใช้ข้อบกพร่องไม่ใช่ติดอยู่ที่ thults ที่จะพบรุ่นดีไซน์ สมมติฐาน และการทดสอบที่แสดงอยู่ในSUffFLE ภาษาอิงแคลคูลัสเพรดิเคต และความระบบดิจิตอล Ibr

ผลลัพธ์ (ไทย) 2:

บทความนี้นำเสนอผลการสอบสวนออกเป็นประเภทของ
การทดสอบที่มีประโยชน์สำหรับการวินิจฉัยดิจิตอลผสมโดยอัตโนมัติ
อุปกรณ์ การวินิจฉัย bascd อยู่กับรูปแบบการออกแบบที่ช่วยให้การ
ลำดับชั้นทั้งในโครงสร้างและข้อมูลของอุปกรณ์ที่มีการ
แสดง ชุดทั่วไปมากขึ้นของสมมติฐานกว่าเป็นเรื่องปกติที่
ลูกจ้างจะช่วยให้ค่าข้อมูลอื่นที่ไม่ใช่ค่าบูลีนจะได้รับการ
วินิจฉัยและข้อบกพร่องใบอนุญาตอื่น ๆ นอกเหนือจากการติดอยู่ที่ thults จะพบ.
รูปแบบการออกแบบสมมติฐานและการทดสอบจะแสดงใน
SUffFLE เป็น ภาษาบนพื้นฐานของแคลคูลัสและความเชี่ยวชาญ
ด้านระบบดิจิตอล Ibr

ผลลัพธ์ (ไทย) 3:

บทความนี้นำเสนอผลของการสอบสวนในประเภทการทดสอบที่เป็นประโยชน์สำหรับการวินิจฉัยอัตโนมัติชนิดดิจิตอลอุปกรณ์ การวินิจฉัยเป็น bascd บนแบบจำลองการออกแบบที่ช่วยให้ลำดับชั้นทั้งโครงสร้างและข้อมูลของอุปกรณ์เป็นแทน เป็นทั่วไปมากขึ้นกว่าชุดของสมมติฐานทั่วไปที่ใช้ช่วยให้ข้อมูลค่าอื่นนอกเหนือจากค่าแบบบูลเป็นการวินิจฉัย และอนุญาตให้ตำหนินอกจากที่ติด thults ที่จะพบการออกแบบรูปแบบสมมติฐานและการทดสอบจะแสดงในsufffle , ภาษาบนพื้นฐานของแคลคูลัสภาคแสดงและเฉพาะIBR ระบบดิจิตอล