• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.11
• /
• pp.1473-1480
• /
• 1999

In the case of Impingement of plane moving shock wave over concave or convex double wedges (pseudo-stationary flow) and cylindrical walls (truly non-stationary flow), it Is expected that there are transitions from regular reflection to Mach reflection or vice versa In shock wave reflections. In these connections, it is necessary to verify the various of reflection process and transition angle for the reflection problems In double wedges, and to verify the transition angle, effects of curvature radius and initial wall angle on it for the reflection problems In cylindrical walls. Especially, we focused our attention to confirm the existence of hysteresis phenomenon induced by the different transition processes, and Neumann paradox, which is a small discrepancy between theoretical and experimental transition angles. Experiments were carried out by using the shock tube of $6{\times}6cm^2$, and high speed photographic technique consisted of delay unit, triggering system, light source of Xe lamp and so on was used for flow visualization.

• Korean Journal of Mathematics
• /
• v.20 no.4
• /
• pp.423-431
• /
• 2012

There have been some study characterizing monoids by homological classification using the properties around projectivity, injectivity, or regularity of acts. In particular Kilp and Knauer([4]) have analyzed monoids over which all acts with one of the properties around projectivity or injectivity are regular. However Kilp and Knauer left over problems of characterization of monoids over which all regular right S-acts are (weakly) at, (weakly) injective or faithful. Among these open problems, Liu([3]) proved that all regular right S-acts are (weakly) at if and only if es is a von Neumann regular element of S for all $s{\in}S$ and $e^2=e{\in}T$, and that all regular right S-acts are faithful if and only if all right ideals eS, $e^2=e{\in}T$, are faithful. But it still remains an open question to characterize over which all regular right S-acts are weakly injective or injective. Hence the purpose of this study is to investigate the relations between regular right S-acts and weakly injective right S-acts, and then characterize the monoid over which all regular right S-acts are weakly injective.

• Journal of the Korean Mathematical Society
• /
• v.43 no.5
• /
• pp.931-950
• /
• 2006

We study the identification problems of constant parameters appearing in the perturbed sine-Gordon equation with the Neumann boundary condition. The existence of optimal parameters is proved, and necessary conditions are established for several types of observations by utilizing quadratic optimal control theory due to Lions [13].

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.31-48
• /
• 2010

In this article, we consider singularly perturbed Boundary Value Problems(BVPs) for second order Ordinary Differential Equations (ODEs) with Neumann boundary condition and discontinuous source term. A parameter-uniform error bound for the solution is established using the Streamline-Diffusion Finite Element Method (SDFEM) on a piecewise uniform meshes. We prove that the method is almost second order of convergence in the maximum norm, independently of the perturbation parameter. Further we derive superconvergence results for scaled derivatives of solution of the same problem. Numerical results are provided to substantiate the theoretical results.

• Journal of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.793-807
• /
• 2020

Stable range of rings is a unifying concept for problems related to the substitution and cancellation of modules. The newly appeared element-wise setting for the simplest case of stable range one is tempting to study the lifting property modulo ideals. We study the lifting of elements having (idempotent) stable range one from a quotient of a ring R modulo a two-sided ideal I by providing several examples and investigating the relations with other lifting properties, including lifting idempotents, lifting units, and lifting of von Neumann regular elements. In the case where the ring R is a left or a right duo ring, we show that stable range one elements lift modulo every two-sided ideal if and only if R is a ring with stable range one. Under a mild assumption, we further prove that the lifting of elements having idempotent stable range one implies the lifting of von Neumann regular elements.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.4
• /
• pp.593-600
• /
• 2003

Structural optimization often requires the evaluation of design sensitivities. The Semi Analytic Method(SAM) fur computing sensitivity is popular in shape optimization because this method has several advantages. But when relatively large rigid body motions are identified for individual elements. the SAM shows severe inaccuracy. In this study, the improvement of design sensitivities corresponding to the rigid body mode is evaluated by exact differentiation of the rigid body modes. Moreover. the error of the SAM caused by numerical difference scheme is alleviated by using a series approximation for the sensitivity derivatives and considering the higher order terms. Finally the present study shows that the refined SAM including the iterative method improves the results of sensitivity analysis in dynamic problems.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.3
• /
• pp.253-261
• /
• 2004

Game theory is mathematical analysis developed to study involved in making decisions. In 1928, Von Neumann proved that every two-person, zero-sum game with finitely many pure strategies for each player is deterministic. As well, in the early 50's, Nash presented another concept as the basis for a generalization of Von Neumann's theorem. Another central achievement of game theory is the introduction of evolutionary game theory, by which agents can play optimal strategies in the absence of rationality. Not the rationality but through the process of Darwinian selection, a population of agents can evolve to an Evolutionary Stable Strategy (ESS) introduced by Maynard Smith. Keeping pace with these game theoretical studies, the first computer simulation of co-evolution was tried out by Hillis in 1991. Moreover, Kauffman proposed NK model to analyze co-evolutionary dynamics between different species. He showed how co-evolutionary phenomenon reaches static states and that these states are Nash equilibrium or ESS introduced in game theory. Since the studies about co-evolutionary phenomenon were started, however many other researchers have developed co-evolutionary algorithms, in this paper we propose Game theory based Co-Evolutionary Algorithm (GCEA) and confirm that this algorithm can be a solution of evolutionary problems by searching the ESS.To evaluate newly designed GCEA approach, we solve several test Multi-objective Optimization Problems (MOPs). From the results of these evaluations, we confirm that evolutionary game can be embodied by co-evolutionary algorithm and analyze optimization performance of GCEA by comparing experimental results using GCEA with the results using other evolutionary optimization algorithms.

• Korean Journal of Mathematics
• /
• v.18 no.4
• /
• pp.425-440
• /
• 2010

Using Green's theorem, elliptic boundary value problems can be converted to boundary integral equations. A numerical methods for boundary integral equations are boundary elementary method(BEM). BEM has advantages over finite element method(FEM) whenever the fundamental solutions are known. Helmholtz type equations arise naturally in many physical applications. In a boundary integral formulation for the exterior Neumann there occurs a hypersingular operator which exhibits a strong singularity like $\frac{1}{|x-y|^3}$ and hence is not an integrable function. In this paper we are going to remove this hypersingularity by reducing the regularity of test functions.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.393-406
• /
• 2020

We analyze a posteriori error estimator for the conforming P2 finite element on triangular meshes which is based on the solution of local Neumann problems. This error estimator extends the one for the conforming P1 finite element proposed in [4]. We prove that it is asymptotically exact for the Poisson equation when the underlying triangulations are mildly structured and the solution is smooth enough.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.617-627
• /
• 1994

Algebraic spectral subspaces and admissible operators were introduced by K. B. Laursen and M. M. Neumann in 1988 [L88], [N]. These concepts are useful in automatic continuity problems of intertwining linear operators on Banach spaces. In this paper we characterize the algebraic spectral subspaces of generalized scalar operators. From this characterization we show that generalized scalar operators are admissible. Also we show that doubly power bounded operators are generalized scalar. And using the spectral capacity we show that a generalized scalar operator is decomposable. Then we give an example of an operator which is not admissible but decomposable.