• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.573-582
• /
• 2007

Working spaces in the construction site are much more complicated than completed spaces in the building. There are many researches focus on partition of building spaces. However, few discussed partition sequencing in building construction sites. Space syntax is a set of techniques for analyzing spatial configurations. It has become a useful tool in a variety of researches. Partition sequencing of working spaces should be related to the working direction. However, with convex space and axial line, the partition sequencing became unrelated to the working direction. When critical space is blocked, the partition sequencing with axial line will be changed. It is significant to reveal the impact of the entire spatial structure when some of the working spaces are blocked. This paper discussed the improved partition sequencing theory and highlighted the importance of critical space and analyzed the spatial structure of working space. A real case project was demonstrated in this paper.

• Journal for History of Mathematics
• /
• v.26 no.4
• /
• pp.245-257
• /
• 2013

Hermann Grassmann classified mathematics and extended the dimension of vector spaces by using dialectics of contrasts. In this paper, we investigate his mathematical idea and its background, and the process of the classification of mathematics. He made a synthetic concept of mathematics based on his idea of 'equal' and 'inequal', 'discrete' and 'indiscrete' mathematics. Also, he showed a creation of new mathematics and a process of generalization using a dialectic of contrast of 'special' and 'general', 'real' and 'formal'. In addition, we examine his unique development in using 'real' and 'formal' in a process of generalization of basis and dimension of a vector space. This research on Grassmann will give meaningful suggestion to an effective teaching and learning of linear algebra.

• Journal of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.103-108
• /
• 1995

It is a well-known classical result of Mazur and Ulam that an isometry T from a real Banach space X onto a real Banach space Y with T(0) = 0 is automatically linear[5].

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.413-423
• /
• 2014

In this article we study different properties of the statistically convergent and statistically null sequence classes of fuzzy real numbers with fuzzy metric, like completeness, solidness, sequence algebra, symmetricity and convergence free.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.23-35
• /
• 2011

In the present work we construct a composite implicit random iterative process with errors for a finite family of asymptotically nonexpansive random operators and discuss a necessary and sufficient condition for the convergence of this process in an arbitrary real Banach space. It is also proved that this process converges to the common random fixed point of the finite family of asymptotically nonexpansive random operators in the setting of uniformly convex Banach spaces. The present work also generalizes a recently established result in Banach spaces.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.6 no.2
• /
• pp.17-23
• /
• 2006

The purpose of this study was to investigate how student felt the strengths and shortness of presentation methods for formation of interior spaces. For this study, the process of the interior architecture design class was divided into three stages: the programming. the design development, and the design completion. In the design development stage, students used presentation methods: hand sketch, scale model, computer modeling, and virtual realty. The strengths of hand sketch was that quick expression. Models provided three-dimensional feelings. Computer modelling provide realistic color and texture. Virtual reality provided three-dimensional immersion and real scale. It is effective that students collect brain storm images using quick hand sketch in the beginning of design development stage. After that, they compose interior spaces in study models with small scale. Watching the models, they design details of spaces by using hand sketch and computer modelling. Using virtual reality, they can check the scale and circulation. Finally, they complete computer modelling by texture mapping and check the final design in virtual reality.

• Journal of Applied and Pure Mathematics
• /
• v.6 no.3_4
• /
• pp.105-117
• /
• 2024

In the classical sense, it is known that it is impossible to construct a vector space over the entire set of real numbers with the help of simple interval arithmetic. In this article, it has shown that a vector space can be constructed in the classical sense by helping Markov's extended interval arithmetic on the interval valued Cesaro sequence spaces of non-absolute type. As a result of the positive answers, this idea was extended by us with some theorems. Consequently, a new perspective was gained to the construction of new types of sequence spaces by using different algebraic operations on interval-valued sequence spaces.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.27 no.3
• /
• pp.7-16
• /
• 2021

Purpose: This study identified the planning trends for formal and informal learning spaces in the college of medicine through literature reviews. And then, by the analysis of the actual condition of existing domestic facilities, It was organized the architectural planning baseline data and future directions for the formal and informal learning spaces in the college of medicine. Methods: This study was conducted using literature reviews on the existing medical education method and learning space planning. Subsequently on-site surveys and questionnaires were conducted at existing facilities. Results: In the past, learning space of the college of medicine was considered only a formal learning space such lecture rooms, labs. But lately it has been turned into a total learning concept that embraces shared learning spaces such as libraries, student spaces, amenities and common spaces such as lobbies and hallways. ① Formal learning spaces are composed of teaching and practice areas. Since It is the basic functions that comprise the college of medicine, this paper conducted a functional analysis based on the current operating system of the College of Medicine and provided baseline data on architectural planning such as function, layout, zoning, and detailed planning. ② The informal learning sharing space was divided into a library area and a student well-being and convenience area to analyze the real conditions of domestic medical college. In addition, by comparing the trends and differences in foreign medical colleges identified by literature analysis, this paper summarizes the need to revitalize informal learning spaces and their integration into formal learning spaces, architectural planning considerations, etc. Implications: the evolution of the learning method and the flexibility of the learning space bring about changes in the learning space.

• Journal of Ship and Ocean Technology
• /
• v.9 no.4
• /
• pp.35-46
• /
• 2005

The performance of optimisation methods, based on penalty functions, is highly problem- dependent and many methods require additional tuning of some variables. This additional tuning is the influences of penalty coefficient, which depend strongly on the degree of constraint violation. Moreover, Binary-coded Genetic Algorithm (BGA) meets certain difficulties when dealing with continuous and/or discrete search spaces with large dimensions. With the above reasons, Real-coded Micro-Genetic Algorithm (R$\mu$GA) is proposed to find the global optimum of continuous and/or discrete nonlinear constrained engineering problems without handling any of penalty functions. R$\mu$GA can help in avoiding the premature convergence and search for global solution-spaces, because of its wide spread applicability, global perspective and inherent parallelism. The proposed R$\mu$GA approach has been demonstrated by solving three different engineering design problems. From the simulation results, it has been concluded that R$\mu$GA is an effective global optimisation tool for solving continuous and/or discrete nonlinear constrained real­world optimisation problems.

• Korean Journal of Mathematics
• /
• v.19 no.1
• /
• pp.77-85
• /
• 2011

In [7], Th.M. Rassias proved that the norm defined over a real vector space V is induced by an inner product if and only if for a fixed integer $n{\geq}2$ $${\sum_{i=1}^{n}}\left\|x_i-{\frac{1}{n}}{\sum_{j=1}^{n}}x_j \right\|^2={\sum_{i=1}^{n}}{\parallel}x_i{\parallel}^2-n\left\|{\frac{1}{n}}{\sum_{i=1}^{n}}x_i \right\|^2$$ holds for all $x_1$, ${\cdots}$, $x_n{\in}V$. Let V, W be real vector spaces. It is shown that if an even mapping $f:V{\rightarrow}W$ satisfies $$(0.1)\;{\sum_{i=1}^{2n}f}\(x_i-{\frac{1}{2n}}{\sum_{j=1}^{2n}}x_j\)={\sum_{i=1}^{2n}}f(x_i)-2nf\({\frac{1}{2n}}{\sum_{i=1}^{2n}}x_i\)$$ for all $x_1$, ${\cdots}$, $x_{2n}{\in}V$, then the even mapping $f:V{\rightarrow}W$ is quadratic. Furthermore, we prove the generalized Hyers-Ulam stability of the quadratic functional equation (0.1) in Banach spaces.