• Nonlinear Functional Analysis and Applications
• /
• v.29 no.2
• /
• pp.461-475
• /
• 2024

The concept of an extension α-F-contraction and it's modified counterpart represents an advancement in the theory of metric space contractions. Through our study of the contraction principles and it's relationship to extension and modified extension, we found different conditions somewhat lengthy. In our paper, we create a development of the conditions for the extension of α-F-contraction and a modified α-F-contraction by reducing the conditions and make them easier. Our propose conditions are notably simple and effective. They serve as the foundation for proving theorems and solving examples that belong to our study. Moreover, they have remarkable significance in the condition of mathematical analysis and problem-solving. Thus, we find that these new conditions that we mention in the definitions achieve what is require and through them, we choose λ = 1 and we choose λ ∈ (0, 1) to clarify our ideas.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.913-919
• /
• 2014

We investigate the relationships between the space X and the hyperspaces concerning admissibility and connectedness im kleinen. The following results are obtained: Let X be a Hausdorff continuum, and let A, $B{\in}C(X)$ with $A{\subset}B$. (1) If X is c.i.k. at A, then X is c.i.k. at B if and only if B is admissible. (2) If A is admissible and C(X) is c.i.k. at A, then for each open set U containing A there is a continuum K and a neighborhood V of A such that $V{\subset}IntK{\subset}K{\subset}U$. (3) If for each open subset U of X containing A, there is a continuum B in C(X) such that $A{\subset}B{\subset}U$ and X is c.i.k. at B, then X is c.i.k. at A. (4) If X is not c.i.k. at a point x of X, then there is an open set U containing x and there is a sequence $\{S_i\}^{\infty}_{i=1}$ of components of $\bar{U}$ such that $S_i{\longrightarrow}S$ where S is a nondegenerate continuum containing the point x and $S_i{\cap}S={\emptyset}$ for each i = 1, 2, ${\cdots}$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.101-110
• /
• 2005

Let (X, D; ${\Gamma}$) be a G-convex space and Y a Hausdorff space. Then $U^K_C$(X, Y) ${\subset}$ KD(X, Y), where $U^K_C$ is an admissible class (dup to Park) and KD denotes the class of multimaps having the KKM property for open-valued multimaps. This new result is used to obtain a KKM type theorem, matching theorems, a fixed point theorem, and a coincidence theorem.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1017-1029
• /
• 2010

In this paper we obtain a very general theorem of $\rho$-compatibility for three multivalued mappings, one of them from the class $\mathfrak{B}$. More exactly, we show that given a G-convex space Y, two topological spaces X and Z, a (binary) relation $\rho$ on $2^Z$ and three mappings P : X $\multimap$ Z, Q : Y $\multimap$ Z and $T\;{\in}\;\mathfrak{B}$(Y,X) satisfying a set of conditions we can find ($\widetilde{x},\;\widetilde{y}$) ${\in}$ $X\;{\times}\;Y$ such that $\widetilde{x}\;{\in}\;T(\widetilde{y})$ and $P(\widetilde{x}){\rho}\;Q(\widetilde{y})$. Two particular cases of this general result will be then used to establish existence theorems for the solutions of some general equilibrium problems.

• The Journal of Korea Robotics Society
• /
• v.12 no.1
• /
• pp.86-93
• /
• 2017

The Expanded Guide Circle (EGC) method has been originally proposed as the guidance navigation method for improving the efficiency of the remote operation using the sensory information. The previous algorithm is, however, concerned only for the omni-directional mobile robot, so it needs to suggest a suitable one for a mobile robot with non-holonomic constraints. The ego-kinematic transform is a method to map points of $R^2$ into the ego-kinematic space which implicitly represents non-holonomic constraints for admissible paths. Thus, robots with non-holonomic constraints in the ego-kinematic space can be considered as "free-flying object". In this paper, we propose an effective obstacle avoidance method for mobile robots with non-holonomic constraints by applying EGC method in the ego-kinematic space using the ego-kinematic transformation. This proposed method shows that it works better for non-holonomic mobile robots such as differential-drive robot than the original one. The simulation results show its effectiveness of performance.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2477-2484
• /
• 1997

Best-first heuristic search algorithm, such as $A^{\ast}$ algorithm, are one of the most important techniques used to solve many problems in artificial intelligence. A common feature of heuristic search is its high computational complexity, which prevents the search from being applied to problems is practical domains such as route-finding in road map with significantly many nodes. In this paper, several heuristic search algorithms are concerned. A new dynamic weighting heuristic method called the pat-sensitive heuristic is proposed. It is based on a dynamic weighting heuristic, which is used to improve search effort in practical domain such as admissible heuristic is not available or heuristic accuracy is poor. It's distinctive feature compared with other dynamic weighting heuristic algorithms is path-sensitive, which means that ${\omega}$(weight) is adjusted dynamically during search process in state-space search domain. For finding an optimal path, randomly scattered road-map is used as an application area.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.25-36
• /
• 2013

By using some existence theorems of maximal elements for a family of set-valued mappings involving a better admissible set-valued mapping under noncompact setting of FC-spaces, we present some non-empty intersection theorems for a family $\{G_i\}_{i{\in}I}$ in product FC-spaces. Then, as applications, some new existence theorems of equilibrium for a system of generalized vector equilibrium problems are proved in product FC-spaces. Our results improve and generalize some recent results.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1477-1480
• /
• 1997

This paper is concerned with the design of a suboptimal robust Kalman filter using LMI approach for system models in the state space, which are subjected to parameter uncertainties in both the state and measurement atrices. Under the assumption that augmented system composed of the uncertain system and the state estimation error dynamics should be stable, a Lyapunov inequality is obtained. And from this inequaltiy, the filter design problem can be transformed to the gneric LMI problems i.e., linear objective minimization problem and generalized eigenvalue minimization problem. When applied to uncertain linear system modles, the proposed filter can provide the minimum upper bound of the estimation error variance for all admissible parameter uncertainties.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1989.04a
• /
• pp.33-37
• /
• 1989

According to the Rayleigh-Ritz approximation method, a solution can be represented as a finite series consisting of space-dependent functions, which satisfy all the geometric boundary conditions of the problem and appropriate smoothness requirement in the interior of the domain. In this paper, an efficient formulation for solving structural dynamics systems in frequency domain is presented. A general procedure called Ritz modes (or vectors) generation algorithm is used to generate the admissible functions, i.e. Ritz modes, Then, the use of direct superposition of the Ritz modes is utilized to reduce the size of the problem in spatial dimension via geometric coordinates projection. For the reduced system, the frequency domain approach is applied. Finally, a numerical example is presented to illustrate the effectiveness of the proposed method.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.95-98
• /
• 1985

In [1], E.B. Lee and L. Markus described a sufficient condition for which the domain of null-controllability of a linear autonomous system is all of R$^{n}$ . The purpose of this note is to extend the result to a certain linear nonautonomous system. Thus we consider a linear control system dx/dt = A(t)x+B(t)u in the Eculidean n-space R$^{n}$ where A(t) and B(t) are n*n and n*m matrices, respectively, which are continuous on 0.leq.t<.inf. and A(t) is a periodic matrix of period .omega.. Admissible controls are bounded measurable functions defined on some finite subintervals of [0, .inf.) having values in a certain convex set .ohm. in R$^{m}$ with the origin in its interior. And we present a sufficient condition for which the domain of null-controllability is all of R$^{n}$ .