// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 Check(NFSC503_4_1){ getResult(NFSC503_4_1_2)=TRUE getResult(NFSC503_4_1_3)=TRUE getResult(NFSC503_4_1_4)=TRUE getResult(NFSC503_4_1_5)=TRUE }
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 2호
Check(NFSC503_4_1_2){
IF CS THEN KS
}
CS{
Zone myZone{
isObjectProperty(Zone.isWaterSupplyZone)=TRUE
}
hasObject(myZone.One,HookingUpSprinklerSystem.Head.)=TRUE
getObjectCount(HookingUpSprinklerSystem.Head.) <= 10
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
isObjectProperty(myPort.diameter) = 65mm
getObjectProperty(myPort.shapeType) = "DoubleType"
}
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 3호
Check(NFSC503_4_1_3){
IF !CS THEN KS
}
Zone myZone{
isObjectProperty(Zone.isWaterSupplyZone)=TRUE
}
CS{
Valve myValve{
isObjectProerpty(Valve.isSelectionValve) = TRUE
}
isInstalled(myValve) = TRUE
hasObject(myZone,MainStructuralPart) = TRUE
isFireResistantStructure(MainStructuralPart) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Head myHead{
getObjectProperty(Head.openAndCloseType) = "OpenType"
}
isInstalled(myPort.호스접결구, myZone.One) = TRUE
}
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 5호
Check(NFSC503_4_1_5){
IF !CS THEN KS
}
CS{
Pipe myPipe1{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe2{
getObjectProperty(Port.systemType) = "SprinklerSystem"
}
Pipe myPipe3{
getObjectProperty(Port.systemType) = "WaterSprayExtingushingSystem"
}
Pipe myPipe4{
getObjectProperty(Port.systemType) = "FoamExtinguishingSystem"
}
Pipe myPipe5{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe6{
getObjectProperty(Port.systemType) = "FireDepartmentConnectionSystem"
}
isShared(myPipe1, myPipe2, myPipe3, myPipe4) = TRUE
OR isShared(myPipe5, myPipe6) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Pipe myPipe{
isObjectProperty(Pipe.isRiser)=TRUE
}
Vavle myValve{
isObjectProperty(Valve.isShutoffValve)= TRUE
}
isConnectedTo(myPort, Pipe) = TRUE
isConnectedTo(Pipe, myPipe) = TRUE
isInstalled(myValve, myPipe) = FALSE
}
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항
Check(NFSC503_4_3){
KS
}
KS{
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isCheckValve) = TRUE
}
isInstalled(myValve1, HookingUpSprinklerSystem) = TRUE
isInstalled(myValve2, HookingUpSprinklerSystem) = TRUE
getResult(NFSC503_4_3_1) = TRUE
getResult(NFSC503_4_3_2) = TRUE
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호
Check(NFSC503_4_3_1){
IF CS THEN KS
}
CS{
Head myHead{
getObjectProperty(Head.openAndCloseType) = "EnclosedType"
}
getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isCheckValve) = TRUE
}
isInstalledInOrder(myPort, myValve1, myValve2) = TRUE
}
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호
Check(NFSC503_4_3_2){
IF CS THEN KS
}
CS{
Head myHead{
getObjectProperty(Head.openAndCloseType) = "OpenType"
}
getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
Valve myValve1{
isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
}
isInstalledInOrder(myPort, myValve1) = TRUE
}
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 4항
Check(NFSC503_4_4){ IF CS THEN KS } CS{ Head myHead{ getObjectProperty(Head.openAndCloseType) = "OpenType" } getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ Zone myZone{ isObjectProperty(Zone.isWaterSupplyZone) = TRUE } Head myHead{ isInstalled(HookingUpSprinklerSystem.Head, myZone.One) = TRUE }
getObjectCount(myHead) <= 10 }
Check(NFSC503_4_1_4){
KS
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort) >= 0.5m
getObjectVerticalDistance(Ground, myPort) <= 1m
}
|