http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
신동하,백윤철,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,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를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.
임베디드 마이크로프로세서에서 산술 및 논리 명령어에 대한 전력 예측 모델
신동하,강경희,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%에서 소비 전류 값을 예측할 수 있다.
신동하(Dong-Ha Shin),한상수(Sang-Soo Han) 한국정보전자통신기술학회 2018 한국정보전자통신기술학회논문지 Vol.11 No.3
기존에 BLDC모터의 속도 제어 알고리즘으로는 PI 제어 알고리즘이 많이 사용되어왔다. PI 제어 알고리즘의 경우 다양한 속도 변화에 대한 속도와 토크의 응답 특성이 느려, 정상상태에 도달하는 것이 느리다는 단점이 있다. 따라서 본 논문에서는 오버슈트가 조금 있지만 응답 속도를 개선해 정상상태에 빠르게 도달할 수 있는 PWM 퍼지 논리 제어 알고리즘을 제안하였다. PWM으로 응답속도를 줄이고, 퍼지 논리 제어 알고리즘으로 오버슈트를 최소화하였다. 제안된 PWM 퍼지 논리 제어 알고리즘은 DC 초퍼, PWM 듀티 사이클 조정기, 퍼지 논리 제어기 등으로 구성했다. 제안된 알고리즘의 성능과 타당성은 Matlab 2018a의 Simulink를 이용한 시뮬레이션을 통해 입증하였다. Conventionally, a PI control algorithm has been widely used as a speed control algorithm for BLDC motor. The PI control algorithm has a disadvantage in that is slow to reach the steady state due to the slow speed and torque response with various speed changes. Therefore, in this paper, PWM fuzzy logic control algorithm which can reach the steady state quickly by improving the response speed although there is a little overshoot is proposed. PWM reduces response speed and fuzzy logic control algorithm minimizes overshoot. The proposed PWM fuzzy logic control algorithm consists of DC chopper, PWM duty cycle regulator, and fuzzy logic controller. The performance and validity of the proposed algorithm is verified by simulation with Simulink of Matlab 2018a.
신동하 ( Dong Ha Shin ),김인영 ( In Young Kim ) 상명대학교 소프트웨어·미디어연구소 2003 소프트웨어 미디어연구 Vol.2003 No.2
본 논문은 `집합 제한 문제 풀이(set constraints problem solver)`를 논리 언어인 Prolog를 사용하여 구현하는 방법을 연구한다. `집합 제한 문제 풀이`는 `집합 이론 (set theory)`을 사용하여 프로그래밍 할 수 있는 새로운 컴퓨터 프로그래밍 언어인 `집합 제한 논리 언어(set constraints logic language)`의 핵심부분이다. 본 논문에서는 `집합 언어(set language)`의 구문(syntax)과 의미(semantics)를 정의하고, 최근 A. Dovier 연구팀이 제안한 `집합 제한 문제 풀이(set constraints problem solver)`를 소개하고 이 풀이를 Prolog를 사용하여 구현하는 방법을 기술한다. Prolog 언어는 비결정적(nondeterministic)으로 표현할 수 있고 리스트(list)라는 자료구조를 제공하기 때문에 다른 언어보다 쉽게 `집합 제한 문제 풀이`를 구현할 수 있다. 본 연구 결과는 `집합 제한 논리 언어`의 수행기(interpreter) 개발에 직접 이용될 수 있다.
Video4Linux를 이용한 모션 검출 알고리즘의 구현
신동하 ( Dong Ha Shin ),이우철 ( Woo Chul Lee ) 상명대학교 소프트웨어·미디어연구소 2004 소프트웨어 미디어연구 Vol.2004 No.1
본 연구에서는 3-프레임 차이법 알고리즘, 배경 차이법 알고리즘, 하이브리드 (hybrid) 알고리즘 등의 모션 검출 알고리즘의 특징을 파악하고 파악된 특징을 기준으로 리눅스 상에서 직접 구현하여 논문에서 제시했던 기본 아이디어를 실제 프로그램으로 구현한다. 사용한 기술로는 Video4Linux API가 있는데, Video4Linux API는 캡쳐 디바이스가 제공하는 기능에 대한 정보, 제공하는 채널 정보, 캡쳐 영역에 대한 정보, 캡쳐될 그림에 대한 정보를 알아보고, 특정 값으로 설정하는 기능 등을 제공하여 리눅스 상에서 영상 처리를 할 수 있도록 도와주는 프로그래밍 인터페이스이다. 본 연구에서 사용된 모션 검출 알고리즘은 간단하게 구현할 수 있는것을 선택하였고, 구현된 프로그램 내에서 알고리즘의 추가와 삭제가 쉽도록 디자인한다.
신동하(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.