• Proceedings of the Optical Society of Korea Conference
• /
• 2000.08a
• /
• pp.20-21
• /
• 2000

광을 기반으로 한 논리 연산은 전자 소자의 속도 한계 및 연산 용량의 한계를 극복할 대안으로 많은 관심을 끌고 있다. 초고속 전광 논리 연산의 구현은 대부분 물질의 비선형성을 이용하며 특히 광섬유의 비선형 Ken 효과를 이용한 Sagnac 간섭계의 형태를 이용한 논리 연산이 주로 연구되어 왔다$^{(1)}$ . 그러나 광섬유의 비선형성을 이용하기 위해서는 충분히 큰 광 강도가 필요하며 회로 구성에 있어서도 크기가 크다는 단점이 있다. 최근에는 반도체 광증폭기의 비선형 이득 포화 현상을 이용한 TOAD 등이 발표되어 상대적으로 크기도 감소하고 사용되는 광 강도 역시 감소시킬 수 있었다$^{(2)}$ . 간섭계를 이용한 광논리의 구현은 Sagnac 간섭계 뿐만 아니라 비선형 특성을 갖는 도파로로 구성된 Mach-Zehnder 간섭계, Michelson 간섭계 등도 이용이 가능하다. (중략)

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.81-117
• /
• 2001

이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

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.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.1 no.1
• /
• pp.42-48
• /
• 2006

This paper proposes the new efficient system design strategies for the acoustic-based underwater multiple modem and media access control protocol. The system aims to establish the acoustic-based communication network of an underwater vehicles for deep sea mining, which ensures a certain level of maximum throughput regardless of the propagation delay of acoustic and allows fast data transmission through the acoustic-based multiple channel.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.15 no.6
• /
• pp.73-81
• /
• 2001

This study uses the distributed parameter systems resented by the spatial discretization technique. In this paper, the distributed parameter systems are converted into lumped parameter systems, End fast Walsh transform and the Picard's iteration method are allied to analysis the state of the systems. This thesis presents a new algorithm which usefully exercises the optimal contro1 in the distributed parameter systems. In exercising the optimal control of the distributed parameter systems, the excellent consequences are found without using the existing decentralized contro1 or hierarchical control method. This study can be applied to the linear time-varying systems and the non-linear systems. Farther researches are required to solve the problems of convergence in case of the numerous applicable intervals. The simulation proves the effectiveness of the proposed algorithm.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.1
• /
• pp.20-26
• /
• 2002

Projective Maps let designers find out uncovered attributes which are unexposed by users' incomplete view at abstraction step, and design proper database for users' model This database keeps the original meaning and has a good structure to represent the real world precisely. Also, the database which is designed by using Projective Maps, resents a method which describes the real world by less projections to users.

• Journal of the Korean Society for Library and Information Science
• /
• v.40 no.1
• /
• pp.397-416
• /
• 2006

This study is focusing on the establishment of knowledge management framework of library, supposed that library becomes an integrated knowledge system offering various types of knowledge. Knowledge management of library based on knowledge ecology justifies the logical and physical roles of library, as the sustainer of the knowledge ecosystem in which all the types of social factors consisting of knowledge ecosystem are Interacting to continuously circulate knowledge. The library as the center of knowledge ecosystem should make sure the systemized environment in which knowledge producer is supported to timely distribute knowledge to knowledge consumer through information professional accomplishing the role of knowledge facilitator.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.88.2-88.2
• /
• 2014

경희대학교 천문대는 한국과학창의재단에서 후원하는 2013년 과학문화 민간활동 지원사업의 일환으로 "청소년, 우주를 향해 미래를 쏘다!"라는 멘토링 프로그램을 2013년 7월 23일부터 2014년 2월 28일까지 진행하였다. 본 프로그램의 참가대상은 경기지역 고등학교 1, 2학년 학생 32명이 참가하였고, 대학생 멘토 8명과 팀으로 활동하였다. 본 프로그램의 목적은 달 탐사를 주제로 한 체험프로그램을 통해 청소년들의 우주개발의 현황을 체험할 수 있는 기회를 제공하고, 체험 프로그램을 활용하여 창의력, 협동심, 자신감을 함양시키며 이공계 분야의 비젼과 진로 방향을 제시하는 것이다. 본 프로그램은 6개의 주제로 총 10회 동안 진행되었으며, 각각의 주제는 우리나라 우주개발 현장체험, 달탐사의 필요성 체험, 발사체 및 탑재체의 이해와 체험, 청소년이 바라본 우리나라 달탐사의 미래, '우주로' 체험 캠프, 최종발표회이다. 프로그램은 체험, 조사, 발표 및 토의 형식으로 진행되었다. 본 프로그램에서 기대되는 성과는 조별 활동 및 다양한 체험 실습으로 협동심 및 인성을 함양하고, 천문학/공학 분야의 전공 대학생의 멘토링으로 논리적, 체계적, 비판적인 사고를 유도하고, 학연 협력을 활용한 현장학습으로 청소년들의 이공계에 대한 흥미를 유발하고 진로 방향을 제시하며, 다양한 체험 실습 및 미래 지향적인 컨텐츠를 활용하여 천문학 및 우주과학에 대한 호기심을 자극하는 것이다. 본 프로그램에서의 최종 성과물은 기존의 달탐사와 차별적인 주제와 방법론을 고안하여 논리적이고 창의적으로 우리나라의 달탐사에 대한 방법론적인 아이디어를 유도하는 것에 중점을 두었다.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.79-84
• /
• 2016

본 연구는 전문기관에서 생산되는 검증된 문서를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도 향상 및 심화 정보를 자동으로 추가하는 시스템을 설계하는 것을 목표로 한다. 이를 위해 활용 가능한 시스템인 인공 신경 정리 증명계(neural theorem prover)가 대규모 말뭉치에 적용되지 않는다는 근본적인 문제를 해결하기 위해 내부 순환 모듈을 단어 임베딩 모듈로 교체하여 재구축 하였다. 학습 시간의 획기적인 감소를 입증하기 위해 국가암정보센터의 암 예방 및 실천에 대한 검증된 문서들에서 추출한 28,844개 명제를 위키피디아 암 관련 문서에서 추출한 7,844개 명제에 주석하는 사례를 통하여 기존의 시스템과 재구축한 시스템을 병렬 비교하였다. 동일한 환경에서 기존 시스템의 학습 시간이 553.8일로 추정된 것에 비해 재구축한 시스템은 93.1분 내로 학습이 완료되었다. 본 연구의 장점은 인공 신경 정리 증명계가 모듈화 가능한 비선형 시스템이기에 다른 선형 논리 및 자연언어 처리 모듈들과 병렬적으로 결합될 수 있음에도 현실 사례에 이를 적용 불가능하게 했던 학습 시간에 대한 문제를 해소했다는 점이다.