Constraint CABLE_LOAD_UNBALANCED_C

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

Slots on this constraint:

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

Other Related Axioms:

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

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

(Used-In-Constraint Compensation_Cable_Unit_Weight
                    Cable_Load_Unbalanced_C)

(Used-In-Constraint Control_Cable_Unit_Weight
                    Cable_Load_Unbalanced_C)

(Used-In-Constraint Hoist_Cable_Quantity_F Cable_Load_Unbalanced_C)

(Used-In-Constraint Compensation_Cable_Quantity_C02
                    Cable_Load_Unbalanced_C)

(Used-In-Constraint Hoistway_Travel Cable_Load_Unbalanced_C)

(Used-In-Constraint Cable_Load_Unbalanced Cable_Load_Unbalanced_C)

(Used-In-Constraint Hoist_Cable_Unit_Weight Cable_Load_Unbalanced_C)

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)