자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 9호 나목
Check(NFSC203_7_3_9_나){
IF CS THEN KS
}
CS{
isConnectedTO(Detector.One, SensingElement) = TRUE
}
KS{
getObjectCount(SensingElement) >= 2
getObjectCount(SensingElement) <= 15
}
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 10호 Check(NFSC203_7_3_10){ KS }
KS{ getResult(NFSC203_7_3_10_1) = TRUE getResult(NFSC203_7_3_10_2) = TRUE getResult(NFSC203_7_3_10_5) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 10호 가목
Check(NFSC203_7_3_10_가){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
Sensor mySensor1{
getObjectProperty(Sensor.type) = "Type1"
OR getObjectProperty(Sensor.type) = "Type2"
}
Sensor mySensor2{
isObjectProperty(Sensor.type) = "Type3"
}
CS1{
getObjectVerticalDistance(FloorSlab, Sensor) < 4m
}
KS1{
isInstalled(mySensor1, FloorSlab.Space, C, 150) = TRUE)
OR isInstalled(mySensor2, FloorSlab.Space, C, 50) = TRUE)
}
CS2{
getObjectVerticalDistance(FloorSlab, Sensor) >= 4m
getObjectVerticalDistance(FloorSlab, Sensor) < 20m
}
KS2{
isInstalled(mySensor1, FloorSlab.Space, C, 75) = TRUE)
}
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 10호 나목 Check(NFSC203_7_3_10_2){ IF (CS1 THEN KS1) OR (CS2 THEN KS2) }
CS1{ hasSpace(Corridor, SmokeSensor) = TRUE OR hasSpace(Passage, SmokeSensor) = TRUE }
KS1{ getObjectInterval(SmokeSensor) <= 30m }
CS2{ hasSpace(Stair, SmokeSensor) = TRUE OR hasSpace(Ramp, SmokeSensor) = TRUE }
KS2{ getObjectInterval(SmokeSensor) <= 15m }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 10호 마목 Check(NFSC203_7_3_10_5{ KS }
KS{ getObjectDistance(SmokeSensor, Wall.Structure) >= 0.6m OR getObjectDistance(SmokeSensor, Beam.Structure) >= 0.6m }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 11호
Check(NFSC203_7_3_11){
IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3)
}
CS1{
getObjectProperty(Sensor.isIntegratedType) = "HeatIntegratedType"
}
KS1{
getResult(NFSC203_7_3_3) = TRUE
OR getResult(NFSC203_7_3_9) = TRUE
}
CS2{
getObjectProperty(Sensor.isIntegratedType) = "SmokeIntegratedType"
}
KS2{
getResult(NFSC203_7_3_10) = TRUE
}
CS3{
getObjectProperty(Sensor.isIntegratedType) = "HeatAndSmokeIntegratedType"
}
KS3{
getResult(NFSC203_7_3_5) = TRUE
OR (getResult(NFSC203_7_3_10_나) = TRUE
OR getResult(NFSC203_7_3_10_마) = TRUE)
}
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 12호 Check(NFSC203_7_3_12){ KS }
KS{ getResult(NFSC203_7_3_12_2) = TRUE getResult(NFSC203_7_3_12_3) = TRUE getResult(NFSC203_7_3_12_4) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 12호 라목
Check(NFSC203_7_3_12_라){
IF (CS1 THEN KS1 AND KS2) OR (!CS1 THEN KS3 AND KS4)
}
Zone myZone{
isObjectProperty(Zone.isDetectionZone) = TRUE
}
Sensor mySensor1{
getObjectProperty(Sensor.type) = "Type1"
}
Sensor mySensor2{
getObjectProperty(Sensor.type) = "Type2"
}
CS1{
isFireResistantStructure(myZone.Wall) = TRUE
isFireResistantStructure(myZone.Column) = TRUE
}
KS1{
getElementDistance(mySensor1, myZone.Wall) <= 4.5m
getElementDistance(mySensor1, myZone.Column) <= 4.5m
}
KS2{
getElementDistance(mySensor2, myZone.Wall) <= 3m
getElementDistance(mySensor2, myZone.Column) <= 3m
}
KS3{
getElementDistance(mySensor1, myZone.Wall) <= 3m
getElementDistance(mySensor1, myZone.Column) <= 3m
}
KS4{
getElementDistance(mySensor2, myZone.Wall) <= 1m
getElementDistance(mySensor2, myZone.Column) <= 1m
}
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 13호 Check(NFSC203_7_3_13){ KS }
KS{ getResult(NFSC203_7_3_13_4) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 13호 라목
Check(NFSC203_7_3_13_라){ IF CS THEN KS } CS{ isInstalled(Sensor, Ceiling) = TRUE } KS{ 객체설치방향(Sensor, FloorSlab) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 15호 Check(NFSC203_7_3_15){ KS }
KS{ getResult(NFSC203_7_3_15_1) = TRUE getResult(NFSC203_7_3_15_2) = TRUE getResult(NFSC203_7_3_15_3) = TRUE getResult(NFSC203_7_3_15_4) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 15호 다목
Check(NFSC203_7_3_15_다){ KS } KS{ Wall myWall{ isInstalled(Sensor.LightReceivingElement, Wall) = TRUE isInstalled(Sensor.LightSendingElement , Wall) = TRUE } getElementDistance(Sensor, myWall) <= 1m }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 4항
Check(NFSC203_7_4){ IF CS THEN KS } CS{ getResult(NFSC203_7_4_1) = TRUE OR getResult(NFSC203_7_4_2) = TRUE } KS{ Sensor mySensor1{ getObjectProperty(Sensor.sensingMode) = "PhotoelectricType" getObjectProperty(Sensor.sensingRange) = "SeparateType" } Sensor mySensor2{ getObjectProperty(Sensor.sensingMode) = "PhotoelectricType" getObjectProperty(Sensor.sensingRange) = "AspiratingType" }
isInstalled(mySensor1) = TRUE OR isInstalled(mySensor2) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 4항 1호
Check(NFSC203_7_4_1){ IF CS THEN KS } CS{ getBuildingUsage() = "ChemistryFactory" OR getBuildingUsage() = "Hangar" OR getBuildingUsage() = "Smelter" } KS{ Sensor mySensor1{ getObjectProperty(Sensor.sensingMode) = "PhotoelectricType" getObjectProperty(Sensor.sensingRange) = "SeparateType" } isInstalled(mySensor1) = TRUE OR isInstalled(FlameSensor) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 4항 2호
Check(NFSC203_7_4_2){ IF CS THEN KS } CS{ getSpaceUsage() = "ComputerRoom" OR getBuildingUsage() = "SemiconductorFactory" } KS{ Sensor mySensor1{ getObjectProperty(Sensor.sensingMode) = "PhotoelectricType" getObjectProperty(Sensor.sensingRange) = "AspiratingType" } isInstalled(mySensor1) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항
Check(NFSC203_7_5){ KS } KS{ getResult(NFSC203_7_5_1) = TRUE OR getResult(NFSC203_7_5_2) = TRUE OR getResult(NFSC203_7_5_5) = TRUE OR getResult(NFSC203_7_5_6) = TRUE OR getResult(NFSC203_7_5_8) = TRUE OR getResult(NFSC203_7_5_9) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항 1호
Check(NFSC203_7_5_1){ IF CS THEN KS } CS{ getObjectVerticalDistance(FloorSlab, Ceiling) >= 20m OR getObjectVerticalDistance(FloorSlab, CeilingCovering) >= 20m } KS{ isInstalled(Sensor) = FALSE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항 5호
Check(NFSC203_7_5_5){ IF CS THEN KS } CS{ Space mySpace1{ getSpaceUsage() = "Toliet" } Space mySpace2{ getSpaceUsage() = "Bathoroom" } isInstalled(mySpace1, mySpace2) = TRUE KS{ isInstalled(Sensor) = FALSE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항 6호
Check(NFSC203_7_5_6){ IF CS THEN KS } CS{ Duct myDuct{ isObjectProperty(Duct.isPipeDuct) = TRUE } isFirePartition(myDuct, 2층) = TRUE OR isObjectProperty(Duct.horizontalSectionalArea) <= 5m2 KS{ isInstalled(Sensor) = FALSE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항 8호
Check(NFSC203_7_5_6){ IF CS THEN KS } CS{ Space mySpace{ isExternal(Space) = FALSE } (mySpace.volume) <= 20m3 } KS{ isInstalled(Sensor) = FALSE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 6항
Check(NFSC203_7_6){ IF CS THEN KS } CS{ isInstalled(Sensor, Underground) = TRUE } KS{ getResult(NFSC203_7_1_1) = TRUE OR getResult(NFSC203_7_1_2) = TRUE OR getResult(NFSC203_7_1_3) = TRUE OR getResult(NFSC203_7_1_4) = TRUE OR getResult(NFSC203_7_1_5) = TRUE OR getResult(NFSC203_7_1_6) = TRUE OR getResult(NFSC203_7_1_7) = TRUE OR getResult(NFSC203_7_1_8) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항
Check(NFSC203_7_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3) OR (CS4 THEN KS4) OR (CS5 THEN KS5)
}
Sensor mySensor1{
getObjectProperty(Sensor.sensingMode) = "DifferentialTemperatureType"
getObjectProperty(Sensor.sensingRange) = "LineType"
}
Sensor mySensor2{
getObjectProperty(Sensor.sensingMode) = "CompensationType"
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
Sensor mySensor3{
getObjectProperty(Sensor.sensingMode) = "ConstantTemperatureType"
(getObjectProperty(Sensor.sensingRange) = "SpotType"
OR getObjectProperty(Sensor.lineTypeEnum) = "LineType")
}
Sensor mySensor4{
getObjectProperty(Sensor.sensingMode) = "ionizationType"
}
Sensor mySensor5{
getObjectProperty(Sensor.sensingMode) = "PhotoelectricType"
(getObjectProperty(Sensor.sensingRange) = "SpotType"
OR getObjectProperty(Sensor.sensingRange) = "SeparateType"
OR getObjectProperty(Sensor.sensingRange) = "AspiratingType")
}
Sensor mySensor6{
getObjectProperty(Sensor.integratedType) = "HeatIntegratedType"
}
Sensor mySensor7{
getObjectProperty(Sensor.integratedType) = "SmokeIntegratedType"
}
Sensor mySensor8{
getObjectProperty(Sensor.integratedType) = "HeatAndSmokeIntegratedType"
}
}
CS1{
getObjectVerticalDistance(FloorSlab, Sensor) < 4m
}
KS1{
(isObjectProperty(mySensor1.sensingRange) = "SpotType"
isInstalled(mySensor1) = TRUE)
OR isInstalled(mySensor2) = TRUE
OR isInstalled(mySensor3) = TRUE
OR isInstalled(mySensor4) = TRUE
OR isInstalled(mySensor5) = TRUE
OR isInstalled(mySensor6) = TRUE
OR isInstalled(mySensor7) = TRUE
OR isInstalled(mySensor8) = TRUE
OR isInstalled(FlameSensor) = TRUE
}
CS2{
getObjectVerticalDistance(FloorSlab, Sensor) >= 4m
getObjectVerticalDistance(FloorSlab, Sensor) < 8m
}
KS2{
(isObjectProperty(mySensor1.sensingRange) = "SpotType"
isInstalled(mySensor1) = TRUE)
OR isInstalled(mySensor2) = TRUE
OR ((getObjectProperty(Sensor.type) = "SpecialType"
OR getObjectProperty(Sensor.type) = "Type1")
isInstalled(mySensor3) = TRUE)
OR ((getObjectProperty(Sensor.type) = "Type1"
OR getObjectProperty(Sensor.type) = "Type2")isInstalled(mySensor4) = TRUE)
OR ((getObjectProperty(Sensor.type) = "Type1"
OR getObjectProperty(Sensor.type) = "Type2")
isInstalled(mySensor5) = TRUE)
OR isInstalled(mySensor6) = TRUE
OR isInstalled(mySensor7) = TRUE
OR isInstalled(mySensor8) = TRUE
OR isInstalled(FlameSensor) = TRUE
}
CS3{
getObjectVerticalDistance(FloorSlab, Sensor) >= 8m
getObjectVerticalDistance(FloorSlab, Sensor) < 15m
}
KS3{
isInstalled(mySensor1) = TRUE
OR ((getObjectProperty(Sensor.type) = "Type1"
OR getObjectProperty(Sensor.type) = "Type2")isInstalled(mySensor4) = TRUE)
OR ((getObjectProperty(Sensor.type) = "Type1"
OR getObjectProperty(Sensor.type) = "Type2")
isInstalled(mySensor5) = TRUE)
OR isInstalled(mySensor7) = TRUE
OR isInstalled(FlameSensor) = TRUE
}
CS4{
getObjectVerticalDistance(FloorSlab, Sensor) >= 15m
getObjectVerticalDistance(FloorSlab, Sensor) < 20m
}
KS4{
((getObjectProperty(Sensor.type) = "Type1"
isInstalled(mySensor4) = TRUE)
OR (getObjectProperty(Sensor.type) = "Type1"
isInstalled(mySensor5) = TRUE)
OR isInstalled(mySensor7) = TRUE
OR isInstalled(FlameSensor) = TRUE
}
CS5{
getObjectVerticalDistance(FloorSlab, Sensor) >= 20m
}
KS5{
Sensor mySensor9{
getObjectProperty(Sensor.sensingMode) = "PhotoelectricType"
(getObjectProperty(Sensor.sensingRange) = "SeparateType"
OR getObjectProperty(Sensor.sensingRange) = "AspiratingType")
getObjectProperty(Sensor.operationMode) = "Analog"isInstalled(mySensor5) = TRUE
}
isInstalled(mySensor9) = TRUE
OR isInstalled(FlameSensor) = TRUE
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 1호 Check(NFSC203_7_1_1){ KS } KS{ getObject(FlameSensor) }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 2호
Check(NFSC203_7_1_2){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.sensingMode) = "ConstantTemperatureType"
getObjectProperty(Sensor.sensingRange) = "LineType"
}
getObject(mySensor)
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 3호
Check(NFSC203_7_1_3){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.sensingRange) = "LineType"
}
getObject(mySensor)
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 4호
Check(NFSC203_7_1_4){
KS
}
KS{
Sensor mySensor{
isObjectProperty(Sensor.isIntegratedType) = TRUE
}
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 5호
Check(NFSC203_7_1_5){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.sensingMode) = "PhotoelectricType"
getObjectProperty(Sensor.sensingRange) = "SeparateType"
}
getObject(mySensor)
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 6호
Check(NFSC203_7_3_6){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.OperationMode.) = "Analog"
}
getObject(mySensor) = TRUE
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 7호
Check(NFSC203_7_1_7){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.OperationMode.) = "MultiSignal"
}
getObject(mySensor) = TRUE
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 1항 8호
Check(NFSC203_7_1_8){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.operationMode) = "Accumulation"
}
getObject(mySensor) = TRUE
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 Check(NFSC203_7_2){ IF CS THEN KS }
Sensor mySensor{ getResult(NFSC203_7_1_1) = TRUE OR getResult(NFSC203_7_1_2) = TRUE OR getResult(NFSC203_7_1_3) = TRUE OR getResult(NFSC203_7_1_4) = TRUE OR getResult(NFSC203_7_1_5) = TRUE OR getResult(NFSC203_7_1_6) = TRUE OR getResult(NFSC203_7_1_7) = TRUE OR getResult(NFSC203_7_1_8) = TRUE }
CS{ isInstalled(mySensor) = FALSE getResult(NFSC203_7_2_1) = TRUE OR getResult(NFSC203_7_2_2) = TRUE OR getResult(NFSC203_7_2_3) = TRUE }
KS{ isInstalled(SmokeSensor) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 1호 Check(NFSC203_7_2_1){ KS }
KS{ Ramp myRamp{ getObjectProperty(Ramp.length) >= 15m }
isInstalled(SmokeSensor, Stair) = TRUE isInstalled(SmokeSensor, myRamp) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 2호 Check(NFSC203_7_2_2){ KS }
KS{ Corridor myCorridor{ getObjectProperty(Corridor.length) >= 30m }
isInstalled(SmokeSensor, myCorridor) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 2호 Check(NFSC203_7_2_3){ IF CS THEN KS } CS{ Pipe myPipe{ isObjectProperty(Pit.isPipePit) = TRUE } Space mySace{ getSpaceUsage(Space) = "ElevatorTractionMachineRoom" OR isInstalled(LinenChute,Space) = TRUE OR isInstalled(myPipe,Space) = TRUE OR isInstalled(Duct,Space) = TRUE } } KS{ isInstalled(SmokeSensor,mySpace) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항 4호 Check(NFSC203_7_2_4){ KS }
KS{ Ceiling myCeiling{ 15m <= getObjectHeight(Ceiling) < 20m }
CeilingCovering myCeilingCovering{ 15m <= getObjectHeight(CeilingCovering) < 20m } isExist(myCeiling) = TRUE OR isExist(myCeilingCovering) = TRUE
isInstalled(SmokeSensor) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 Check(NFSC203_7_3){ KS }
KS{ getResult(NFSC203_7_3_1) = TRUE getResult(NFSC203_7_3_2) = TRUE getResult(NFSC203_7_3_5) = TRUE getResult(NFSC203_7_3_6) = TRUE getResult(NFSC203_7_3_7) = TRUE getResult(NFSC203_7_3_8) = TRUE getResult(NFSC203_7_3_9) = TRUE getResult(NFSC203_7_3_10) = TRUE getResult(NFSC203_7_3_11) = TRUE getResult(NFSC203_7_3_12) = TRUE getResult(NFSC203_7_3_13) = TRUE getResult(NFSC203_7_3_15) = TRUE }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 1호 Check(NFSC203_7_3_1){ KS }
KS{ getObjectDistance(Sensor, ) >= 1.5m }
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 2항 1호 Check(NFSC503_6_2_1){ KS }
KS{ Ceiling myCeiling{ isAdjacent(Ceiling, Indoors) = TRUE }
CeilingCovering myCeilingCovering{ isAdjacent(CeilingCovering, Indoors) = TRUE }
isInstalled(myCeiling, Sensor) = TRUE OR isInstalled(myCeilingCovering, Sensor) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 5호
Check(NFSC203_7_3_5){
IF CS1 AND CS2 THEN KS
}
Sensor mySensor1{
getObjectProperty(Sensor.sensingMode) = "DifferentialTemperatureType"
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
Sensor mySensor2{
getObjectProperty(Sensor.sensingMode) = "CompensationType"
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
Sensor mySensor3{
getObjectProperty(Sensor.sensingMode) = "ConstantTemperatureType"
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
CS1{
getElementDistance(FloorSlab, Sensor) < 4m
}
CS2{
isFireResistantStructure(SpecificFireFightingBuilding.MainStructuralPart) = TRUE
}
CS3{
getElementDistance(FloorSlab, Sensor) < 8m
getElementDistance(FloorSlab, Sensor) >= 4m
}
KS{
isObjectProperty(mySensor1.type) = "Type1"
isInstalled(mySensor1, FloorSlab, 90) = TRUE
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 6호
Check(NFSC203_7_3_6){
KS
}
KS{
Sensor mySensor{
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
getObjectGradient(FloorSlab, mySensor) < 45
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 6호
Check(NFSC203_7_3_7){
IF CS THEN KS
}
CS{
Sensor mySensor{
getObjectProperty(Sensor.lineTypeEnum) = "ThermopneumaticTube"
getObjectProperty(Sensor.sensingMode) = "DifferentialTemperatureType"
getObjectProperty(Sensor.sensingRange) = "SpotType"
}
isInstalled(mySensor) = TRUE
}
KS{
getResult(NFSC_7_3_7_1) = TRUE
getResult(NFSC_7_3_7_2) = TRUE
getResult(NFSC_7_3_7_3) = TRUE
getResult(NFSC_7_3_7_4) = TRUE
getResult(NFSC_7_3_7_5) = TRUE
getResult(NFSC_7_3_7_6) = TRUE
}
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 가목 Check(NFSC203_7_3_7_가){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.isForAir) = TRUE } Zone myZone{ isObjectProperty(Zone.isDetectionZone) = TRUE } hasObject(myZone, myPipe) = TRUE getObjectLength(myZone.One.myPipe) >= 20m }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 가목 Check(NFSC203_7_3_7_가){ KS3 AND IF !CS THEN KS1 ELSE KS2 } Pipe myPipe{ isObjectProperty(Pipe.isForAir) = TRUE } Zone myZone{ isObjectProperty(Zone.isDetectionZone) = TRUE } KS3{ getElementDistance(myPipe, myZone.Wall) <= 1.5m getElementDistance(myPipe, myZone.Column) <= 1.5m } CS{ isFireResistantStructure(SpecificFireFightingBuilding.MainStructuralPart) = TRUE } KS1{ getObjectInterval(myPipe) <= 6m } KS2{ getObjectInterval(myPipe) <= 6m }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 다목
Check(NFSC203_7_3_7_다){
KS
}
Pipe myPipe{
isObjectProperty(Pipe.isForAir) = TRUE
}
isObjectProperty(myPipe.isDiverged) = FALSE
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 라목 Check(NFSC203_7_3_7_라){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.isForAir) = TRUE } isConnectedTo(myPipe, DetectingElement.One) = TRUE getObjectLength(myPipe) <= 100m }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 마목 Check(NFSC203_7_3_7_마){ KS } KS{ isInstalled(DetectingElement, Wall) = TRUE getObjectGradient(Wall, DetectingElement) < 5 }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 바목 Check(NFSC203_7_3_7_바){ KS } KS{ getObjectVerticalDistance(FloorSlab, DetectingElement) >= 0.8m getObjectVerticalDistance(FloorSlab, DetectingElement) <= 1.5m } }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 Check(NFSC203_7_3_8){ KS }
KS{ getResult(NFSC203_7_3_8_1) = TRUE getResult(NFSC203_7_3_8_2) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 가목 Check(NFSC203_7_3_8_가){ IF !CS THEN KS1 AND K2 ELSE THEN KS3 AND KS4
} Zone myZone{ isObjectProperty(Zone.isDetectionZone) = TRUE } CS1{ isFireResistantStructure(SpecificFireFightingBuilding.MainStructuralPart) = TRUE ) KS1{ isInstalled(ThermocoupleElement , myZone.Floor, c, 18) = TRUE } KS2{ isObjectProperty(SpecificFireFightingBuilding.myZone.Floor.area) <= 72m2 getObjectCount(myZone) >= 4 } KS3{ isInstalled(ThermocoupleElement , myZone.Floor, c, 22) = TRUE } KS4{ isObjectProperty(SpecificFireFightingBuilding.myZone.Floor.area) <= 88m2 getObjectCount(myZone) >= 4 }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 나목 Check(NFSC203_7_3_8_나){ KS } KS{ isConnectedTo(ThermocoupleElement, DetectingElement.One) = TRUE getObjectCount(ThermocoupleElement) <= 20 }
// 자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 9호 Check(NFSC203_7_3_9){ KS }
KS{ getResult(NFSC203_7_3_9_1) = TRUE getResult(NFSC203_7_3_9_2) = TRUE }
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 5호 Check(NFSC203_7_3_5){
Sensor mySensor1{ getObjectProperty(Sensor.type) = "Type1" } Sensor mySensor2{ isObjectProperty(Sensor.type) = "Type2" }
IF {isFireResistantStructure(SpecificFireFightingBuilding) = TRUE) AND {isInstalled(Sensor, FloorSlab) = TRUE getObjectVerticalDistance(FloorSlab, Sensor) < 8m } THEN {(FA = 65 isInstalled(mySensor1, FloorSlab.Space, C, FA) = TRUE) OR (FA = 36 isInstalled(mySensor2, FloorSlab.Space, C, FA) = TRUE)
IF getObjectArea(Sensor.FloorSlab) <= FA THEN getObjectCount(Sensor) = 1
ELSE IF getObjectArea(Sensor.FloorSlab) <= 2*FA THEN getObjectCount(Sensor) >= 2 }
ELSE IF {isFireResistantStructure(SpecificFireFightingBuilding) = TRUE) AND {isInstalled(Sensor, FloorSlab) = TRUE AND getObjectVerticalDistance(FloorSlab, Sensor) >= 8m AND getObjectVerticalDistance(FloorSlab, Sensor) < 15m
THEN {(FA = 50 isInstalled(mySensor1, FloorSlab.Space, C, FA) = TRUE) OR (FA = 36 isInstalled(mySensor2, FloorSlab.Space, C, FA) = TRUE)
IF getObjectArea(Sensor.FloorSlab) <= 2*FA THEN getObjectCount(Sensor) >= 2 }
ELSE IF {isFireResistantStructure(SpecificFireFightingBuilding) != TRUE) AND {isInstalled(Sensor, FloorSlab) = TRUE getObjectVerticalLocation(FloorSlab, Sensor) < 8m } THEN {(FA = 40 isInstalled(mySensor1, FloorSlab.Space, C, FA) = TRUE) OR (FA = 23 isInstalled(mySensor2, FloorSlab.Space, C, FA) = TRUE)
IF getObjectArea(Sensor.FloorSlab) <= FA THEN getObjectCount(Sensor) = 1
ELSE IF getObjectArea(Sensor.FloorSlab) <= 2*FA THEN getObjectCount(Sensor) >= 2 }
ELSE IF {isFireResistantStructure(SpecificFireFightingBuilding) != TRUE) AND getObjectVerticalDistance(FloorSlab, Sensor) >= 8m AND getObjectVerticalDistance(FloorSlab, Sensor) < 15m }
THEN {(FA = 30 isInstalled(mySensor1, FloorSlab.Space, C, FA) = TRUE) OR (FA = 23 isInstalled(mySensor2, FloorSlab.Space, C, FA) = TRUE)
IF getObjectArea(Sensor.FloorSlab) <= 2*FA THEN getObjectCount(Sensor) >= 2 }
|