주제분류
- 기타(413)
- 농수해양학(373)
- 의약학(284)
- 사회과학(283)
- 보건학(160)
- 자연과학(138)
- 교육학(137)
- 유아교육학(81)
- 사회복지학(48)
- 예체능(26)
- 심리학(24)
- 특수교육학(20)
- 공학(12)
- 인문학(6)
- 종교(2)
- 복합학(1)
등재정보
더보기(6)발행기관
- 대한수의학회(373)
- 인문사회과학기술융합학회(174)
- 대한생리학회-대한약리학회(94)
- 한국식물병리학회(87)
- 대한신경정신의학회(86)
- 한국경호경비학회(69)
- 한국안전학회(69)
- 한국기초간호학회(55)
- 환태평양유아교육연구학회(54)
- 한방비만학회(37)
- 한국습지학회(35)
- 한국교육학회(33)
- 한국노인간호학회(33)
- 물리치료재활과학회(29)
- 대한고령친화산업학회(26)
- 한국원자력학회(25)
- 고령자치매작업치료학회(24)
- 대한안전경영과학회(24)
- 한국가스학회(20)
- 테크노프레스(19)
- 경인교육대학교 교육연구원(16)
- 한국탄소학회(16)
- 한국철도학회(15)
- 한국아동권리학회(14)
- 한국의학교육학회(14)
- 한국헬스커뮤니케이션학회(14)
- 한국보건기초의학회(13)
- 한국성인교육학회(11)
- 한국전산구조공학회(10)
- 한국터널공학회(10)
- 한국교육사회학회(9)
- 한국기업교육학회(9)
- 한국여가문화학회(9)
- 한국열환경공학회(9)
- 한국장애인복지학회(9)
- 대한신경계작업치료학회(8)
- 대한약리학회(8)
- 이화여자대학교 교과교육연구소(8)
- 한국광고PR실학회(8)
- 한국교육행정학회(8)
- 한국지반공학회(8)
- 한국청각언어재활학회(8)
- 대한치과이식임플란트학회(7)
- 아시아장애사회학회(7)
- 아시아태평양암예방학회(7)
- 한국도로학회(7)
- 한국보육지원학회(7)
- 한국식품위생안전성학회(7)
- 한국암반공학회(7)
- 한국인간발달학회(7)
- 대한기계학회(6)
- 대한조선학회(6)
- 은행법학회(6)
- 한국건설관리학회(6)
- 한국근거기반간호학회(6)
- 한국시각장애교육재활학회(6)
- 한국초등체육학회(6)
- 한국항해항만학회(6)
- 21세기사회복지학회(5)
- 산업안전보건연구원(5)
- 한국관광서비스학회(5)
- 한국교육치료학회(5)
- 한국사회복지교육협의회(5)
- 한국아동중심실천학회(5)
- 한국자동차공학회(5)
- 한국정보과학회(5)
- 한국해안해양공학회(5)
- 한국해양공학회(5)
- 한국화재소방학회(5)
- 대한인간공학회(4)
- 대한전기학회(4)
- 한국교육방법학회(4)
- 한국교육정치학회(4)
- 한국노년학연구회(4)
- 한국방사성폐기물학회(4)
- 한국보훈학회(4)
- 한국사회서비스학회(4)
- 한국산업경영시스템학회(4)
- 한국심리치료학회(4)
- 한국음악교육학회(4)
- 한국음악치료학회(4)
- 대한산업공학회(3)
- 대한지질공학회(3)
- 대한토목학회(3)
- 아시아아동지원학회(3)
- 한국교류분석상담학회(3)
- 한국교원교육학회(3)
- 한국교원대학교 뇌기반교육연구소(3)
- 한국마린엔지니어링학회(3)
- 한국모래상자치료학회(3)
- 한국미술치료학회(3)
- 한국발달지원학회(3)
- 한국보조공학회(3)
- 한국복지상담교육학회(3)
- 한국시뮬레이션학회(3)
- 한국식품과학회(3)
- 한국식품영양과학회(3)
- 한국어린이미디어학회(3)
- 한국웰니스학회(3)
- 한국임상사회사업학회(3)
- 한국정보처리학회(3)
- 한국창의력교육학회(3)
- 한국콘텐츠학회(3)
- 한국특수교육교과교육학회(3)
- 한국행동분석학회(3)
- 대한방사선방어학회(2)
- 대한치과교정학회(2)
- 부산대학교 교육발전연구소(2)
- 제어로봇시스템학회(2)
- 한국CAD/CAM학회(2)
- 한국ITS학회(2)
- 한국가족치료학회(2)
- 한국건축시공학회(2)
- 한국구조물진단유지관리공학회(2)
- 한국데이터정보과학회(2)
- 한국멀티미디어학회(2)
- 한국박물관학회(2)
- 한국복합재료학회(2)
- 한국상담복지경영학회(2)
- 한국생물환경조절학회(2)
- 한국생산제조시스템학회(2)
- 한국식품저장유통학회(2)
- 한국아동심리치료학회(2)
- 한국조형교육학회(2)
- 한국지리정보학회(2)
- 한국지진공학회(2)
- 한국콘크리트학회(2)
- 한국학부모학회(2)
- 한국항공우주연구원(2)
- 한국항공운항학회(2)
- 한국화학공학회(2)
- 개혁주의교회성장학회(1)
- 경북대학교 농업생명과학대학(1)
- 공주교육대학교 초등교육연구원(1)
- 글로벌청소년학회(1)
- 대구한의대학교 청소년문제연구소(1)
- 대외경제정책연구원(1)
- 대한건축학회(1)
- 대한문학치료학회(1)
- 대한방사선과학회(1)
- 대한방사선종양학회(1)
- 대한생리학회(1)
- 대한성학회(1)
- 대한약학회(1)
- 대한의용생체공학회(1)
- 대한치과마취과학회(1)
- 대한화약발파공학회(1)
- 동아시아식생활학회(1)
- 사)한국건설안전기술협회(1)
- 서강대학교 철학연구소(1)
- 에너지기후변화교육학회(1)
- 전력전자학회(1)
- 지역사회간호학회(1)
- 충남대학교 농업과학연구소(1)
- 한국간호과학회(1)
- 한국고고학회(1)
- 한국공간정보학회(1)
- 한국교류분석협회(1)
- 한국교원대학교 유아교육연구소(1)
- 한국기술사회(1)
- 한국농업기계학회(1)
- 한국농촌간호학회(1)
- 한국대학박물관협회(1)
- 한국동력기계공학회(1)
- 한국모래놀이치료학회(1)
- 한국복지행정학회(1)
- 한국복합신소재구조학회(1)
- 한국부모교육학회(1)
- 한국비파괴검사학회(1)
- 한국사례관리학회(1)
- 한국사회과수업학회(1)
- 한국사회복지지원학회(1)
- 한국생리인류과학회(1)
- 한국소성가공학회(1)
- 한국소아감염병학회(1)
- 한국수산과학회(1)
- 한국수소및신에너지학회(1)
- 한국수자원학회(1)
- 한국시스템엔지니어링학회(1)
- 한국식품영양학회(1)
- 한국신뢰성학회(1)
- 한국신재생에너지학회(1)
- 한국아동보육실천학회(1)
- 한국액체미립화학회(1)
- 한국에너지공학회(1)
- 한국음악교육공학회(1)
- 한국일본교육학회(1)
- 한국임상약학회(1)
- 한국장애아동인권학회(1)
- 한국전기전자학회(1)
- 한국정밀공학회(1)
- 한국정보통신학회(1)
- 한국조리학회(1)
- 한국종교교육학회(1)
- 한국중국문화학회(1)
- 한국지구물리물리탐사학회(1)
- 한국지능시스템학회(1)
- 한국추진공학회(1)
- 한국컴퓨터산업교육학회(1)
- 한국컴퓨터정보학회(1)
- 한국토양비료학회(1)
- 한국토지주택공사 토지주택연구원(1)
- 한국통신학회(1)
- 한국통합교육학회(1)
- 한국항공우주법학회(1)
- 한국항공우주학회(1)
- 한국항만경제학회(1)
- 해양환경안전학회(1)
간행물
- 예술인문사회융합멀티미디어논문지(174)
- 대한수의학회 학술대회발표집(162)
- JOURNAL OF VETERINARY SCIENCE(126)
- THE KOREAN JOURNAL OF PHYSIOLOGY & PHARMACOLOGY(94)
- KOREAN JOURNAL OF VETERINARY RESEARCH(구 대한수의학회지)(85)
- 신경정신의학(82)
- 시큐리티연구(69)
- THE PLANT PATHOLOGY JOURNAL (61)
- JOURNAL OF KOREAN BIOLOGICAL NURSING SCIENCE(55)
- ASIA-PACIFIC JOURNAL OF RESEARCH IN EARLY CHILDHOOD EDUCATION(53)
- 대한한방비만학회지(37)
- 한국습지학회지(35)
- 노인간호학회지(33)
- 한국안전학회지(31)
- PHYSICAL THERAPY REHABILITATION SCIENCE(29)
- INTERNATIONAL JOURNAL OF SAFETY(27)
- 교육학연구(27)
- 대한고령친화산업학회지(26)
- 식물병연구(26)
- 고령자-치매작업치료학회지(24)
- 대한안전경영과학회지(23)
- 한국가스학회지(20)
- NUCLEAR ENGINEERING AND TECHNOLOGY : AN INTERNATIONAL JOURNAL OF THE KOREAN NUCLEAR SOCIETY(18)
- CARBON LETTERS(16)
- 한국철도학회 논문집(15)
- KOREAN JOURNAL OF MEDICAL EDUCATION(14)
- 아동과 권리(14)
- 헬스커뮤니케이션연구(14)
- 한국보건기초의학회지(13)
- 교육논총(12)
- 터널기술 : 한국터널공학회논문집(10)
- ANDRAGOGY TODAY(9)
- 교육사회학연구(9)
- 기업교육과 인재연구(9)
- 여가학연구(9)
- 한국장애인복지학(9)
- AUDIOLOGY AND SPEECH RESEARCH(8)
- 광고PR실학연구(8)
- 교육행정학연구(8)
- 대한약리학잡지(8)
- 열환경공학(8)
- 재활치료과학(8)
- ASIAN PACIFIC JOURNAL OF CANCER PREVENTION : APJCP(7)
- JOURNAL OF DENTAL IMPLANT RESEARCH(7)
- JOURNAL OF THE KOREAN NUCLEAR SOCIETY(7)
- 교과교육학연구(7)
- 산업안전학회지(7)
- 아시아장애사회학연구(7)
- 인간발달연구(7)
- 한국도로학회논문집(7)
- 한국보육지원학회지(7)
- 한국지반공학회논문집(7)
- 근거와 간호(6)
- 대한조선학회 논문집(6)
- 시각장애연구(6)
- 은행법연구(6)
- 터널과 지하공간: 한국암반공학회지(6)
- 한국교육학회 학술대회논문집(6)
- 한국식품위생안전성학회지(6)
- 한국전산구조공학회논문집(6)
- 한국초등체육학회지(6)
- 한국항해항만학회지(6)
- 21세기사회복지연구(5)
- COMPUTERS & CONCRETE(5)
- SAFETY AND HEALTH AT WORK : SH@W(5)
- STRUCTURAL ENGINEERING AND MECHANICS : AN INTERNATIONAL JOURNAL(5)
- THE JOURNAL OF EDUCATION(5)
- 관광서비스연구(5)
- 교육치료연구(5)
- 아동중심실천연구(5)
- 한국사회복지교육(5)
- 한국해양공학회지(5)
- 한국화재소방학회 논문지= JOURNAL OF KOREAN INSTITUTE OF FIRE SCIENCE & ENGINEERING(5)
- PSYCHIATRY INVESTIGATION(4)
- 건설관리 : 한국건설관리학회논문집(4)
- 교육방법연구(4)
- 교육정치학연구(4)
- 대한인간공학회지(4)
- 사회서비스연구(4)
- 음악교육연구(4)
- 전산 구조 공학(4)
- 한국노년학연구(4)
- 한국보훈논총(4)
- 한국산업안전학회지(4)
- 한국심리치료학회지(4)
- 한국음악치료학회지(4)
- 한국해안해양공학회지(4)
- BRAIN, DIGITAL, & LEARNING(3)
- FOOD SCIENCE AND BIOTECHNOLOGY(3)
- GEOMECHANICS & ENGINEERING(3)
- JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY(3)
- 공업경영학회지(3)
- 교류분석상담연구(3)
- 모래상자치료연구(3)
- 미술치료연구(3)
- 발달지원연구(3)
- 방사성폐기물학회지(3)
- 보조공학저널(3)
- 복지상담교육연구(3)
- 아시아아동지원연구(3)
- 어린이미디어연구(3)
- 임상사회사업연구(3)
- 지질공학(3)
- 특수교육교과교육연구(3)
- 한국교원교육연구(3)
- 한국마린엔지니어링학회지(3)
- 한국시뮬레이션학회논문지(3)
- 한국웰니스학회지(3)
- 한국콘텐츠학회논문지(3)
- 행동분석-지원연구(3)
- COMPOSITES RESEARCH(2)
- INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY(2)
- KOREAN CHEMICAL ENGINEERING RESEARCH(2)
- SMART STRUCTURES AND SYSTEMS(2)
- THE KOREAN JOURNAL OF ORTHODONTICS(2)
- WIND & STRUCTURES(2)
- 가족과 가족치료(2)
- 대한토목학회논문집, JOURNAL OF THE KOREAN SOCIETY OF CIVIL ENGINEERS, D. 교통공학, 도로공학, 시공관리, 정보기술, 지역 및 도시계획, 철(2)
- 멀티미디어학회논문지(2)
- 박물관학보(2)
- 방사선방어학회지(2)
- 산업공학(2)
- 상담복지경영연구(2)
- 생물생산시설환경(2)
- 정보과학회논문지. JOURNAL OF KIISE. 소프트웨어 및 응용(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(2)
- 조형교육(2)
- 창의력교육연구(2)
- 학부모연구(2)
- 한국ITS학회 논문지(2)
- 한국건축시공학회지(2)
- 한국데이터정보과학회지(2)
- 한국생산제조시스템학회지(2)
- 한국성인교육학회 학술대회지(2)
- 한국식품저장유통학회지(2)
- 한국아동심리치료학회지(2)
- 한국자동차공학회논문집(2)
- 한국지리정보학회지(2)
- 한국지진공학회논문집(2)
- 한국항공운항학회지(2)
- 항공우주기술(2)
- CONCRETE JOURNAL(1)
- CURRENT RESEARCH ON AGRICULTURE AND LIFE SCIENCES(1)
- EASTWEST EDUCATION (1)
- FISHERIES AND AQUATIC SCIENCES(1)
- GEOSYSTEM ENGINEERING(1)
- INDUSTRIAL ENGINEERING & MANAGEMENT SYSTEMS : AN INTERNATIONAL JOURNAL(1)
- INTERNATIONAL JOURNAL OF CAD/CAM(1)
- INTERNATIONAL JOURNAL OF CONCRETE STRUCTURES AND MATERIALS(1)
- INTERNATIONAL JOURNAL OF CONTROL, AUTOMATION AND SYSTEMS(1)
- INTERNATIONAL JOURNAL OF FUZZY LOGIC AND INTELLIGENT SYSTEMS(1)
- INTERNATIONAL JOURNAL OF RELIABILITY AND APPLICATIONS(1)
- JOURNAL OF CONSTRUCTION ENGINEERING AND PROJECT MANAGEMENT(1)
- JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY(1)
- JOURNAL OF NUCLEAR FUEL CYCLE AND WASTE TECHNOLOGY(1)
- JOURNAL OF POWER ELECTRONICS : JPE(1)
- KIEE INTERNATIONAL TRANSACTIONS ON ELECTRICAL MACHINERY AND ENERGY CONVERSION SYSTEMS(1)
- KOREAN JOURNAL OF SOIL SCIENCE AND FERTILIZER(1)
- KSME INTERNATIONAL JOURNAL(1)
- LHI JOURNAL OF LAND, HOUSING, AND URBAN AFFAIRS(1)
- OCEAN SYSTEMS ENGINEERING(1)
- PACIFIC EARLY CHILDHOOD EDUCATION RESEARCH ASSOCIATION ANNUAL CONFERENCE(1)
- POLICY ANALYSIS(1)
- PREVENTIVE NUTRITION AND FOOD SCIENCE(1)
- RADIATION ONCOLOGY JOURNAL : ROJ(1)
- SAFE FOOD(1)
- STEEL & COMPOSITE STRUCTURES : AN INTERNATIONAL JOURNAL(1)
- 개혁주의교회성장(1)
- 건설안전기술(1)
- 고문화(1)
- 교류분석과 심리사회치료 연구(1)
- 교육연구(1)
- 교육혁신연구(1)
- 구조물진단학회지(1)
- 글로벌청소년학연구(1)
- 기술사(1)
- 농업과학연구(1)
- 대한간호학회지= JOURNAL OF KOREAN ACADEMY OF NURSING(1)
- 대한건축학회논문집 : JOURNAL OF THE ARCHITECTURAL INSTITUTE OF KOREA : STRUCTURE & CONSTRUCTION / 구조계(1)
- 대한기계학회론문집. TRANSACTIONS OF THE KOREAN SOCIETY OF MECHANICAL ENGINEERS. A. A(1)
- 대한기계학회지(1)
- 대한문학치료연구(1)
- 대한생리학회지(1)
- 대한성학회지(1)
- 대한치과마취과학회지(1)
- 대한토목학회논문집(1)
- 동아시아식생활학회지(1)
- 모래놀이상담연구(1)
- 바이오시스템공학(1)
- 방사선기술과학(1)
- 복지행정논총(1)
- 복합신소재구조학회 논문집(1)
- 부모교육연구(1)
- 비파괴검사학회지(1)
- 사례관리연구(1)
- 사회과수업연구(1)
- 사회복지지원학회지(1)
- 산업경영시스템학회지(1)
- 생리인류과학회지(1)
- 소성가공(1)
- 소아감염(1)
- 시스템엔지니어링학술지(1)
- 식품산업과 영양(1)
- 신재생에너지(1)
- 아동보육연구(1)
- 안전경영과학회지(1)
- 약학회지(1)
- 에너지공학(1)
- 에너지기후변화교육(1)
- 음악교육공학(1)
- 의공학회지(1)
- 자동차공학회지(1)
- 장애아동인권연구(1)
- 전기전자학회논문지(1)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. B, 전기기기 및 에너지변환시스템부문(1)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. P(1)
- 정보과학회. 컴퓨팅의 실제 논문지(1)
- 정보과학회논문지. JOURNAL OF KIISE. 컴퓨팅의 실제 및 레터(1)
- 정보과학회논문지. JOURNAL OF KISS (C) : COMPUTING PRACTICES. C(1)
- 정보처리학회논문지. KIPS TRANSACTIONS ON SOFTWARE AND DATA ENGINEERING. 소프트웨어 및 데이터 공학(1)
- 제어-로봇-시스템학회 논문지(1)
- 종교교육학연구(1)
- 중국학논총(1)
- 지구물리와 물리탐사(1)
- 지역사회간호학회지(1)
- 철학논집(1)
- 청소년행동연구(1)
- 컴퓨터산업교육학회논문지(1)
- 통합교육연구(1)
- 한국CAD/CAM학회논문집(1)
- 한국건설관리학회논문집(1)
- 한국고고학보(1)
- 한국공간정보학회지(1)
- 한국구조물진단유지관리공학회 논문집(1)
- 한국농촌간호학회지(1)
- 한국동력기계공학회지(1)
- 한국수소 및 신에너지학회 논문집(1)
- 한국수자원학회논문집(1)
- 한국식품영양과학회지(1)
- 한국식품영양학회지(1)
- 한국액체미립화학회지(1)
- 한국열환경공학회 학술대회지(1)
- 한국유아교육연구(1)
- 한국일본교육학연구(1)
- 한국임상약학회지(1)
- 한국정밀공학회지(1)
- 한국정보통신학회논문지(1)
- 한국조리학회지(1)
- 한국지반공학회지(1)
- 한국창의력교육학회 학술대회지(1)
- 한국추진공학회지(1)
- 한국컴퓨터정보학회논문지(1)
- 한국통신학회논문지. THE JOURNAL OF KOREA INFORMATION AND COMMUNICATIONS SOCIETY. 통신이론 및 시스템(1)
- 한국항공우주학회지(1)
- 한국항만경제학회지(1)
- 한국해안-해양공학회논문집(1)
- 항공우주법학회지(1)
- 해양환경안전학회지(1)
- 화약-발파(1)
전체 선택해제
총 2,008건 검색
본문검색 결과만 보기
-
강우침투에 따른 불포화 토사사면의 안정해석
조성은, 이승래 한국지반공학회 韓國地盤工學會論文集 14 Pages
한국지반공학회 韓國地盤工學會論文集 2000, Vol.16 No.1 51-64 (14 pages)
본 연구는 강우의 침투로 인한 불포화 토사사면의 안정 해석을 위한 절차를 제시한다. 강우 침투로 인한 사면의 거동은 흐름과 변형이 연관된 이차원 유한요소해석을 통하여 해석된다. 시간에 따른 안전율을 계산하기 위하여 유한요소 해석법을 통한 응력장(stress field)으로부터 가상활동면에 대한 안전율을 산정할 수 있도록 하는 정교한 응력적분기법을 적용하였고 기하학적으로 허용가능한 활동단면의 형상을 유지하면서 합리적으로 임계단면을 찾아가는 최적화방법을 적용함으로써 강우에 의한 토사사면의 안정성 평가 절차를... -
심층혼합처리 연약지반상 사석제의 안정성
홍원표, 김균, 송영석 한국지반공학회 韓國地盤工學會論文集 8 Pages
한국지반공학회 韓國地盤工學會論文集 2000, Vol.16 No.5 55-62 (8 pages)
심층혼합처리공법에 의해 개량된 연약지반상에 사석제를 축조한 후 배면매립을 실시할 경우 사석호안의 변형거동을 관찰하기 위해 계측을 실시하였다. 개량지반상에 사석호안을 축조하기 위한 설계기준을 마련하기 위하여 유한요소법을 이용한 지반변형해석과 Bishop의 간편법을 이용한 사면안정해석을 실시하였다. 이들 해석을 사석제부, 연약지반부 그리고 뒷채음성토부의 토질조건 및 형상이 다른 여러 경우에 대하여 실시하여 그 결과를 서로 비교 분석하였다. 즉, 해석결과를 이용하여 사석제 정사부에서의 수평변위량과 침하？을... -
터널굴착 현장에 인접한 지상구조물의 안전성 평가용 전문가 시스템의 개발 (1) -전문가 시스템 개발 및 신뢰성 검증을 중심으로
배규진, 신휴성 한국지반공학회 韓國地盤工學會誌 20 Pages
한국지반공학회 韓國地盤工學會誌 1998, Vol.14 No.2 107-126 (20 pages)
안정성 평가를 수행하는 전문가 시스템 NESASS(Neural Network Expert System for Adjacent Structure Safety analysis)를 개발하였다. NESASS는 인공신경망을 이용, 터널현장의 지반침하 계측자료로 작성된 데이터베이스 자료를 학습자료로 하여 학습을 수행하고, 이를 기반으로 터널현장의 지반침하 트라프를 추론한다. 또한 일반구조물의 안전성을 평가하는데 이용되고 있는 인자, 즉 각변형(angular distortion)과 처징비 (deflection ratio) 등을 이용하여 지상건물의 안전성을 평가함과 아울러 Dulacska의 균열평가 모델 을... -
지상 LiDAR를 이용한 토공 사면의 안정성 평가
김희규, 노태호, Kim. Hee-Gyoo, Roh. Tae-Ho 한국지리정보학회 한국지리정보학회지 11 Pages
한국지리정보학회 한국지리정보학회지 2014, Vol.17 No.3 82-92 (11 pages)
건설공사에서 흙을 주재료로 하는 비율은 상당히 많으며, 구조물의 형태 및 기초 등의 많은 부분을 차지하고 있다. 따라서 토공은 사회기반시설의 중요 구조물을 구성하고 이러한 구조물들은 시공 시행당시 보다 완성된 형태의 안정성이 무엇보다 중요하다. 본 연구에서는 토공에서의 중요 부분을 차지하는 사면에 대한 안정성 평가 자료를 지상 LiDAR로 취득할 경우의 정확도, 경제성, 효용성을 평가하기 위하여 현장 실험을 통한 결과, 다음과 같은 결론을 얻을 수 있었다. 첫째, 토털스테이션과 지상 LiDAR를 이용하여 관측한 결과,... -
지상 이동체 기반의 다중 센서 통합 데이터를 활용한 도로의 3차원 기하정보 추출에 관한 연구
김문기, 성정곤, Kim. Moon-Gie, Sung. Jung-Gon 한국지리정보학회 한국지리정보학회지 12 Pages
한국지리정보학회 한국지리정보학회지 2008, Vol.11 No.3 68-79 (12 pages)
있는 도로 안전성 조사 분석 차량(RoSSAV, Road Safety Survey and Analysis Vehicle)을 개발하였다. 본 연구를 통해 도로의 안전성에 의심이 되는 지역에 대해서 3차원 도로 모델링을 통한 도로 선형 결함 알고리즘을 개발하였으며, 이를 위해서는 신속하고 정확한 데이터가 수집되어야 한다. 차량에 회전식 레이저 스캐너, GPS(Global Positioning System), INS(Inertial Navigation System), CCD(Charge-Coupled Device) 카메라 그리고 DMI(Distance Measuring Instrument) 등 여러 센서를 장착하여 데이터를 취득하였다. 마지막으로... -
AIS-ASM 기반 신규 서비스 도입을 위한 선행 연구
김건웅, 박계각, Kim. Geonung, Park. Gyei-Kark 한국정보통신학회 한국정보통신학회논문지 7 Pages
한국정보통신학회 한국정보통신학회논문지 2013, Vol.17 No.7 1515-1521 (7 pages)
AIS는 해양안전 분야의 핵심서비스이다. 그 중 바이너리 메시지를 전달하는 6번 메시지와 8번 메시지를 활용한 다양한 서비스들이 등장하고 있으며, 이에 MSC는 2010년 AIS-ASM 사용에 대한 권고를 발표한 바 있다. AIS-ASM을 통한 해양안전정보 제공은 해양사고 예방이나 안전 제고 등에 기여할 수 있지만, 새로운 서비스가 VDL에 추가 부하를 가져올 수 있으므로 서비스 도입 절차가 반드시 필요하다. 본 논문에서는 AIS-ASM 서비스 분석을 통해 각 서비스를 도입하기 위해 확장되어야 하는 기능 또는 체계들을 정리하고, 지속적으로... -
FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법
이우진, Lee. Woo-Jin 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 8 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 2007, No.0 633-640 (8 pages)
실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을... -
CPN 모델의 역방향 안전성 분석 도구 개발
이우진, 채흥석, 차성덕, 이장수, 권용래 한국정보과학회 정보과학회논문지. Journal of KISS (c) : computing practices. C 10 Pages
한국정보과학회 정보과학회논문지. Journal of KISS (c) : computing practices. C 1999, Vol.5 No.4 457-466 (10 pages)
or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with... -
템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법
김태호, 유준범, 차성덕, Kim. Tae-Ho, Yoo. Jun-Beom, Cha. Sung-Deok 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 14 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2005, Vol.32 No.12 1178-1191 (14 pages)
본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의... -
복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법
이장수, 차성덕, Lee. Jang-Soo, Cha. Sung-Deok 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 14 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2000, Vol.27 No.2 120-133 (14 pages)
Method)과 인과정보에 의한 요구사항 안전성 분석기법(CRSA: Causal Requirements Safety Analysis)으로 구성되어 있다. QFM에서는 인공지능 분야에서 연구된 정성추론 이론을 정형명세에 도입하여 요구사항 설계자와 분석자의 인지적 부담을 줄일 수 있도록 하였다. CRSA는 QFM에서 도출한 HRTS 동작의 인과 정보에 따라 체계적으로 위험 원인을 추적할 수 있도록 하여, 기존 결함 트리 분석(FTA: Fault Tree Analysis) 기법의 단점인 분석자의 주관에 의존하는 문제를 해결한다. 월성 원자력 발전소 자동정지계통(Shutdown System 2)...