1
19392
건축물의 설비기준 등에 관한 규칙 제 13조 1 항 7호
7. 보일러의 연도는 내화구조로서 공동연도로 설치할 것
//건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 7호
Check(RFB_13_1_7){
KS
}
KS{
isFireResistantStructure(GasDuct) = TRUE
isShared( GasDuct) = TRUE
}
Python Code 변환 예정
Modify
2
72692
건축물의 에너지절약설계기준 제 5조 6호
6. "완화기준”이라 함은 「건축법」, 「국토의 계획 및 이용에 관한 법률」 및 「지방자치단체 조례」등에서 정하는 조경설치면적, 건축물의 용적률 및 높이제한 기준을 적용함에 있어 완화 적용할 수 있는 비율을 정한 기준을 말한다.
// 옥내소화전설비의 화재안전기준(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
}
Python Code 변환 예정
Modify
3
72699
건축물의 에너지절약설계기준 제 5조 9호 너 목
너. "태양열취득률(SHGC)"이라 함은 입사된 태양열에 대하여 실내로 유입된 태양열취득의 비율을 말한다.
// 옥내소화전설비의 화재안전기준(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
}
Python Code 변환 예정
Modify
4
72789
건축물의 에너지절약설계기준 제 9조
제9조(기계부문의 권장사항) 에너지절약계획서 제출대상 건축물의 건축주와 설계자 등은 다음 각 호에서 정하는 사항을 제13조의 규정에 적합하도록 선택적으로 채택할 수 있다.
// 스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항
Check(NFSC103_16_2){
IF CS THEN KS
}
Pump myPump{
isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump2{
isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump3{
isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump4{
isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump5{
isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump6{
isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
Pump myPump7{
isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
}
CS{
isShared( myPump, myPump2) = TRUE
OR isShared( myPump, myPump3) = TRUE
OR isShared( myPump, myPump4) = TRUE
OR isShared( myPump, myPump5) = TRUE
OR isShared( myPump, myPump6) = TRUE
OR isShared( myPump, myPump7) = TRUE
}
KS{
getObjectProperty(myPump.ratedDischargeRate) = PRD
getObjectProperty(myPump2.ratedDischargeRate) + getObjectProperty(myPump3.ratedDischargeRate) + getObjectProperty(myPump4.ratedDischargeRate) + getObjectProperty(myPump5.ratedDischargeRate) + getObjectProperty(myPump6.ratedDischargeRate) + getObjectProperty(myPump7.ratedDischargeRate) = TPRD
PRD >= TPRD
}
Python Code 변환 예정
Modify
5
72840
건축물의 에너지절약설계기준 제 11조 3호 가 목
가. 옥외등은 고효율 에너지기자재 인증제품 또는 산업통상자원부 고시 효율관리기자재 운용규정」에서 고효율조명기기로 등록된 고휘도방전램프(HID Lamp : High Intensity Dis charge Lamp) 또는 LED 램프를 사용하고, 옥외등의 조명회로는 격등 점등과 자동점멸기에 의한 점멸이 가능하도록 한다.
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 5항
Check(NFSC503A_8_5){
IF CS THEN KS
}
CS{
Pipe myPipe1{
Pipe.systemType = "SimpleSprinklersystem"
}
Pipe myPipe2{
Pipe.systemType = "FireDepartmentConnectionSystem"
}
Pipe.isShared( myPipe1, myPipe2) = TRUE
}
KS{
Pipe myPipe3{
isObjectProperty(Pipe.isRiser) = TRUE
}
Port myPort{
getObjectProperty(Port.typeForWater) = "Delivery"
Pipe myPipe4{
isConnectedTo(Pipe, myPort) = TRUE
}
isObjectProperty(myPipe3.diameter) >= 100 mm
getObjectProperty(myPipe4.diameter) >= 65 mm
}
Python Code 변환 예정
Modify
6
37379
건축법 시행령 제 47조 2 항
② 법 제49조제2항에 따라 다음 각 호의 어느 하나에 해당하는 용도의 시설은 같은 건축물에 함께 설치할 수 없다. <개정 2009.7.16>
//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 2항
Check(EDBA_47_2){
KS
}
Space myFacility{
getResult(EDBA_47_2_1)=True
}
Space myFacility2{
OR getResult(EDBA_47_2_2)=True
}
KS{
isShared( myFacility.Building, myFacility2.Building)=False
}
Python Code 변환 예정
Modify
7
19915
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 5호
5. 송수구로부터 주배관에 이르는 연결배관에는 개폐밸브를 설치하지 아니 할 것. 다만, 스프링클러설비·물분무소화설비·포소화설비 또는 연결송수관설비의 배관과 겸용하는 경우에는 그러하지 아니하다.
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 5호
Check(NFSC503_4_1_5){
IF !CS THEN KS
}
CS{
Pipe myPipe1{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe2{
getObjectProperty(Port.systemType) = "SprinklerSystem"
}
Pipe myPipe3{
getObjectProperty(Port.systemType) = "WaterSprayExtingushingSystem"
}
Pipe myPipe4{
getObjectProperty(Port.systemType) = "FoamExtinguishingSystem"
}
Pipe myPipe5{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe6{
getObjectProperty(Port.systemType) = "FireDepartmentConnectionSystem"
}
isShared( myPipe1, myPipe2, myPipe3, myPipe4) = TRUE
OR isShared( myPipe5, myPipe6) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(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
}
Python Code 변환 예정
Modify
8
20481
연결송수관설비의 화재안전기준(NFSC 502) 제 5조 4 항
④ 연결송수관설비의 배관은 주배관의 구경이 100㎜ 이상인 옥내소화전설비·스프링클러설비 또는 물분무등소화설비의 배관과 겸용할 수 있다.[종전의 제2항에서 이동 2014.8.18]
//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 4항
Check(NFSC502_5_4){
IF CS THEN KS
}
CS2{
isObjectProperty(Pipe.systemType) = "FireDepartmentConnectionSystem"
}
KS{
Pipe myPipe1{
isObjectProperty(Pipe.isRiser) = TRUE
getObjectProperty(Pipe.diameter) >= 100mm
isObjectProperty(Pipe.systemType) = "IndoorFireHydrantSystem"
}
Pipe myPipe2{
isObjectProperty(Pipe.isRiser) = TRUE
getObjectProperty(Pipe.diameter) >= 100mm
isObjectProperty(Pipe.systemType) = "WaterSprayExtingushingSystem"
}
isShared( Pipe,myPipe1) = TRUE
OR isShared( Pipe,myPipe2) = TRUE
OR isShared( Pipe,myPipe1) != TRUE
OR isShared( Pipe,myPipe2) != TRUE
}
Python Code 변환 예정
Modify