|
1
|
건축물의 에너지절약설계기준 제 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 변환 예정
|
|
|
|
2
|
건축물의 에너지절약설계기준 제 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 변환 예정
|
|
|
|
3
|
연결살수설비의 화재안전기준(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 변환 예정
|
|
|