// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호
Check(NFSC102_6_1_1){ IF CS THEN KS } CS{ isObjectProperty(Pipe.workingPressure) < 1.2 } KS{ getResult(NFSC102_6_1_1_가)=TRUE getResult(NFSC102_6_1_1_나)=TRUE getResult(NFSC102_6_1_1_다)=TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 가목
Check(NFSC102_6_1_1_가){ KS } KS{ getObjectProperty(Pipe.Material) = "KS_D_3507" }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 나목
Check(NFSC102_6_1_1_나){ IF CS THEN KS } CS{ isObjectProperty(Pipe.systemType) = "WetPipeSprinklerSystem" } KS{ getObjectProperty(Pipe.Material) = "KS_D_5301" }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 1호 다목
Check(NFSC102_6_1_1_다){ KS } KS{ getObjectProperty(Pipe.Material) = "KS_D_3576" OR getObjectProperty(Pipe.Material) = "KS_D_3595" }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항 2호
Check(NFSC102_6_1_2){ IF CS THEN KS } CS{ isObjectProperty(Pipe.workingPressure) >= 1.2 } KS{ getObjectProperty(Pipe.Material) = "KS D 3562" }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항
Check(NFSC102_6_2){ IF CS THEN KS1 OR KS2 }
CS{ getResult(NFSC102_6_2_2) = TRUE OR getResult(NFSC102_6_2_3) = TRUE } KS1{ getResult(NFSC102_6_1) = TRUE } KS2{ isObjectProperty(Pipe.isSyntheticResinForfirefighting) = TRUE }
Check(NFSC102_6_2_2){ KS } KS{ Duct myDcut{ isFireResistantStructure(Duct) = TRUE } isInstalled(Pipe, Duct) = TRUE OR isInstalled(Pipe, Pit.Inside) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호 Check(NFSC102_6_5_1){ KS } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe,Filter) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 2호 Check(NFSC102_6_5_2){ IF CS THEN KS } CS{ getObjectVerticalLocation(Pump, Tank) < 0 } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe, Pump.One) = TRUE }
// 옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호 Check(NFSC102_6_8_1){ KS }
KS{ Pipe myPipe{ isObjectProperty(Pipe.isForPerformanceTest) = TRUE }
Valve myValve{ isObjectProperty(Valve.isShutoffValve) = TRUE isInstalled(Valve, Pump.Outlet) = TRUE }
Valve myValve2{ isObjectProperty(Valve.isShutoffValve) = TRUE isInstalled(Valve, Pump.Outlet) = FALSE }
Valve myValve3{ isObjectProperty(Valve.isFloatControlValve) = TRUE }
isDiverged(Pump, myPipe) = TRUE getObjectDistance(Pump.StartPart, myPipe) < getObjectDistance(Pump.StartPart, myValve)
isInstalled(myValve2, myPipe) = TRUE isInstalled(myValve3, myPipe) = TRUE }
// 옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 2호 Check(NFSC102_6_8_2){ KS }
KS{ Pipe myPipe{ isObjectProperty(Pipe.isForPerformanceTest) = TRUE }
isInstalled(DischargeMeasuringEquipment, myPipe) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 1항
Check(NFSC102_6_1){ KS } KS{ getResult(NFSC102_6_1_1) = TRUE getResult(NFSC102_6_1_2) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호 Check(NFSC102_6_2_3){ KS } KS{ SprinklerSystem mySprinklerSystem{ isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem" } (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE) (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE) isInstalled(mySprinklerSystem, Ceiling)=TRUE isInstalled(mySprinklerSystem, CeilingCovering)=TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호 Check(NFSC102_6_2_3){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.usage) = "WaterSupplyPipe" } isObjectProperty(Pipe.isShared) = FALSE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항
Check(NFSC102_6_5){ IF CS THEN KS } CS{ isInstalled(Pump.Inlet, Pipe) = TRUE } KS{ getResult(NFSC503A_8_4_1) = TRUE getResult(NFSC503A_8_4_2) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 6항
Check(NFSC102_6_6){
IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3) OR (CS4 THEN KS4)
}
Port myPort{
Port.typeForWater = "IndoorFireHydrantDischarge"
}
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
isConnectedTo(Pipe, myPort) = TRUE
}
Pipe myPipe2{
isObjectProperty(Pipe.isRiser) = TRUE
}
CS1{
getObjectProperty(myPipe.systemType) = "HoseReelHydrantSystem"
}
KS1{
getObjectProperty(myPipe.diameter) >= 25mm
}
CS2{
getObjectProperty(myPipe.systemType) != "HoseReelHydrantSystem"
}
KS2{
getObjectProperty(myPipe.diameter) >= 40mm
}
CS3{
getObjectProperty(myPipe2.systemType) = "HoseReelHydrantSystem"
}
KS3{
getObjectProperty(myPipe2.diameter) >= 32mm
}
CS4{
getObjectProperty(myPipe2.systemType) != "HoseReelHydrantSystem"
}
KS4{
getObjectProperty(myPipe2.diameter) >= 50mm
}
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 7항
Check(NFSC503A_6_7){
IF CS THEN KS
}
CS{
Pipe.isShared(SimpleSprinklersystem.Pipe, FireDepartmentConnectionSystem.Pipe) = TRUE
}
KS{
Pipe myPipe1{
isObjectProperty(Pipe.isRiser) = TRUE
}
Port myPort{
getObjectProperty(Port.typeForWater) = "Delivery"
Pipe myPipe2{
isConnectedTo(Pipe, myPort) = TRUE
}
isObjectProperty(myPipe1.diameter) >= 100 mm
getObjectProperty(myPipe2.diameter) >= 65 mm
}
// 옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 Check(NFSC102_6_8){ KS }
KS{ getResult(NFSC102_6_8_1) = TRUE OR getResult(NFSC102_6_8_2) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 9항 Check(NFSC503A_6_9){ KS } KS{ Valve myValve1{ isObjectProperty(Valve.isCheckValve) = TRUE } PP = getObjectProperty(Pump.shutoffPressure) Valve myValve2{ isObjectProperty(Valve.isReliefVavle) = TRUE isObjectProperty(Valve.reliefPressure) < PP }
isInstalledInOrder(myValve1, Pipe, Pump) = TRUE isObjectProperty(Pipe.diameter) >= 20mm isInstalled(myValve2, Pipe) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 11항 Check(NFSC503A_6_11){ IF CS THEN KS } Pipe myPipe{ isObjectProperty(Pipe.usage) = "WaterSupplyPipe" } Valve myValve1{ isObjectProperty(Valve.isShutoffValve) = TRUE } S{ isInstalled(myValve1,myPipe) = TRUE isInstalled(myValve1,myPort) = FALSE } KS{ isObjectProperty(myValve1.isIndicatingValve) = TRUE Valve myValve2{ isInstalled(Valve, Pump.Inlet) = TRUE } isObjectProperty(myValve2.isIndicatingValve) = TRUE isObjectProperty(myValve2.isButterflyValve) = FALSE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 Check(NFSC503A_6_13){ KS } KS{ getResult(NFSC503A_8_13_2) = TRUE getResult(NFSC503A_8_13_3) = TRUE getResult(NFSC503A_8_13_4) = TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 2호
Check(NFSC503A_6_13_2){
IF !CS THEN KS
}
CS{
isShared(HookingUpSprinklerSystem.Pipe, SprinklerSystem.Pipe, WaterSprayExtingushingSystem.Pipe, FoamExtinguishingSystem.Pipe) = TRUE
OR isShared(HookingUpSprinklerSystem.Pipe, FireDepartmentConnectionSystem.Pipe) = TRUE
}
KS{
Port myPort{
getObjectProperty(HookingUpSprinklerSystem.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 102) 6조 (배관 등) 13항 3호
Check(NFSC503A_6_13_3){
KS
}
KS{
Port myPort{
getObjectProperty(IndoorFireHydrantSystem.Port.typeForWater) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort) >= 0.5m
getObjectVerticalDistance(Ground, myPort) <= 1m
}
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 4호 Check(NFSC503A_6_13_4){ KS{ Port myPort{ isObjectProperty(Port.typeForWater) = "FireDepartmentConnection" } (isObjectProperty(myPort.shapeType)="DoubleType" isObjectProperty(myPort.diameter) = 65mm) OR isObjectProperty(myPort.shapeType) = "SingleType" }
|