http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 신동하 (검색결과 154 건)
- 무료
- 기관 내 무료
- 유료
-
신동하,이옥선 상명대학교 자연과학연구소 1999 自然科學硏究 Vol.6 No.-
본 논문에서는 인터넷을 통하여 연결된 웹 브라우저 상에서 사용자의 이름과 암호를 사용하여 유닉스 시스템에 로긴하고 로긴한 사용자의 권한으로 유닉스 쉘을 수행시켜 유닉스 기본 명령어를 수행시키는 서버 소프트웨어 개발에 대하여 기술한다. 본 연구에서 개발한 서버 소프트웨어는 크게 웹 브라우저 상에서 사용자의 이름과 암호를 사용하여 시스템에 로긴하는 웹 쉘 로긴(wsh-login: Web Shell Login) 부분과 웹 브라우저 상에서 쉘 프로그램의 상태를 유지하며 유닉스 명령어를 수행시키는 웹 쉘(wsh: Web Shell) 부분으로 이루어진다. 본 소프트웨어를 구현하기 위하여 관련 CGI 프로그램과 관련 서버 프로그램 사이의 데이터 전달은 fifo 프로세스 간 통신을 사용하였고 관련 서버 프로그램과 bash 프로그램 사이의 데이터 전달은 pipe 프로세스 간 통신을 사용하였다. 현재 본 소프트웨어는 Red Hat Linux 6.1 에서 C 언어로 개발되어 동작 중이다.
-
-
-
-
신동하,백윤철,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.
-
표면증강라만분광법을 이용한 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 측정연구에 새로운 아이디어를 제시해 줄 수 있으리라 생각된다.
-
-
申東河 同德女子大學校 1989 同大論叢 Vol.19 No.1
The study of ancient Buddhism in Three-Kingdom Period can be summarized with following subjects. They are 1) mission and acceptance of Buddhism, 2) relation between Buddhism and royal family or nation, and 3) lineage of Buddhist family. Three-Kingdom's Buddhism was developed according to each course and method, for each histoy progressed each discriminately. Their Buddhism had indiviual peculiarlty. But nowadays studies on ancient Buddhism are leaned on Silla Buddhism. It would brougt about from the shortage of historical meterials. But it can not be denied that our concern was leaned on Silla Buddhism. Now wider point of view is needed for the understanding of ancient East Asia Buddhism-measure of international culture. The relation between Buddhism is related with the formation of ancient Kingdom or of ancient rulers. So it was a matter of course to notice an acceptance and development, political progress and power in Buddhist, and how these themes influenced the formation of Buddhist thoughts. It is dangerous to schematizing. And it is also not expective to think Buddhism unchangeable thought and applicate to the historical interpertation of all period. They all must be warned. Here I reviewed studies on relation between political power and Buddhism. I did not reviewed studies on philosophical achievments, archaeolocal studies, and art-historical manuscripts. I want to review theirs soon.
-
RISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
