설계품질검토 대상법규   |   조항단위 법규   |   문장단위 법규   |   KBimCode-Assess 연동모듈   |   KBimCode DB   |   주어부 - 객체,속성 DB   |   서술부 - 함수 DB   |   관계부 - 문장관계   |   룰셋생성모듈   |  
( 기준) 국가법령정보센터의 대한민국 전체 법규 목록
    1      
1 / 1 page Total 1 records   
Select
ALL
None
#
ID
법규 및 조항 KBimCode 변환
1
자동화재탐지설비 및 시각경보장치의 화재안전기준(NFSC 203) 제 7 조
 제7조(감지기) ① 자동화재탐지설비의 감지기는 부착높이에 따라 다음 표에 따른 감지기를 설치하여야 한다. 다만, 지하층·무창층 등으로서 환기가 잘되지 아니하거나 실내면적이 40㎡ 미만인 장소, 감지기의 부착면과 실내바닥과의 거리가 2.3m 이하인 곳으로서 일시적으로 발생한 열·연기 또는 먼지 등으로 인하여 화재신호를 발신할 우려가 있는 장소(제5조제2항 본문에 따른 수신기를 설치한 장소를 제외한다)에는 다음 각 호에서 정한 감지기중 적응성 있는 감지기
1. 불꽃감지기
2. 정온식감지선형감지기
3. 분포형감지기
4. 복합형감지기
5. 광전식분리형감지기
6. 아날로그방식의 감지기
7. 다신호방식의 감지기
8. 축적방식의 감지기
② 다음 각 호의 장소에는 연기감지기를 설치하여야 한다. 다만, 교차회로방식에 따른 감지기가 설치된 장소 또는 제1항 단서에 따른 감지기가 설치된 장소에는 그러하지 아니하다.
1. 계단·경사로 및 에스컬레이터 경사로(15m 미만의 것을 제외한다)<개정 2008.12.15>
2. 복도(30m 미만의 것을 제외한다)
3. 엘리베이터권상기실·린넨슈트·파이프 피트 및 덕트 기타 이와 유사한 장소<개정 2008.12.15>
4. 천장 또는 반자의 높이가 15m 이상 20m 미만의 장소
③ 감지기는 다음 각 호의 기준에 따라 설치하여야 한다. 다만, 교차회로방식에 사용되는 감지기, 급속한 연소 확대가 우려되는 장소에 사용되는 감지기 및 축적기능이 있는 수신기에 연결하여 사용하는 감지기는 축적기능이 없는 것으로 설치하여야 한다.
1. 감지기(차동식분포형의 것을 제외한다)는 실내로의 공기유입구로부터 1.5m 이상 떨어진 위치에 설치할 것
2. 감지기는 천장 또는 반자의 옥내에 면하는 부분에 설치할 것
5. 차동식스포트형·보상식스포트형 및 정온식스포트형 감지기는 그 부착 높이 및 특정소방대상물에 따라 다음 표에 따른 바닥면적마다 1개 이상을 설치할 것
6. 스포트형감지기는 45° 이상 경사되지 아니하도록 부착할 것
7. 공기관식 차동식분포형감지기는 다음의 기준에 따를 것
가. 공기관의 노출부분은 감지구역마다 20m 이상이 되도록 할 것
나. 공기관과 감지구역의 각 변과의 수평거리는 1.5m 이하가 되도록 하고, 공기관 상호간의 거리는 6m(주요 구조부를 내화구조로 한 특정소방대상물 또는 그 부분에 있어서는 9m) 이하가 되도록 할 것
다. 공기관은 도중에서 분기하지 아니하도록 할 것
라. 하나의 검출부분에 접속하는 공기관의 길이는 100m 이하로 할 것
마. 검출부는 5° 이상 경사되지 아니하도록 부착할 것
바. 검출부는 바닥으로부터 0.8m 이상 1.5m 이하의 위치에 설치할 것
8. 열전대식 차동식분포형감지기는 다음의 기준에 따를 것
가. 열전대부는 감지구역의 바닥면적 18㎡(주요구조부가 내화구조로 된 특정소방대상물에 있어서는 22㎡)마다 1개 이상으로 할 것. 다만, 바닥면적이 72㎡(주요구조부가 내화구조로 된 특정소방대상물에 있어서는 88㎡) 이하인 특정소방대상물에 있어서는 4개 이상으로 하여야 한다.
나. 하나의 검출부에 접속하는 열전대부는 20개 이하로 할 것. 다만, 각각의 열전대부에 대한 작동여부를 검출부에서 표시할 수 있는 것(주소형)은 형식승인 받은 성능인정범위내의 수량으로 설치할 수 있다.
9. 열반도체식 차동식분포형감지기는 다음의 기준에 따를 것
5. 목욕실·욕조나 샤워시설이 있는 화장실·기타 이와 유사한 장소
6. 파이프덕트 등 그 밖의 이와 비슷한 것으로서 2개층 마다 방화구획된 것이나 수평단면적이 5㎡ 이하인 것
8. 실내의 용적이 20㎥ 이하인 장소
⑥ 지하구에 설치하는 감지기는 제1항 각 호의 감지기로서 먼지·습기등의 영향을 받지 아니하고 발화지점을 확인할 수 있는 감지기를 설치하여야 한다.<개정 2008.12.15>
가. 감지부는 그 부착높이 및 특정소방대상물에 따라 다음 표에 따른 바닥면적마다 1개 이상으로 할 것. 다만, 바닥면적이 다음 표에 따른 면적의 2배 이하인 경우에는 2개(부착높이가 8m 미만이고, 바닥면적이 다음 표에 따른 면적 이하인 경우에는 1개) 이상으로 하여야 한다.
나. 하나의 검출기에 접속하는 감지부는 2개 이상 15개 이하가 되도록 할 것. 다만, 각각의 감지부에 대한 작동여부를 검출기에서 표시할 수 있는 것(주소형)은 형식승인 받은 성능인정범위내의 수량으로 설치할 수 있다.
10. 연기감지기는 다음의 기준에 따라 설치할 것
가. 감지기의 부착높이에 따라 다음 표에 따른 바닥면적마다 1개 이상으로 할 것
나. 감지기는 복도 및 통로에 있어서는 보행거리 30m(3종에 있어서는 20m)마다, 계단 및 경사로에 있어서는 수직거리 15m(3종에 있어서는 10m)마다 1개 이상으로 할 것
마. 감지기는 벽 또는 보로부터 0.6m 이상 떨어진 곳에 설치할 것
11. 열복합형감지기의 설치에 관하여는 제3호 및 제9호를, 연기복합형감지기의 설치에 관하여는 제10호를, 열연기복합형감지기의 설치에 관하여는 제5호 및 제10호 나목 또는 마목을 준용하여 설치할 것
12. 정온식감지선형감지기는 다음의 기준에 따라 설치할 것
라. 감지기와 감지구역의 각부분과의 수평거리가 내화구조의 경우 1종 4.5m 이하, 2종 3m 이하로 할 것. 기타 구조의 경우 1종 3m 이하, 2종 1m 이하로 할 것
13. 불꽃감지기는 다음의 기준에 따라 설치할 것
라. 감지기를 천장에 설치하는 경우에는 감지기는 바닥을 향하여 설치할 것
15. 광전식분리형감지기는 다음의 기준에 따라 설치할 것
다. 감지기의 송광부와 수광부는 설치된 뒷벽으로부터 1m이내 위치에 설치할 것
④ 제3항에도 불구하고 다음 각 호의 장소에는 각각 광전식분리형감지기 또는 불꽂감지기를 설치하거나 광전식공기흡입형감지기를 설치할 수 있다.
1. 화학공장·격납고·제련소등 : 광전식분리형감지기 또는 불꽃감지기. 이 경우 각 감지기의 공칭감시거리 및 공칭시야각등 감지기의 성능을 고려하여야 한다.
2. 전산실 또는 반도체 공장등 : 광전식공기흡입형감지기. 이 경우 설치장소·감지면적 및 공기흡입관의 이격거리등은 형식승인 내용에 따르며 형식승인 사항이 아닌 것은 제조사의 시방에 따라 설치하여야 한다.
⑤ 다음 각 호의 장소에는 감지기를 설치하지 아니한다.
1. 천장 또는 반자의 높이가 20m 이상인 장소. 다만, 제1항 단서 각호의 감지기로서 부착높이에 따라 적응성이 있는 장소는 제외한다.



자동화재탐지설비의 화재안전기준(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
}




    1