• 논리연구
• /
• 제19권1호
• /
• pp.1-49
• /
• 2016

비트겐슈타인의 "논리-철학 논고"에서 '논리적 공간'은 중요한 여러 의문들을 불러일으킨다. 논리적 공간, 논리적 좌표들, 그리고 논리적 장소란 무엇인가? 그러한 비유의 요점은 무엇이며, 또 그것들이 정확하게 "논고"에서 가리키고 있는 것은 무엇인가? 또한 논리적 공간을 차지하는 것은 무엇인가? 그것은 사실들, 명제, 명제 기호, 상황, 모순인가 아니면 이와 관련된 "논고"의 언급들은 그저 화해할 수 없을 뿐인가? 논리적 공간을 둘러싼 논고의 수수께끼 같은 언급들은 정확하게 해명 가능한가? 게다가 "논고"에서 왜 비트겐슈타인은 논리적 공간이라는 개념을 필요로 했는가? 이를 통하여 그는 어떤 철학적 문제를 해결하고자 하였는가? 나는 이 글에서 이 물음들에 대해 대답하고자 한다. "논고"에서 논리적 공간은 뜻 있는 명제들의 체계이다. 또한 그것은 헤르츠의 배위 공간을 모델로 삼아 비트겐슈타인이 끌어들인 것이다. 비트겐슈타인의 근본 좌표들은 기하학적 좌표들과 어떤 점에서는 유사하다. 반면에 논리적 좌표들은 기하학적 좌표들과는 완전히 다르다. 그리하여 논리적 공간을 일종의 기하학적 공간으로 이해하려는 시도는 모두 옳지 않다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.404-406
• /
• 1998

확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는[7]의 직관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리문법을 이용하여 자연어 파서를 구성하였다.

• 논리연구
• /
• 제12권1호
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.4-6
• /
• 2002

최근 폭발적으로 증가하는 대량의 정보를 효율적으로 관리하기 위해서 서버에 개별적으로 연결되던 저장장치를 고속의 전용 네트워크에 직접 연결하고 이를 여러 서버가 공유하는 SAN(Storage Area Network)이 등장했다. SAN을 보다 효과적으로 활용할 수 있도록 SAN 운영체제들은 여러 저장장치를 하나의 커다란 저장장치로 보이게 하는 저장장치 가상화를 지원한다. 저장장치 가상화의 핵심적인 역할을 하는 것이 바로 논리볼륨 관리자이다. 논리볼륨 관리자는 논리주소 블록을 실제 디스크의 물리블록으로 매핑시키는 매핑 관리자를 통해 가상화를 실현한다. 이 논문에서는 효율적인 논리볼륨 관리자를 위해 매핑 관리자와 자유공간 관리자의 기능 향상에 대한 방법을 찾고 이를 반영한 매핑 관리자와 자유공간 관리자를 설계하고 구현한다. 더불어 이 논문의 매핑 관리기법은 특정 시점의 볼륨이미지를 유지할 수 있는 스냅샷과 시스템을 정지시키지 않고 SAN에 디스크를 추가할 수 있는 온라인 재구성 기능을 지원한다.

• 한국지형공간정보학회:학술대회논문집
• /
• 한국지형공간정보학회 2004년도 추계학술발표대회 논문집
• /
• pp.107-112
• /
• 2004

소축척 수치지도 및 지형도 제작을 위한 자동화 처리 과정에서는 기하학적 및 논리적인 오류가 발생하고 있고, 기하학적 오류는 많은 부분에서 자동화 처리가 가능하나 논리적 오류는 논리적으로 자동 판단이 곤란한 경우가 많기 때문에 대부분 수작업으로 이루어 지고 있는 실정이다. 따라서, 본 연구에서는 논리적 오류문제를 해결하기 위하여 폴리곤 겹침에 대해서 도로와 건물 폴리곤간의 겹침위치를 탐색하고, 이를 처리하기 위해 유전자알고리즘을 이용하여 프로그램을 개발하였다. 그 결과 지도제작 과정에서의 논리적 오류에 대한 자동화가 가능하도록 하였고, 그로 인한 지도제작 오류를 최소화할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.182-184
• /
• 1998

수치지도는 지리정보시스템에서 다루는 매우 중요한 구성요소로서, 수치지도의 위치정확도 및 논리적 정확도는 전체 지리정보시스템이 제공하는 기능의 정확도를 결정한다. 따라서 수치지도 제작에 있어, 위치 및 논리적 정확도를 보장하는 것은 매우 중요한 요건이 된다. 그러나, 현재 대부분의 수치지도 제작과정을 살펴보면 논리적 정확도의 유지에 여러 가지 어려움이 많다는 것을 알 수 있다. 주로 수치지도의 논리적 정확도는 수치지도 제작자의 숙련도나, 제작 능력에 전적으로 의존하고 있다는 사실 때문이다. 따라서 제작자의 자질에 관계없이 논리적 정확도를 유지할 수 잇도록 하는 수치지도 제작 환경을 개발하는 것은 매우 시급하고 중요한 사항이다. 본 논문에서는 수치지도 제작과정에서 발생할 수 있는 여러 종류의 문제점들을 공간 객체간의 위상 관계를 이용하여 해결하고자 하였다. 이 방법은 수치지도 제작과정에서 공간 객체간의 위상적 조건을 미리 명시하고 그 위상적 조건을 만족하도록 하는 수치지도 제작 환경을 만들어 주는 것이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2019년도 춘계학술대회
• /
• pp.551-555
• /
• 2019

본 논문에서는 색채에 대한 아동의 심리를 분석하기 위해서 CRR(Colour Reflection Reading) 및 주조색를 이용한 심리 분석 기법을 제안한다. CRR은 이미 그려진 그림에 아동이 색을 칠하는 것으로 색이 칠해진 데이터를 바탕으로 아동의 심리 상태를 분석한다. 주조색 심리 분석 기법은 원하는 색을 선택하여 그림을 그리고, 그린 그림을 이용하여 심리를 분석한다. 따라서 본 논문에서는 퍼지 논리를 적용하여 색채에 대한 심리 분석 결과를 도출하고 그린 그림을 기반으로 공간 배치도 분석 기법을 이용하여 공간 배치도에 따른 아동의 심리 상태도 분석한다.

• 조명전기설비학회논문지
• /
• 제21권1호
• /
• pp.28-34
• /
• 2007

본 연구에서는 새로 고안된 방전 논리 게이트 PDP의 논리 게이트 입력인 DC 방전특성에 대해 고찰하였다. 새로 고안된 방전 논리 게이트는 방전 경로에 따른 전극사이의 전위차를 제어하여 논리 출력을 유도한다. 실험결과 이 DC 방전들의 안정성을 위해 프라이밍 방전을 인가한 경우가 인가하지 않은 경우에 비해 방전지연시간이 1/3로 단축되며 방전개시전압은 1/2로 감소하였다. 또한 이 프라이밍 방전에서 발생한 공간전하는 방전종료 후 $30[{\mu}s]$ 정도까지 영향을 미친다. 그리고 시간적, 공간적 거리변화에 파라 공간전하가 DC 방전에 미치는 영향을 측정한 결과, 주 방전에서부터 시간적으로 멀어지는 것보다 공간적으로 멀어지는 것이 주 방전의 영향에서 쉽게 벗어날 수 있음을 알았다. 그러므로 각 주사전극 마다 방전 논리 게이트들을 독립적으로 동작시킬 수 있다는 결론을 얻었다.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2002년도 추계공동학술대회 정보환경 변화에 따른 신정보기술 패러다임
• /
• pp.520-532
• /
• 2002

높은 가용성, 확장성, 시스템 성능의 요구를 만족시키기 위해 SAN(Storage Area Network)이 등장했다. SAN을 보다 효과적으로 활용할 수 있도록, 대부분의 SAN 운영체제들은 SAN에 부착된 물리적 저장장치들을 가상적으로 하나의 커다란 볼륨으로 보이게 하는 저장장치 가상화 개념을 지원한다. 저장장치 가상화의 핵심적인 역할을 하는 것이 바로 논리볼륨 관리자이다. 자유공간 관리자는 논리볼륨의 자유공간들에 대한 정보를 유지관리 하면서 디스크 할당요구에 적절히 디스크를 할당해주는 역할을 한다. 이때 얼마나 단편화를 최소화하면서 효과적으로 자유공간에 대한 정보를 관리하는가는 전체 볼륨관리자의 성능을 결정하는 중요한 요인이 된다. 이 논문에서는 유연한 매핑을 돕기 위해 자유공간 관리 기법을 설계하고 구현한다. 이 논문의 자유공간 관리기법은 논리블록에 대한 물리블록 할당 외에도 스냅샷과 재구성을 위한 공간할당 및 해제를 효과적으로 처리한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 추계공동학술대회
• /
• pp.520-532
• /
• 2002

높은 가용성, 확장성, 시스템 성능의 요구를 만족시키기 위해 SAN(Storage Area Network)이 등장했다. SAN을 보다 효과적으로 활용할 수 있도록, 대부분의 SAN 운영체제들은 SAN에 부착된 물리적 저장장치들을 가상적으로 하나의 커다란 볼륨으로 보이게 하는 저장장치 가상화 개념을 지원한다. 저장장치 가상화의 핵심적인 역할을 하는 것이 바로 논리볼륨 관리자이다. 자유공간 관리자는 논리볼륨의 자유공간들에 대한 정보를 유지관리 하면서 디스크 할당요구에 적절히 디스크를 할당해주는 역할을 한다. 이때 얼마나 단편화를 최소화하면서 효과적으로 자유공간에 대한 정보를 관리하는가는 전체 볼륨관리자의 성능을 결정하는 중요한 요인이 된다. 이 논문에서는 유연한 매핑을 돕기 위해 자유공간 관리 기법을 설계하고 구현한다. 이 논문의 자유공간 관리기법은 논리블록에 대한 물리블록 할당 외에도 스냅샷과 재구성을 위한 공간할당 및 해제를 효과적으로 처리한다.