672581164

File Settings Help

( Layout Editor \ Floors View | Hypergraph View[ Project Validation

Floor

Choose file to edit
Enabled	File name
0	Evacuation Route RMI-2002 ind.pl	▲
□	Evacuation Route RMI-2002 old.eng
□	Hierarchical test 1 pi
□	Hierarchical test2.pl
0	Hierarchicaltest3.pl
□	Hierarchical test4.pl
□	Hierarchicaltest5.pl
0	Lift Accessibility RMI-2002 access.pl
0	Lift Accessibility RMI-2002 levels.pl
□	Sample Client Requirement l.eng
0	Sample Client Requirement 2.pl
□	Sample Client Requirement 3.eng	_
□	Sample Client Requirement 4.eng
□	Sensors TestDoors.pl
□	Sensors Test Passage.eng
□	Sensors Test Passage.pl
□	TestArea.pl
□	TestDoors.pl
□	_evac_route.1
□	_evac_route.7.ind.test
□	_notDecidable 1 pi
□	_notDecidable 2.pl
□	_publicBuildings 1 pi
□	JestFloors lift acc direct.pl
□	JestFloors.pl
□	JestSensors 1 .pl
□	JestSensors 2.pl	"W

Evacuation Route RMI-2002 ind.pl

#    zbiór drzwi prowadzących do innych stref pożarowych ZoneDoors(d) <=> exists r in Rooms: doorslnRoom(d. r) and type(r) = "Staircase";

#    zbiór drzwi zapewniających opuszczenie bieżącej strefy FireSafetyDoors(d) <=> ExternalDoors(d) or ZoneDoors(d) ;

#    pokoje stanowiące odrębne strefy pożarowe ZoneRooms(r) <=> Rooms(r) and (type(r) = "Staircase");

#    pomieszczenia które mogą wchodzie w skład drogi ewakuacyjnej EvacRoute(r) <=> Rooms(r) and (type(r) = "Corridor" or type(r) = "Hall");

#    pomieszczenia które mogą wchodzie w skład przejścia ewakuacyjnego AccessPath(r) <=> Rooms(r) and IZoneRooms(r) and !EvacRoute(r);

#    określa drzwi które są oddalone o co najwyżej x od FireSafetyDoors, oddzielone od nich pokojem validRouteFromAdj(d, x) <=> Doors(d) and ( exists d2 in Doors : d2!=d and FireSafetyDoors(d2) and

( exists p in Rooms: doorslnRoom(d2.p) and doorslnRoom(d.p) and EvacRoute(p) and x>=doorsDist(d. d2) ));

#    określa drzwi które są oddalone o co najwyżej x od FireSafetyDoors, oddzielone od nich co njawy; validRouteFromlnduction(d, x, n)<=>

(n = 1 and validRouteFromAdj(d, x)) or

(n <> 1 and Doors(d) and validRouteFromlnduction(d, x, n-1)) or (n <> 1 and Doors(d) and exists d2 in Doors : d2!=d and ( exists p in Rooms:

doorslnRoom(d2.p) and doorslnRoom(d.p) and EvacRoute(p) and x>=doorsDist(d. d2)

) and

_validRouteFromlnduction(d2. x - doorsDist(d. d2). n-1)_

Save file