http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
신동하 동덕여자대학교 인문과학연구소 2008 人文科學硏究 Vol.14 No.-
In Korea and Japan, Buddhism was accepted as a foreign religion, and the development was accomplished throughout all the parts of the society under the influence of Buddhism. It is beyond imagination that both of the two countries had similar points of social and state challenges at the situation of accepting Buddhism. Therefore, it is true the two countries had similar personalities representing the attitude of acception of Buddhism. However, the great differences are also viewed in the concrete attitude of acception and the process of internalization. It is the point of consider needed when comparing and studying the flow of Buddhism in the two countries. The Sillas while they are developing Buddha-kṣetra thoughts got to recognize Silla to be Buddha-kṣetra and internalized Buddhist worldviews. In Mid-old(中古) period royal family members alleged they are of Shakyamuni species. Therefore, the royal members accommodated and shared ideas of Indian worldview where Buddhism had started. Shakyamuni species have been reborn as the royal family in Shilla soil. Accordingly, they realized the possibility of opening up a religious ideal. This was very valid for not only the religious, but also the political side for the absolute authority of the royal family. Buddhism made a contribution to set up a strong authority in Mid-old period. There are several reasons where the royal family could successfully made itself sacred. First, the king power was already established before Buddhism was accepted. Second, accordingly the power centralized system of the status and the economy was formed. In Japan, they have alleged Shakyamuni had let shadow down and had appeared as various gods. In Buddhism Shakyamuni the founder was endowed with various divinities. Therefore, Shakyamuni's divinities might have provided a very effective means to shadow downed gods and them having background of the gods. But this is limited to the royal family in Silla, while in Japan it was also available for a wide range of regional forces. This was the difference between the two countries. It was formed according to when the ruling power was accomplished and what a great the difference of the political progresses was. It is widely acknowledged that Sēngzhào(僧肇) has earlier mentioned Běndì Chuíjī (Honji Suijaku, 本地垂迹). In Japan, however, Honji Suijaku theory has been developed variously. The purpose of this thesis was to effectively understand the various aspects of Buddhism acceptions in Korea and Japan. The comparison of the Silla's Shakyamuni belief and the Japanese shadow gods of Shakyamuni Buddha was the method. By extanding the comparison materials, the characteristics of Buddhism of the two countries will be able to come to the area of the more specific understanding.
표면증강라만분광법을 이용한 VOC 측정 플랫폼 개발 연구
신동하 한국대기환경학회 2021 한국대기환경학회 학술대회논문집 Vol.2021 No.10
표면증강라만분광법(Surface Enhanced Raman Spectroscopy, SERS)은 기존 라만 분광 측정기술에서의 매우 낮은 라만 산란 효율을 극복하는 기술로서 관심을 많이 받아왔다. 귀금속 나노 구조체 표면에서 측정 샘플 분자의 라만 산란 신호가 최소 10<SUP>5</SUP> 이상 매우 증강되는 현상으로 단분자까지 측정이 가능한 정도로 학계에서는 받아들여지고 있다. 이 SERS 기법을 다양한 분야에 적용하려는 시도는 많이 있어왔지만, VOC 측정을 위한 체계적인 접근은 많이 부족한 실정이다. 본 연구에서는 새로운 접근방식으로 VOC를 측정하는 SERS 분석기법을 소개할 것이다. isocynide stretching group을 활용한 것으로 spectral silent region 에 위치한 NC 진동 모드를 활용하여, 나노입자와VOC 사이의 상호작용을 간접적으로 측정하는 기술이다. 아세톤, 암모니아를 비롯해서 다양한 VOC 샘플을 분석한 결과를 소개하며, 금, 은, 백금 나노 입자 종류별 다른 특성도 소개할 예정이다. 직접적인 SERS 기반 VOC 측정도 중요하지만, 이렇게 간접적으로 VOC를 측정하는 SERS 기법이 VOC 측정연구에 새로운 아이디어를 제시해 줄 수 있으리라 생각된다.
신동하,백윤철,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.
신동하 상명대학교 자연과학연구소 1998 自然科學硏究 Vol.5 No.-
비혼 논리 프로그램은 1계 술어 논리에서 정의되는 혼뿐만 아니라 비혼 클로즈도 사용한다. 예를 들어 "블록 'a'의 색깔이 녹색이거나 푸른색이다."라는 불확정적인 사실을 비혼 클로즈인 "color(a, green) ∨ color(a, blue)"로 표현할 수 있다. 또한 비혼 논리 프로그램은 목표 클로즈 "false :- color(a, X)"에 대한 대답으로 "X=green ∨ X=blue"와 같은 불확정적인 대답을 주기도 한다. 본 논문은 비혼 논리 프로그램에 안전하고 완전한 증명 절차인 ME, Positive-ME, InH-Prolog, 그리고 SLWV의 동작 원리를 설명하고 비교한다. 또한 이들 증명 절차들의 분석을 통하여 증명 절차 InH-Prolog가 비혼 논리 프로그램의 구현에 적합한 증명 절차임을 설명한다. 마지막으로 증명 절차 InH-Prolog가 비혼 논리 프로그램의 구현에서 깊이 우선 탐색을 할 때 생기는 문제점을 제시하고 이의 해결 방법을 기술한다. 본 연구 결과는 비혼 논리 프로그램의 컴파일러 설계에 이용될 수 있다. Non-Horn logic programs use both Horn and non-Horn clauses defined in 1st order predicate logic. For example, an indefinite fact "The color of block 'a' is either green or blue." can be represented in a non-Horn clause "color(a, green) ∨ color(a,blue)". Furthermore, we can get an indefinite answer "X=green ∨ X=blue" from the goal clause "false :- color(a, X)". In this paper we describe and compare the operations of proof procedures ME, Positive-ME, InH-Prolog, and SLWV that are sound and complete for non-Horn logic programs. We also analyze the operations of proof procedures and explain the proof procedure InH-Prolog is suitable for the implementation of non-Horn logic programs. Lastly, we suggest a solution to the problem that arises when the proof procedure InH-Prolog uses the depth-first search in implementing non-Horn logic programs. The result of this research can be used in compiler implementation of non-Horn logic programs.