• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.05a
• /
• pp.59-60
• /
• 2023

The automation of container terminals is an important factor that determines port competitiveness, and global advanced ports tend to strengthen their competitiveness through container terminal automation. The operational efficiency of the AGV, which is an essential transport equipment of the automated terminal, can improve the productivity of the automated terminal. The operation of AGVs in automated container terminals differs from that of conventional container terminals, as it is based on an automated system in which AGVs travel along designated paths and operate according to assigned tasks, requiring consideration of factors such as workload, congestion, and collisions. To prevent such problems and improve the efficiency of AGV operations, a more sophisticated model is necessary. Thus, this paper proposes an AGV scheduling model that takes into account the AGV travel path and task assignment within the terminal The model prevent the problem of deadlock and. various cases are generated by changing AGV algebra and number of tasks to create AGV driving situations and evaluate the proposed algorithm through algorithm and optimization analysis.

• Journal of the Korean Data and Information Science Society
• /
• v.20 no.6
• /
• pp.1015-1027
• /
• 2009

Many problems of confounding and identifiability for polynomial models in an experimental design can be solved using methods of algebraic geometry. The theory of $Gr\ddot{o}bner$ basis is used to characterize the design. In addition, a fractional factorial design can be uniquely represented by a polynomial indicator function. $Gr\ddot{o}bner$ bases and indicator functions are powerful computational tools to deal with ideals of fractions based on each different theoretical aspects. The problem posed here is to give how to move from one representation to the other. For a given fractional factorial design, the indicator function can be computed from the generating equations in the $Gr\ddot{o}bner$ basis. The theory is tested using some fractional factorial designs aided by a modern computational algebra package CoCoA.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.3
• /
• pp.357-379
• /
• 2010

There are many studies about the method of trying leveled class because we say the Excellence of Education after high school's Equalization Policy. After the leveled c1ass, Ministry of Education, Science and Tech. announced the induction of leveled classes' evaluation in 2008, it is called that students take classes adapted to their levels. This study illustrates criteria of forming evaluation, it composes leveled assessment tests referenced by Gibb's evaluation effects & Cotton's evaluation principles. Before anything else, this study induced contents of studies which is emphasized the structure rather than the arithmetic that is based on Foucault' s analysis of mathematics' class and examination & MacGregor's point of algebra. Since then we made leveled assessment tests which made by students' Question. And then, In this study, we modified evaluation tests appropriately by criteria of evaluation and analysing the result.

• Journal of the Korean Society of Safety
• /
• v.31 no.5
• /
• pp.187-194
• /
• 2016

A single fire event within a fire area can cause multiple initiating events considered in internal events probabilistic safety assessment (PSA). For an example, a fire event in turbine building fire area can cause a loss of the main feed-water and loss of off-site power initiating events. This fire initiating event could result in special plant responses beyond the scope of the internal events PSA model. One approach to address a fire initiating event is to develop a specific fire event tree. However, the development of a specific fire event tree is difficult since the number of fire event trees may be several hundreds or more. Thus, internal fire events PSA model has been generally constructed by modifications of the pre-developed internal events PSA model. New accident sequence logics not covered in the internal events PSA model are separately developed to incorporate them into the fire PSA model. Recently, many fire PSA models have fire induced initiating event fault trees not shown in an internal event PSA model. Up to now, there has been no analytical comparative study on the constructions of fire events PSA model using internal events PSA model with and without fault trees of initiating events. In this study, the changing process of internal events PSA model to fire events PSA model is analytically presented and discussed.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.39-50
• /
• 2004

GML proposed to offer interoperability of geography information is specifying various dynamic object schema for application in the wireless environment. These GML dynamic object schema supports the expression of moving objects that the position and shape change consecutively over time, so practical use of GML is increased in location-based service that provides various application services based on location information of moving objects. In particular, the conventional query languages about GML have been studied with priority given to the integration of geographic information, the support of spatial operations, and etc. However, it lacks the support for moving objects queries. Therefore, in this paper, we propose the moving objects query language that supports moving objects queries for GML documents by extension of XQuery that is standard in query language. Also, data model, algebra operation and various moving objects operators for the proposed query language are designed, and we apply the proposed query language to tornado government organization system to show that the proposed query language can be used effectively in various location-based service.

• Structural Engineering and Mechanics
• /
• v.27 no.6
• /
• pp.713-739
• /
• 2007

Nowadays computers can perform symbolic computations in addition to mere number crunching operations for which they were originally designed. Symbolic computation opens up exciting possibilities in Structural Mechanics and engineering. Classical areas have been increasingly neglected due to the advent of computers as well as general purpose finite element software. But now, classical analysis has reemerged as an attractive computer option due to the capabilities of symbolic computation. The repetitive cycles of simultaneous - equation sets required by the finite element technique can be eliminated by solving a single set in symbolic form, thus generating a truly closed-form solution. This consequently saves in data preparation, storage and execution time. The power of Symbolic computation is demonstrated by six examples by applying symbolic computation 1) to solve coupled shear wall 2) to generate beam element matrices 3) to find the natural frequency of a shear frame using transfer matrix method 4) to find the stresses of a plate subjected to in-plane loading using Levy's approach 5) to draw the influence surface for deflection of an isotropic plate simply supported on all sides 6) to get dynamic equilibrium equations from Lagrange equation. This paper also presents yet another computationally efficient and accurate numerical method which is based on the concept of derivative of a function expressed as a weighted linear sum of the function values at all the mesh points. Again this method is applied to solve the problems of 1) coupled shear wall 2) lateral buckling of thin-walled beams due to moment gradient 3) buckling of a column and 4) static and buckling analysis of circular plates of uniform or non-uniform thickness. The numerical results obtained are compared with those available in existing literature in order to verify their accuracy.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.139-155
• /
• 2011

In recent years, parents of students and government have been taking a growing interest in education for the gifted students and there are many research reports about the gifted education. Most of the reports, however, focuses on the conceptional feature of the gifted education program such as organization, operation, management, evaluation, etc,. In other words, there are very few researches on instructional materials for gifted students even though the materials is a critical factor for successful education programs. So, this paper introduces a lecture notes used in a personal education for gifted students to contribute in developing education contents in computer science area. The instructional materials titled as "The Necessity and Application of Matrix in Computer Science" is based on linear equation to usher the students into creative problem recognition and groping for solutions. Also, the instructional materials is useful for students to understand the tight mathematics-computer science relationship and the basic concept of liner algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• School Mathematics
• /
• v.10 no.2
• /
• pp.139-154
• /
• 2008

The primary purpose of this study was to investigate how sixth grade elementary school students react to the types of letters use, what levels of understanding letters students are in and what difficulties are in understanding letters, and to raise issues about instructional methods of algebra. A descriptive study through pencil-and- paper tests was conducted. The test instruments consisted of 18 questions with 6 types of letters use. According to the results of testing, students' types of letter use and the levels of understanding letters were classified. The conclusions from the results of this study were as follows: First, the higher the types of letters use, the more sixth grade elementary school students had low scores on the types. Therefore, teaching methodologies of letters and expressions in the classroom need to encourage for students to improve their ability of using and understanding letter. Second, approximately 40% of students were categorized in level 3. Accordingly it is necessary to have a program of teaching and learning to improve their understanding levels of letters. Third, approximately 15% of students were categorized in level 0. In order to develop understanding of letters, it is important that students use letter evaluated and letter used as an object. Fourth, students had the difficulties in understanding letters. It is informative for teachers to understand these students' difficulties and thinking processes. Finally, we must treat the different uses of letters and introduce them successively according to the student's understanding levels of letters.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.101-122
• /
• 2004

It has been always the issue to discuss 'how we teach mathematics' for the mathematical learning. As for an answer to this, it was suggested to use the history of mathematics. The reason is simple that is, the education of mathematics requires to understand mathematics and to know the history of mathematics is effective for mathematical understanding. In particular, the history of algebra was discussed to some extent as an illustration. This study focuses on the history of geometry from this point of view. We review the history of geometry by comparison in terms of three criteria from the origin of geometry to modem differential geometry in the middle of the 20th century, which are backgrounds (inner or outer ones), characterizations (approach, method, object), influences to modem mathematics. As an application of such historical data to the education of mathematics, we pose the problem to determine the order of instruction in mathematics.