• 한국광학회:학술대회논문집
• /
• 한국광학회 2000년도 하계학술발표회
• /
• pp.20-21
• /
• 2000

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

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

• 논리연구
• /
• 제5권1호
• /
• pp.81-117
• /
• 2001

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

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.816-823
• /
• 2005

비혼(non-Horn) 논리 프로그램은 혼(Horn) 논리 프로그램을 1계 술어 논리(1st order predicate logic) 수준으로 확장하였기 때문에 표현력은 크지만 효율적으로 구현된 사례가 없어서 실용적인 언어로 사용되지는 못하였다. 지금까지 연구된 효율적인 방법은 비혼 논리 프로그램을 증명절차 InH-Prolog의 의미를 이용하여 동등한 혼 논리 프로그램으로 변환한 후 변환된 혼 논리 프로그램을 WAM(Warren Abstract Machine) 명령어로 컴파일하여 수행시키는 방법이다. 본 논문에서는 이 방법을 향상시키기 위하여 비혼 논리 프로그램을 효율적으로 수행하는 EWAM(Extended WAM)과 비혼 논리 프로그램을 EWAM 명령어로 컴파일하는 방법을 제안한다. 또한 본 논문에서는 제안한 EWAM의 에뮬레이터 및 컴파일러를 구현하여 그 성능을 측정하였다. 본 논문에서 구현한 EWAM 에뮬레이터 및 컴파일러의 성능을 측정한 결과 기존 방법보다 매우 효율적임을 확인하였다.

• 한국전자통신학회논문지
• /
• 제1권1호
• /
• pp.42-48
• /
• 2006

본 논문에서는 해저의 이동체 사이의 효과적인 다중 초음파 데이타 통신을 위한다중 초음파 접속제어 프로토콜을 제안 하였다. 논리계층에서의 프로토콜은 모선과 수중 이동체간에 다중 채널 통신이 가능하고 논리계층간의 peer to peer 통신이 가능함을 확인하였다. 본 논문에서 제안된 접속제어 프로토콜은 수중 통신 시스템의 여러 가지 수중 물리적 환경에서 전파지연 시간에 무관하게 최대 수율을 보장하고 서로 다른 주파수 대역을 사용하는 다중 전송채널을 이용하여 수중에서 고속 데이터 전송의 가능함을 확인하였다.

• 조명전기설비학회논문지
• /
• 제15권6호
• /
• pp.73-81
• /
• 2001

분포정수계는 시스템이 두 개 이상의 독립변수로 표현되면서 또한 각 변수에 대한 미분을 포함하는 편미분 방정식으로 표현되므로, 분포정수계에 직접적인 최적제어 논리를 도입하는 것은 매우 어렵다. 본 연구에서 제시하고자하는 새로운 알고리즘은 월쉬 함수 고유특성을 그대로 유지할 수 있는 유한급수전개방법을 이용함과 동시에 계산의 편리성을 위하여 고속 월쉬 변환을 사용하는 것으로서, 본 연구 방법을 사용하면 역행렬 연산이 필요 없게 되므로 기존의 방법에 의해 처리하기 힘든 분포정수계, 선형시변계, 비선형계의 해석 및 제어문제어도 쉽게 적용할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제7권1호
• /
• pp.20-26
• /
• 2002

주관투영도는 데이터베이스 설계자가 추상화 단계에서 사용자의 불완전한 관점에서 발견되지 못한 속성(uncovered attributes)을 찾아내어 사용자의 모델에 맞는 데이터베이스를 설계한다. 이런 데이터베이스는 고유한 의미를 유지하고 논리적으로도 실세계를 보다 정확히 표현하는 좋은 구조를 갖는다. 또한 주관투영도를 활용하여 설계된 데이터베이스는 사용자들에게 적은 수의 사용자 프로젝션(Projection)으로 실세계를 기술할 수 있는 방법을 제시 한다.

• 한국문헌정보학회지
• /
• 제40권1호
• /
• pp.397-416
• /
• 2006

이 글은 지식기반 사회의 역동적 엔진으로서 다양한 유형의 지식을 제공할 수 있는 통합형 지식체계의 구현을 도서관의 기본 역할로 보고, 이를 위한 지식관리 모형을 지식생태학 관점을 통해 제시한 것이다. 지식생태학 관점에서 접근한 지식관리는 지식생태계를 구성하는 사회적 요소간의 상호작용을 통해 성장하는 유기체로서 활동하는 도서관의 논리적 물리적 역할을 의미한다. 도서관은 지식생태계의 구심점으로서 지식조정자 역할을 담당하는 정보전문가를 통해 지식생산자가 지식을 제대로 생산 배포할 수 있도록 지원하고. 적절한 지식이 지식소비자에게 적시에 전달되고 재생산되는 선순환 체계를 주도해 감으로써 지식생태계를 활성화하는 지식관리 체계를 구현하여야 한다.

• 천문학회보
• /
• 제39권1호
• /
• pp.88.2-88.2
• /
• 2014

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

• 한국어정보학회:학술대회논문집
• /
• 한국어정보학회 2016년도 제28회 한글및한국어정보처리학술대회
• /
• pp.79-84
• /
• 2016

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