임베디드 마이크로프로세서에서 산술 및 논리 명령어에 대한 전력 예측 모델

신동하,강경희,Shin Dong-Ha,Kang Kyung-Hee 한국정보통신학회 2006 한국정보통신학회논문지 Vol.10 No.8

In order to estimate the power consumed by an embedded microprocessor during an execution of software, we measure and utilize the current consumed by the processor during the execution of each instruction. In this paper, we measure and analyse the current consumed by the microprocessor adc16s310 during the execution of arithmetic and logic instructions, and propose a power estimation model which estimates the current for all instruction executions precisely by using a small numbers of current measurements. The proposed model can estimate the current with an average 0.34% error by using only 5.84% of total current measurements for arithmetic and logic instructions of the processor. 임베디드 마이크로프로세서가 소프트웨어를 수행하면서 소비하는 전력을 예측하기 위해서는 마이크로프로세서의 각 명령어가 수행하면서 소비하는 전류를 측정하여 활용한다. 본 논문에서는 임베디드 마이크로프로세서 adc16s310의 산술 및 논리 명령어에 대한 소비 전류를 측정 및 분석하고, 이를 바탕으로 적은 수의 측정 소비 전류 값을 사용하여 비교적 정확하게 모든 명령어 수행의 소비 전류 값을 예측할 수 있는 전력 예측 모델을 제안한다. 본 예측 모델은 마이크로프로세서 adc16s310의 산술 및 논리 명령어에 대하여 총 측정 공간 중 약5.84%의 공간에 대한 측정 전류 값만을 사용하여 평균 오차 0.34%에서 소비 전류 값을 예측할 수 있다.

공개 집합 제한 논리 언어의 구현 방법

신동하,손성훈,Shin, Dong-Ha,Son, Sung-Hoon 한국정보처리학회 2005 정보처리학회논문지 A Vol.12 No.5

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely. `집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

유전자 조작 , 균주분리 Saccharomyces cerevisiae 에서 Trichoderma Endoglucanase 의 발현과 분비

신동하,김재범,김병우,남수완,신지원,정대균,정춘수 ( Dong Ha Shin,Jae Bum Kim,Byung Woo Kim,Soo Wan Nam,Ji Won Shin,Dae Kyun Chung,Choon Soo Jeong ) 한국미생물생명공학회 1998 한국미생물·생명공학회지 Vol.26 No.5

비혼 논리 프로그램의 효율적 수행

신동하,백윤철,Shin, Dong-Ha,Baek, Ynn-Cheol 한국정보통신학회 2005 한국정보통신학회논문지 Vol.9 No.4

비혼(non-Horn) 논리 프로그램은 혼(Horn) 논리 프로그램을 1계 술어 논리(1st order predicate logic) 수준으로 확장하였기 때문에 표현력은 크지만 효율적으로 구현된 사례가 없어서 실용적인 언어로 사용되지는 못하였다. 지금까지 연구된 효율적인 방법은 비혼 논리 프로그램을 증명절차 InH-Prolog의 의미를 이용하여 동등한 혼 논리 프로그램으로 변환한 후 변환된 혼 논리 프로그램을 WAM(Warren Abstract Machine) 명령어로 컴파일하여 수행시키는 방법이다. 본 논문에서는 이 방법을 향상시키기 위하여 비혼 논리 프로그램을 효율적으로 수행하는 EWAM(Extended WAM)과 비혼 논리 프로그램을 EWAM 명령어로 컴파일하는 방법을 제안한다. 또한 본 논문에서는 제안한 EWAM의 에뮬레이터 및 컴파일러를 구현하여 그 성능을 측정하였다. 본 논문에서 구현한 EWAM 에뮬레이터 및 컴파일러의 성능을 측정한 결과 기존 방법보다 매우 효율적임을 확인하였다. Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

신라 興輪寺의 창건과 변천

신동하(Shin, Dong Ha) 동덕여자대학교 인문과학연구소 1999 人文科學硏究 Vol.6 No.-

Heungryun-Sa was the first temple in Silla. Its influence was mobilized in accordance with the change of the Buddhism in Silla, ranging from 'Junggo'(Middle Ancient Period) to 'Hadae'(Under Period). Writings on Heungryun-Sa of "Jungdae"(Middle Period) are hardly found . It was, allegedly, caused by the fact that this temple became estranged with the "Jungdae" royal family. Heungryun-Sa appeared again intimate with royal family in "Hadae". It was caused by the the royal family's interest on Heungryun-Sa. Jungo royal family had been regarded spiritually connected with "Hadae" royal family, who justified his royal legitimacy by the connection. A Buddhist mass for the remembrance of Yi-Chadon, the first Buddhist martyr in Korea, was held at this temple. Heungryun-Sa was probably involved in a certain prolitical occurence at the period of King Shindeok. This occurrence may have dealt a fatal blow to Heungryun-Sa. This opinion is supported by the fact that Heungryun-Sa monk could not work noticeably then on. A Mitreya statue was placed at the Heungryun-Sa main shrine. It makes us know that Heungrun-Sa gave priority on the Mitreya worship. Additionally the Esoteric Buddhism had relation with this temple, where Milbon, esoteric monk, has worked.

소프트웨어 공학 : 지상용 IoT 애플리케이션의 신뢰성 향상 기법

신동하 ( Dong Ha Shin ),한승호 ( Seung Ho Han ),김수동 ( Soo Dong Kim ),허진선 ( Jin Sun Her ) 한국정보처리학회 2015 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.4 No.4

사물 인터넷(Internet-of-Things, IoT)은 무선 인터넷으로 연결된 다양한 디바이스에게서 센싱을 통해 정보를 획득하고 여러 디바이스와 협업을 통해 사용자에게 유용한 서비스를 제공하는 컴퓨팅 환경을 말한다. 최근 사물 인터넷에 대한 관심이 높아짐에 따라 다양한 IoT 디바이스들이 개발되고 있으며, 특히 사람이 접근하기 어렵거나 위험한 환경에서 활용 가능한 지상용 IoT 디바이스에 대한 관심이 높다. 또한 이를 활용한 IoT 애플리케이션은 센서 네트워크나 통신 기술, 다양한 설계 기법 등의 기술이 활용되어 사용자에게 다양하고 유용한 기능을 제공한다. 이에 따라 지상용 IoT 애플리케이션에 대한 연구와 개발이 활발히 진행 중이다. 그러나 사물 인터넷은 최근 소개된 신기술이기 때문에 관련 연구에 대한 자료가 부족하며, 특히 지상용 IoT 애플리케이션은 기존의 전형적인 소프트웨어와는 다르게 디바이스의 특성이나 통신 환경, 주변 환경 등으로 인한 애플리케이션의 신뢰성을 저해하는 이슈들이 발생할 수 있다. 본 논문에서는 지상용 IoT 애플리케이션의 신뢰성 중 성숙도와 오류 관리성 관련 이슈들을 분석하고, 이를 효과적으로 해결할 수 있는 신뢰성 향상 기법들을 제시한다. 그리고 지상용 IoT 디바이스 중 Sphero Ball을 활용한 애플리케이션 개발을 통해 본 논문에서 제시한 이슈들을 도출하고 이를 해결하기 위한 솔루션을 적용 및 활용한 사례를 보여줌으로써 연구의 실효성을 보여준다. Internet-of-Things(IoT) is the computing environment to provide valuable services by interacting with multiple devices, where diverse devices are connected within the existing Internet infrastructure and acquire context information by sensing. As the concern of IoT has been increased recently, most of the industries develop many IoT devices. And, many people are focused on the IoT application that is utilizing different technologies, which are sensor network, communication technologies, and software engineering. Developing on-ground IoT application is especially even more active in progress depending on increasing of on-ground IoT devices because it is possible for them to access dangerous and inaccessible situation. However, There are a few studies related IoT. Moreover, since on-ground IoT application, which is different from typical software application, has to consider device``s characteristics, communication, and surround condition, it reveal challenges, decreasing reliability. Therefore, in this paper, we analyze reliability challenges related to maturity and fault tolerance, one of reliability attributes, occurring in developing on-ground IoT applications and suggest the effective solutions to resolve the challenges. To verify proposed the challenges and solutions, we show result that is applying the solutions to applications. By presenting the case study, we evaluate the effectiveness of applying the solutions to the application.

윈도우 운영체제에서 레지스트리 가상화 구현

신동하(Dong-Ha Shin) 한국컴퓨터정보학회 2010 韓國컴퓨터情報學會論文誌 Vol.15 No.2

윈도우 운영체제의 레지스트리는 시스템 및 응용 프로그램의 설정 데이터가 저장되는 계층적 구조를 가지는 데이터베이스이다. 본 논문에서는 윈도우 운영체제에서 레지스트리 가상화 알고리즘을 제안하고 구현하였으며 그 성능을 측정하였다. 본 논문에서 제안하는 레지스트리 가상화 알고리즘은 Copy-One-level On Write-Open(COOWO)이라고 불리는데 이는 일반적인 Copy On Write(COW) 방식을 레지스트리 가상화에 적합하도록 수정한 것이다. 본 논문에서는 제안한 알고리즘을 윈도우 운영체제에서 동적 라이브러리로 구현하였고 다양한 윈도우 응용 프로그램에 적용하였다. 본 논문은 레지스트리 가상화를 구체적으로 다루는 논문이 많지 않은 현실에서 레지스트리 가상화 알고리즘을 상세하게 기술하였고, 알고리즘의 성능이 실제 응용에 사용 가능하다는 것을 발견하였다는 점에서 의의가 있다. The Windows registry is a hierarchical database where the configuration data of a system or application programs is stored. In this paper, we presented and implemented a registry virtualization algorithm and measured its performance. The registry virtualization algorithm presented in the paper is called Copy-One-level On Write-Open(COOWO) that is a modified version of general Copy On Whte(COW) method to make it suitable for registry virtualization. In this paper, we implemented the proposed algorithm as a dynamically loadable library in Windows and applied it to many Windows application programs. This paper is meaningful since we described a registry virtualization algorithm in detail in situation where we can not find papers that describe the registry virtualization in detail, and we could find the performance of the algorithm can be used in the real applications.

百濟 聖住山 信仰과 聖住寺

신동하(Shin, Dong-ha) 불교학연구회 2009 불교학연구 Vol.22 No.-

성주사와 성주산 관련 사료인 『해동고승전』, 『낭혜화상비』, 『성주사사적』을 연계적으로 이해함으로써 백제 성주산 신앙의 성격과 성주사의 변동을 밝혔다. 백제의 오합사가 있던 성주산은 오악 중 북악으로 여겨져 국가제사가 모셔졌다. 백제가 망한 후 퇴락의 과정을 겪기도 하다가 무염이 중국에서 유학을 마치고 돌아온 후 이곳에 머무르면서 오합사는 성주사로 명치을 바꾸게 되었고, 성주산은 숭엄산으로 불리웠다. 숭엄산은 고려 중기 이후에는 다시 성주산으로 명칭을 바꾸어 오늘에 이르게 됐다. 성주산은 사비 도읍 시대 서해안 방면의 요충지로서 정치, 군사적으로 중요시되었다. 백제 왕실은 사비로 천도하면서 국권을 회복하려는 목적으로 국토를 재인식하고 재편성하였다. 이에 따라 성주산은 서북 방면의 요충으로 주목되었다. 오악의 편제는 국토 내의 중요한 산악을 신앙의 대상으로 여기고 이를 국가적 차원에서 수용하는 것을 의미한다. 성주산이 지닌 신성성에는 전통적 산악신앙의 흐름 위에 불교적 신성성이 부여되었다. 불교에서 불보살이 머무는 곳은 환희, 吉祥의 세계를 의미하는 것으로 산악이 원래 종교적 신성성에 보다 다양한 이상적 경지를 제공하였다. 이는 단지 수식적 의미만이 아니라 불보살의경지로의 승격을 의미하며 백제 국토 내에 불보살이 산다는 불국토사상의 존재를 암시하는 내용인 것이다. 백제에서 성주산은 관음보살이 사는 곳으로 인식되었다. 백제의 관음신앙은 『법화경』에 근거한 것으로 생각된다. 서해안을 배경으로 한 삶의 비중이 큰 백제에서 바다의 수호신으로서 관음에 대한 신앙을 수용한 것이었다. 서해안 방면의 요충지로 여겨진 성주산은 관음의 주처로 여겨졌다. 오합사는 북악신에 대한 祭場임과 동시에 관음신앙의 도량이었다. 무염은 성주산이 지닌 전통적 종교적 의미에 주목했다. 그는 무열왕계의 유력한 인물인 김흔, 김양으로부터 주석을 요청받았으며 문성왕 등 여러 왕들의 귀의를 받았다. 무염이 이렇게 왕실, 귀족의 존숭을 받게 된 배경에는 高德僧이었던 데에도 기인한 것이지만, 무열왕계 귀족의 정신적 귀의처를 제시했기 때문일 것이다. 무염은 성주사와 성주산에서 종교적 가능성을 모색한 것이다. 백제의 북악이자 관음도량인 성주산과 성주사는 무열계 귀족들에게 지방적 세력근거지의 종교적 정당성을 부여해 주었다. The materials of "Lives of Eminent Korean Monks", "Stele for Monk Nanghye" and "The History of Sungju Temple" for the Sungju Mountain and the Sungju Temple can be linked to and used for the understanding of nature and the progress of the Sungju Mountain Faith in Paekje. The Sungju Mountain was regarded as the North Mountain containing the Ohap Templewas worshipped by the state. The Ohap Temple's name was changed to Sungju Temple and the Sungju Mountain to Sungum Mountain after Paekje's fall. The mountain's name was changed to Sungju again about the middle of the Koryo period. The Sungju Mountain was an important spot toward the West Sea during the Sabi-Capitol period. The Baekje royal family aimed to recover its sovereignty and to realign its country. Accordingly, the Sungju Mountain was looked upon as an important spot. The alignment of the Five Mountains had the meaning of sanctification of the mountains and acceptance of the meaning at the state level. The Five Mountains worship was important to the state. The holiness of the Sungju Mountainwas was added by Buddhism especially with the faith of Avalokiteshvara. Paekje's Avalokiteshvara faith was by the Saddharma-pundrika Sutra. It suggests the existence of the Buddha land thoughts in Paekje. Muyeom, the famous monk, recognized the meanings of the flow of the Buddha land thoughts and suggested the religious justifications to the Silla aristocratic classes.

질병진단을 위한 온톨로지 모델 기반의 복수 추론 알고리즘 적용 기법

신동하(Dong Ha Shin),정한터(Han Ter Jung),라현정(Hyun Jung La),김수동(Soo Dong Kim) 한국정보과학회 2015 한국정보과학회 학술발표논문집 Vol.2015 No.6

한글 워드임베딩과 아프리오리를 이용한 검색 시스템의 질의어 확장

신동하 ( Dong-ha Shin ),김창복 ( Chang-bok Kim ) 한국항행학회 2016 韓國航行學會論文誌 Vol.20 No.6

한글 워드임베딩은 명사 추출과정을 거치지 않으면, 학습에 필요하지 않은 단어까지 학습하게 되어 효율적인 임베딩 결과를 도출할 수 없다. 본 연구는 한글 워드임베딩, 아프리오리, 텍스트 마이닝을 이용하여, 특정 도메인에서 질의어 확장에 의해 보다 효율적으로 답변을 검색할 수 있는 모델을 제안하였다. 워드임베딩과 아프리오리는 질의어에 대해서 의미와 맥락에 따라 연관 단어를 추출하여, 질의어를 확장하는 단계이다. 한글 텍스트 마이닝은 명사 추출, TF-IDF, 코사인 유사도를 이용하여, 유사답변 추출과 사용자에게 답변하는 단계이다. 제안모델은 특정 도메인의 답변을 학습하고, 연관성 높은 질의어를 확장함으로서 답변의 정확성을 높일 수 있다. 향후 연구과제로서, 데이터베이스에 저장된 사용자 질의를 분석하고, 보다 연관성 높은 질의어를 추출하는 연구가 필요하다. The hangul word embedding should be performed certainly process for noun extraction. Otherwise, it should be trained words that are not necessary, and it can not be derived efficient embedding results. In this paper, we propose model that can retrieve more efficiently by query language expansion using hangul word embedded, apriori, and text mining. The word embedding and apriori is a step expanding query language by extracting association words according to meaning and context for query language. The hangul text mining is a step of extracting similar answer and responding to the user using noun extraction, TF-IDF, and cosine similarity. The proposed model can improve accuracy of answer by learning the answer of specific domain and expanding high correlation query language. As future research, it needs to extract more correlation query language by analysis of user queries stored in database.