// 스프링클러설비의 화재안전기준(nfsc 103) 12조 (전원) 3항
Check(NFSC103_12_3){
IF (CS1 OR CS2 THEN KS1) OR (CS3 THEN KS2)
}
Pump myPump{
getObjectProperty(Pump.systemType) = "InternalCombustionEngines"
}
CS1{
getResult(Unimplemented_NFSC103_12_2) = TRUE
getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"
OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"
}
CS2{
isInstalled(Pump, InternalCombustionEngines) = TRUE
isInstalled(ControlStorageBattery, InternalCombustionEngine) = TRUE
}
KS1{
getResult(NFSC103_12_3_4) = TRUE
OR getResult(NFSC103_12_3_8) = TRUE
}
CS3{
getResult(Unimplemented_NFSC103_12_2) = TRUE
getObjectProperty(EmergencyPower.systemType) = "EmergencyPowerReceivingSystem"
}
KS2{
getResult(Unimplemented_NFSC602) = TRUE
}
|
Python Code 변환 예정
|