In Figure 1, the relation REQ speci

In Figure 1, the relation REQ specifies the relation between estimates of the monitored
quantities M and estimates of the controlled quantities C. In most cases, REQ extends REQ because
REQ not only describes the ideal behavior captured by REQ but also describes the externally
visible behavior that is not part of the ideal behavior. Because REQ is based on perfect knowledge of
the monitored quantities and perfect computations of the controlled quantities, REQ does not
describe how the system reports hardware malfimctions. In practical systems, hardware devices,
such as sensors, will fail, and the system will need to provide external notification of such failures.
REQ extends the required behavior described by REQ by describing how notification of hardware
malfunctions is presented to system users.

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

ในรูปที่ 1 ความสัมพันธ์ที่ REQ ระบุความสัมพันธ์ระหว่างประเมินของการตรวจสอบ ปริมาณ M และประเมินปริมาณควบคุมค ในกรณีส่วนใหญ่ REQ ขยาย REQ เนื่องจาก REQ อธิบายลักษณะการทำงานเหมาะที่จับตาม REQ ไม่เพียง แต่ยัง อธิบายภายนอก เห็นพฤติกรรมที่ไม่ใช่ส่วนหนึ่งของลักษณะการทำงานสะดวก เนื่องจาก REQ ตามความรู้ที่สมบูรณ์แบบของ ตรวจสอบปริมาณและประมวลผลที่สมบูรณ์แบบของปริมาณควบคุม REQ ไม่ได้ อธิบายว่า ระบบรายงานฮาร์ดแวร์ malfimctions ในทางปฏิบัติระบบ อุปกรณ์ฮาร์ดแวร์ เช่นเซนเซอร์ ล้มเหลว และระบบจะจำเป็นต้องให้แจ้งเตือนภายนอกของความผิดพลาดดังกล่าว REQ ขยายลักษณะการทำงานต้องอธิบายตาม REQ อธิบายการแจ้งเตือนของฮาร์ดแวร์ ความบกพร่องจะแสดงต่อผู้ใช้ระบบ

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

ในรูปที่ 1 ความสัมพันธ์ REQ ระบุความสัมพันธ์ระหว่างประมาณการของการตรวจสอบ
ปริมาณ M และการประมาณการในปริมาณที่ควบคุม C. ในกรณีส่วนใหญ่ REQ ขยาย REQ เพราะ
REQ ไม่เพียง แต่อธิบายถึงพฤติกรรมที่เหมาะจับโดย REQ แต่ยังอธิบายภายนอก
พฤติกรรมที่มองเห็นได้ ที่ไม่ได้เป็นส่วนหนึ่งของพฤติกรรมที่เหมาะ เพราะ REQ อยู่บนพื้นฐานของความรู้ที่สมบูรณ์แบบของ
ปริมาณการตรวจสอบและการคำนวณที่สมบูรณ์แบบของการควบคุมปริมาณ, REQ ไม่ได้
อธิบายถึงวิธีการที่ระบบรายงาน malfimctions ฮาร์ดแวร์ ในระบบปฏิบัติอุปกรณ์ฮาร์ดแวร์
เช่นเซ็นเซอร์จะล้มเหลวและระบบจะต้องให้แจ้งเตือนภายนอกของความล้มเหลวดังกล่าว.
REQ ขยายพฤติกรรมที่ต้องการอธิบายโดย REQ โดยอธิบายถึงวิธีการแจ้งเตือนของฮาร์ดแวร์
ทำงานผิดปกติจะถูกนำเสนอให้กับผู้ใช้ระบบ

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

ในรูปที่ 1 ความสัมพันธ์ Req ระบุความสัมพันธ์ระหว่างการประเมินตรวจสอบ
ปริมาณ M และการประเมินการควบคุมปริมาณ C . ในกรณีส่วนใหญ่ , Req ขยาย Req เพราะ
Req ไม่เพียงอธิบายอุดมคติพฤติกรรมจับโดย Req แต่ยังอธิบายถึงภายนอก
มองเห็นพฤติกรรมนั้นไม่ได้เป็นส่วนหนึ่งของพฤติกรรมในอุดมคติ เพราะ Req ขึ้นอยู่กับความรู้ที่สมบูรณ์แบบของ
การตรวจสอบ และคำนวณปริมาณสมบูรณ์แบบของการควบคุมปริมาณ Req ไม่ได้
อธิบายวิธีการรายงานระบบฮาร์ดแวร์ malfimctions . ในระบบอุปกรณ์ฮาร์ดแวร์ปฏิบัติ
เช่นเซ็นเซอร์จะล้มเหลว และระบบจะต้องให้ประกาศภายนอกของความล้มเหลวดังกล่าว
Req ขยายเป็นพฤติกรรมที่อธิบายโดย Req โดยอธิบายว่า ประกาศของ ฮาร์ดแวร์
ความผิดปกติที่นำเสนอให้กับผู้ใช้ระบบ