Constraint MOTOR_TORQUE_RELEVELING_C

• Defined in theory: Vt-domain
• Source code: vt-domain.lisp

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Motor_Torque_Releveling ?X)
    (* (/ (Machine_Sheave_Diameter (Elevator.Machine ?X))
          (* 24
             (* (Machine_Efficiency (Elevator.Machine ?X))
                (Machine_Gear_Ratio_Numeric (Elevator.Machine ?X)))))
       (+ (* 2 (Cable_Load_Unbalanced ?X))
          (+ (* (Car_Capacity_Range ?X) (/ (- 1 0.4) 0.95))
             (- 1.5 0.4)))))

Notes:

• Formerly-Named: relevelingtorque_calc
• Source: The Yost document, under "MOTOR_TORQUE_RELEVELING"

• Modification-By: Guus Schreiber: ;; BUG: several ones (Sec. 5.14) ;; 1. +/* transposotions ;; 2. the first instance of value 0.95 should be replaced by the ;; parameter (machine_efficiency (elevator.machine ?x)) ;; 3. the second instance of value 0.95 should be defined as ;; parameter

  hoistway_efficiency with a fixed value (?!) ;; 4. P is not explcitly defined as a parameter ;; Also, P gets two different values in the formula: ;; 0.4 (the correct one) and 0.6 (faulty)