|
1
|
72747
|
건축물의 에너지절약설계기준 제 6조 4호 라 4) 목
4) 너비 1.2미터 이하의 출입문
|
Check(NFCS103_10_7_3){
IF !CS THEN KS
}
objectDistance myObjectDistance1{
getObjectDistance(SprinklerHead,Obstacle,a)
}
objectDistance myObjectDistance2{
getObjectDistance(SprinklerHead,Ceiling,a)
}
CS{
getObjectWidth(Obstacle)<="myObjectDistance"
KS{
getObjectDistance(Pipe,Ceiling,a)<"myObjectDistance"
OR getObjectDistance(Pipe,Hanger,a)<"myObjectDistance"
OR getObjectDistance(Pipe,LightingFixture,a)<"myObjectDistance"
}
|
Python Code 변환 예정
|
|
Modify
|
|
2
|
72860
|
건축물의 에너지절약설계기준 제 17조 1 항 1호
「법 및 조례에서 정하는 기준 용적률」× [1 + 완화기준]
|
// 간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 1호
Check(NFSC103A_8_13_1){
IF(CS1 THEN KS1) OR (CS2 THEN KS2)
}
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
CS1{
getObjectInterval(SimpleSprinkler.Head) <= 3.5m
}
KS1{
getObjectCountInInterval(Hanger, SimpleSprinkler.Head) >= 1
isInstalled(Hanger, myPipe) = TRUE
}
CS2{
getObjectInterval(SimpleSprinkler.Head) > 3.5m
}
KS2{
Head myHead{
isObjectProperty(Head.installationDirectionType) = "BottomUpType"
}
isInstalled(Hanger, myPipe, b, 3.5) = TRUE
getObjectCountInInterval(Hanger, SimpleSprinkler.Head) >= 1
getObjectDistance(myHead, Hanger) >= 8cm
}
|
Python Code 변환 예정
|
|
Modify
|
|
3
|
72861
|
건축물의 에너지절약설계기준 제 17조 1 항 2호
2. 조경면적 적용방법
|
//간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 2
Check(NFSC103A_8_13_2){
IF(CS1 THEN KS1) OR (CS2 THEN KS2)
}
Pipe myPipe1{
isObjectProperty(Pipe.isCrossMains) = TRUE
}
Pipe myPipe2{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
CS1{
getObjectInterval(myPipe2) <= 4.5m
}
KS1{
getObjectCountInInterval(Hanger, myPipe2) >= 1
isInstalled(Hanger, myPipe1) = TRUE
}
CS2{
getObjectInterval(myPipe2) > 4.5m
}
KS2{
isInstalled(Hanger, myPipe1, b, 4.5) = TRUE
getObjectCountInInterval(Hanger, myPipe2) >= 1
}
|
Python Code 변환 예정
|
|
Modify
|
|
4
|
72862
|
건축물의 에너지절약설계기준 제 17조 1 항 2호
「법 및 조례에서 정하는 기준 조경면적」× [1 - 완화기준]
|
//간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 3호
Check(NFSC103A_8_13_3){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isFeedMains) = TRUE
}
isInstalled(Hanger, myPipe, b, 4.5) = TRUE
getObjectCountInInterval(Hanger, myPipe) >= 1
}
|
Python Code 변환 예정
|
|
Modify
|
|
5
|
19938
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 10 항
⑩ 배관에 설치되는 행가는 다음 각 호의 기준에 따라 설치하여야 한다. <개정 2012.8.20>
|
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항
Check(NFSC503_5_10){
IF CS THEN KS
}
CS{
isInstalled(Hanger, Pipe) = TRUE
}
KS{
getResult(NFSC503_5_10_1) = TRUE
getResult(NFSC503_5_10_2) = TRUE
getResult(NFSC503_5_10_3) = TRUE
}
|
Python Code 변환 예정
|
|
Modify
|
|
6
|
19939
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 10 항 1호
1. 가지배관에는 헤드의 설치지점 사이마다 1개 이상의 행가를 설치하되, 헤드간의 거리가 3.5 m를 초과하는 경우에는 3.5m 이내마다 1개 이상 설치할 것. 이 경우 상향식헤드와 행가 사이에는 8 ㎝ 이상의 간격을 두어야 한다.
|
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 1호
Check(NFSC503_5_10_1){
KS
}
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines)=True
}
Head myHead{
getObjectProperty(Head.installationDirectionType)="BottomUpType"
}
KS{
isInstalled(Hanger, myPipe, "헤드의 설치지점 사이")=True
IF getObjectDistance(Head)>3.5 m
THEN isInstalled(Hanger, myPipe, 3.5 m)=True
getObjectDistance(myHead, Hanger)>8 cm
getResult(NFSC503_5_10_3)=True
}
|
Python Code 변환 예정
|
|
Modify
|
|
7
|
19940
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 10 항 2호
2. 교차배관에는 가지배관과 가지배관사이마다 1개 이상의 행가를 설치하되, 가지배관 사이의 거리가 4.5 m를 초과하는 경우에는 4.5 m 이내마다 1개 이상 설치할 것
|
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 2호
Check(NFSC503_5_10_2){
KS
}
Pipe myPipe{
isObjectProperty(Pipe.isCrossMains)=True
}
Pipe myPipe2{
isObjectProperty(Pipe.isBranchLines)=True
}
KS{
isInstalled(Hanger, myPipe, "가지배관 사이")=True
IF getObjectDistance(myPipe2)>4.5 m
THEN isInstalled(Hanger, myPipe, 4.5 m)=True
END IF
getResult(NFSC503_5_10_3)=True
}
|
Python Code 변환 예정
|
|
Modify
|
|
8
|
19941
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 10 항 3호
3. 제1호와 제2호의 수평주행배관에는 4.5 m 이내마다 1개 이상 설치할 것
|
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 3호
Check(NFSC503_5_10_3){
IF CS THEN KS
}
CS{
isObjectProperty(Pipe.isFeedMains)=True
}
Pipe myPipe2{
isObjectProperty(Pipe.isFeedMains)=True
}
KS{
isInstalled(Hanger, myPipe2,4.5 m)=True
}
|
Python Code 변환 예정
|
|
Modify
|
|
9
|
20108
|
연소방지설비의 화재안전기준(NFSC 506) 제 4조 7 항 1호
1. 가지배관에는 헤드의 설치지점 사이마다 1개 이상의 행가를 설치하되, 헤드간의 거리가 3.5m을 초과하는 경우에는 3.5m 이내마다 1개 이상 설치할 것. 이 경우 상향식헤드와 행가 사이에는 8㎝ 이상의 간격을 두어야 한다.
|
// 연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 7항 1호
Check(NFSC506_4_7_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
Head myHead{
isInstalled(Head, myPipe) = TRUE
}
getObjectInterval(myHead) <= 3.5m
}
KS1{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
Head myHead{
isInstalled(Head, myPipe) = TRUE
}
getobjectCountInInterval(Hanger, myHead) >= 1
}
CS2{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
Head myHead{
isInstalled(Head, myPipe) = TRUE
}
getObjectInterval(myHead) > 3.5m
}
KS2{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
Head myHead{
isInstalled(Head, myPipe) = TRUE
}
getObjectInterval(myHead) = OIH
OIH/3.5 = OIHH
(OIHH-1) <= getObjectCountInInterval(Hanger, myHead) < OIHH
getObjectInterval(Hanger) = 3.5m
Head myHead2{
getObjectProperty(Head.installationDirectionType) = "BottomUpType"
}
getObjectInterval(myHead2, Hanger) >= 8cm
}
|
Python Code 변환 예정
|
|
Modify
|
|
10
|
20109
|
연소방지설비의 화재안전기준(NFSC 506) 제 4조 7 항 2호
2. 교차배관에는 가지배관과 가지배관 사이마다 1개 이상의 행가를 설치하되, 가지배관 사이의 거리가 4.5m을 초과하는 경우에는 4.5m 이내마다 1개 이상 설치할 것
|
// 연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 7항 2호
Check(NFSC506_4_7_2){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
getObjectInterval(Pipe) <= 4.5m
}
Pipe myPipe2{
isObjectProperty(Pipe.isCrossMains) = TRUE
}
isConnectedTo(myPipe, myPipe2) = TRUE
}
KS1{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
getObjectInterval(Pipe) <= 4.5m
}
Pipe myPipe2{
isObjectProperty(Pipe.isCrossMains) = TRUE
}
Hanger myHanger{
isInstalled(Hanger, myPipe2) = TRUE
}
getObjectCountInInterval(myHanger,myPipe) >=1
}
CS2{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
getObjectInterval(Pipe) > 4.5m
}
Pipe myPipe2{
isObjectProperty(Pipe.isCrossMains) = TRUE
}
isConnectedTo(myPipe, myPipe2) = TRUE
}
KS2{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
getObjectInterval(Pipe) > 4.5m
}
Pipe myPipe2{
isObjectProperty(Pipe.isCrossMains) = TRUE
}
Hanger myHanger{
isInstalled(Hanger, myPipe2) = TRUE
}
getObjectCountInInterval(myHanger,myPipe) >=1
getObjectInterval(myPipe) = OIP
OIP/4.5 = OIPP
(OIPP-1) <= getObjectCountInInterval(Hanger, myHead) < OIPP
getObjectInterval(Hanger) = 4.5m
}
|
Python Code 변환 예정
|
|
Modify
|
|
11
|
20110
|
연소방지설비의 화재안전기준(NFSC 506) 제 4조 7 항 3호
3. 제1호와 제2호의 수평주행배관에는 4.5m 이내마다 1개 이상 설치할 것<개정 2012.8.20>
|
//연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 7항 3호
Check(NFSC506_4_7_3){
IF CS THEN KS
}
CS{
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
}
isObjectProperty(myPipe.isFeedMains)=True
}
KS{
isInstalled(Hanger, myPipe)=True
getObjectInterval(Hanger)>4.5 m
}
|
Python Code 변환 예정
|
|
Modify
|