ISO 표준기반의소프트웨어검증을위한소프트웨어결함주입기법 트웨어개발시준수해야할요구사항과소프트웨어검증시준수해야할요구사항이정의되어있다. 따라서 ISO 표준을기반으로소프트웨어를개발할때에는표준에정의된소프트웨어검증방법들을수행해야한다. 하지만이처럼 ISO262
|
|
- 서정 성
- 7 years ago
- Views:
Transcription
1 Transactions of KSAE, Vol. 22, No. 3, pp (2014) Copyright C 2014 KSAE / pissn / eissn DOI ISO 표준기반의소프트웨어검증을위한소프트웨어결함주입기법 이상호 * 신승환 현대오트론주행제어팀 Software Fault Injection Test Methodology for the Software Verification of ISO Standards-based Sangho Lee * Seunghwan Shin Driving Control Engineering Team, Hyundai-autron, Mtek IT Tower, 344 Pangyo-ro, Bundang-gu, Seongnam-si, Gyeonggi , Korea (Received 31 October 2013 / Revised 29 January 2014 / Accepted 26 February 2014) Abstract : As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described. Key words : Dynamic verification( 동적검증 ), FMEA( 고장형태영향분석 ), ISO 26262( 기능안전표준 ), Robustness( 강건성 ), SFIT( 소프트웨어결함주입테스트 ) 1. 배경 1) 최근차량의주행성능, 편의성, 안전성을높이기위한차량내전자제어장치 (ECU) 의급속한증가및네트워크화로인하여자동차내전장부품에대한비중이지속적으로증가되고있다. 컨설팅업체인맥킨지社의보고서에의하면, 자동차제조원가에서전장이차지하는비중은 2004년 19퍼센트에서현재 20 퍼센트대중반으로높아진데이어 2015 년엔 40 퍼센트수준으로급성장할것으로예상된다. 1) 이처럼전자부품의사용이크게증가하면서전자적오류에따른자동차사고위험성을줄이는것이자동 * A part of this paper was presented at the KSAE 2013 Annual Conference and Exhibition * Corresponding author, sangho.yi@hyundai-autron.com 차업계의화두로떠오르고있다. 따라서전자제어장치에들어가는소프트웨어의품질및기능안정성이자동차산업에서중요해지고있으며이를만족시키고신뢰성을갖기위한소프트웨어검증이필요해지고있다. 이러한흐름에맞춰전자제어장치에탑재되는소프트웨어의오류로인한사고방지를위하여자동차기능안전국제규격 (ISO 26262) 이제정되었다. ISO 표준은명세, 설계, 구현, 통합, 검증, 인증에이르는개발전단계에서최신개발방법및테스트방법을적용하도록하고있으며기능안전규격을준수하기위한각단계에서의요구사항을정의한다. 세부적으로는시스템레벨, 하드웨어레벨, 소프트웨어레벨에서각요구사항들이정의되어있으며다시소프트웨어레벨 (ISO 26262, Part 6) 에서소프 68
2 ISO 표준기반의소프트웨어검증을위한소프트웨어결함주입기법 트웨어개발시준수해야할요구사항과소프트웨어검증시준수해야할요구사항이정의되어있다. 따라서 ISO 표준을기반으로소프트웨어를개발할때에는표준에정의된소프트웨어검증방법들을수행해야한다. 하지만이처럼 ISO26262 표준기반의소프트웨어검증의중요성이대두되고있음에도표준의특성상적용을위한실질적인방법론에대한설명은부족한측면이있다. 소프트웨어결함주입기법 (Software Fault Injection Test) 이란 ISO 표준의적용에있어필요한소프트웨어검증단계중하나로써시스템에인위적으로결함을주입하여오류를파악하고시스템의기능안전상의강건성을검증하는방법이다. 2) 이를통해시스템의정상작동시쉽게발견되지않는내부결함을파악하고안전기능이예상치못한상황에서적절하게통제되고견고성을유지하는지에대한검증이가능하다. 현재 ISO 표준에서는소프트웨어통합검증단계에서결함주입기법을 ASIL C, D 등급에서반드시적용해야한다고정의하고있으며하위등급에서도적용을권장하고있다. 하지만역시기법의적용을위한자세한방법론에대해서는정의되지않았다. 따라서결함주입대상의식별, 입력할결함데이터추출, 결함주입방법등실제적용을위한방법론에대한논의가필요한시점이다. 커맨드라인파라미터, API를대상으로결함주입을통한소프트웨어에검증기법에대한연구가다수이루어져왔으며근래에임베디드소프트웨어에서의결함주입기법의연구가활발해지고있는추세이다. 따라서이미기존에소프트웨어결함주입기법에대한다양한논문들이존재하고있으며, 크게컴파일타임주입기법, 런타임주입기법으로나뉘어각각에따른세부결함주입기법이연구되었다. 최근자동차분야에서소프트웨어개발은모델기반개발 (Model Based Development) 로진행된다. 따라서소프트웨어개발시소프트웨어결함주입을모델링하고시뮬레이션함으로써소프트웨어의강건성을검증하는연구가진행되었다. 6) 다른연구로는소프트웨어에주입하는결함을식별하기위해서시스템수준에서식별된기능안전요구사항 (Functional Safety Requirement) 과기술적안전요구사항 (Technical Safety Requirement) 를분석하여결함주입시험을수행하는방법에관한것이있다. 7) 자동차분야에서진행되는결함주입기법의최근연구는모델을사용하여결함을주입하거나상위시스템요구사항에서소프트웨어에관한결함을식별하는것으로볼수있다. 하지만기능안전에서요구하는결함주입시험은소프트웨어아키텍처수준에서결함을식별하고식별된결함을소프트웨어주입하고테스트하여강건성을확인해야한다. 3. 본론 Fig. 1 ISO Part6 Table 13. Methods for software integration testing 2. 관련연구동향 결함주입기법 (Fault Injection Test) 은초기에하드웨어의강건성을테스트하기위한방법으로써하드웨어에고의적인결함을인위적으로일으키고그에따른시스템의의존성을평가하는검증기법으로개발되었다. 그후소프트웨어검증에도입되어주로프로토콜, 본론에서는결함주입기법을수행하기위한결함주입대상의식별, 입력할결함데이터추출, 결함주입방법등에대한실제적용을위한방법론을다루었다. 3.1 결함주입대상식별소프트웨어결함주입기법을적용하기위해서는먼저결함이주입될대상소프트웨어를식별해야한다. 시스템전체에대하여결함을주입하고그에대한시스템의반응과결과를관찰하는것도의미가있을수있으나이는많은시간적비용적낭비를유발할수있다. Transactions of the Korean Society of Automotive Engineers, Vol. 22, No. 3,
3 Sangho Lee Seunghwan Shin 결함주입기법은인위적인결함을주입하였을때시스템이결함을잘처리하여전체시스템이문제없이정상수행되는지를살펴보는강건성테스트라고볼수있다. 따라서결함주입기법은장애허용시스템 (Fault Tolerant System) 에의한강건설계가구현된소프트웨어모듈에대하여수행하였을때의미가있다. 만약강건설계가이루어지지않은모듈에대하여원치않는결함데이터가입력될경우잘못된결과값이리턴되는것은일견당연한현상이기때문이다. 이를 ISO26262 표준에따른소프트웨어개발과접목시켜보면기능안전표준에서는작성된소프트웨어아키텍처에잠재적인결함이없는지분석하는안전분석을반드시수행해야한다. 이를위해소프트웨어아키텍처를정의한후소프트웨어 FMEA (Failure Mode and Effects Analysis), FTA(Fault Tree Analysis) 등의과정을통해아키텍처상의취약점을분석하고이를보완하는장애허용시스템이추가된소프트웨어아키텍처를다시설계하는방식으로개발이이루어진다. 따라서 ISO26262 표준기반의결함주입기법을활용하기위해서는표준개발프로세스에따라소프트웨어안전분석을통해강건설계가이루어진소프트웨어모듈에대하여결함주입을활용하면장애허용시스템이잘설계되었는지에대하여올바른검증을할수있을것이다. FMEA 결과는테이블형식으로문서화되므로시스템의고장과원인과의논리적관계를나타내기어렵다. 개발초기에개발하는소프트웨어에대한이해부족으로 FTA를통한분석은최상위고장으로부터하향식으로모든원인을찾기가쉽지않기때문에, 중요한고장원인이누락될수있는위험이있다. 8) 따라서하드웨어나기구처럼시스템의구조가명확하지않은소프트웨어의경우 FTA 보다는 FMEA를사용하여안전분석을수행하는편이더욱효과적이다. 아래에서예시를통해 FMEA를통한강건설계가이루어지는방법을나타내보겠다. Fig. 1과같이레이더에서입력신호를받아차량을제어하는적응형순항제어시스템을단순하게고려해보면제어기에대한소프트웨어아키텍처를아래와같은 DFD(Data Flow Diagram) 으로표현할 Fig. 2 Data flow diagram of SCC 수있을것이다. 4) 위시스템에대하여 FMEA를수행하기위해서는먼저일어날수있는결함을식별해야한다. SAE ARP 5580을보면총 6가지의결함이정의된다. 5) 1) 실행되지않는결함 2) 불완전하게실행되는결함 3) 실행타이밍이불안전해서생기는결함 4) 에러가발생하는결함 5) 리턴되지않아서낮은우선순위의인터럽트가실행되는것을막는경우 6) 올바르지않은우선순위를리턴하는경우위 SAE 권고사항을시스템의 레이더데이터보정모듈에대하여적용해보면다음과같은결함의발생을예상할수있다. 1) 모듈이실행되지않음 2) 모듈이불완전하게실행됨 3) 모듈의실행타이밍이느리거나빠름 4) 모듈실행시에러가발생레이더데이터보정모듈이실행되지않거나불완전하게실행되는경우보정된레이더입력값이전해지지않아적응형순항제어기능이오작동을일으킬수있다. 또한레이더데이터보정모듈의실행타이밍이느리거나빠를경우이전에처리된데이터가입력되거나이후처리될데이터가입력되어마찬가지오작동을일으킬수있다. 이는전체시스템의관점에서잘못된레이더데이터처리로인하여선행차량과의거리계산이잘못되어차량이비정상적으로제동이걸리거나가속이가해져선행차량과의충돌또는급제동과같은사고를일으킬수있다. 위내용을소프트웨어 FMEA 형식으로 Table 1 70 한국자동차공학회논문집제 22 권제 3 호, 2014
4 Software Fault Injection Test Methodology for the Software Verification of ISO Standards-based Table 1 Result of software FMEA 1 차아이템 1.1 레이더데이터입력처리 결함 고장 원인 레이더데이터보정이안되어잘못된레이더입력처리값을전달 선행차량과의거리계산이잘못되어충돌발생가능 레이더데이터보정모듈이실행되지않거나불완전실행 2 차기능 레이더데이터보정 필요조치 과같이정리할수있다. 레이더데이터보정모듈의모니터링메커니즘을추가하여보정모듈이정상작동하는지검사함 이와같이고장과결함을식별한뒤이결함을제거하는대책을수립하고해결하는과정이뒤따르게된다. 이를통해기능안전측면에서소프트웨어의오작동에따른위험성을줄일수있는강건설계가이루어지게된다. 3.2 결함주입데이터 결함주입기법을활용하기위해서는어떠한입력데이터를결함으로주입해야하는가? 결함주입기법에서입력되는결함데이터에는크게 2가지방식이있다. 무작위 (Random) 데이터와부분유효 (Semi-Valid) 데이터입력방식이다. 무작위데이터입력방식은입력횟수가많아질수록더많은검증의정확도를가질수있으나검증대상소프트웨어의특성을고려하지않기때문에입력단계에서폐기되거나의미없는검증결과들이다수발생할수있다. 예를들면계층구조로이루어진모듈에서하위모듈에대해결함주입을하고자하는경우, 무작위데이터입력방식을사용하는경우상위함수에서이미무작위데이터가폐기되는상황이발생할수있다. 따라서무작위데이터입력방식은경우에따라비효율적일수있다. 부분유효데이터입력방식은검증대상소프트웨어의특성을분석하여입력될결함데이터를결정하는방식이다. 따라서먼저대상소프트웨어의입력데이터들에대한분석이필요하다. 본논문에서는이과정을앞서언급된소프트웨어 FMEA 과정과접목하는방법론을제안한다. 앞서예시를통해살펴봤듯이소프트웨어아키텍처설계과정에서소프트웨어 FMEA를수행하려면소프트웨어의특성과나타날수있는결함의유형들을식별해야한다. 소프트웨어 FMEA 과정에서위 6가지유형중대상소프트웨어에서일어날수있는결함을식별하고해당결함에의해발생할수있는고장 (Failure effects) 과발생하는원인 (cause) 을식별하는과정을거친다. 또한각결함에의해발생하는리스크에대해 HARA(Hazard Analysis & Risk Assessment) 에서발생확률, 제어가능성, 심각도를평가하여리스크의우선순위를정하는과정을거친다. 이와같은 ISO 표준프로세스와 FMEA를통해설계된소프트웨어라면이미위의과정에서각각의검증대상소프트웨어발생할수있는결함들이식별되어있다고볼수있다. 또한개별결함이미치는리스크에대하여우선순위가정해져있으므로우선순위가높은리스크에대하여검증의강도를부여한다면좀더높은신뢰성을갖춘검증결과를얻을수있을것이다. 3.3 결함주입방법식별된결함을주입하는방법에는결함주입시기에따라컴파일타임레벨과런타임레벨의 2가지방법이가능하다. 먼저컴파일타임레벨에서결함을주입하는경우는이미작성된소프트웨어의코드를변형하여컴파일후실행시켜변형된코드에의한시스템의결과를관찰하는것이다. 실제로이미구현된소프트웨어의코드가변형되는경우는존재할수없지만, 소프트웨어가실제 ECU에탑재되어동작되는경우레지스터값의변형이일어나거나행 (Hang) 이걸려처리되는값의지연이일어날수있다. 이러한현상을코드단위에서의수정을통해모사하여검증하는것이다. 이때코드의변형에는뮤테이션과제너레이션 (Generation) 두가지방법이있다. 3) 뮤테이션은기존의올바르게작성된코드에대하여일부를임의적으로변형시키는방법이다. 앞서예를들었던레이더데이터보정모듈에서결함이나타났다고가정해보자. 아래의 Table 2와같이코 Transactions of the Korean Society of Automotive Engineers, Vol. 22, No. 3,
5 이상호 신승환 Table 2 Code mutation examples 변경전 radar_data = radar_input +100; 변경후 radar_data = radar_input -100; 드의일부에간단한변형을줌으로써소프트웨어의결함을유발시킬수있다. 실제로소프트웨어가작동하는환경에서는내외부의예상치못한특정원인에의하여레지스터값의변형이일어날수있다. 코드뮤테이션을통하여이러한레지스터값의변형과같은경우를모사하는것이다. 제너레이션은기존의코드에새로운코드를삽입하여소프트웨어의동작특성에변화를주는것이다. 예를들어레이더데이터보정소프트웨어모듈의결함유형중실행타이밍이불안전해서생기는결함이있을수있다. 이는어떠한실행함수에서빠져나오지못하거나행에걸려지연이발생하는경우를생각해볼수있다. 이런경우를모사하기위하여아래의 Table 3과같이기존의코드에임의의 1초간의지연을발생시키는함수를만들어코드에삽입할수있다. 만약위와같은코드가삽입된다면시스템에지연이발생하여결과값을처리하는데문제가생길것이다. 하지만이러한결함유형에대하여제대로된강건설계가이루어진소프트웨어일경우올바른타이밍에결과값이들어오지않는다고판단되면시스템전체처리속도를늦추거나다른경로를통해올바른결과값을받아들이는등의결함처리방식을통해문제를해결할것이다. 두번째로런타임레벨에서결함을주입하는경우는소프트웨어를실행시키며디버거를통해결함을주입하는방법이다. 기본적인결함주입의개념은앞서기술한코드단위에서의결함주입과동일하 Table 3 Code generation examples 변경전 int radar_data; radar_data = radar_input + const ; return radar_data; Fig. 3 SFIT environment using debugger 지만코드가실행되는상태에서디버거를통해입력값들을변경하거나임의의시점에서실행을지연시키며그에따른결과값을관찰하여결함주입에따른결과를검증할수있다. 이때타깃보드의유무에따라코드만을실행하여컴파일러의디버깅상태에서변수값들을조정하거나 Fig. 3과같이타깃보드에소프트웨어를탑재하여 Trace32와같은디버거를통해결함을주입할수있다. 특히타깃보드에따라메모리의크기, 레지스터설정등소프트웨어의실행환경이다르므로타깃보드에소프트웨어를탑재하여디버거장비를이용하는경우좀더실제시스템의실행환경에가까운검증이가능하다. 3.4 결함주입테스트프로세스결함주입테스트프로세스는 Fig. 4와같이 4단계로나뉜다. 결함식별단계에서는소프트웨어 FMEA결과에서결함발생시소프트웨어를강건하게유지하기위해서소프트웨어로직을보강한결함을소프트웨어에주입하는결함으로식별한다. 예를들어 Table 1에서식별된결함인레이더데이터보정올바르게처리되지않은경우필요조치로보정모듈을추가하는작업을하였다. 이결함은필요조치를취했기때문에결함주입테스트를통하여제대로된결함대응로직이구현되었는지확인해야한다. 따라서이결함은결함주입테스트의결함으로식별한다. 결함주입단계에서는결함식별단계에서식별된결함을소프트웨어에주입한다. 결함을주입하기위해서는 Fig. 5와같은소프트웨어추적매트릭스 (Software Traceability Matrix) 를사용한다. 소프트 변경후 int radar_data; radar_data = radar_input + const ; wait (1000); return radar_data; Fig. 4 Fault injection test process 72 한국자동차공학회논문집제 22 권제 3 호, 2014
6 ISO 표준기반의소프트웨어검증을위한소프트웨어결함주입기법 Fig. 5 Software traceability matrix 웨어추적매트릭스란소프트웨어요구사항에서소프트웨어코드까지연관관계를매트릭스형태로표현한것으로써아키텍처상에서의모듈이어떤소프트웨어코드로구현되었는지확인할수있다. 따라서결함식별단계에서결함을주입하는모듈은소프트웨어추적매트릭스를사용하여어떤코드에서구현되었는지확인할수있다. 코드에결함주입은코드를변형하는뮤테이션이나제너레이션기법을사용하여식별된결함을해당모듈에삽입한다. 테스트수행은결함주입단계에서결함을주입한소프트웨어를대상으로소프트웨어기능검증에서사용하는테스트케이스를입력하여진행한다. 정상적인소프트웨어의경우에는기능검증에서사용한테스트케이스를입력하였을때는예상결과를모두만족할것이나, 결함을주입한소프트웨어의경우해당결함을처리하기위해기능검증에서예상한결과와는다르게나올수있다. 이러한결과를결과취합단계에서기록하여하나의결함주입테스트를종료한다. 이상의총 4단계를보안조치를한모든결함에대하여수행하여완료하고다음결과분석으로넘어간다. 3.5 결과분석끝으로결함주입기법을통해얻은결과를분석하는방법에대한논의가필요하다. 본논문에서는결함주입기법의대상을소프트웨어 FMEA를통해강건설계가이루어진소프트웨어모듈에한정하였다. 따라서입력되는결함역시 FMEA과정에서식 별된결함에대하여이루어졌으며검증결과는결함의처리가잘이루어져전체시스템의동작에영향이미치지않는지를판단하는방식으로이루어지면될것이다. 앞서들었던 레이더데이터보정모듈 을예로들어보면레이더입력데이터보정이불완전하게이루어지는결함에대하여보정처리된입력값의레지스터값에변형을주어결함을주입하였다. 이러한결함의가능성에대하여강건설계가제대로이루어졌다면결함의주입에대하여모니터링모듈이정상적으로작동하여결함을제거하거나데이터를다른방식으로보정하여전체시스템이정상작동해야할것이다. 따라서결함주입기법의결과는결함에의해전체시스템의안정성에문제가발생하는가의여부를살펴보면될것이다. 결함의주입과상관없이전체시스템이정상적으로작동한다면 FMEA과정을통한강건설계가제대로이루어졌음을검증할수있고만약결함주입에의하여전체시스템의안정성에문제가생겼다면원인을파악하고추가적인아키텍처설계를통해강건설계가이루어지는과정이다시수행되어야한다. 이러한과정의반복을통해좀더기능안전을만족하는시스템의구현이가능할것이다. 코드뮤테이션의경우코드변형에따른원인분석이명확하지않을수있으나본논문에서는하나의결함에대해서코드뮤테이션을수행하여테스트를수행하기때문에결함과관련된코드수정을쉽게확인할수있다. 4. 결론결함주입기법은지금까지소프트웨어테스팅을보완하는보조적인검증방법으로많은연구가이루어져왔으며결함주입이가능한인터페이스, 결함유발데이터형성방법에대하여많은논의가이루어져왔다. 하지만이제 ISO 표준검증프로세스에결함주입기법이포함되며이제는필수적인테스팅기법이되고있다. 이에기존에연구된많은연구들에대하여 ISO 표준개발프로세스와접목된결함주입기법의방법론에대한정리가필요하다. Transactions of the Korean Society of Automotive Engineers, Vol. 22, No. 3,
7 Sangho Lee Seunghwan Shin 본논문에서는이에 ISO 표준개발프로세스항목중소프트웨어 FMEA와결합하여결함주입기법이수행되어야할대상, 결함의식별, 결함주입방법을장애허용시스템에의한강건설계가이루어진소프트웨어모듈에한정하여결함주입기법을수행하는방법론에대하여서술하였다. 이를통해검증대상과방법론을좀더명확하게확정지을수있다. 또한이러한방법은소프트웨어아키텍처에대한분석과코드단위의분석을통해결함주입기법을활용하므로화이트박스테스팅기법을바탕으로한다고할수있어기존의블랙박스테스팅기법을주로사용했던결함주입기법과의차별성을꾀하였다. 하지만아직주입된결함에대한결과에대한정확한측정방법을체계화하고명시적으로나타내는방법에대한연구는부족한듯하다. 앞으로이부분에대한활발한연구가더욱진행되어야할것이다. References 1) Mckinsey & Company, Analysis of the Global Dimensional Metrology Market in Electronic Manufacturing, ) R. Thorhuus, Software Fault Injection Testing, M. S. Thesis, KTH, Royal Institute of Technology, Stockholm, ) K. Kim, Y. Choi, J. Yang and S. Hong, Software Security Testing using Fault Injection, Information Security Academic Journal, National Security Research Institute, ) S. Shin and S. Cho, Smart-car Software Engineering, Acon, ) SAE International, SAE ARP5580: Recommended Failure Modes and Effects Analysis (FMEA) Practices for Non-automobile Applications, ) R. Rana, Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling, Computer Science & Engineering, M. S. Thesis, Chalmers, University of Gothenburg, Gothenburg, Sweden, ) R. Rana, Increasing Efficiency of ISO Verification and Validation by Combining Fault Injection and Mutation Testing with Model Based Development, Computer Science & Engineering, M. S. Thesis, Chalmers, University of Gothenburg, Gothenburg, Sweden, ) Z. Hong, Integrated Analysis of Software FMEA and FTA, International Conference on Information Technology and Computer Science, Beighang Universty, Beijing, 한국자동차공학회논문집제 22 권제 3 호, 2014
DBPIA-NURIMEDIA
한국소음진동공학회 2015추계학술대회논문집년 Study of Noise Pattern and Psycho-acoustics Characteristic of Household Refrigerator * * ** ** Kyung-Soo Kong, Dae-Sik Shin, Weui-Bong Jeong, Tae-Hoon Kim and Se-Jin Ahn Key Words
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Nov.; 26(11),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2015 Nov.; 26(11), 985991. http://dx.doi.org/10.5515/kjkiees.2015.26.11.985 ISSN 1226-3133 (Print)ISSN 2288-226X (Online) Analysis
More information인문사회과학기술융합학회
Vol.5, No.5, October (2015), pp.471-479 http://dx.doi.org/10.14257/ajmahs.2015.10.50 스마트온실을 위한 가상 외부기상측정시스템 개발 한새론 1), 이재수 2), 홍영기 3), 김국환 4), 김성기 5), 김상철 6) Development of Virtual Ambient Weather Measurement
More information3. 클라우드 컴퓨팅 상호 운용성 기반의 서비스 평가 방법론 개발.hwp
보안공학연구논문지 Journal of Security Engineering Vol.11, No.4 (2014), pp.299-312 http://dx.doi.org/10.14257/jse.2014.08.03 클라우드 컴퓨팅 상호 운용성 기반의 서비스 평가 방법론 개발 이강찬 1), 이승윤 2), 양희동 3), 박철우 4) Development of Service
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. vol. 29, no. 10, Oct ,,. 0.5 %.., cm mm FR4 (ε r =4.4)
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2018 Oct.; 29(10), 799 804. http://dx.doi.org/10.5515/kjkiees.2018.29.10.799 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) Method
More informationexample code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for
2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon
More information12È«±â¼±¿Ü339~370
http://www.kbc.go.kr/ k Si 2 i= 1 Abstract A Study on Establishment of Fair Trade Order in Terrestrial Broadcasting Ki - Sun Hong (Professor, Dept. of Journalism & Mass Communication,
More informationÆ÷Àå82š
Lee, Kyungbae (E-mail : kblee6078@ex.co.kr) Lee, Jaehoon (E-mail : ranian74@ex.co.kr) Sohn, Duecksu (E-mail : mgsds@ex.co.kr) Kwon, Soonmin (E-mail : soonmini2@ex.co.kr) ABSTRACT PURPOSES : The purpose
More informationIT현황리포트 내지 완
2007 Global Information Technology Development Reports 8 9 12 13 14 15 16 18 19 20 21 24 25 26 27 28 29 32 33 34 35 36 38 39 40 41 42 43 46 47 48 49 50 51 54 55 56 57 58 60 61 62 63
More information기능안전, 안전분석및신뢰성교육과정 VCA Korea
기능안전, 안전분석및신뢰성교육과정 VCA Korea 1. 시스템신뢰성과안젂 (System Reliability & Safety) 교육 교육의주요내용 : 신뢰성에대한이롞을바탕으로설계및생산하는제품의신뢰도와안젂성을향상, 기업의국제경쟁력과고객의요구사항에적극대응을할수있는능력을배양하게하는교육입니다. 교육시간 : 1 일 (10:00 ~ 18:00) 교육대상자 : 자동차부품
More informationDBPIA-NURIMEDIA
박건수 *, 서태영 **, 김종욱 *** ". 요약 Abstract The induction melting furnace using electric generator has been introduced since 1920s, and it began to be widely applied to industrial applications due to increasing
More informationuntitled
PMIS 발전전략 수립사례 A Case Study on the Development Strategy of Project Management Information System 류 원 희 * 이 현 수 ** 김 우 영 *** 유 정 호 **** Yoo, Won-Hee Lee, Hyun-Soo Kim, Wooyoung Yu, Jung-Ho 요 약 건설업무의 효율성
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Feb.; 29(2), IS
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2018 Feb.; 29(2), 93 98. http://dx.doi.org/10.5515/kjkiees.2018.29.2.93 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) UHF-HF
More informationDBPIA-NURIMEDIA
The e-business Studies Volume 17, Number 6, December, 30, 2016:275~289 Received: 2016/12/02, Accepted: 2016/12/22 Revised: 2016/12/20, Published: 2016/12/30 [ABSTRACT] SNS is used in various fields. Although
More information제 KI011호사업장 : 서울특별시구로구디지털로26길 87 ( 구로동 ) 02. 공산품및소비제품 생활용품검사검사종류검사품목검사방법 안전확인대상생활용품 생활 휴대용레이저용품 안전확인대상생활용품의안전기준부속서 46 ( 국가기술표준원고시제 호 (
제 KI011호사업장 : 서울특별시구로구디지털로26길 87 ( 구로동 ) 02. 공산품및소비제품 02.003 생활용품검사 안전확인대상생활용품 생활 휴대용레이저용품 안전확인대상생활용품의안전기준부속서 46 ( 국가기술표준원고시제 2017-032 호 (2017.2.8.)) 03. 재료및부품 03.001 자동차부품검사 기능안전심사 ISO 26262-2 : 2011
More informationDBPIA-NURIMEDIA
The e-business Studies Volume 17, Number 4, August, 30, 2016:319~332 Received: 2016/07/28, Accepted: 2016/08/28 Revised: 2016/08/27, Published: 2016/08/30 [ABSTRACT] This paper examined what determina
More information<353420B1C7B9CCB6F52DC1F5B0ADC7F6BDC7C0BB20C0CCBFEBC7D120BEC6B5BFB1B3C0B0C7C1B7CEB1D7B7A52E687770>
Journal of the Korea Academia-Industrial cooperation Society Vol. 13, No. 2 pp. 866-871, 2012 http://dx.doi.org/10.5762/kais.2012.13.2.866 증강현실을 이용한 아동교육프로그램 모델제안 권미란 1*, 김정일 2 1 나사렛대학교 아동학과, 2 한세대학교 e-비즈니스학과
More information04_이근원_21~27.hwp
1) KIGAS Vol. 16, No. 5, pp 21~27, 2012 (Journal of the Korean Institute of Gas) http://dx.doi.org/10.7842/kigas.2012.16.5.21 실험실의 사례 분석에 관한 연구 이근원 이정석 한국산업안전보건공단 산업안전보건연구원 (2012년 9월 5일 투고, 2012년 10월 19일
More information10 이지훈KICS2015-03-068.hwp
논문 15-40-05-10 The Journal of Korean Institute of Communications and Information Sciences '15-05 Vol.40 No.05 http://dx.doi.org/10.7840/kics.2015.40.5.851 가로등 인프라를 활용한 안전한 스마트 방범 시스템 차 정 화, 이 주 용 *, 이
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. vol. 29, no. 6, Jun Rate). STAP(Space-Time Adaptive Processing)., -
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2018 Jun.; 29(6), 457463. http://dx.doi.org/10.5515/kjkiees.2018.29.6.457 ISSN 1226-3133 (Print)ISSN 2288-226X (Online) Sigma-Delta
More information09권오설_ok.hwp
(JBE Vol. 19, No. 5, September 2014) (Regular Paper) 19 5, 2014 9 (JBE Vol. 19, No. 5, September 2014) http://dx.doi.org/10.5909/jbe.2014.19.5.656 ISSN 2287-9137 (Online) ISSN 1226-7953 (Print) a) Reduction
More informationBetter Standards, Better Life! 2018 KRISSGMA Korea Research Institute of Standards and Science Global Metrology Academy GMA(Global Metrology Academy) 34113 267 TEL : 042-868-5440 / FAX : 042-868-5565 http://eshop.kriss.re.kr
More information학습영역의 Taxonomy에 기초한 CD-ROM Title의 효과분석
,, Even the short history of the Web system, the techniques related to the Web system have b een developed rapidly. Yet, the quality of the Webbased application software has not improved. For this reason,
More information<35335FBCDBC7D1C1A42DB8E2B8AEBDBAC5CDC0C720C0FCB1E2C0FB20C6AFBCBA20BAD0BCAE2E687770>
Journal of the Korea Academia-Industrial cooperation Society Vol. 15, No. 2 pp. 1051-1058, 2014 http://dx.doi.org/10.5762/kais.2014.15.2.1051 멤리스터의 전기적 특성 분석을 위한 PSPICE 회로 해석 김부강 1, 박호종 2, 박용수 3, 송한정 1*
More informationJournal of Educational Innovation Research 2017, Vol. 27, No. 2, pp DOI: : Researc
Journal of Educational Innovation Research 2017, Vol. 27, No. 2, pp.251-273 DOI: http://dx.doi.org/10.21024/pnuedi.27.2.201706.251 : 1997 2005 Research Trend Analysis on the Korean Alternative Education
More information10(3)-09.fm
w y wz 10«3y 253~258 (2010.12.) Journal of Korean Society of Urban Environment ³ w Á» Á Á y w y œw (2010 11 22, 2010 12 9 k) Study on Determine of Detention Pond in Small Developed Area In-Soo Chang ½
More information이도경, 최덕재 Dokyeong Lee, Deokjai Choi 1. 서론
이도경, 최덕재 Dokyeong Lee, Deokjai Choi 1. 서론 2. 관련연구 2.1 MQTT 프로토콜 Fig. 1. Topic-based Publish/Subscribe Communication Model. Table 1. Delivery and Guarantee by MQTT QoS Level 2.1 MQTT-SN 프로토콜 Fig. 2. MQTT-SN
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Dec.; 27(12),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2016 Dec.; 27(12), 1036 1043. http://dx.doi.org/10.5515/kjkiees.2016.27.12.1036 ISSN 1226-3133 (Print) ISSN 2288-226X (Online)
More informationJournal of Educational Innovation Research 2018, Vol. 28, No. 1, pp DOI: * A Analysis of
Journal of Educational Innovation Research 2018, Vol. 28, No. 1, pp.99-117 DOI: http://dx.doi.org/10.21024/pnuedi.28.1.201803.99 2015 * A Analysis of the Characters and Issues about the 2015 Revised Social
More information<30362E20C6EDC1FD2DB0EDBFB5B4EBB4D420BCF6C1A42E687770>
327 Journal of The Korea Institute of Information Security & Cryptology ISSN 1598-3986(Print) VOL.24, NO.2, Apr. 2014 ISSN 2288-2715(Online) http://dx.doi.org/10.13089/jkiisc.2014.24.2.327 개인정보 DB 암호화
More informationISO17025.PDF
ISO/IEC 17025 1999-12-15 1 2 3 4 41 42 43 44, 45 / 46 47 48 49 / 410 411 412 413 414 5 51 52 53 54 / 55 56 57 58 / 59 / 510 A( ) ISO/IEC 17025 ISO 9001:1994 ISO 9002:1994 B( ) 1 11 /, / 12 / 1, 2, 3/ (
More information1. KT 올레스퀘어 미디어파사드 콘텐츠 개발.hwp
Journal of Next-generation Convergence Information Services Technology Vol.4, No.1, June (2015), pp. 1-8 차세대컨버전스정보서비스기술논문지 KT 올레스퀘어 미디어파사드 콘텐츠 개발 Media Fasade Contents Development of KT Olleh Square 김동조
More information(JBE Vol. 21, No. 1, January 2016) (Regular Paper) 21 1, (JBE Vol. 21, No. 1, January 2016) ISSN 228
(JBE Vol. 1, No. 1, January 016) (Regular Paper) 1 1, 016 1 (JBE Vol. 1, No. 1, January 016) http://dx.doi.org/10.5909/jbe.016.1.1.60 ISSN 87-9137 (Online) ISSN 16-7953 (Print) a), a) An Efficient Method
More informationDBPIA-NURIMEDIA
The e-business Studies Volume 17, Number 6, December, 30, 2016:237~251 Received: 2016/11/20, Accepted: 2016/12/24 Revised: 2016/12/21, Published: 2016/12/30 [ABSTRACT] Recently, there is an increasing
More information139~144 ¿À°ø¾àħ
2 139 DOI : 10.3831/KPI.2010.13.2.139 2 Received : 10. 04. 08 Revised : 10. 04. 26 Two Case Report on Wrist Ganglion Treated with Scolopendrid Pharmacopuncture Accepted : 10. 05. 04 Key Words: Wrist Ganglion,
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Mar.; 25(3),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2014 Mar.; 25(3), 304310. http://dx.doi.org/10.5515/kjkiees.2014.25.3.304 ISSN 1226-3133 (Print)ISSN 2288-226X (Online) Analysis
More informationDBPIA-NURIMEDIA
Journal of the Korea Institute of Information and Communication Engineering 한국정보통신학회논문지(J. Korea Inst. Inf. Commun. Eng.) Vol. 19, No. 5 : 1031~1039 May. 2015 정보보호 산업의 경제적 파급효과 및 기여도 분석 김방룡 1 홍재표 2* Economic
More information<31362DB1E8C7FDBFF82DC0FABFB9BBEA20B5B6B8B3BFB5C8ADC0C720B1B8C0FC20B8B6C4C9C6C32E687770>
Journal of the Korea Academia-Industrial cooperation Society Vol. 13, No. 4 pp. 1525-1531, 2012 http://dx.doi.org/10.5762/kais.2012.13.4.1525 저예산 독립영화의 구전 마케팅을 위한 스마트폰 모바일 애플리케이션 모델 개발 연구 김혜원 1* 1 청운대학교
More informationJournal of Educational Innovation Research 2017, Vol. 27, No. 3, pp DOI: (NCS) Method of Con
Journal of Educational Innovation Research 2017, Vol. 27, No. 3, pp.181-212 DOI: http://dx.doi.org/10.21024/pnuedi.27.3.201709.181 (NCS) Method of Constructing and Using the Differentiated National Competency
More information04김호걸(39~50)ok
Journal of Environmental Impact Assessment, Vol. 22, No. 1(2013) pp.39~50 Prediction of Landslides Occurrence Probability under Climate Change using MaxEnt Model Kim, Hogul* Lee, Dong-Kun** Mo, Yongwon*
More information???? 1
The Korean Journal of Applied Statistics (2014) 27(1), 13 20 DOI: http://dx.doi.org/10.5351/kjas.2014.27.1.013 Maximum Tolerated Dose Estimation by Stopping Rule and SM3 Design in a Phase I Clinical Trial
More informationAnalysis of objective and error source of ski technical championship Jin Su Seok 1, Seoung ki Kang 1 *, Jae Hyung Lee 1, & Won Il Son 2 1 yong in Univ
Analysis of objective and error source of ski technical championship Jin Su Seok 1, Seoung ki Kang 1 *, Jae Hyung Lee 1, & Won Il Son 2 1 yong in University & 2 Kang Won University [Purpose] [Methods]
More informationÆ÷Àå82š
Yun, Ilsoo (E-mail : ilsooyun@ajou.ac.kr) Oh, Cheol (E-mail : cheolo@hanyang.ac.k) Ahn, Hyunkyung (E-mail : anhyunkyung@ajou.ac.kr) Kim, Kyunghyun (E-mail : kk6661@ajou.ac.kr) Han, Eum (E-mail : hano3106@ajou.ac.kr)
More informationMicrosoft Word - [TP_3][T1]UTP.docx
Unit Testing Plan for Point Of Sale System Test Plan Test Design Specification Test Cases Specification Project Team Team 1 Date 2017-11-03 Team Information 201211337 김재현 201112052 방민석 201312259 백만일 201211383
More informationJournal of Educational Innovation Research 2019, Vol. 29, No. 1, pp DOI: (LiD) - - * Way to
Journal of Educational Innovation Research 2019, Vol. 29, No. 1, pp.353-376 DOI: http://dx.doi.org/10.21024/pnuedi.29.1.201903.353 (LiD) -- * Way to Integrate Curriculum-Lesson-Evaluation using Learning-in-Depth
More informationMicrosoft PowerPoint - chap02-C프로그램시작하기.pptx
#include int main(void) { int num; printf( Please enter an integer "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); return 0; } 1 학습목표 을 작성하면서 C 프로그램의
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Mar.; 28(3),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2017 Mar.; 28(3), 163 169. http://dx.doi.org/10.5515/kjkiees.2017.28.3.163 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) PCB
More informationJournal of Educational Innovation Research 2018, Vol. 28, No. 3, pp DOI: NCS : * A Study on
Journal of Educational Innovation Research 2018, Vol. 28, No. 3, pp.157-176 DOI: http://dx.doi.org/10.21024/pnuedi.28.3.201809.157 NCS : * A Study on the NCS Learning Module Problem Analysis and Effective
More informationSW¹é¼Ł-³¯°³Æ÷ÇÔÇ¥Áö2013
SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING
More informationDBPIA-NURIMEDIA
e- 비즈니스연구 (The e-business Studies) Volume 17, Number 1, February, 28, 2016:pp. 3~30 ISSN 1229-9936 (Print), ISSN 2466-1716 (Online) 원고접수일심사 ( 수정 ) 게재확정일 2016. 01. 08 2016. 01. 09 2016. 02. 25 ABSTRACT
More information???? 1
The Korean Journal of Applied Statistics (2013) 26(1), 201 208 DOI: http://dx.doi.org/10.5351/kjas.2013.26.1.201 A Note on Model Selection in Mixture Experiments with Process Variables Jung Il Kim a,1
More information가이드라인등록번호 B1-2016-2-018 의약품품질위해평가가이드라인 2016. 12. 제 개정이력 연번제 개정번호승인일자주요내용 1 2016.12. 제정 2 3 목차 1. 서론 1 2. 품질위해관리 1 3. 품질위해평가절차 6 4. 품질위해평가방법및관련기법 9 5. 위해평가에영향을주는인자 14 6. 정성적평가방법및정량적평가방법을이용한위해평가 23 7. 정성적평가방법및정량적평가방법을이용한위해평가사례
More informationÆ÷Àå½Ã¼³94š
Cho, Mun Jin (E-mail: mjcho@ex.co.kr) ABSTRACT PURPOSES : The performance of tack coat, commonly used for layer interface bonding, is affected by application rate and curing time. In this study, bonding
More informationePapyrus PDF Document
Trans. of the Korean Hydrogen and New Energy Society(2013. 4), Vol. 24, No. 2, pp. 136~141 DOI: http://dx.doi.org/10.7316/khnes.2013.24.2.136 흡기관 분사식 수소 SI기관의 희박과급 적용에 관한 연구 이광주 1 ㆍ이종구 1 ㆍ이종태 2 1 성균관대학교
More informationconsulting
CONSULTING 전략 컨설팅 클라우드 마이그레이션 애플리케이션 마이그레이션 데이터 마이그레이션 HELPING YOU ADOPT CLOUD. 클라우드로 가기로 결정했다면 누구와 함께 갈지를 선택해야 합니다. 처음부터 끝까지 믿을만한 파트너를 찾는다면 베스핀글로벌이 정답입니다. 전략 컨설팅 다양한 클라우드 공급자가 존재하고, 클라우드 공급자마다 다른 장단점을
More informationPowerPoint 프레젠테이션
RecurDyn 의 Co-simulation 와 하드웨어인터페이스적용 2016.11.16 User day 김진수, 서준원 펑션베이솔루션그룹 Index 1. Co-simulation 이란? Interface 방식 Co-simulation 개념 2. RecurDyn 과 Co-simulation 이가능한분야별소프트웨어 Dynamics과 Control 1) RecurDyn
More information슬라이드 1
Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치
More informationValidation Plan Template
문서번호(Document No.) : 개정번호(Revision No.) : 00 시행일자(Effective Date) : 페이지번호(Page No.) : 1 of 9 작성자 (Prepared By) 부서 (Dept.) 직위 (Position) 이름 (Name) 서명 / 날짜 (Signature / Date) 검토자 (Reviewed By) 부서 (Dept.)
More information정보기술응용학회 발표
, hsh@bhknuackr, trademark21@koreacom 1370, +82-53-950-5440 - 476 - :,, VOC,, CBML - Abstract -,, VOC VOC VOC - 477 - - 478 - Cost- Center [2] VOC VOC, ( ) VOC - 479 - IT [7] Knowledge / Information Management
More information04-다시_고속철도61~80p
Approach for Value Improvement to Increase High-speed Railway Speed An effective way to develop a highly competitive system is to create a new market place that can create new values. Creating tools and
More informationJournal of Educational Innovation Research 2018, Vol. 28, No. 4, pp DOI: 3 * The Effect of H
Journal of Educational Innovation Research 2018, Vol. 28, No. 4, pp.577-601 DOI: http://dx.doi.org/10.21024/pnuedi.28.4.201812.577 3 * The Effect of Home-based Activities Using Traditional Fairy Tales
More information03 장태헌.hwp
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2013 Aug.; 24(8), 772 780. http://dx.doi.org/10.5515/kjkiees.2013.24.8.772 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) HEMP
More information14.531~539(08-037).fm
G Journal of the Korea Concrete Institute Vol. 20, No. 4, pp. 531~539, August, 2008 š x y w m š gj p { sƒ z 1) * 1) w w Evaluation of Flexural Strength for Normal and High Strength Concrete with Hooked
More information슬라이드 1
-Part3- 제 4 장동적메모리할당과가변인 자 학습목차 4.1 동적메모리할당 4.1 동적메모리할당 4.1 동적메모리할당 배울내용 1 프로세스의메모리공간 2 동적메모리할당의필요성 4.1 동적메모리할당 (1/6) 프로세스의메모리구조 코드영역 : 프로그램실행코드, 함수들이저장되는영역 스택영역 : 매개변수, 지역변수, 중괄호 ( 블록 ) 내부에정의된변수들이저장되는영역
More information<B1B3B9DFBFF83330B1C7C1A631C8A35FC6EDC1FDBABB5FC7D5BABB362E687770>
교육발전연구 Journal of Educational Development 2014. Vol. 30, No. 1, pp. 89~110 융합인재교육(STEAM)을 통한 시각적 문해력 효과 연구: 인포그래픽 동영상 만들기를 중심으로 강인애 1), 이재경 2), 남미진 3) 요 약 본 연구는 융합인재(STEAM)교육으로 구안된 인포그래픽(infographic) 영상
More informationRRH Class-J 5G [2].,. LTE 3G [3]. RRH, W-CDMA(Wideband Code Division Multiple Access), 3G, LTE. RRH RF, RF. 1 RRH, CPRI(Common Public Radio Interface)
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2015 Mar.; 26(3), 276 282. http://dx.doi.org/10.5515/kjkiees.2015.26.3.276 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) RRH
More information` Companies need to play various roles as the network of supply chain gradually expands. Companies are required to form a supply chain with outsourcing or partnerships since a company can not
More information디지털포렌식학회 논문양식
ISSN : 1976-5304 http://www.kdfs.or.kr Virtual Online Game(VOG) 환경에서의 디지털 증거수집 방법 연구 이 흥 복, 정 관 모, 김 선 영 * 대전지방경찰청 Evidence Collection Process According to the Way VOG Configuration Heung-Bok Lee, Kwan-Mo
More information<C7A5C1F620BEE7BDC4>
연세대학교 상경대학 경제연구소 Economic Research Institute Yonsei Universit 서울시 서대문구 연세로 50 50 Yonsei-ro, Seodaemun-gS gu, Seoul, Korea TEL: (+82-2) 2123-4065 FAX: (+82- -2) 364-9149 E-mail: yeri4065@yonsei.ac. kr http://yeri.yonsei.ac.kr/new
More information지능정보연구제 16 권제 1 호 2010 년 3 월 (pp.71~92),.,.,., Support Vector Machines,,., KOSPI200.,. * 지능정보연구제 16 권제 1 호 2010 년 3 월
지능정보연구제 16 권제 1 호 2010 년 3 월 (pp.71~92),.,.,., Support Vector Machines,,., 2004 5 2009 12 KOSPI200.,. * 2009. 지능정보연구제 16 권제 1 호 2010 년 3 월 김선웅 안현철 社 1), 28 1, 2009, 4. 1. 지능정보연구제 16 권제 1 호 2010 년 3 월 Support
More information09È«¼®¿µ5~152s
Korean Journal of Remote Sensing, Vol.23, No.2, 2007, pp.45~52 Measurement of Backscattering Coefficients of Rice Canopy Using a Ground Polarimetric Scatterometer System Suk-Young Hong*, Jin-Young Hong**,
More informationService-Oriented Architecture Copyright Tmax Soft 2005
Service-Oriented Architecture Copyright Tmax Soft 2005 Service-Oriented Architecture Copyright Tmax Soft 2005 Monolithic Architecture Reusable Services New Service Service Consumer Wrapped Service Composite
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Sep.; 30(9),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2019 Sep.; 30(9), 712 717. http://dx.doi.org/10.5515/kjkiees.2019.30.9.712 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) MOS
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Jan.; 26(1),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2015 Jan.; 26(1), 113118. http://dx.doi.org/10.5515/kjkiees.2015.26.1.113 ISSN 1226-3133 (Print)ISSN 2288-226X (Online) A Retro-Directive
More informationDBPIA-NURIMEDIA
The e-business Studies Volume 17, Number 6, December, 30, 2016:21~34 Received: 2016/12/04, Accepted: 2016/12/27 Revised: 2016/12/19, Published: 2016/12/30 [ABSTRACT] With the development of the Internet,
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Mar.; 30(3),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2019 Mar.; 30(3), 223 228. http://dx.doi.org/10.5515/kjkiees.2019.30.3.223 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) Analysis
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Jun.; 27(6),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2016 Jun.; 27(6), 495 503. http://dx.doi.org/10.5515/kjkiees.2016.27.6.495 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) Design
More informationVer. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on
System Test Report for Digital Watch System Test Cases Specification Test Summary Report roject Team 이동아 Latest update on: 2012-10-26 Team Information 이동아 : dalee.dslab@gmail.com Dong-Ah Lee 1 Table of
More information<38305FC0B1C3A2BCB12D4D41544C41422C2053696D756C696E6BB8A620C0CCBFEBC7D12E687770>
Journal of the Korea Academia-Industrial cooperation Society Vol. 17, No. 1 pp. 693-699, 2016 http://dx.doi.org/10.5762/kais.2016.17.1.693 ISSN 1975-4701 / eissn 2288-4688 MATLAB/Simulink를 이용한 화력발전소 복수펌프
More informationJournal of Educational Innovation Research 2017, Vol. 27, No. 4, pp DOI: * A Study on Teache
Journal of Educational Innovation Research 2017, Vol. 27, No. 4, pp.149-171 DOI: http://dx.doi.org/10.21024/pnuedi.27.4.201712.149 * A Study on Teachers and Parents Perceptions on the Introduction of Innovational
More informationDBPIA-NURIMEDIA
무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 901 무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 (A Effective Sinkhole Attack Detection Mechanism for LQI based Routing in WSN) 최병구 조응준 (Byung
More information08김현휘_ok.hwp
(Regular Paper) 21 3, 2016 5 (JBE Vol. 21, No. 3, May 2016) http://dx.doi.org/10.5909/jbe.2016.21.3.369 ISSN 2287-9137 (Online) ISSN 1226-7953 (Print) a), a) An Audio Coding Technique Employing the Inter-channel
More information09오충원(613~623)
A Study of GIS Service of Weather Information* Chung-Weon Oh**,..,., Web 2.0 GIS.,.,, Web 2.0 GIS, Abstract : Due to social and economic value of Weather Information such as urban flooding, demand of Weather
More information보험판매와 고객보호의 원칙
..... 61),,,, IT,.,. 2020-2040. IT...... 1 10.. (No Fault). (No Fault). (No Fault). * /. (2016.12.08), (2016.12.24), (2016.12.26) - 243 - 10 2 (2016).... 1),,.,,,.,. 2) (National Highway Traffic Safety
More information로거 자료실
redirection 매뉴얼 ( 개발자용 ) V1.5 Copyright 2002-2014 BizSpring Inc. All Rights Reserved. 본문서에대한저작권은 비즈스프링 에있습니다. - 1 - 목차 01 HTTP 표준 redirect 사용... 3 1.1 HTTP 표준 redirect 예시... 3 1.2 redirect 현상이여러번일어날경우예시...
More information04 최진규.hwp
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2015 Aug.; 26(8), 710717. http://dx.doi.org/10.5515/kjkiees.2015.26.8.710 ISSN 1226-3133 (Print)ISSN 2288-226X (Online) RF ESPAR
More informationA Study on the Relationships between Self-Differentiation and Adaptability Factors for Senior Dementia Patients Care Givers Department of Social Welfare, Seoul Welfare Graduate University Full-time Lecturer
More informationTHE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE Jun.; 27(6),
THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2016 Jun.; 276), 504511. http://dx.doi.org/10.5515/kjkiees.2016.27.6.504 ISSN 1226-3133 Print)ISSN 2288-226X Online) Near-Field
More information-
World Top 10 by 2030 CONTENTS CONTENTS 02 03 PRESIDENT S MESSAGE 04 05 VISION GOALS VISION GOALS STRATEGIES 06 07 HISTORY 2007 2008 2009 2010 2011 08 09 UNIST POWER 10 11 MPI USTC UNIST UCI UTD U-M GT
More information<352E20BAAFBCF6BCB1C5C320B1E2B9FDC0BB20C0CCBFEBC7D120C7D1B1B920C7C1B7CEBEDFB1B8C0C720B5E6C1A1B0FA20BDC7C1A120BCB3B8ED28313531323231292D2DB1E8C7F5C1D62E687770>
통계연구(2015), 제20권 제3호, 71-92 변수선택 기법을 이용한 한국 프로야구의 득점과 실점 설명 1) 김혁주 2) 김예형 3) 요약 한국 프로야구에서 팀들의 득점과 실점에 영향을 미치는 요인들을 규명하기 위한 연구를 하였 다. 2007년부터 2014년까지의 정규리그 전 경기 자료를 대상으로 분석하였다. 전방선택법, 후방 소거법, 단계별 회귀법, 선택법,
More information03-서연옥.hwp
농업생명과학연구 49(4) pp.31-37 Journal of Agriculture & Life Science 49(4) pp.31-37 Print ISSN 1598-5504 Online ISSN 2383-8272 http://dx.doi.org/10.14397/jals.2015.49.4.31 국가산림자원조사 자료를 적용한 충남지역 사유림경영율 추정 서연옥
More information°í¼®ÁÖ Ãâ·Â
Performance Optimization of SCTP in Wireless Internet Environments The existing works on Stream Control Transmission Protocol (SCTP) was focused on the fixed network environment. However, the number of
More information레이아웃 1
Annual 2013 vol.15 th HOW ENGINEERING ANNIVERSARY Annual 하우인 2013 vol.15 하우엔지니어링과 자매사 우인엔지니어링은 경남, 부산지역 종합엔지니어링 업계의 선두주자로서 건설기술의 미래지평을 열어가고 있습니다. 행복한 삶의 공간 창출, 안전하고 튼튼한 도시기반시설의 건설을 위해 우수한 인력과 기술력을 바탕으로
More informationMicrosoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx
OOPT Stage 2040 - Design Feesual CPT Tool Project Team T8 Date 2017-05-24 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1. Activity 2041. Design Real Use
More informationIKC43_06.hwp
2), * 2004 BK21. ** 156,..,. 1) (1909) 57, (1915) 106, ( ) (1931) 213. 1983 2), 1996. 3). 4) 1),. (,,, 1983, 7 12 ). 2),. 3),, 33,, 1999, 185 224. 4), (,, 187 188 ). 157 5) ( ) 59 2 3., 1990. 6) 7),.,.
More informationThe characteristic analysis of winners and losers in curling: Focused on shot type, shot accuracy, blank end and average score SungGeon Park 1 & Soowo
The characteristic analysis of winners and losers in curling: Focused on shot type, shot accuracy, blank end and average score SungGeon Park 1 & Soowon Lee 2 * 1 Program of Software Convergence, Soongsil
More information<31325FB1E8B0E6BCBA2E687770>
88 / 한국전산유체공학회지 제15권, 제1호, pp.88-94, 2010. 3 관내 유동 해석을 위한 웹기반 자바 프로그램 개발 김 경 성, 1 박 종 천 *2 DEVELOPMENT OF WEB-BASED JAVA PROGRAM FOR NUMERICAL ANALYSIS OF PIPE FLOW K.S. Kim 1 and J.C. Park *2 In general,
More information서현수
Introduction to TIZEN SDK UI Builder S-Core 서현수 2015.10.28 CONTENTS TIZEN APP 이란? TIZEN SDK UI Builder 소개 TIZEN APP 개발방법 UI Builder 기능 UI Builder 사용방법 실전, TIZEN APP 개발시작하기 마침 TIZEN APP? TIZEN APP 이란? Mobile,
More informationPowerPoint 프레젠테이션
실습 1 배효철 th1g@nate.com 1 목차 조건문 반복문 System.out 구구단 모양만들기 Up & Down 2 조건문 조건문의종류 If, switch If 문 조건식결과따라중괄호 { 블록을실행할지여부결정할때사용 조건식 true 또는 false값을산출할수있는연산식 boolean 변수 조건식이 true이면블록실행하고 false 이면블록실행하지않음 3
More informationDBPIA-NURIMEDIA
The e-business Studies Volume 17, Number 6, December, 30, 2016:3~20 Received: 2016/12/04, Accepted: 2016/12/27 Revised: 2016/12/27, Published: 2016/12/30 [ABSTRACT] This study aims to comprehensively analyze
More information