• 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.

• Elastomers and Composites
• /
• v.56 no.2
• /
• pp.79-84
• /
• 2021

A strain energy density function is used to characterize the hyperelasticity of rubber-like materials. Conventional models, such as the Neo-Hookean, Mooney-Rivlin, and Ogden models, are widely used in automotive industries, in which the strain potential is derived from strain invariants or principal stretch ratios. A fitting procedure for experimental data is required to determine material constants for each model. However, due to the complexities of the mathematical expression, these models can only produce an accurate curve fitting in a specified strain range of the material. In this study, a hyperelastic model for Neodymium Butadiene rubber is developed by using the Artificial Neural Network. Comparing the analytical results to those obtained by conventional models revealed that the proposed model shows better agreement for both uniaxial and equibiaxial test data of the rubber.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2678-2680
• /
• 2000

In this paper, we calculates mathematical model of ex-core neutron flux monitoring system for nuclear reactor and design the digital system using the bilinear transformations. The output pulse shape and resolving time of the system determines from the proposed method.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.1
• /
• pp.13-13
• /
• 1988

This paper considers the sequencing problem in mixed model assembly lines with hybrid workstation types and sequence-dependent setup times. Computation time is often a critical factor in choosing a method of determining the sequence. We develop a mathematical formulation of the problem to minimize the overall length of a line, and present a tabu search technique which can provide a near optimal solution in real time. The proposed technique is compared with a genetic algorithm and a branch-and-bound method. Experimental results are reported to demonstrate the efficiency of the technique.

• Journal of the Korean Society of Safety
• /
• v.23 no.4
• /
• pp.59-66
• /
• 2008

Recently, the deterioration of reinforced concrete structures, primarily due to corrosion of steel reinforcement, has become a major concern. Chloride-induced deterioration is the most important deterioration phenomenon in reinforced concrete structures in harsh environments. For the realistic prediction of chloride penetration into concrete, a mathematical model was developed in which the effects of diffusion, chloride binding and convection due to water movement can be taken into account. The aim of this research was to reach a better understanding on the physical mechanisms underlying the deterioration process of reinforced concrete associated with chloride-induced corrosion and to propose a reliable method for estimating these effects. Chloride concentrations coming from de-icing salts are significantly influenced by the exposure conditions such as salt usage, ambient temperature and repeated wet-dry cycles.

• Journal of Power Electronics
• /
• v.14 no.4
• /
• pp.754-763
• /
• 2014

In this paper a method for the development of a static VAR compensator (SVC) control algorithm is presented. The proposed algorithm has been designed with the objective of eliminating the negative impact of electric arc furnaces on the power system. First, a mathematical model of the proposed SVC controller in the d-q synchronous rotating coordinate system is developed. An analysis under dynamic and steady state conditions is also carried out. The efficiency of the presented controller is demonstrated by means of computer simulations of an actual steel-factory network model. The major advantages of the proposed controller are better flicker compensation, increased ability to regulate voltage and the need for only one-point network measurements.

• The Journal of Economics, Marketing and Management
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2016

The purpose of this paper is to discuss the methodology of optimizing delivery route scheduling using a capacity integer linear programming problem model developed to a previous case study. The methodology suggests a two-stage decision: the first, automatic, where the manager will obtain guidance generated by the solution of the linear programming model, later they could use post-optimization techniques to fine tune to the best operational solution. This study has the goal to reduce the size of service companies' ground transportation fleets, aiming not only to reduce costs and increase competitive advantages but also to lower levels of air pollution and its consequences, traffic and, therefore, the levels of carbon dioxide, allowing for a reduction in envir onmental disasters.

• Journal of Korea Water Resources Association
• /
• v.37 no.4
• /
• pp.329-339
• /
• 2004

The main objective of this study is to develop a GIS-based two-dimensional model for the simulation of rainfall-runoff process and overland flow of a watershed. The tasks of this study are summarized: to develop a two-dimensional model for overland flow and to construct a rainfall-runoff simulation system linked with GIS. The mathematical formulation of the model incorporates four parts: spatially varied rainfall, spatially distributed infiltration, 1-directional, 4-directional and 8-directional overland flow routing scheme, and one-dimensional channel routing scheme. For the development of stochastic model, Monte Carlo simulation method has been directly integrated into the model. GIS using Arc/Info and ArcView has been applied to prepare the model input data(elevation, soil type, rainfall data, etc.) for a simulation and to demonstrate the simulation results.

• Journal of Elementary Mathematics Education in Korea
• /
• v.24 no.3
• /
• pp.259-277
• /
• 2020

The purpose of this study was to develop and validate a scale of Korean elementary teachers' mathematics beliefs. We examined 299 elementary teachers' mathematical beliefs using 30 items, out of which 12 items covered beliefs about the nature of mathematics and 18 items covered beliefs about mathematics teaching and learning. In the first stage, we performed exploratory factor analysis using 149 survey data to examine the factor structure. In the second stage, we performed confirmatory factor analysis using 150 survey data. Building upon previous studies, we examined the construct validity of three different models to find the best factor structure. The study results indicate that the four-factor model with 14 items provides the best fit for the data: transmissive view of mathematics, constructivist view of mathematics, transmissive view of teaching and learning, and constructivist view of teaching and learning. The findings of the study reveal that each factor has adequate internal consistency and reliability. These results confirm that the beliefs scale is a reliable and valid measurement tool to measure Korean elementary teachers' mathematical beliefs. The implications of the study are discussed.

• Journal of the Korean School Mathematics Society
• /
• v.9 no.3
• /
• pp.405-424
• /
• 2006

The purpose of this study was to develop the instruments which can measure behavior characteristics as a component of Mathematically Giftedness with in middle school period. This study prescribed the variable factors of measurement after classify the characteristics of Mathematically Giftedness through literature studies. And it produced instruments those are finally composed of 51 items through the preliminary test. The participants for the study were 424 Korean middle school students. Statistical analyses were carried out to verify the validities and reliability. Reliability(Cronbach $\alpha$) was in behavior characteristics, .95. Content validity was found to be satisfactory by internal validity evaluation on the test items. Internal validity were analyzed by BIGSTEPTS based on Rasch's 1-parameter item-response model. Construct validity was also found to be satisfactory through factor analysis which showed the four factors which the identification instruments were intended to measure such as, General mathematical mental ability, Mathematical Ability, Processing and Obtaining mathematical information Anility and Mathematical Disposition Ability. In conclusion, the instruments about behavior characteristics of Mathematically Giftedness during middle school period developed by this study are highly reliable on its reliability and validity.