2 ) How to detect a shadowing anoma

2 ) How to detect a shadowing anomaly : The nonexistence
of anomaly in general implies the nonexistence of any category
of anomalies. On the other hand, the existence of anomaly
in general implies that specific anomalies may exist. For
example, let us show how to detect (i.e. verify the existence
of) a shadowing anomaly. As defined in [18], a rule can be
shadowed by one or a set of preceding rules that match all
the packets which also match the shadowed rule, while they
perform a different action. In this case, all the packets that
one rule intends to deny (accept) can be accepted (denied) by
previous rule(s); thus, the shadowed rule will never be taken
effect. It is important to discover shadowed rules and alert the
administrator to correct this error by reordering or removing
these rules [2]. Based on this definition and using Prop. 1, we
deduce the following proposition to detect the specific anomaly
of shadowing using our automaton B:

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

2) วิธีการตรวจหาความผิดปกติที่ shadowing: ที่ nonexistenceของความผิดปกติโดยทั่วไปหมายถึง nonexistence ประเภทใด ๆของความผิด ในทางกลับกัน มีความผิดปกติโดยทั่วไป หมายถึงว่า อาจมีความผิดเฉพาะ สำหรับตัวอย่าง ให้เราแสดงวิธีการตรวจสอบ (เช่นตรวจสอบการมีอยู่จากความผิดปกติ shadowing กฎได้อย่างเดียว [18],แรเงา โดยหนึ่งหรือชุดของกฎที่ตรงทั้งหมดก่อนแพ็กเก็ตที่ตรงกับกฎมีเงา ในขณะที่พวกเขายังดำเนินการกระทำอื่น ในกรณีนี้ แพ็กเก็ตทั้งหมดที่กฎหนึ่งตั้งใจจะปฏิเสธ (ยอมรับ) สามารถยอมรับ (ปฏิเสธ) โดยกฎก่อนหน้า ดังนั้น กฎมีเงาจะไม่นำมาผลการ จะต้องมีเงากฎและการแจ้งเตือนนี้ผู้ดูแลการแก้ไขข้อผิดพลาดนี้ โดยการสั่งซื้อใหม่ หรือเอาออกกฎเหล่านี้ [2] ตามข้อกำหนดนี้และใช้ Prop 1 เราเลิกข้อเสนอต่อไปนี้เพื่อตรวจหาความผิดปกติเฉพาะของใช้ของออโตมาตา b:แรเงา

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

2) วิธีการตรวจสอบความผิดปกติร่มที่: nonexistence
ของความผิดปกติโดยทั่วไปหมายถึง nonexistence ของประเภทใด ๆ
ของความผิดปกติ
ในทางกลับกันการดำรงอยู่ของความผิดปกติโดยทั่วไปหมายถึงความผิดปกติที่อาจมีอยู่ที่เฉพาะเจาะจง สำหรับตัวอย่างที่ให้เราแสดงให้เห็นว่าการตรวจสอบ(เช่นตรวจสอบการดำรงอยู่ของ) กเงาผิดปกติ ตามที่กำหนดไว้ใน [18] กฎสามารถเงาโดยหนึ่งหรือชุดของกฎก่อนหน้านี้ที่ตรงกับทุกแพ็กเก็ตซึ่งยังตรงกับกฎเงาในขณะที่พวกเขาดำเนินการที่แตกต่างกัน ในกรณีนี้แพ็คเก็ตทั้งหมดที่กฎหนึ่งตั้งใจที่จะปฏิเสธ (ยอมรับ) สามารถเป็นที่ยอมรับ (ปฏิเสธ) โดยกฎก่อนหน้า (s) ดังนั้นกฎเงาจะไม่ต้องดำเนินการมีผลบังคับใช้ มันเป็นสิ่งสำคัญที่จะค้นพบกฎเงาและแจ้งเตือนผู้ดูแลระบบเพื่อแก้ไขข้อผิดพลาดนี้โดยการจัดเรียงใหม่หรือถอดกฎเหล่านี้[2] . ขึ้นอยู่กับคำนิยามนี้และการใช้เสา 1 เราได้ข้อสรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบความผิดปกติที่เฉพาะเจาะจงของแชโดว์โดยใช้B หุ่นยนต์ของเรา:

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

2 ) วิธีการตรวจสอบตามมิติ : การขาด
ของความผิดปกติในทั่วไป แสดงถึงการขาดใด ๆหมวดหมู่
ของความผิดปกติ บนมืออื่น ๆ , การดำรงอยู่ของความผิดปกติโดยทั่วไปหมายถึงเฉพาะ
ความผิดปกติอาจจะอยู่ สำหรับ
ตัวอย่าง ให้เราแสดงวิธีการตรวจสอบ ( เช่นตรวจสอบการมีอยู่ของ
) ตามมิติ ตามที่กำหนดไว้ใน [ 18 ] กฎสามารถ
เงาโดยหนึ่งหรือชุดของกฎที่ตรงกับที่ก่อนหน้านี้ทั้งหมด
แพ็คเก็ตซึ่งยังตรงกับเงากฎในขณะที่พวกเขา
ดำเนินการการกระทำที่แตกต่างกัน ในกรณีนี้ทุกแพ็กเก็ตที่
กฎหนึ่งตั้งใจที่จะปฏิเสธ ( ไม่ยอมรับ ) ได้รับการยอมรับ ( ปฏิเสธ ) โดย
กฎก่อนหน้า ( s ) ; ดังนั้น , เงากฎจะไม่เคยได้รับผล . มันเป็นสิ่งสำคัญที่จะค้นพบกฎและการแจ้งเตือน
เงาผู้ดูแลระบบเพื่อแก้ไขข้อผิดพลาดนี้โดยการสั่งใหม่หรือเอา
กฎพวกนี้ [ 2 ] ตามนิยามนี้ และการใช้อุปกรณ์ 1 เรา
สรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบเฉพาะมิติของเงา โดยใช้หุ่นยนต์
B :