1
건축물의 에너지절약설계기준 제 5조 10호 사 목
사. "고효율원심식냉동기”라 함은 원심식냉동기 중 고효율인증제품 또는 동등 이상의 성능을 가진 것을 말한다.
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 1호
Check(NFSC201_5_0_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
SelfcontainedTypeFireAlarm Device mySelfcontainedTypeFireAlarm Device{
hasSpace(myRoom, SelfcontainedTypeFireAlarm Device) = TRUE
}
isExist(mySelfcontainedTypeFireAlarm Device) = TRUE
}
CS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarm Device) = TRUE
hasSpace(myRoom, Sensor ) = TRUE
}
isInstalled(myRoom, mySelfcontainedTypeFireAlarm Device, c, 150m2) = TRUE
}
Python Code 변환 예정
2
건축물의 에너지절약설계기준 제 5조 10호 아 목
아. "심야전기를 이용한 축열·축냉시스템”이라 함은 심야시간에 전기를 이용하여 열을 저장하였다가 이를 난방, 온수, 냉방 등의 용도로 이용하는 설비로서 한국전력공사에서 심야전력기기로 인정한 것을 말한다.
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 2호
Check(NFSC201_5_0_2){
KS
}
KS{
Ceiling myCeiling{
hasSpace(Building.TopFloor.Stair.Space, Ceiling) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarm Device) = TRUE
}
isInstalled(myCeiling, mySensor) = TRUE
}
Python Code 변환 예정
3
건축물의 에너지절약설계기준 제 6조 1호 다 4) 목
4) 창 및 문의 경우 KS F 2278(창호의 단열성 시험 방법)에 의한 국가공인시험기관의 KOLAS 인정마크가 표시된 시험성적서 또는 별표4에 의한 열관류율값 또는 산업통상자원부고시 「효율관리기자재 운용규정」에 따른 창 세트의 열관류율 표시값이 별표1의 열관류율 기준을 만족하는 경우 적합한 것으로 본다.
// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 1항 4호
Check(NFSC103_9_1_4){
KS
}
KS{
isInstalled(Alarm , SprinklerSystem) = TRUE
OR isInstalled(Siren, SprinklerSystem) = TRUE
}
Python Code 변환 예정
4
소방시설 설치·유지 및 안전관리에 관한 법률 제 8조 1 항
① 다음 각 호의 주택의 소유자는 소방시설 중 소화기구 및 단독경보형감지기를 설치하여야 한다.
// 소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항
Check(IMSFA_8_1){
IF CS THEN KS
}
CS{
getResult(IMSFA_8_1_1) = TRUE
OR getResult(IMSFA_8_1_2) = TRUE
}
KS{
Sensor mySensor{
Sensor.isSelfcontainedTypeFireAlarm Device = TRUE
}
isExist(mySensor) = TRUE
OR isExist(FireExtinguisher) = TRUE
}
Python Code 변환 예정
5
주차장법 시행규칙 제 6조 1 항 10호
10. 주차대수 30대를 초과하는 규모의 자주식 주차장으로서 지하식 또는 건축물식에 의한 노외주차장에는 관리사무소에서 주차장 내부 전체를 볼 수 있는 폐쇄회로 텔레비전 및 녹화장치를 포함하는 방범설비를 설치ㆍ관리하여야 하되, 다음 각 목의 사항을 준수하여야 한다.
// 주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 10호
Check(ERPA_6_1_10){
KS
}
KS{
ParkingLot myParkingLot{
isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
}
isInstalled(Alarm System, myParkingLot) = TRUE
}
Python Code 변환 예정