• Transactions of Materials Processing
• /
• v.23 no.3
• /
• pp.139-144
• /
• 2014

In the current study, we present a new model for predicting width spread of a slab with a dog-bone shaped cross section during rolling in the roughing train of a hot strip mill. The approach is based on the extremum principle for a rigid plastic material and a three dimensional admissible velocity field. The upper bound theorem is used for calculating the width spread of the slab. The prediction accuracy of the proposed model is examined through comparison with the predictions from 3-D finite element (FE) process simulations.

• Communications of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.103-119
• /
• 2021

In this article, we study a system of generalized set-valued parametric ordered variational inclusion problems with operator ⊕ in ordered Banach spaces. We introduce the concept of the resolvent operator associated with (α, λ)-ANODSM set-valued mapping and establish the existence theorem of solution for the system of generalized set-valued parametric ordered variational inclusion problems in ordered Banach spaces. In order to prove the existence of solution, we suggest an iterative algorithm and discuss the convergence analysis under some suitable mild conditions.

• Current Optics and Photonics
• /
• v.6 no.1
• /
• pp.1-9
• /
• 2022

This paper proposes a robust, simple zonal wavefront-estimation method in a grid sampling model. More slopes are added to the integral equation of the algorithm to improve the accuracy and convergence rate of this approach, especially for higher-order optical aberrations. The Taylor theorem is applied to clarify the mathematical description of the remaining error in the proposed method. Several numerical simulations are conducted to ensure the performance and improvement in comparison to the Southwell and previous algorithm. An experiment is also conducted according to deflectometry output and the results are verified using a reference measured with a stylus system.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.33-46
• /
• 2023

Geodesic orbit spaces are homogeneous Finsler spaces whose geodesics are all orbits of one-parameter subgroups of isometries. Such Finsler spaces have vanishing S-curvature and hold the Bishop-Gromov volume comparison theorem. In this paper, we obtain a complete description of invariant (α₁, α₂)-metrics on spheres with vanishing S-curvature. Also, we give a description of invariant geodesic orbit (α₁, α₂)-metrics on spheres. We mainly show that a Sp(n + 1)-invariant (α₁, α2)-metric on S⁴ⁿ⁺³ = Sp(n + 1)/Sp(n) is geodesic orbit with respect to Sp(n + 1) if and only if it is Sp(n + 1)Sp(1)-invariant. As an interesting consequence, we find infinitely many Finsler spheres with vanishing S-curvature which are not geodesic orbit spaces.

• Journal of Information Processing Systems
• /
• v.19 no.4
• /
• pp.450-464
• /
• 2023

To address the problems of large system overhead and low timeliness when dealing with task scheduling in mobile edge cloud computing, a task scheduling and resource management strategy for edge cloud computing based on an improved genetic algorithm was proposed. First, a user task scheduling system model based on edge cloud computing was constructed using the Shannon theorem, including calculation, communication, and network models. In addition, a multi-objective optimization model, including delay and energy consumption, was constructed to minimize the sum of two weights. Finally, the selection, crossover, and mutation operations of the genetic algorithm were improved using the best reservation selection algorithm and normal distribution crossover operator. Furthermore, an improved legacy algorithm was selected to deal with the multi-objective problem and acquire the optimal solution, that is, the best computing task scheduling scheme. The experimental analysis of the proposed strategy based on the MATLAB simulation platform shows that its energy loss does not exceed 50 J, and the time delay is 23.2 ms, which are better than those of other comparison strategies.

• School Mathematics
• /
• v.12 no.3
• /
• pp.273-299
• /
• 2010

The purpose of the study is designing and implementing 'Sampling Distributions Simulation' to help students to understand concepts of sampling distributions. This computer simulation is developed to help students understand sampling distributions more easily. 'Sampling Distributions Simulation' consists of 4 sessions. 'The first session - Confidence level and confidence intervals - includes checking if the intended confidence level is actually achieved by the real relative frequency for the obtained sample confidence intervals containing population mean. This will give the students clearer idea about confidence level and confidence intervals in addition to the role of sampling distribution of the sample means among those. 'The second session - Sampling Distributions - helps understand sampling distribution of the sample means, through the simulation method to make comparison between the histogram of sampling distributions and that of the population. The third session - The Central Limit Theorem - includes calculating the means of the samples taken from a population which follows a uniform distribution or follows a Bernoulli distribution and then making the histograms of those means. This will provides comprehension of the central limit theorem, which mentions about the sampling distribution of the sample means when the sample size is very large. The forth session - the normal approximation to the binomial distribution - helps understand the normal approximation to the binomial distribution as an alternative version of central limit theorem. With the practical usage of the shareware 'Sampling Distributions Simulation', we expect students to have a new vision on the sampling distribution and to get more emphasis on it. With the sound understandings on the sampling distributions, more accurate and profound statistical inferences are expected. And the role of the sampling distribution in the inferences should be more deeply appreciated.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.11
• /
• pp.945-954
• /
• 1990

In this paper, we presents a robust adaptive control system design method in the work coordinate of the robot arm for conveyor tracking. In the design, if the weighting function $L_K$ is smaller than the design parameter then the transient characteristics of system becomes stable, if $L_K$ is larger than then the system becomes unstable. Proposed design method presented here is based on model referenece adaptive control and Popov stability theorem. By the utiliza/tion of an auxilary input, it is improved the transent characteristics of the system in comparison with the conventional model reference adptive control, since the rate of V and V(t) is large. The usefulness of a proposed design method has been confirmed by computer simulations.

• ETRI Journal
• /
• v.38 no.2
• /
• pp.326-336
• /
• 2016

We propose and describe new error control algorithms for redundant residue number systems (RRNSs) and residue number system product codes. These algorithms employ search techniques for obtaining error values from within a set of values (that contains all possible error values). For a given RRNS, the error control algorithms have a computational complexity of $t{\cdot}O(log_2\;n+log_2\;{\bar{m}})$ comparison operations, where t denotes the error correcting capability, n denotes the number of moduli, and ${\bar{m}}$ denotes the geometric average of moduli. These algorithms avoid most modular operations. We describe a refinement to the proposed algorithms that further avoids the modular operation required in their respective first steps, with an increase of ${\lceil}log_2\;n{\rceil}$ to their computational complexity. The new algorithms provide significant computational advantages over existing methods.

• Journal of the Society of Naval Architects of Korea
• /
• v.57 no.2
• /
• pp.114-123
• /
• 2020

A high-order potential-based panel method based on Green's theorem, with piecewise-linear dipole strength on triangular panels, is formulated for the analysis of potential flow around a three-dimensional wing. Previous low-order panel methods adopt square panels with piecewise-constant dipole strength, which results in inherent errors. Square panels can not represent a high curvature lifting body, such as propellers, since the four vertices of the square panel do not locate at the same flat plane. Moreover the piecewise-constant dipole strength induces inevitable errors due to the steps in dipole strength between adjacent panels. In this paper a high-order panel method is formulated to improve accuracy by adopting a piecewise linear dipole strength on triangular panels. Firstly, the square panels are replaced by triangular panels in order to increase the geometric accuracy in representing the shape of the object with large curvature. Next, the step difference of the dipole strength between adjacent panels is removed by adopting piecewise-linear dipole strength on the triangular panels. The calculated results by the present method is compared with analytical ones for simple non-lifting geometries, such as ellipsoid. The results for an elliptic wing with zero thickness at finite angle of attack are compared with Jordan's results. The comparison shows reasonable agrements for the both lifting and non-lifting bodies.

• Geomechanics and Engineering
• /
• v.23 no.1
• /
• pp.1-13
• /
• 2020

To give a solution for seismic stability of tunnel faces subjected to earthquake ground shakings, the pseudo-dynamic approach is originally introduced to analyze tunnel face stability in this study. In the light of the upper-bound theorem of limit analysis, an advanced three-dimensional mechanism combined with pseudo-dynamic approach is proposed. Based on this mechanism, the required support pressure on tunnel face can be obtained by equaling external work rates to the internal energy dissipation and implementing an optimization searching procedure related to time. Both time and space feature of seismic waves are properly accounted for in the proposed mechanism. For this reason, the proposed mechanism can better represent the actual influence of seismic motion and has a remarkable advantage in evaluating the effects of vertical seismic acceleration, soil amplification factor, seismic wave period and initial phase difference on tunnel face stability. Furthermore, the pseudo-dynamic approach is compared with the pseudo-static approach. The difference between them is illustrated from a new but understandable perspective. The comparison demonstrates that the pseudo-static approach is a conservative method but still could provide precise enough results as the pseudo-dynamic approach if the value of seismic wavelengths is large or the height of soil structures is small.