• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.165-181
• /
• 2004

Based on Landau-type transformation, a Stefan problem with non-linear free boundary condition is transformed into a system consisting of parabolic equation and the ordinary differential equations. Semidiscrete approximations are constructed. Optimal orders of convergence of semidiscrete approximation in $L_2$, $H^1$ and $H^2$ normed spaces are derived.

• Proceeding of EDISON Challenge
• /
• 2014.03a
• /
• pp.457-458
• /
• 2014

In this paper, quantum mechanical simulations of the double-gate ultra-thin body (DG-UTB) MOSFETs are performed according to the International Technology Roadmap of Semiconductors (ITRS) specifications planned for 2020, to devise the way for on-current ($I_{on}$) improvement. We have employed non-equilibrium Green's function (NEGF) approach and solved the self-consistent equations based on the parabolic effective mass theory [1]. Our study shows that the [100]/<001> Ge and GaSb channel devices have higher $I_{on}$ than Si channel devices under the body thickness ($T_{bd}$) <5nm condition.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.12
• /
• pp.1573-1581
• /
• 1988

In this paper, the analysis on the dual mode conical horn antennas is made to realize the optimum horn as the primary feed of the offset parabolic antenna for the domestic broadcasting satellite. Such analysis can give rise to the approximate equations and graphs on the beam width, which makes it possible to design the desired conical horn. It has been shown that the radiation charateristics of designed horn antenna built with the dielectric band inside the horn. The designed dual mode horn antenna may provide the useful basis to practical usage of the antenna in the domestic satellite broadcasting communication systems.

• Tunnel and Underground Space
• /
• v.6 no.3
• /
• pp.234-238
• /
• 1996

Three empirical criteria of rock failure are analyzed in order to understand the meaning of coefficients. Transformation of equations is discussed to apply in the numerical analysis. New failure criterion for intact rocks is proposed in this study, which can be used directly in programming. New equation has the form of parabolic curve($\alpha$=0.5~1.0), and is based on Mohr's shear failure using data from triaxial tests. Its validity will be discussed in the next report.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.713-723
• /
• 2003

We study a limit problem of reflected solutions of parabolic stochastic partial differential equations driven by martingale measures. The existence of solutions is found in an extension of the work with respect to white noise by Donati-Martin and Pardoux [4]. We show that if a certain sequence of driving martingale measures converges, the corresponding solutions also converge in the Skorohod topology.

• Bulletin of the Korean Chemical Society
• /
• v.8 no.2
• /
• pp.83-88
• /
• 1987

The Smoluchowski equations with a linear and a parabolic potentials in one-dimensional case are solved for the reflecting boundary condition. Analytic expressions for the long-time behaviors of the remaining probabilities are obtained. These results, together with the previous result for a step potential, show the dependence of the desorption process on the form of potential. The effect of the radiation boundary condition is also investigated for three types of potentials.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.465-477
• /
• 2023

In this study, we consider a heat equation with a variable-coefficient linear forcing term and a time-periodic boundary condition. Under some decay and smoothness assumptions on the coefficient, we establish the existence and uniqueness of a time-periodic solution satisfying the boundary condition. Furthermore, possible connections to the closed boundary layer equations were discussed. The difficulty with a perturbed leading order coefficient is demonstrated by a simple example.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.11 no.5
• /
• pp.755-761
• /
• 1987

Two-Dimensional incompressible laminar boundary layer with the reversed flow region is computed using the parially parabolized Navier-Stokes equations in primitive variables. The velocities and the pressure are explicity coupled in the difference equation and the resulting penta-diagonal matrix equations are solved by a streamwise marching technique. The test calculations for the trailing edge region of a finite flat plate and Howarth's linearly retarding flows demonstrate that the method is accurate, efficient and capable of predicting the reversed flow region.

• Steel and Composite Structures
• /
• v.34 no.2
• /
• pp.241-260
• /
• 2020

This article presented a comprehensive model to study static buckling stability and associated mode-shapes of higher shear deformation theories of sandwich laminated composite beam under the compression of varying axial load function. Four higher order shear deformation beam theories are considered in formulation and analysis. So, the model can consider the influence of both thick and thin beams without needing to shear correction factor. The compression force can be described through axial direction by uniform constant, linear and parabolic distribution functions. The Hamilton's principle is exploited to derive equilibrium governing equations of unified sandwich laminated beams. The governing equilibrium differential equations are transformed to algebraic system of equations by using numerical differential quadrature method (DQM). The system of equations is solved as an eigenvalue problem to get critical buckling loads and their corresponding mode-shapes. The stability of DQM in determining of buckling loads of sandwich structure is performed. The validation studies are achieved and the obtained results are matched with those. Parametric studies are presented to figure out effects of in-plane load type, sandwich thickness, fiber orientation and boundary conditions on buckling loads and mode-shapes. The present model is important in designing process of aircraft, naval structural components, and naval structural when non-uniform in-plane compressive loading is dominated.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1349-1353
• /
• 2003

CEMTool is a command style design and analyzing package for scientific and technological algorithm and a matrix based computation language. In this paper, we present a compiler based approach to the implementation of the command mode generalized PDE solver in CEMTool. In contrast to the existing MATLAB PDE Toolbox, our proposed FEM package can deal with the combination of the reserved words such as "laplace" and "convect". Also, we can assign the border lines and the boundary conditions in a very easy way. With the introduction of the lexical analyzer and the parser, our FEM toolbox can handle the general boundary condition and the various PDEs represented by the combination of equations. That is why we need not classify PDE as elliptic, hyperbolic, parabolic equations. Consequently, with our new FEM toolbox, we can overcome some disadvantages of the existing MATLAB PDE Toolbox.