• Journal of Korean Society of Transportation
• /
• v.12 no.3
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• Transactions of Materials Processing
• /
• v.14 no.6 s.78
• /
• pp.547-552
• /
• 2005

In general, the sheet metal and die are described by finite elements for the simulation of the metal forming processes. Because the characteristics as continuum of the sheet metal are represented with triangles and rectangles, the errors occur inevitably in finite element analysis. Many contact schemes to describe the deformation modes exactly have been introduced in order to decrease these errors. In this study, a scheme for continuous contact treatment is proposed in order to consider the realistic behavior of contact phenomena during the forming process. The discrete mesh causes stepwise propagation of contact nodes of the sheet even though the contact region of the real forming process is altered very smoothly. It gives rise to convergence problem in case that the process, for example bending process, is sensitive to the contact between the sheet and the tools. The analysis of the unconstrained cylindrical bending process without blank holder is also presented in order to investigate the effect of the proposed algorithm.

• Structural Engineering and Mechanics
• /
• v.55 no.6
• /
• pp.1157-1176
• /
• 2015

This study presents optimizing structural topology patterns using regularization of Heaviside function. The present method needs not filtering process to typical SIMP method. Using the penalty formulation of the SIMP approach, a topology optimization problem is formulated in co-operation, i.e., couple-signals, with design variable values of discrete elements and a regularized Heaviside step function. The regularization of discontinuous material distributions is a key scheme in order to improve the numerical problems of material topology optimization with 0 (void)-1 (solid) solutions. The weak forms of an equilibrium equation are expressed using a coupled regularized Heaviside function to evaluate sensitivity analysis. Numerical results show that the incorporation of the regularized Heaviside function and the SIMP leads to convergent solutions. This method is tested using several examples of a linear elastostatic structure. It demonstrates that improved optimal solutions can be obtained without the additional use of sensitivity filtering to improve the discontinuous 0-1 solutions, which have generally been used in material topology optimization problems.

• Korean Journal of Optics and Photonics
• /
• v.2 no.4
• /
• pp.233-241
• /
• 1991

Structures, fabrication, and characteristics of top-surface-emitting GaAs four quantum well microlaser are described. The microlasers have good room-temperautre CW characteristivs. The maximum CW laser output is >3mW from a 30 $\mu\textrm{m}$ diameter microlaser and the maximum differential quantum efficiency is >70% from a 10 $\mu\textrm{m}$ diameter microlaser. Active surface emitting laser logic devices are designed and fabricated as a discrete version of a top-surface-emitting laser and heterojunction phototransistor. The active surface emitting laser logic device have high optical gain (>20 overall, >200 differential) and very high on/off ratio. Two-dimensional arrays of top-surface-emitting microlasers and active surface emitting laser logic devices will be critical elements for optical computing, photonic switching and neural network applications.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.929-934
• /
• 2005

The complex and dynamic job nature and the ever-changing working environment of construction projects inevitably present uncertainties to construction operations. Identification, evaluation and control of uncertainties constitute main elements of risk management and critical tasks of project management in construction. This paper is focused on application of a simplified discrete-event simulation approach in management of schedule-overrun risks, each being the combination of the occurrence probability of an uncertain interruptive factor and its potential consequence in terms of time delay. A case study observed from a concreting operation in Hong Kong is converted into a simulation model and analyzed with an in-house-developed simulation package for demonstrating how the proposed approach can be implemented to manage multiple schedule-overrun risks on construction projects.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.109-118
• /
• 2013

This paper adopts the system configuration to assess the reliability instead of making a fault tree (FT), which is a traditional method to analyze reliability of a certain system; this is the reliability block diagram (RBD) method. The RBD method is a graphical presentation of a system diagram connecting the subsystems of components according to their functions or reliability relationships. The equipment model for the reliability simulation is modeled based on the discrete event system specification (DEVS) formalism. In order to make various alternatives of target system, this paper also adopts the system entity structure (SES), an ontological framework that hierarchically represents the elements of a system and their relationships. To enhance the calculation time of reliability analysis, GPU-based accelerations are adopted to the reliability simulation.

• Journal of Korean Society of Transportation
• /
• v.26 no.1
• /
• pp.145-153
• /
• 2008

Existing shortest-path algorithms mainly consider a single attribute. But traveler actually chooses a route considering not single attribute but various attributes which are synthesized travel time, route length, personal preference, etc. Therefore, to search the optimal path, these attributes are considered synthetically. In this study route searching algorithm which selects the maximum utility route using discrete choice model has developed in order to consider various attributes. Six elements which affect route choice are chosen for the route choice model and parameters of the models are estimated using survey data. A multinomial logit models are developed to design the function of route choice model. As a result, the model which has route length, delay time, the number of turning as parameter is selected based on the significance test. We use existing shortest path algorithm, which can reflect urban transportation network such as u-turn or p-turn, and apply it to the real network.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.97-118
• /
• 2011

This study aimed finding effective models for the teaching the concept of function. We selected two models. One is discrete model which focuses on the 'corresponding relation of the elements of the sets(domain and range). The other is continuous model which focuses on the dependent relationship of the two variables connected in variable phenomenon. A vending machine model was used as a discrete model, and a water bucket model was used as a continuous model in our study. We taught 2 times about the concept of function using two models to the 60 students (7th grade, 2 classes) living in Taebak city, and tested it twice, after class and about 3 months later. A vending machine model was helpful in understanding the definition of function in the 7th grade math textbook. Also, it was helpful to making concept image and to recalling it. On the other hand, students who used the water bucket model had a difficultly in understanding the all independent variables of the domain corresponding to the dependent variables. But they excelled in tasks making formula expression and understanding changing situations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.7
• /
• pp.723-731
• /
• 2016

A core technological base to provide enhanced data rates required by 5G mobile wireless communications is the improved bandwidth efficiency using massive multiple-input multiple-output (MIMO) transmission. MIMO transmission requires the channel estimation using the channel state information reference signaling (CSI-RS) and appropriate beamforming, thus the design of the codebook defining proper beamforming vectors is an important issue. In this paper, we propose a multi-rank codebook based on the discrete Fourier transform (DFT) matrix, by utilizing statistical properties of the channel generated by the spatial channel model (SCM). The proposed method includes a structural change of the precoding matrix indicator (PMI) by considering the phase difference distributions between adjacent antenna elements, as well as the selected codevector characteristics of each transmission layer. Performance gain of the proposed method is evaluated and verified by making the performance comparison to the 3GPP standard codebooks adopted by Long-Term Evolution (LTE) systems.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2002.09a
• /
• pp.373-375
• /
• 2002

4D CT is a dynamic volume imaging system of moving organs with an image quality comparable to conventional CT, and is realized with continuous and high-speed cone-beam CT. In order to realize 4D CT, we have developed a novel 2D detector on the basis of the present CT technology, and mounted it on the gantry frame of the state-of-the-art CT-scanner. In the present report we describe the design of the first model of 4D CT-scanner as well as the early results of performance test. The x-ray detector for the 4D CT-scanner is a discrete pixel detector in which pixel data are measured by an independent detector element. The numbers of elements are 912 (channels) ${\times}$ 256 (segments) and the element size is approximately 1mm ${\times}$ 1mm. Data sampling rate is 900views(frames)/sec, and dynamic range of A/D converter is 16bits. The rotation speed of the gantry is l.0sec/rotation. Data transfer system between rotating and stationary parts in the gantry consists of laser diode and photodiode pairs, and achieves net transfer speed of 5Gbps. Volume data of 512${\times}$512${\times}$256 voxels are reconstructed with FDK algorithm by parallel use of 128 microprocessors. Normal volunteers and several phantoms were scanned with the scanner to demonstrate high image quality.