|
|
1
|
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 4 항 1호
1. 공기고임이 생기지 아니하는 구조로 하고 여과장치를 설치할 것
|
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호
Check(NFSC503A_8_4_1){
KS
}
KS{
Pipe myPipe{
isInstalled(Pump.Inlet, Pipe) = TRUE
}
isInstalled(myPipe,Filter) = TRUE
}
|
Python Code 변환 예정
|
|
|
|
|
2
|
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 4 항 2호
2. 수조가 펌프보다 낮게 설치된 경우에는 각 펌프(충압펌프를 포함한다)마다 수조로부터 별도로 설치할 것
|
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호
Check(NFSC103A_8_4_2){
IF CS THEN KS
}
CS{
getObjectVerticalLocation(Pump, Tank) < 0
}
KS{
Pipe myPipe{
isInstalled(Pump.Inlet, Pipe) = TRUE
}
isInstalled(myPipe, Pump.One) = TRUE
}
|
Python Code 변환 예정
|
|
|
|
|
3
|
건축물의 설비기준 등에 관한 규칙 제 13조 1 항 2호
2. 보일러실의 윗부분에는 그 면적이 0.5제곱미터 이상인 환기창을 설치하고, 보일러실의 윗부분과 아랫부분에는 각각 지름 10센티미터 이상의 공기흡입구 및 배기구를 항상 열려있는 상태로 바깥공기에 접하도록 설치할 것. 다만, 전기보일러의 경우에는 그러하지 아니하다.
|
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 2호
Check(RFB_13_1_2){
IF CS THEN KS
}
CS{
isExist(Boiler) = TRUE
isObjectProperty(Boiler.isElectricBoiler) = FALSE
}
KS{
Ventilator myVentilator{
getObjectArea(Ventilator) >= 0.5cm2
}
Space mySpace{
getSpaceUsage(Space) = "BoilerRoom"
}
isInstalled(myVentilator, mySpace, a, top) = TRUE
AirInlet myAirInlet{
getObjectDiameter(AirInlet, b) >= 10cm
}
AirOutlet myAirOutlet{
getObjectDiameter(AirOutlet, b) >= 10cm
}
(isInstalled(myAirInlet, mySpace, a, top) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, top) = TRUE)
(isInstalled(myAirInlet, mySpace, a, bottom) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, bottom) = TRUE)
}
|
Python Code 변환 예정
|
|
|
|
|
4
|
건축물의 에너지절약설계기준 제 5조 2호
2. "권장사항”이라 함은 건축물을 건축하는 건축주와 설계자 등이 건축물의 설계 시 선택적으로 적용이 가능한 사항을 말한다.
|
// 옥내소화전설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
|
|
|
5
|
건축물의 에너지절약설계기준 제 5조 9호 거 목
거. "투광부"라 함은 창, 문면적의 50% 이상이 투과체로 구성된 문, 유리블럭, 플라스틱패널 등과 같이 투과재료로 구성되며, 외기에 접하여 채광이 가능한 부위를 말한다.
|
// 옥내소화전설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
|
|
|
6
|
건축물의 에너지절약설계기준 제 11조 1호 바 목
바. 건축물의 사용자가 합리적으로 전력을 절감할 수 있도록 층별 및 임대 구획별로 전력량계를 설치한다.
|
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 2호
Check(NFSC503A_8_3_2){
KS2 AND IF CS THEN KS1
}
KS2{
Valve myValve{
isObjectProperty(Valve.isShutoffValve)=TRUE
}
isObjectProperty(myValve.isIndicatingValve) = TRUE
}
CS{
Pipe myPipe{
isInstalled(Pipe, Pump.Inlet) = TRUE
}
isInstalled(myValve, myPipe) = TRUE
}
KS1{
isObjectProperty(myValve.isIndicatingValve) = TRUE
isObjectProperty(myValve.isButterflyValve) = TRUE
}
|
Python Code 변환 예정
|
|
|
|
|
7
|
건축물의 에너지절약설계기준 제 11조 2호 가 목
가. 승강기 구동용전동기의 제어방식은 에너지절약적 제어방식으로 한다.
|
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항
Check(NFSC503A_8_4){
IF CS THEN KS
}
CS{
isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
getResult(NFSC503A_8_4_1) = TRUE
getResult(NFSC503A_8_4_2) = TRUE
}
|
Python Code 변환 예정
|
|
|
|
|
8
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 8 항
⑧급수배관에 설치되어 급수를 차단할 수 있는 개폐밸브는 개폐표시형으로 하여야 한다. 이 경우 펌프의 흡입측배관에는 버터플라이밸브(볼형식의 것을 제외한다)외의 개폐표시형밸브를 설치하여야 한다.
|
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 8항
Check(NFSC503_5_6){
IF CS THEN KS
}
Pipe myPipe{
isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
}
Valve myValve1{
isObjectProperty(Valve.isShutoffValve) = TRUE
}
CS{
isInstalled(myValve1,myPipe) = TRUE
}
KS{
isObjectProperty(myValve1.isIndicatingValve) = TRUE
Valve myValve2{
isInstalled(Valve, Pump.Inlet) = TRUE
}
isObjectProperty(myValve2.isIndicatingValve) = TRUE
isObjectProperty(myValve2.isButterflyValve) = FALSE
}
|
Python Code 변환 예정
|
|
|
|
|
9
|
옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 5 항 1호
1. 공기고임이 생기지 아니하는 구조로 하고 여과장치를 설치할 것
|
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호
Check(NFSC102_6_5_1){
KS
}
KS{
Pipe myPipe{
isInstalled(Pump.Inlet, Pipe) = TRUE
}
isInstalled(myPipe,Filter) = TRUE
}
|
Python Code 변환 예정
|
|
|
|
|
10
|
옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 5 항 2호
2. 수조가 펌프보다 낮게 설치된 경우에는 각 펌프(충압펌프를 포함한다)마다 수조로부터 별도로 설치할 것
|
// 옥내소화전설비의 화재안전기준(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
}
|
Python Code 변환 예정
|
|
|
(2024-12-23 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
