|
1
|
72573
|
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 2 항 3호
3. 천장(상층이 있는 경우에는 상층바닥의 하단을 포함한다. 이하 같다)과 반자를 불연재료 또는 준불연재료로 설치하고 그 내부에 습식으로 배관을 설치하는 경우
|
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 2항 3호
Check(NFSC503A_8_2_3){
KS
}
KS{
SprinklerSystem mySprinklerSystem{
isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
}
(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
isInstalled(mySprinklerSystem, Ceiling)=TRUE
isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}
|
Python Code 변환 예정
|
|
Modify
|
|
2
|
72686
|
건축물의 에너지절약설계기준 제 5조 12호 가 목
가. "신·재생에너지”라 함은「신에너지 및 재생에너지 개발·이용·보급촉진법」에서 규정하는 것을 말한다.
|
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호
Check(NFSC102_6_2_3){
KS
}
KS{
SprinklerSystem mySprinklerSystem{
isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
}
(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
isInstalled(mySprinklerSystem, Ceiling)=TRUE
isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}
|
Python Code 변환 예정
|
|
Modify
|
|
3
|
72719
|
건축물의 에너지절약설계기준 제 6조 1호 가 3) 목
3) 외기에 간접 면하는 부위로서 당해 부위가 면한 비난방공간의 외피를 별표1에 준하여 단열조치하는 경우
|
//스프링클러설비의 화재안전기준(NFSC 103) 6조 (폐쇄형스프링클러설비의 방호구역·유수검지장치) 7호
Check(NFSC103_6_0_7){
IF CS THEN KS
}
CS{
SprinklerHead mySprinklerHead{
getObjectProperty(SprinklerHead.responseType)="QuickResponseType"
}
isExist(mySprinklerHead)=True
}
KS{
WaterflowIndicator myWaterflowIndicator{
getObjectProperty(WaterflowIndicator.type)="WetWaterflowIndicator"
}
SprinklerSystem mySprinklerSystem{
getObjectProperty(SprinklerSystem.type)="VacuumSprinklerExtinguishingSystem"
}
isExist(myWaterflowIndicator)=True
OR isExist(mySprinklerSystem)=True
}
|
Python Code 변환 예정
|
|
Modify
|
|
4
|
72753
|
건축물의 에너지절약설계기준 제 7조
제7조(건축부문의 권장사항) 에너지절약계획서 제출대상 건축물의 건축주와 설계자 등은 다음 각 호에서 정하는 사항을 제13조의 규정에 적합하도록 선택적으로 채택할 수 있다.
|
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호
check(NFSC103_10_7_7){
IF !CS THEN KS
}
CS{
getResult(NFSC103_10_7_7_가)=TRUE
OR getResult(NFSC103_10_7_7_나)=TRUE
}
KS{
SprinklerHead mySprinklerHead{
SprinklerHead.installationDirectionType="BottomUpType"
}
SprinklerSystem mySprinklerSystem1{
SprinklerSystem.type = "VacuumSprinklerExtinguishingSystem"
}
SprinklerSystem mySprinklerSystem2{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}
hasElement(mySprinklerSystem1, mySprinklerHead)=TRUE
hasElement(mySprinklerSystem2, mySprinklerHead)=TRUE
}
|
Python Code 변환 예정
|
|
Modify
|
|
5
|
72821
|
건축물의 에너지절약설계기준 제 10조 3호 나 목
나. 안정기는 해당 형광램프 전용안정기를 사용하여야 한다.
|
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치)
Check(NFSC503A_6){
IF CS THEN KS
}
ParkingLot myParkingLot{
hasSpace(SpecificFireFightingBuilding, ParkingLot) = TRUE
}
CS{
isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE
}
KS{
getObjectProperty(SprinklerSystem.type) != "WetPipeSprinklerSystem"
}
|
Python Code 변환 예정
|
|
Modify
|
|
6
|
19922
|
연결살수설비의 화재안전기준(NFSC 503) 제 5조 1 항 3호
3. 천장(상층이 있는 경우에는 상층바닥의 하단을 포함한다. 이하 같다)과 반자를 불연재료 또는 준불연재료로 설치하고 그 내부에 습식으로 배관을 설치하는 경우
|
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 1항 3호
Check(NFSC503_5_1_3){
KS
}
KS{
(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
SprinklerSystem mySprinklerSystem{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}
isInstalled(mySprinklerSystem, Ceiling)=TRUE
isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}
|
Python Code 변환 예정
|
|
Modify
|
|
7
|
19954
|
연결살수설비의 화재안전기준(NFSC 503) 제 6조 3 항 8호
8. 습식 연결살수설비외의 설비에는 상향식스프링클러헤드를 설치할 것. 다만, 다음 각 목의 어느 하나에 해당하는 경우에는 그러하지 아니하다.
|
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호
Check(NFSC503_6_3_8){
IF CS THEN KS
}
CS{
isObjectProperty(SprinklerSystem.type) != WetPipeSprinklerSystem
(getResult(NFSC503_6_3_8_1) = FALSE
OR getResult(NFSC503_6_3_8_2) = FALSE)
}
KS{
mySprinklerHead{
getObjectProperty(SprinklerSystem.Head.installationDirectionType) = "BottomUpType"
}
isExist(mySprinklerHead) = TRUE
}
|
Python Code 변환 예정
|
|
Modify
|