• 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.

• The KIPS Transactions:PartC
• /
• v.13C no.1 s.104
• /
• pp.75-82
• /
• 2006

In this paper, a space-frequency coded orthogonal frequency division multiplexing (SFC-OFDM) scheme with dual Viterbi decoder is proposed and analyzed. Here, two independent half-rate OFDM symbols are generated after convolutional coding of the binary source code. A dual Viterbi decoder is exploited to decode the demodulated sequences independently in the receiver, and their path metrics are compared. Accordingly, the recovered binary data in the proposed scheme are composed of the combination of the sequences having larger path metrics while those in a conventional system are simply the output of single Viterbi decoder. As a result, the proposed SFC-OFDM scheme has a better performance than the conventional one for all signal-to-noise power ratio.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.3
• /
• pp.160-166
• /
• 1989

We propose adaptive algorithms computing the coefficients of spatial domain predictors. The method uses the LMS approach to compute the coefficients of the predictors realized by using the TDL(tapped-delay-line) and the ESC (escalator) structures. The predictors to be presented differ from the conventional ones in the sense that the relevant weights are updated such that the sum of the mean squared values of the forward and the backward prediction errors is minimized. Using the coefficients of such spatial domain predictors yields improved linear predictive spatial spectrums. The algorithms are applied to the problems of estimating incident angles of multiple narrow-band signals received by a linear array of sensors. Simulation results demonstrating the performances of the proposed methods are presented.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2786-2796
• /
• 1998

Extraction of interesting and general knowledge from large spatial database is an important task in the development of geographical information system and knowledge-base systems. In this paper, we propose a spatial data mining system using generalization method; In this system, we extend an existing generalization mining and design a rulebase to support deriving new spatial knowledge. For this purpose, we propose an interleaved method which integrates spatial data dominated and nonspatial data dominated mining and construct a rulebase to extract topological relationship between spatial objects.

• Journal of Korea Spatial Information System Society
• /
• v.7 no.3 s.15
• /
• pp.119-130
• /
• 2005

A spatial data warehouse is a system that stores geographical information as a subject oriented, integrated, time-variant, non-volatile collection for efficiently supporting decision. This system consists of a builder and a spatial data warehouse server. A spatial data warehouse server suspends user services, stores transferred data in the data repository and constructs index using stored data for short response time. Existing methods that construct index are bulk-insertion and index transfer methods. The Bulk-insertion method has high clustering cost for constructing index and searching cost. The Index transfer method has improper for the index reconstruction method of a spatial data warehouse where periodic source data are inserted. In this paper, the efficient index reconstruction method using a partial index in a spatial data warehouse is proposed. This method is an efficient reconstruction method that transfers a partial index and stores a partial index with expecting physical location. This method clusters a spatial data making it suitable to construct index and change treated clusters to a partial index and transfers pages that store a partial index. A spatial data warehouse server reserves sequent physical space of a disk and stores a partial index in the reserved space. Through inserting a partial index into constructed index in a spatial data warehouse server, searching, splitting, remodifing costs are reduced to the minimum.

• Journal of Korean Society for Geospatial Information Science
• /
• v.1 no.2 s.2
• /
• pp.153-158
• /
• 1993

It is important to establish the transformational relation between scanned image coordinates and digital image coordinates because the coordinate system of digital image is transformed from scanned image coordinate system through scanning work. And, some researches are required in scanning works to correct the deformation that is due to the motion of scanner. In this study, some procedures are applied to determine the optimal calibration model equation which can calibrate the scanner. As a result the optimal calibration model equation for the object scanner is determined The procedure of this study can applied to the calibration of other types of scanner, because the procedures are done with the analysis of geometrical properties rather than the analysis of physical properties.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.73-75
• /
• 2002

PDB에서 제공하는 단백질 3차원 고분자결정 구조에 대한 플랫파일은 인자들의 좌표, 서열정보, 실험정보 및 참조 정보가 포함된다. 이러한 정보를 포함하고 있는 플랫파일로부터 필수적인 구조정보 및 서열정보 등의 효율적인 검색을 위해서는 이러한 데이터를 추출하여 데이터베이스 구축이 요구되며 이 때 단백질 구조 및 서열 정보와 실험 및 탐조 정보의 관계에 대한 모델링이 중요하다. 따라서 이 논문에서는 PDB에서 제공하는 플랫파일들의 엔트리들을 분석하고 3차원 공간 객체의 기하적 특성을 갖는 단백질 3차 구조를 공간객체로 표현하고 공간객체 모델을 적용하여 모델링한다. 이렇게 함으로써 단백질 3차 구조 분자를 구성하는 인자 및 구조 정보 검색이 가능하며 위상 및 기하 연산자글 이용하여 단백질 구조 분석에 활용할 수 있다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.2
• /
• pp.401-420
• /
• 2010

The purpose of this research is to find out effectiveness of geometry learning through spatial reasoning activities on mathematical problem solving ability and mathematical attitude. In order to proof this research problem, the controlled experiment was done on two groups of 6th graders in N elementary school; one group went through the geometry learning style through spatial reasoning activities, and the other group went through the general geometry learning style. As a result, the experimental group and the comparing group on mathematical problem solving ability have statistically meaningful difference. However, the experimental group and the comparing group have not statistically meaningful difference on mathematical attitude. But the mathematical attitude in the experimental group has improved clearly after all the process of experiment. With these results we came up with this conclusion. First, the geometry learning through spatial reasoning activities enhances the ability of analyzing, spatial sensibility and logical ability, which is effective in increasing the mathematical problem solving ability. Second, the geometry learning through spatial reasoning activities enhances confidence in problem solving and an interest in mathematics, which has a positive influence on the mathematical attitude.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2016.05a
• /
• pp.139-140
• /
• 2016

최근 대도심지를 중심으로 빈번히 발생하고 있는 지반침하, 지반함몰, 도로붕괴 등의 지하안전사고로 인해 정부는 지하안전 대책 수립에 만전을 기하고 있다. 특히, 국토교통부는 지하공간통합지도 구축 기본계획을 수립하고 본사업에 박차를 가하여 지하공간 안전관리체계를 마련하고자 하고 있다. 그러나 국토교통부에서 구축계획하고 있는 지하공간통합지도는 서울, 부산, 대전 등 대도시를 중심으로하고 있어, 태풍, 집중호우 등에 의한 지반침하 및 함몰 등의 안전사고가 우려되는 항만구조물을 관리하기에는 어려운 실정이다. 이에 본 연구에서는 항만구조물의 안전관리를 위한 지하공간통합지도 구축 방안을 제시하였다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2010.06a
• /
• pp.303-305
• /
• 2010

실내공간의 특성을 고려하여 u-GIS 서비스를 제공하기 위해서는 그에 맞는 적절한 모델과 질의처리 방법이 필요하다. 프리즘 모델은 실내공간을 표현하기 위한 3차원 기하 모델이며, 이에 대한 질의처리 방법이 제안된 바 있다. 하지만 이에 대한 실험적 근거가 부족하므로, 본 논문에서는 프리즘 모델의 질의 처리 방법을 적용한 시스템과 B-Rep 기반의 3차원 공간 DBMS 시스템간의 연산 수행을 비교 실험하였다. 그 결과 프리즘 모델 기반의 질의처리 방법이 B-Rep 기반의 공간 DBMS 보다 질의 처리 성능이 우수한 것으로 검증되었다.