• Korean Journal of Logic
• /
• v.19 no.1
• /
• pp.1-49
• /
• 2016

In the Tractatus, 'logical space' raises the several puzzles as follows. What are logical space, logical coordinates and logical place? What is the point of such analogies and what do they refer to exactly in the Tractatus? And what do occupy logical space? Can facts, proposition, propositional sign, situation and contradiction occupy it respectively? Or is it impossible to reconcile the remarks concerning logical place in the Tractatus? Futhermore, why did Wittgenstein need the concept of logical space? What is the problem that he tried to solve through this concept? In this paper, I will endeavor to answer to these problems. Logical space in the Tractatus is the system of propositions with senses. And it is the concept which Wittgenstein contrived by making model of Hertz's configuration space. Wittgenstein's fundamental coordinates are in some ways similar to geometrical ones. On the other hand logical coordinates are completely different from geometrical ones. Hence attempts to understand logical space by a kind of geometrical spaces cannot be right at all.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.404-406
• /
• 1998

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

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.4-6
• /
• 2002

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

• 한국지형공간정보학회:학술대회논문집
• /
• 2004.10a
• /
• pp.107-112
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.182-184
• /
• 1998

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

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.551-555
• /
• 2019

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

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.21 no.1
• /
• pp.28-34
• /
• 2007

In this research, the characteristics of the DC discharge that was the logical gate input of discharge logic gate PDP newly proposed was considered. The logical output is induced by controlling the potential difference of inter-electrode according to the discharge path in the discharge logic gate. From the experimental result the discharge time lag was shortened to 1/3 and the voltage has decreased to 1/2 in the case to apply priming discharge for improving stability of these DC discharges compared with the case when it is not applied. Moreover, after the priming discharge ends, the space charge generated by this discharge influences it up to about $30[{\mu}s]$. And, as a measured result of the influence that the space charge exerts on the DC discharge with the change in time and spatial distance, it has been understood that there is a possibility that going away spatially can slip out the influence of the discharge easily as for going away from the discharge time-wise. Therefore the conclusion that the discharge logic gates of each scanning electrode can be operated independently is obtained.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2002.11a
• /
• pp.520-532
• /
• 2002

A new architecture called the Storage Area Network(SAN) was developed in response to the requirements of high availability of data scalable growth and system performance. In order to use SAN more efficiently, most SAN operating systems support storage virtualization concepts that allow users to view physical storage devices attached to SAN as a large volume virtually. A logical volume manager plays a key role in storage virtualization. In order for mapping managers to process snap-shots and reorganizations, an efficient freespace manager is required, and it affects the overall performance of logical volume. In this thesis, we design and implement a freespace manager for logical volume manager. The freespace manager efficiently allocates physical blocks for logical blocks. Also, it processes space allocation requests for suports snapshots and reorganizations.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.11a
• /
• pp.520-532
• /
• 2002

A new architecture called the Storage Area Network(SAN) was developed in response to the requirements of high availability of data, scalable growth, and system performance. In order to use SAN more efficiently, most SAN operating systems support storage virtualization concepts that allow users to view physical storage devices attached to SAN as a large volume virtually. A logical volume manager plays a key role in storage virtualization. In order for mapping managers to process snap-shots and reorganizations, an efficient freespace manager is required, and it affects the overall performance of logical volume. In this thesis, we design and implement a freespace manager for logical volume manager. The freespace manager efficiently allocates physical blocks for logical blocks. Also, it processes space allocation requests for supports snapshots and reorganizations.