Constraint MOTOR_TORQUE_RELEVELING_C

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

Slots on this constraint:

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)))))

Other Related Axioms:

(<= (Has-Constraint $X Motor_Torque_Releveling_C) (Elevator $X))

(Inherited-Slot-Value Elevator
                      Has-Constraint
                      Motor_Torque_Releveling_C)

(Used-In-Constraint Machine_Gear_Ratio_Numeric
                    Motor_Torque_Releveling_C)

(Used-In-Constraint Car_Capacity_Range Motor_Torque_Releveling_C)

(Used-In-Constraint Motor_Torque_Releveling
                    Motor_Torque_Releveling_C)

(Used-In-Constraint Machine_Sheave_Diameter
                    Motor_Torque_Releveling_C)

(Used-In-Constraint Cable_Load_Unbalanced Motor_Torque_Releveling_C)

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)