• KCI Concrete Journal
• /
• 제11권3호
• /
• pp.141-151
• /
• 1999

In the replacement of bearing system of bridges, the jacking work to secure work spaces may cause damage of the superstructure, hence the behavior of superstructure by the jacking force must be considered. Especially, in prestressed concrete I-type girder bridges, considering the stress concentration at the girder and the load redistribution of superstructure, the allowable jacking force and jacking sequence have to be determined. In this study, an analytical method is proposed to calculate the jacking force and overall jacking sequence for the replacement of bearing system without any damage to the superstructure. The stress concentration at the girder and load redistribution of the deck due to jacking force are considered to compute the allowable jacking force for each girder and overall jacking sequence for girders in the deck. Using the solution algorithm developed in this study, the optimum jacking sequence and required jacking force for the prestressed concrete I-type gilder bridge having the standard sections are calculated.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제12권1호
• /
• pp.60-70
• /
• 2020

The outfitting design of ships and offshore structures is mainly undertaken in a restricted space. Pipes occupying a large portion of outfitting design are normally manufactured outside the shipyard. This complicated manufacturing process results in frequent delivery delays. Inevitable design modifications and material changes have also resulted in inefficient pipe installation works. In this study, an algorithm is proposed to systematically determine the pipe installation sequence. An accurate and fast algorithm to identify the geometric relationship of piping materials is presented. To improve the calculation efficiency, the interference is gradually examined from simplified to complicated shapes. It is demonstrated that the calculation efficiency is significantly improved with successive geometric operations such as back-face culling and use of bounding boxes. After the final installation sequence is determined, the entire installation process is visualized in a virtual reality environment so that the process can be rendered and understood for a full-scale model.

• Journal of applied mathematics & informatics
• /
• 제40권1_2호
• /
• pp.327-339
• /
• 2022

In this paper, we introduce arithmetic ${\mathcal{I}}$-statistically convergent sequence space $A{\mathcal{I}}SC$, ${\mathcal{I}}$-lacunary arithmetic statistically convergent sequence space $A{\mathcal{I}}SC_{\theta}$, strongly ${\mathcal{I}}$-lacunary arithmetic convergent sequence space $AN_{\theta}[{\mathcal{I}}]$ and prove some inclusion relations between these spaces. Futhermore, we give ${\mathcal{I}}$-lacunary arithmetic statistical continuity. Finally, we define ${\mathcal{I}}$-Cesàro arithmetic summability, strongly ${\mathcal{I}}$-Cesàro arithmetic summability. Also, we investigate the relationship between the concepts of strongly ${\mathcal{I}}$-Cesàro arithmetic summability, strongly ${\mathcal{I}}$-lacunary arithmetic summability and arithmetic ${\mathcal{I}}$ -statistically convergence.

• 대한수학회논문집
• /
• 제37권1호
• /
• pp.259-267
• /
• 2022

We use L_∞ models to compute the rational homotopy type of the mapping space of the component of the natural inclusion i_n,k : ℂPⁿ ↪ ℂP^n+k between complex projective spaces and show that it has the rational homotopy type of a product of odd dimensional spheres and a complex projective space. We also characterize the mapping aut₁ ℂPⁿ → map(ℂPⁿ, ℂP^n+k; i_n,k) and the resulting G-sequence.

• 한국실내디자인학회논문집
• /
• 제21권5호
• /
• pp.181-188
• /
• 2012

Body movements of humans have emotions and these movements have meanings of 'Living Spirits' and 'Emotions'. Also emotions of humans indicate all body movements which are made within the environment. This study aims at providing new potentials to emotional design research methods not only by understanding the characteristics of visual perception according to body movements and but by investigating correlations between sequence which arise by the visual perception and emotions through experiments. As for the scope and method of this study, the emotional space designs were analyzed through the emotional theory study, SD method was used to evaluate emotions and the movements in the modern village and traditional village with similar elements were compared and analyzed for the empirical study. As a result, first it was confirmed waling hours in the traditional village took more than the modern village and it is thought movements of humans are affected by the visual environments. Second, it was confirmed values of the emotional evaluation were higher in the traditional village than the modern village. Third, according to a result of the correlation analysis between space sequence and emotions, it was closed with negative emotions such as 'Closed', and 'Complicated' from positive emotional words such as 'Natural'. 'Open', 'Curious', etc. as spaces are experienced more through movements in the modern village. On the contrary, the emotional intensity of the positive words such as 'In Harmony', 'Beautiful' and 'Warn' through movements in the traditional village increased as spaces were experienced more. As a result of this study, it was confirmed the time, space and emotions have correlations each other.

• 대한수학회논문집
• /
• 제20권1호
• /
• pp.71-78
• /
• 2005

In this paper, the iterative solution is studied for equation Tx = f with a uniformly continuous ${\varphi}$-strongly accretive operators in arbitrary real Banach spaces. Our results extend, generalize and improve the corresponding results obtained by Zeng [11].

• 대한수학회보
• /
• 제38권2호
• /
• pp.231-236
• /
• 2001

In this note we construct a sequence of Picard iterates suitable for the approximation of solutions of K-positive definite operator equations in arbitrary real Banach spaces. Explicit error estimate is obtained and convergence is shown to be as fast as a geometric progression.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제12권1호
• /
• pp.17-31
• /
• 2005

In this paper we prove common fixed point theorems for three mappings under the condition of weak compatible mappings, without taking any function continuous in fuzzy metric space and then extend this result to fuzzy 2-metric space and fuzzy 3-metric space.

• Journal of Applied and Pure Mathematics
• /
• 제4권1_2호
• /
• pp.37-50
• /
• 2022

In this article we define and study the notions of $\mathcal{I}$-convergence and $\mathcal{I}$-Cauchy of triple sequences in the topology induced by random 2-normed spaces and prove some theorems based on them.

• 한국조경학회지
• /
• 제16권2호
• /
• pp.23-41
• /
• 1988

Environmental design pattern of the nine Small Urban Spaces at C.B.D. in City of Seoul are surveyed and analyzed for user's satisfaction and behavior under the environmental design evaluation by using Chrisopher Alexander's Pattern Language. Small Urban Spaces as a part of streetscape are formed by physical factors as well as visual environment and interacting user's behavior. Therefore, user's satisfacuion and behavior at the nine Urban Small Spaces were investigated under the further search for some possibilities of a pplication of those Pattern Languages. A pattern language has a structure of a network. It is used in sequence, going through the patterns, moving always from large patterns to smaller, always from the ones which create comes simply from the obsernation that most of the wonderful places of the city were not made by architects but by the people. It defines the limited number of arrangements of spaces that make sense in any given culture. And it actually gives us the power to generate these coherent arrangement of space. As a results, 'Plazl', 'Seats' and 'Accessibility' related design patterns are highly evaluated by Pattern Frequency, Pattern Interaction and their Composition ranks, thus reconfirm Whyte's Praise of urban Small Spaces in our inner city design environments. According to the multiple regression analysis of user's evaluation, the environmental functins related to the satisfaction were 'Plaza', 'Accessibility' and 'Paving'. According to the free response, user's prefer such visually pleasing environmental design object as 'Waterscape' and 'Setting'. In addition to, the basic needs in Urban Small Spaces are amenity facilities as bench, drinking water and shade for rest.