Conditions and events are important

Conditions and events are important constructs in SCR specifications. A condition is a predicate
defined on one or more state variables (a state variable is a monitored or controlled variable or
a mode class). An event occurs when a state variable changes value. A conditioned event has the
form “@T(c) WHEN d” and is defined by the expression “NOT c AND c’ and d,” where the
unprimed conditions c and d are evaluated in the “old” state, and the primed condition c’ is
evaluated in the “new” state. Informally, this expression denotes the event “predicate c becomes
true in the new state when predicate d holds in the old state.” The notation “@F(c)” denotes
the event @T(NOT c). The notation DUR(c) indicates the length of time that condition c has been
continuously true.

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

เงื่อนไขและเหตุการณ์ที่เป็นโครงสร้างสำคัญในคุณสมบัติของ SCR เงื่อนไขเป็นเพรดิเคตการ กำหนดไว้ในรัฐแปร (ตัวแปรรัฐเป็นตัวแปรควบคุม หรือตรวจสอบ หรือ เป็นโหมดคลา) เหตุการณ์เกิดขึ้นเมื่อตัวแปรรัฐเปลี่ยนค่า เหตุการณ์ปรับอากาศมีการ แบบฟอร์ม " @T(c) d เมื่อ" และกำหนด โดยนิพจน์ "ไม่ c และ c' และ d, " ซึ่งการ เงื่อนไข unprimed c และ d จะถูกประเมินในสถานะ "เก่า" และ c มีการรองเงื่อนไข ' เป็น ประเมินในสถานะ "ใหม่" บาง นิพจน์นี้แสดงเหตุการณ์ "c เพรดิเคตกลายเป็น แท้จริงในรัฐใหม่เมื่อเพรดิเคต d เก็บในสภาพเดิม" แสดงสัญลักษณ์ "@F(c)" เหตุการณ์ @T (ไม่ให้) DUR(c) สัญลักษณ์บ่งชี้ระยะเวลาที่เงื่อนไข c ได้รับ จริงอย่างต่อเนื่อง

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

เงื่อนไขและเหตุการณ์สำคัญของโครงสร้างในรายละเอียด SCR เงื่อนไขที่เป็นภาคแสดง
กำหนดในหนึ่งหรือมากกว่าหนึ่งตัวแปรสถานะ ( สถานะตัวแปรคือ การตรวจสอบหรือควบคุมตัวแปรหรือ
โหมดคลาส ) เหตุการณ์เกิดขึ้นเมื่อรัฐแปรเปลี่ยนค่า มีเหตุการณ์มี
แบบฟอร์ม " @ t ( C ) เมื่อ D " และจะถูกกำหนดโดยการแสดงออก " ไม่ C และ C และ D ,
" ที่unprimed เงื่อนไข C และ D จะถูกประเมินในรัฐ " เก่า " และ primed สภาพ C '
ประเมินผล " รัฐใหม่ " เป็นกันเอง สำนวนนี้ หมายถึง เหตุการณ์ " จมื่น C กลายเป็น
จริงในรัฐใหม่เมื่อประโยค D ถือในรัฐเก่า " สัญลักษณ์ " @ f ( c )
" หมายถึงเหตุการณ์ @ t ( C ) หมายเหตุช่วง ( c ) คือความยาวของเวลาที่สภาพ C ได้รับ
จริงอย่างต่อเนื่อง