• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.91-103
• /
• 2013

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.723-730
• /
• 2004

The definition of a D-admissible fuzzy subset for an operator domain D on a group G is modified to obtain new kinds of (${\in},\;{\in}\;{\vee}q$)-fuzzy subgroups such as an (${\in},\;{\in}\;{\vee}q$)-fuzzy normal subgroup, an (<${\in},\;{\in}\;{\vee}q$)-fuzzy characteristic subgroup, an (<${\in},\;{\in}\;{\vee}q$)-fuzzy fully invariant subgroup which are invariant under D. As results, some of the fundamental properties of such (${\in},\;{\in}\;{\vee}q$)-fuzzy subgroups are obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1387-1400
• /
• 2021

Suppose that $T=\(\array{A&0\\U&B}\)$ is a formal triangular matrix ring, where A and B are rings and U is a (B, A)-bimodule. Let ℭ₁ and ℭ₂ be two classes of left A-modules, 𝔇₁ and 𝔇₂ be two classes of left B-modules. We prove that (ℭ₁, ℭ₂) and (𝔇₁, 𝔇₂) are admissible balanced pairs if and only if (p(ℭ₁, 𝔇₁), h(ℭ₂, 𝔇₂) is an admissible balanced pair in T-Mod. Furthermore, we describe when ($P^{C_1}_{D_1}$, $I^{C_2}_{D_2}$) is an admissible balanced pair in T-Mod. As a consequence, we characterize when T is a left virtually Gorenstein ring.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.5
• /
• pp.949-959
• /
• 2021

In this paper, some fixed point theorems for new type of (𝜉, 𝛽)-expansive mappings of type (S) and type (T) using control function and 𝛽-admissible function in 𝒢-metric spaces are proved. Further, we prove certain fixed point results by relaxing the continuity condition.

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

• Transactions of Materials Processing
• /
• v.23 no.3
• /
• pp.145-150
• /
• 2014

Precision control of the slab is crucial for product quality and production economy in hot strip mills. The current study presents a new model for predicting width spread of a slab with a rectangular cross section during roughing. The model is developed on the basis of the extremum principle for a rigid plastic material and a three dimensional admissible velocity field. This model incorporates the effect of process variables such as the shape factor and the ratio of width to thickness. We compare the results of this model to 3-D finite element (FE) process simulations and also to results from a previous study.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.259-267
• /
• 2002

Let X be a hemicompact space with ($K_{n}$) as an admissible exhaustion, and for each n $\in$ N, $A_{n}$ a Banach function algebra on $K_{n}$ with respect to $\parallel.\parallel_n$ such that $A_{n+1}\midK_{n}$$\subsetA_n$ and${\parallel}f{\mid}K_n{\parallel}_n{\leq}{\parallel}f{\parallel}_{n+1}$ for all f$\in$$A_{n+1}$, We consider the subalgebra A = { f $\in$ C(X) : $\forall_n\;{\epsilon}\;\mathbb{N}$ of C(X) as a frechet function algebra and give a result related to its spectrum when each $A_{n}$ is natural. We also show that if X is moreover noncompact, then any closed subalgebra of A cannot be topologized as a regular Frechet Q-algebra. As an application, the Lipschitzalgebra of infinitely differentiable functions is considered.d.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.5
• /
• pp.323-330
• /
• 2004

In this paper, we propose a design method of PID controller using an improved Tabu Search. Tabu Search is improved by neighbor solution creation using Gaussian random distribution and generalized Hermite Biehler Theorem for stable bounds. The range of admissible proportional gains are determined first in closed form. Next the optimal PID gains are selected by improved Tabu Search. The results of Computer simulations represent that the proposed Tabu Search algorithm shows a fast convergence speed and a good control performance.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.462-465
• /
• 2002

This paper deals with the problem of synthesis of stable and optimal grasps with unknown objects by 3-finger hand. Previous robot grasp research has analyzed mainly with either unknown objects 2D by vision sensor or unknown objects, cylindrical or hexahedral objects, 3D. Extending the previous work, in this paper we propose an algorithm to analyze grasp of unknown objects 3D by vision sensor. This is archived by two steps. The first step is to make a 3D geometrical model of unknown objects by stereo matching which is a kind of 3D computer vision technique. The second step is to find the optimal grasping points. In this step, we choose the 3-finger hand because it has the characteristic of multi-finger hand and is easy to modeling. To find the optimal grasping points, genetic algorithm is used and objective function minimizing admissible farce of finger tip applied to the object is formulated. The algorithm is verified by computer simulation by which an optimal grasping points of known objects with different angles are checked.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.2
• /
• pp.195-201
• /
• 2005

This paper discusses the problem of positive real control for uncertain 2-D linear discrete time singular Roesser models (2-D SRM) with time-invariant norm-bounded parameter uncertainty. The purpose of this study is to design a state feedback controller such that the resulting closed-loop system is acceptable, jump modes free and stable, and achieves the extended strictly positive realness for all admissible uncertainties. A version of positive real lemma for the 2-D SRM is given in terms of linear matrix inequalities (LMIs). Based on the lemma, a sufficient condition for the solvability of the positive real control problem is derived in terms of bilinear matrix inequalities (BMIs) and an iterative procedure for solving the BMIs is proposed.