The negated temporal logic assertio

The negated temporal logic assertion is compiled into a temporal pattern of event combinations.
When the system is running, a pre-defined generic monitoring system queries the historical database of system events for event sequences matching this pattern

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

ยืนยันเมื่อตะกี้ตรรกะขมับจะรวบรวมเป็นรูปแบบชั่วคราวของชุดเหตุการณ์ เมื่อระบบทำงาน ระบบตรวจสอบที่กำหนดไว้ล่วงหน้าทั่วไปแบบสอบถามฐานข้อมูลประวัติศาสตร์ของเหตุการณ์ของระบบสำหรับลำดับเหตุการณ์ที่ตรงกับรูปแบบนี้

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

เมื่อตะกี้ยืนยันตรรกะชั่วคราวจะรวบรวมเป็นรูปแบบของการรวมกันชั่วคราวเหตุการณ์.
เมื่อระบบทำงานเป็นระบบการตรวจสอบที่กำหนดไว้ล่วงหน้าทั่วไป queries ฐานข้อมูลทางประวัติศาสตร์ของเหตุการณ์ของระบบสำหรับลำดับเหตุการณ์ตรงกับรูปแบบนี้

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

การยกเลิกและการมีตรรกะเรียบเรียงแบบชั่วคราวของชุดเหตุการณ์เมื่อระบบทำงาน ระบบการตรวจสอบทั่วไปที่กำหนดไว้ล่วงหน้า สอบถามประวัติฐานข้อมูลเหตุการณ์ของระบบสำหรับเหตุการณ์ลำดับการจับคู่แบบนี้