The aim of resource scheduling (ste

The aim of resource scheduling (step 4) is to assign actual resources to the dummy resource variables, without undoing any causal relations established during planning. We use a declarative method to address scheduling where the resource allocation problem is posed as a DCSP [37] problem and solved by a standard backjumping CSP solver (see Section 4).

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

จุดประสงค์ของการจัดกำหนดการ (ขั้นตอนที่ 4) ทรัพยากรคือการ กำหนดทรัพยากรจริงตัวแปรดัมมี่ทรัพยากร โดยไม่มีการยกเลิกความสัมพันธ์เชิงสาเหตุใด ๆ ที่สร้างขึ้นในระหว่างการวางแผน เราใช้วิธีการประกาศการจัดกำหนดการที่อยู่ที่ปัญหาการจัดสรรทรัพยากรเกิดเป็นปัญหา DCSP [37] และแก้ไข โดย solver ที่ CSP backjumping มาตรฐาน (ดูส่วนที่ 4)

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

จุดมุ่งหมายของการกำหนดเวลาทรัพยากร (ขั้นตอนที่ 4) คือการกำหนดทรัพยากรที่เกิดขึ้นจริงกับตัวแปรหุ่นทรัพยากรโดยไม่ต้องยกเลิกความสัมพันธ์เชิงสาเหตุใด ๆ ที่จัดตั้งขึ้นในระหว่างการวางแผน เราใช้วิธีการที่เปิดเผยไปยังที่อยู่การจัดตารางเวลาที่มีปัญหาการจัดสรรทรัพยากรถูกวางเป็น DCSP [37] ปัญหาและแก้ไขได้โดยการแก้มาตรฐาน backjumping CSP (ดูมาตรา 4)

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

จุดมุ่งหมายของการจัดตารางทรัพยากร ( ขั้นตอนที่ 4 ) คือการกำหนดทรัพยากรจริงกับหุ่นทรัพยากรตัวแปรโดยไม่ทำลายความสัมพันธ์ใด ๆที่ก่อตั้งขึ้นระหว่างการวางแผน เราใช้วิธีจัดเก็บอยู่ที่การจัดสรรทรัพยากรเป็นปัญหาที่ถูกวางเป็น dcsp [ 37 ] ปัญหาและแก้ไขโดยมาตรฐาน backjumping CSP แก้ ( ดูมาตรา 4 )