A Consequently, the mode assignment

A Consequently, the mode assignment step can be represented in the conjunctive normal form (CNF) which is a conjunction of clauses linked by the “and” operator. A SAT instance contains several clauses to deal with the various mode assignments and/or the non-renewable resource constraints. The clauses for the network of Fig. 1 and Fig. 2 can be represented as follows.

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

A ดังนั้น สามารถแสดงขั้นตอนการกำหนดโหมดใน conjunctive ปกติแบบ (CNF) ซึ่งเป็นการร่วมของส่วนคำสั่ง โดยตัวดำเนินการ "และ" ได้ สแตนซ์ SAT ประกอบด้วยประโยคต่าง ๆ เพื่อจัดการกับการกำหนดโหมดต่าง ๆ และ/หรือข้อจำกัดทรัพยากรไม่หมุนเวียน ส่วนเครือข่ายของ Fig. 1 และ Fig. 2 สามารถแสดงได้ดังนี้

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

ดังนั้นขั้นตอนการกำหนดโหมดสามารถแสดงในรูปแบบปกติท​​ี่เชื่อมต่อกัน (CNF) ซึ่งเป็นคำสั่งร่วมของการเชื่อมโยงด้วย "และ" ผู้ประกอบการ เช่น SAT มีหลายข้อที่จะจัดการกับการกำหนดโหมดต่างๆและ / หรือข้อ จำกัด ของทรัพยากรที่ไม่หมุนเวียน ข้อเป็นเครือข่ายของรูป ที่ 1 และรูปที่ 2 สามารถแสดงดังต่อไปนี้

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

เป็นดังนั้น โหมดงานขั้นตอนที่สามารถแทนในรูปแบบปกติที่เชื่อมต่อกัน ( CNF ) ซึ่งเป็นการเชื่อมโยงของประโยค " และ " ปฏิบัติการ ดาวเทียมมีหลายส่วน เช่น การจัดการกับงานต่าง ๆ โหมด และ / หรือ ไม่หมุนเวียนทรัพยากรจำกัด . คําสั่งสําหรับเครือข่ายของรูปที่ 1 และรูปที่ 2 สามารถแสดงได้ดังนี้