Constraint CABLE_LOAD_UNBALANCED_C

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Cable_Load_Unbalanced ?X)
    (* (Hoistway_Travel ?X)
       (- (* (Hoist_Cable_Quantity_F (Elevator.Hoistcable ?X))
             (Hoist_Cable_Unit_Weight (Elevator.Hoistcable ?X)))
          (+ (* (Compensation_Cable_Quantity_C02 
                    (Elevator.Compensationcable ?X))
                (Compensation_Cable_Unit_Weight 
                    (Elevator.Compensationcable ?X)))
             (* 0.25
                (Control_Cable_Unit_Weight (Elevator.Controlcable ?X)))))))

Notes:

• Formerly-Named: unbalanced_cable_load_calc
• Source: The Yost document, under "CABLE_LOAD_UNBALANCED"

• Modification-By: Guus Schreiber: ;; BUG: errors in formula (Sec. 5.14) ;; CHANGED TO: T(WQhoist - WQcomp - 0.25Wcont)