http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
마이크로컨트롤러 환경에서 타깃 바이너리 파일 분석을 통한 최대 스택 메모리 사용량 예측 기법
최기호,김성섭,박대진,조정훈,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, 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.
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).
최기호 ( Kee Ho Choi ) 한국문법교육학회 2007 문법 교육 Vol.6 No.-
In 1990, 26th March. Mongolia and South Korea established diplomatic relations. At the same year The Oriental Studies Institure established The Korean Language chair and in 1991, National University of Mongolia primarily founded a Koreanology Department. Nowadays, 17 Years passed from then, The Korean language brought sizzle to people in Mongolia Many colleges established. The Korean language department and primary, Jr. High and High school learns Korean as a second language. but because of the short period of instructing the language, there are some problems about the aim of education-which is kernel of educating Korean language, the contents of education, the curriculum, the teaching materials, the method of teaching, the instructor etc. In Mongolia, there aren`t few problems that education of Korean language has. 1. It is necessary to develop theoretic foundation study. 2. With the basis of theoretical research for educating Korean language, it is necessary to develop the curriculum and the method of teaching harmonizing with the national trait. 3. With the basis of theoretical research for educating Korean language and method of teaching it is necessary to create teaching materials. 4. It is serious that there is insufficient major instructor. The Korean language education history in Mongolia is very short, thus controversial. It is confronted with a lot of problems. It is now important to give a careful look at the results that have been made until now and plan ahead for more positive development in terms of quality. In order to do so, progress has to be made both externally and internally with better financial support. But most of all it is most critical to find a way to sort out the problems that universities in Mongolia are commonly facing vis-a-vis the Korean language education so as to teach it more effectively. Mongolia is our neighboring country that has most resemblance to us. Their culture, appearance and tradition resemble to ours. If we, Korean, combine forces with Mongolia that possesses rich natural resources and a vast land, gains for both will be greater than ever. It will indeed be a tremendous thing if two countries can join together just like back in Genghis Khan`s period.
최기호(Ki Ho Choi),김영삼(Young Sam Kim) 한국정보과학회 1983 정보과학회논문지 Vol.10 No.4
본 논문에서는, CORDIC(Coordinate Rotation Digital Computer)에서의 δ_i가 +1, -1만의 값을 갖는 삼각함수 알고리즘을 δ_i가 +1, 0, -1의 값을 갖도록 함으로서 불필요한 수행 Cycle을 감축하고, 또 종래의 방법에서 사용해 왔던 Scaling factor cycle을 제거함으로서 연산속도를 증가시킬 수 있는 방법을 제시하였다. 또 이에 맞는 하드웨어 블록도를 제시하고 제시한 알고리즘에 대해 Random number data를 이용 computer simulation 하였다. This paper discnsses the algorithm for computing of trigonmetric functions based on the principles of CORDIC. By taking δ_i=+1, 0, -1 in stead of δ_i=+1, +1, inrequirable execution cycles can be reduced signi. ficantly. Therefore the execution time can be decreased. This paper suggests an adquate hardware block diagram for the trigonometric algorithms. Using random data, an computer simulation for the proposed algorithm is shown.
최기호(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.