Doors

Up: Corpus of Examples
Back: Object falling through a funnel
Next: Door with deadbolt.

Definition Dd.1: Let OF, OD, OM be objects : frame, door, and mover respectively. Let CA, CB be configurations of CM. Let CO, CC be the scenarios over OD and OF (open and closed) Then OD is a door through OF for OM from RA to RB with opening motion PCC if the following three conditions are met:

Formally, these may be stated as follows:

Definition Dd.2: A door is unavoidable if PPMC is empty; that is, there is no way for OM to get from RA to RB if the door remains closed.

D.1: Let OD be an unavoidable door through OF for OM from RA to RB with open position CO and closed position CC. If OF, OD is in CC from time T1 to time T2 and OM is inside RA at T1 then OM is not inside RB at time T2. Equivalently, if OF is fixed at position(OF,CC) throughout [T1,T2], OM is inside RA at T1 and inside RB at T2, then OD is not in position(OD,CC) throughout [T1,T2].
Kinematics; deterministic; no gravity; no external force; prediction/interpolation.

Definition Dd.3: Object OD is a standard door with frame OF, open position CO, closed position CC, gap LG, and conduit RO (a region)

D.2: Let OD be a standard door with frame OF, open position CO, closed position CC, gap LG, and conduit RO (a region). Let COOR be the standard coordinate system of the door in CC, and let LDW be the width of the door. Let RA, RB be any subregions of RO such that the y-coordinate of all of RA is less than -(LAX+LDW) and the y-coordinate of all of RB is greater than LDT. Let OM be an object such that shape(OM) fits in RA and fits in RB and contains a sphere of radius LG. Then OD is a door through OF for OM from RA to RB with closed position CC and open position CO.
Deterministic, no gravity, no external force, system identification.

D.3: One-way door:
D.3.a: Can be pushed open.
D.3.b: Can be pulled open with a handle
D.3.c: Can perhaps be pulled open by wedging an object between frame and door and dragging.
D.3.d: Can perhaps be banged open

D.4: Swinging door: Can be pushed open from either side.

D.5: Boulder in front of doorframe.

D.6: Sliding door.

D.7: Cat door: Hinged on horizontal line, swings down to one-way closing. Can be pushed from one side, pulled and held from the other. Self-closing.

D.8: Swinging cat door: Hinged on horizontal line, swings through. Can be pushed from either side.

D.9: Upside down cat door. Hinged on horizontal line below opening. Self-opening. Must be held or pinned shut.

D.10: Trap door.
D.10.a: Lying loose over hole.
D.10.a.i: Can/cannot fall through hole.
D.10.b: Hinged.
D.10.c: Sliding.

D.11: Trap door underneath opening. Hinged. Must be pinned to stay closed.

D.12: Misintalled vertical door, with hinges on a non-vertical line. Either self-closing or self-opening.

D.13: Minsintalled hinged door, with non-collinear hinges. Jammed.

D.14: Cylinder with hole through it in cylindrical frame. Rotate into place.

D.15: Door with hinges along center line. Rotates about center.
D.15.a. One way. D.15.b: Two way.

D.16: Failed door, with door too large to clear frame.
D.16.a: Jammed shut frictively.
D.16.b: Closes but not cleanly.

D.17: Sequential double doors.
D.17a: Unopenable sequential double doors.

D.18: Side by side double doors.

D.19: Frictive sliding double windows.

D.20: Door inside a door: (Cat door 2).