• Structural Engineering and Mechanics
• /
• v.18 no.1
• /
• pp.113-124
• /
• 2004

The information on local stress acting in a bridge is required in many occasions such as fatigue assessment. The analysis by beam elements cannot yield this class of information adequately, while the finite element modeling of an entire long-span bridge by shell elements is impractical. In the present study, the hybrid modeling is tried out: only part of a bridge in which the point of interest is located is discretized by shell elements and the remaining part is modeled by beam elements. By solving a simple box girder problem, the effectiveness of this approach is discussed. This technique is then applied to the Rama IX Bridge for local stress evaluation. The numerical results compare very well with the results of a full-scale static loading test. The present research thus offers a practical yet accurate technique for the stress analysis of a long-span cable-stayed bridge.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.453-458
• /
• 2001

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• The Journal of Korea Robotics Society
• /
• v.6 no.2
• /
• pp.189-196
• /
• 2011

This paper presents a method of topological modeling using only low-cost sonar sensors. The proposed method constructs a topological model by extracting sub-regions from the local grid map. The extracted sub-regions are considered as nodes in the topological model, and the corresponding edges are generated according to the connectivity between two sub-regions. A grid confidence for each occupied grid is evaluated to obtain reliable regions in the local grid map by filtering out noisy data. Moreover, a convexity measure is used to extract sub-regions automatically. Through these processes, the topological model is constructed without predefining the number of sub-regions in advance and the proposed method guarantees the convexity of extracted sub-regions. Unlike previous topological modeling methods which are appropriate to the corridor-like environment, the proposed method can give a reliable topological modeling in a home environment even under the noisy sonar data. The performance of the proposed method is verified by experimental results in a real home environment.

• Proceedings of the KIEE Conference
• /
• 1997.07b
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.43
• /
• pp.163-174
• /
• 1997

Development of control model and system for AMS (Automated Manufacturing Systems) has long been interested by researchers. Presented in the paper is a systematic approach to constructing a Petri-nets(PNs) model of AMS and method for design a graphical model of a AMS by using a new modeling tool which is called PNs. So, the procedure of modeling in the AMS is the same as current practice of AMS design and is based on the IOM (Integrated Object-oriented Modeling) paradigm. An AMS, which consists of various machine groups, can produce machine parts in different physical dimensions and lot size. To model such a system, the method which utilizes Sub-PNs are proposed. This enables the models according to part routings. The machine group which causes bottleneck is obtained and modified to relieve the problem. By iterating these steps which consist of modelling, simulation, and performance evaluation, an AMS can e obtained which satisfies the required manufacturing conditions. Finally, the implementation issues of PN modeling are addressed. The approach is the IOM from PN modeling by Sub-PNs and the other is a development of IOM tool for the performance evaluation of AMS.

• Journal of Elementary Mathematics Education in Korea
• /
• v.17 no.3
• /
• pp.483-501
• /
• 2013

The present study is to focus on thinking about the possibility of using mathematical modeling in the elementary schools. As well-known, mathematical education in Korea, even though students' high achievement in mathematics, has a lot of problems regarding their attitudes toward mathematics. Mathematical modeling is regarded as playing an important role in helping improve the current problems embedded in elementary mathematics education. Thus, this study reviewed the background that mathematical modeling attracted lots of attentions by many mathematics researchers, the definitions of mathematical modeling and the similarities and differences between problem solving and mathematical modeling. In addition, the processes and main features of well-known three representative models of mathematical modeling were reviewed, and each case of research on mathematical modeling in the elementary schools in Korea and foreign countries was introduced, respectively. Finally, this study suggests that mathematical modeling needs to be dealt with in the elementary school curriculum, together with the improvement of teachers' recognition for mathematical modeling.

• Journal of the Korean Society for Railway
• /
• v.3 no.4
• /
• pp.219-228
• /
• 2000

This paper presents an advanced approach to simulate AC electric railway system in steady-state. The algorithm consists of two parts. One is circuit modeling of elements of electric railway system, the other is an analysis on electric circuit. The modeling procedure has two steps, in the first step, proposed is the modeling method which is considered to be an internal impedance of the autotransformers and mutual impedances between the feeding systems. For the load(locomotives) modeling which is the second step, improved results are obtained as application to the proposed constant power model compared with constant impedance model. In the analysis on electric circuit, a generalized analysis method using the loop equation has been proposed and there is no limit in the number of trains between the ATs. In addition, the computer simulation by the proposed model was practiced. Simulation result seems very reasonable. It is therefore concluded that techniques for the electric circuit modeling and analysis have been established. Accuracy of the techniques will be further investigated.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.449-453
• /
• 2008

This research focused on analyzing and comparing between the results of hydraulic physical modeling and the results of numerical modeling of Grass Concrete which is newly developed in-situ block system. The physical model was built as a scale of 1:50 by Froude similitude measuring the water levels and the water velocities for before and after vegetation and the effects were analyzed after reviewing the results. In consequence, the water velocities were observed to decrease meanly 19.1%, and the water depth were determined to increase meanly 27.8% in case of the of design flood, $Q=200m^3/sec$. Moreover, the velocities were produced reduction effects of 27.2%, and the water levels were derived from addition effects of the highest 31.3% in case of the probability maximum flood(PMF), $Q=600m^3/sec$. To verifying the hydraulic physical modeling, the numerical modeling was conducted for a close examination of before and after vegetation. HEC-RAS model was for 1 dimensional numerical analysis and RMA-2 was for 2 dimensional numerical analysis. The results of the numerical simulation, under the condition of roughness coefficient calibration, shows similar results of the physical modeling. These satisfactory results show that the accomplished results of hydraulic modeling and the predicted results of numerical modeling corresponded reasonably each others.

• Journal of Korea Multimedia Society
• /
• v.23 no.5
• /
• pp.673-682
• /
• 2020

Buildings are becoming more and more high-rise and large-scale in recent years, so in the event of a disaster such as a fire, enormous human and economic damage is expected. Therefore, management, security, and fire control are essential for large buildings in the city. Because these large buildings are very complex outside and inside, they need a three-dimensional control based on 3D modeling rather than a simple flat-oriented control. To do this, this paper designed and implemented a building control system based on 3D modeling. Specifically, we designed a 3D building / facility editing module for 3D modeling of buildings, a 3D based control module for building control, and a linkage module that connects information such as firefighting equipment, electrical equipment and IoT equipment. Based on this design, a building control system based on 3D modeling was implemented.