// 스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항
Check(NFSC103_16_2){
IF CS THEN KS
}
Pump myPump{
isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump2{
isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump3{
isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump4{
isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump5{
isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump6{
isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump7{
isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
CS{
isShared(myPump, myPump2) = TRUE
OR isShared(myPump, myPump3) = TRUE
OR isShared(myPump, myPump4) = TRUE
OR isShared(myPump, myPump5) = TRUE
OR isShared(myPump, myPump6) = TRUE
OR isShared(myPump, myPump7) = TRUE
}
KS{
getObjectProperty(myPump.ratedDischargeRate) = PRD
getObjectProperty(myPump2.ratedDischargeRate) + getObjectProperty(myPump3.ratedDischargeRate) + getObjectProperty(myPump4.ratedDischargeRate) + getObjectProperty(myPump5.ratedDischargeRate) + getObjectProperty(myPump6.ratedDischargeRate) + getObjectProperty(myPump7.ratedDischargeRate) = TPRD
PRD >= TPRD
}
|
Python Code 변환 예정
|
(2025-06-28 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
