To specify the required system beha

To specify the required system behavior in a practical and efficient manner, the SCR method
uses mode classes. A mode class, whose values are modes, is an auxiliary variable that helps keep
the specification concise. Each mode defines an equivalence class of system states useful in
specifying the required system behavior. In SCR specifications, we often use the following prefixes
in variable names: “m” to indicate monitored variables, “mc” for mode classes, “c” for controlled
variables, “i” for input variables, and “0” for output variables.

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

เพื่อระบุลักษณะการทำงานของระบบที่จำเป็นในการปฏิบัติ และมีประสิทธิภาพ วิธี SCR ใช้โหมดเรียน เรียนโหมด มีค่าเป็นโหมด เป็นตัวแปรเสริมที่ช่วยให้ สเปคที่กระชับ คลาสที่มีประโยชน์ในระบบรัฐเทียบเท่ามีกำหนดโหมดแต่ละโหมด ระบุลักษณะการทำงานของระบบที่จำเป็น ในข้อมูลจำเพาะของ SCR เรามักจะใช้เลขนำหน้าที่ต่อไปนี้ ในชื่อตัวแปร: "m" เพื่อแสดงตัวแปรตรวจสอบ "แม็ค" โหมดเรียน "c" สำหรับควบคุม ตัวแปร, "i" สำหรับตัวแปรอินพุต และ "0" สำหรับตัวแปรผลการ

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

เพื่อระบุพฤติกรรมของระบบที่จำเป็นในลักษณะการปฏิบัติและมีประสิทธิภาพวิธี SCR
ใช้คลาสโหมด ชั้นโหมดมีค่าเป็นโหมดที่เป็นตัวแปรเสริมที่จะช่วยให้
กระชับข้อกำหนด แต่ละโหมดกำหนดระดับความสมดุลของระบบฯ ที่มีประโยชน์ใน
การระบุพฤติกรรมของระบบที่ต้องการ ในข้อกำหนด SCR เรามักจะใช้คำนำหน้าต่อไปนี้
ในชื่อตัวแปร: "M" เพื่อบ่งชี้ตัวแปรตรวจสอบ "MC" สำหรับการเรียนโหมด "C" สำหรับควบคุม
ตัวแปร "i" สำหรับตัวแปรอินพุทและ "0" สำหรับตัวแปรเอาท์พุท .

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

ระบุความต้องการระบบพฤติกรรมในลักษณะการปฏิบัติและมีประสิทธิภาพ , SCR
ใช้วิธีเรียนแบบ โหมดคลาสที่มีค่าเป็นโหมดคือตัวแปรเสริมที่ช่วยให้
สเปคที่กระชับ แต่ละโหมดกำหนดเป็นลำดับชั้นของระบบรัฐมีประโยชน์
ระบุต้องระบบพฤติกรรม ในรายละเอียด SCR , เรามักจะใช้คำนำหน้า
ต่อไปนี้ในการตั้งชื่อตัวแปร " M " เพื่อแสดงการตรวจสอบตัวแปร " พิธีกร " เรียนโหมด " C "
ตัวแปรควบคุมตัวแปร " ฉัน " และ " 0 " เพื่อแปรผลผลิต .