http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
제어흐름 에러 탐지를 위한 분리형 시그니처 모니터링 기법
최기호,박대진,조정훈,Choi, Kiho,Park, Daejin,Cho, Jeonghun 대한임베디드공학회 2018 대한임베디드공학회논문지 Vol.13 No.5
Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.
마이크로컨트롤러 환경에서 타깃 바이너리 파일 분석을 통한 최대 스택 메모리 사용량 예측 기법
최기호,김성섭,박대진,조정훈,Choi, Kiho,Kim, Seongseop,Park, Daejin,Cho, Jeonghun 대한임베디드공학회 2017 대한임베디드공학회논문지 Vol.12 No.3
Software safety is a key issue in embedded system of automotive and aviation industries. Various software testing approaches have been proposed to achieve software safety like ISO26262 Part 6 in automotive environment. In spite of one of the classic and basic approaches, stack memory is hard to estimating exactly because of uncertainty of target code generated by compiler and complex nested interrupt. In this paper, we propose an approach of analyzing the maximum stack usage statically from target binary code rather than the source code that also allows nested interrupts for determining the exact stack memory size. In our approach, determining maximum stack usage is divided into three steps: data extraction from ELF file, construction of call graph, and consideration of nested interrupt configurations for determining required stack size from the ISR (Interrupt Service Routine). Experimental results of the estimation of the maximum stack usage shows proposed approach is helpful for optimizing stack memory size and checking the stability of the program in the embedded system that especially supports nested interrupts.
미술과 교육과정 ‘체험’영역에서 학습의 근거: 미술 교실현장에 반영된 지각과 소통의 개념을 중심으로
최기호 ( Choi Keeho ) 한국예술교육학회 2017 예술교육연구 Vol.15 No.3
2015 미술과 교육과정 개정안의 체험영역에서 세 개의 중영역 구분 가운데 지각과 소통은 시각문화미술교육 이론에 의해 제시된 시각적 문해력의 개념에 근거하여 구성되었다. 그러나 미술과 교실현장에서 지각과 소통 영역에서 기술하고 있는 목표에 대한 미술과 교사들의 이해를 돕고 해당영역에서 학생들의 학습여부를 판단할 수 있는 근거는 부족하다. 본 연구는 지각과 소통 영역의 이론적 근간인 시각적 문해력의 개념을 개관하고 미술교수학습의 실제적 맥락에서 지각과 소통이라는 영역의 목표가 어떻게 해석되고 실행되고 있는지 탐색 하고자 한다. 역량연구에서 사용되는 행동사건면접(BEI)을 통해 연구에 참여한 8명의 미술교사들이 계획하고 실행한 지각과 소통을 위한 미술교수학습에 적용된 지각과 소통의 개념을 확인할 수 있었다. 지각은 `정서적 의미부여의 가능성을 갖는 일상과 주변에서 수집한 경험정보`로서 해석되어 활용되고 이러한 경험정보를 `시각적으로 의미 있고 공감할 수 있게 재구성하는 것`이 소통의 수업에 반영되고 있었다. 수업실행 사례를 중심으로 분석한 지각과 소통의 개념은 현 교육과정에 의해 실행될 지각과 소통을 위한 수업이 심미성과 주목성, 전달성을 중심으로 하는 디자인이나 광고의 제작활동과 같은 소재중심의 수업활동에서 나아가 시각문화미술교육 이론의 주요성과인 자아정체성과 시민의식 형성을 목표로 하는 수업으로 발전시킬 수 있는 실천적 가능성을 제안한다. Perception and Communication out of the three learning units of 2015 Revision of Korean National Art Curriculum are based on the concept of “visual literacy.” The purpose of this study is to clarify the meanings of Perception and Communication of 2015 Revision of Korean National Art Curriculum in order to improve the quality of art education practices. For the purposes of this study, the researcher reviewed the concept of “visual literacy” and investigated how the achievement standards of Perception and Communication are being interpreted and embodied in art classrooms. Eight participants were involved in the processes of this study and the researcher analyzed their statements on their art lessons by employing BEI. The concept of perception found in the art lessons could be defined as “empirical resources to enable affective involvement collected from daily lives” whereas Communication in the art lesson would be “visual reconstruction resulted from the affective meanings.” The findings of this study are twofold: clarifying of the concepts of Perception and Communication inacted in art classrooms classified from other learning units and providing art teachers with unambiguous evidences to students’ growth in the learning unit, so that art teachers can interpret and implement the achievement standards of Perception and Communication of 2015 Revision of Korean National Art Curriculum.
Matrix를 이용한 마이크로코드의 국소적 최적화 알고리즘
최기호(Ki Ho Choi),이정옥(Jeong Ok Lee),이상정(Sang Jeong Lee),임인철(In Chil Lim) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.3
본 논문은 MOP's(microoperations)의병렬 수행성을 고려하여, MOP's를 MI's(microinstructions)로 변환시키는 국소적 최적화 알고리즘을 제안한다. 본 알고리즘은 각 MOP's간의 데이터 종속관계 및 resource conflict 관계를 나타내는 matrix를 이용함으로써, DDG(data dependency graph)를 이용하는 종래의 방법보다 알고리즘 수행시간이 빠르며, 최적화된 마이크로코드(compacted microcode)를 생성한다. This paper presents an efficient local compaction algorithm which translates MOP's(microoperations) into MI's (microinstructions), considering parallelism of MOP's. The algorithm is executed by using matrices which represent data dependent relations and resource conflicts between MOP's. Therefore the algorithm can be executed faster than the conventional algorithms using DDG(data dependency graph).
최기호(Choi Gi Ho) 한국체육교육학회 1998 한국체육교육학회지 Vol.2 No.2
For the study on the correlation of the physique and physical fitness of the elementary school boys and girls, the 4 items the physical features for 271 children 12 years of the H elementary school the 6th grade located at chongju city are measured on the base of the Health-cater method the result are summarized as the following 1) The correlationship of height-throwing(r=.37) and pull-ups(r=-.18) was significant. 2) The correlation of weight-sit-ups(r=.24) 1000m running(r=.34), 100m running(r=.28), pull-ups (r=-.23), throwing(r=-.19) was significant. 3) The correlation of chest circumference-set ups(r=.24), 1000m running(r=.34), 100m running (r=.27), pull ups(r=-.24), throwing(r=-.20) distance jump(r=-.18) was significant 4) The correlation of the sitting height -1000m running(r=.28), pull-ups(r=-.20) was significant In the case of girls, the correlation was almost same things.
키워드 매핑과 칼라 특징을 이요한 내용기반 화상 검색 시스템의 구현
최기호(Choi Ki Ho),최현섭(Choi Hyun Sub) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.10
In this paper, we propose and implement a new method of content-based image retrieval using the color features which are mapped from color position-description keywords and color keywords. Color keywords are defined by color segment primitives using color spatial information. Position-description keywords are defined by position segment primitives using color regional information. Each color keyword primitive is mapped into the color features of images, and after it is compared with the color features of 6x6 blocks of reference images in feature database, candidates are retrieved in accordance with the similarity order. The retrieval accuracy was evaluated through retrieval experiments about 3,800 images. The experimental results of the image retrieval are presented to illustrate the usefulness of this approach that demonstrates the average recall/precision, 0.72/0.80 in content-based image data retrieval.