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

• Journal of the Korean housing association
• /
• v.8 no.3
• /
• pp.163-175
• /
• 1997

This study is aimed at developing the systematic application of logic in composition of architectural space. It is investigated in the logical concept and its development applied to the rule of composition. Applying the method to the architectural composition. it is focused on modeling to the systematic approach in architectural composition. Therefore this study is investigated in the design process on the viewpoint of the systematic approach considering diverse variables. and it is accomplished to logical composition in architectural space. Being more studied. this method is applied to the composition of architect ureal space and practice.

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.3
• /
• pp.103-110
• /
• 2013

Logical Effort [1, 2] is a simple hand-calculated method that measures quick delay estimation. It has the advantage of reducing the design cycle time. However, it has shortcomings in designing a path for minimum area or power under a fixed-delay constraint. The method of overcoming the shortcomings is shown in [3], but it is constrained for a single logical path. This paper presents an advanced gate sizing method in multiple logical paths based on the equal delay model. According to the results of the simulation, the power dissipation for both the existing logical effort method and proposed method is almost equal. However, compared with the existing logical effort method, it is about 52 (%) more efficient in space.

• Journal of Information Processing Systems
• /
• v.15 no.1
• /
• pp.151-158
• /
• 2019

With the recent advances of memory technologies, high-performance non-volatile memories such as non-volatile dual in-line memory module (NVDIMM) have begun to be used as an addition or an alternative to server-side storages. When these memory bus-connected storages (MBSs) are installed over non-uniform memory access (NUMA) servers, the distance between NUMA nodes and MBSs is one of the crucial factors that influence file processing performance, because the access latency of a NUMA system varies depending on its distance from the NUMA nodes. This paper presents the design and implementation of a high-performance logical volume manager for MBSs, called MBS-LVM, when multiple MBSs are scattered over a NUMA server. The MBS-LVM consolidates the address space of each MBS into a single global address space and dynamically utilizes storage spaces such that each thread can access an MBS with the lowest latency possible. We implemented the MBS-LVM in the Linux kernel and evaluated its performance by porting it over the tmpfs, a memory-based file system widely used in Linux. The results of the benchmarking show that the write performance of the tmpfs using MBS-LVM has been improved by up to twenty times against the original tmpfs over a NUMA server with four nodes.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2000.11b
• /
• pp.97-102
• /
• 2000

The final purpose of this study is to develop the synthetic and logical analytical tool for analyzing spatial organization of housing. For this purpose, this study made the starting-point by proposing some alternatives to improve one of the quantitative analytical tools of spatial organizations, Space Syntax. These propositions were intended to consider human behavior as well as physical structure in analyzing spatial organization. The propositions were as follow; 1) Classify the private outdoor space in detail, 2) Consider that the spatial organization which visitors cognize can differ from which residents do, and 3) Use distinctive spatial depth according to the states of connection.

• The Journal of the Convergence on Culture Technology
• /
• v.7 no.4
• /
• pp.113-122
• /
• 2021

This study begins on the basis of Jacques Lacan's article 『Logical Time and Assertions of Preemptive Certainty: A New Sophism』 published in the reissue of 『Art Note Les Cahiers d'Art』 in March 1945. In this paper, a guard presents an esoteric problem to three prisoners. If the problem is solved, the prisoner is released. A condition is given to solve a problem. Conversation between prisoners is prohibited, and the disc behind them cannot be seen. In this time and space, prisoners place themselves in logical time through the 'time of understanding' in order to become the chosen ones. We always live in logical time. We will argue the point at which Lacan destroys logical time in psychoanalysis. Time in Lacanian psychoanalysis transcends time divisions of the past, present, and future. Our time is always the past in the present. In Lacanian psychoanalysis, logical time is the time in the Other. The transcendence of the Lacanian psychoanalysis concept of time shows the deviation of logical time. In this text, We try to prove how Lacan contrasts psychoanalysis and the problem of time with time in the other. First, we will examine how logical time and impulse are related in psychoanalysis. Second, the postmortemity of the signifient (signifier) will be discussed. Third, Lacan psychoanalysis will present the transcendence of time. In conclusion, We will present the view that the time of Lacan psychoanalysis is flowing backwards. In Lacanian psychoanalysis, we try to prove that logical time is in the territory of the Other and is infinite time.

• Korean Institute of Interior Design Journal
• /
• no.34
• /
• pp.53-60
• /
• 2002

It was investigated on the logical inter-relationship with plastic thinking systems in interior space constitution. Followings were produced the conclusion of study from the plastic thinking. First of all plastic thinking could be interpreted as the stage-oriented process from various approaching by intuitional, experimental techniques through the expansion of thinking capability with linguistic activities. And also interior space constitution could be extracted from the plastic language relating with design concept, could be extracted the design element by processing on the formation process based on material's physical properties. Next, space perception and constitution should be followed the massive perception between empty and full space based on the interrelationship. Additionally the constitution of interior space could be established through axis, integrated with detail functions. Interior space constitution could be accomplished on the study of material based on the characteristics of material, planned to coincide with the space's characteristics in selection for texture.

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.6
• /
• pp.718-731
• /
• 2003

SAN(Storage Area Network) was developed in response to the requirements of high availability of data, scalable growth, and system performance. In order to use the SAN more efficiently, most of the SAN operating software supports storage virtualization concepts that allow users to view physical storage devices of the SAN as a large volume. A logical volume manager plays a key role in storage virtualization. It realizes the storage virtualization by mapping logical addresses to physical addresses. In this paper, we design and implement an efficient and flexible mapping method for the logical volume manager. Additionally we also design and implement a free space management method for flexible mapping. Our mapping method supports a snapshot that preserves a volume image at certain time and on-line reorganization to allow users to add or remove storage devices to and from the SAN even while the system is running. To justify our mapping method, we compare it with the mapping method of the GFS (Global File System) through various experiments.

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