|
1
|
72900
|
건축물의 에너지절약설계기준 제 별표2조
단열재의 등급 분류
|
자동화재탐지설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
Modify
|
|
2
|
72901
|
건축물의 에너지절약설계기준 제 별표3조
단열재의 두께
|
자동화재탐지설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
Modify
|
|
3
|
72907
|
건축물의 에너지절약설계기준 제 별표9조
완화기준
|
자동화재탐지설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
Modify
|
|
4
|
20447
|
자동화재탐지설비 및 시각경보장치의 화재안전기준(NFSC 203) 제 7조 3 항 12호 라 목
라. 감지기와 감지구역의 각부분과의 수평거리가 내화구조의 경우 1종 4.5m 이하, 2종 3m 이하로 할 것. 기타 구조의 경우 1종 3m 이하, 2종 1m 이하로 할 것
|
자동화재탐지설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
Modify
|