• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.51-60
• /
• 2002

Some random fixed point theorems for nonexpansive and *-nonexpansive random operators defined on convex and star-shaped sets in a Frechet space are proved. Our work extends recent results of Beg and Shahzad and Tan and Yaun to noncontinuous multivalued random operators, sets analogue to an earlier result of Itoh and provides a random version of a deterministic fixed point theorem due to Singh and Chen.

• Journal of applied mathematics & informatics
• /
• v.35 no.1_2
• /
• pp.147-163
• /
• 2017

In this paper, we establish the necessary and sufficient Karush-Kuhn-Tucker (KKT) conditions for an optimization problem with difference of set-valued maps under generalized cone convexity assumptions. We also study the duality results of Mond-Weir (MW D), Wolfe (W D) and mixed (Mix D) types for the weak solutions of the problem (P).

• Communications of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.105-112
• /
• 2022

Let g : X ⟶ Y and f : Y ⟶ Z be two maps between real normed linear spaces. Then f is called generalized isometry or g-isometry if for each x, y ∈ X, ║f(g(x)) - f(g(y))║ = ║g(x) - g(y)║. In this paper, under special hypotheses, we prove that each generalized isometry is affine. Some examples of generalized isometry are given as well.

• Journal of applied mathematics & informatics
• /
• v.41 no.5
• /
• pp.937-946
• /
• 2023

In this present work, we inaugurated subclasses of analytic functions which are associated with generalized Mittag Leffler Functions. Inclusion implications and integral preserving properties under the Bernardi integral operator are investigated. Some consequences of these findings are also illustrated.

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

Lpt X be a reduced Stein space and L a holomorphic line bundle on X. L is spanned by its global sections and the associated holomorphic map $h_L\;:\;X{\to}P(H^0(X, L)^{\ast})$ is an embedding. Choose any locally convex vector topology ${\tau}\;on\;H^0(X, L)^{\ast}$ stronger than the weak-topology. Here we prove that $h_L(X)$ is sequentially closed in $P(H^0(X, L)^{\ast})$ and arithmetically Cohen -Macaulay. i.e. for all integers $k{\ge}1$ the restriction map ${\rho}_k\;:\;H^0(P(H^0(X, L)^{\ast}),\;O_{P(H^0(X, L)^{\ast})}(k)){\to}H^0(h_L(X),O_{hL_(X)}(k)){\cong}H^0(X, L^{\otimes{k}})$ is surjective.

• International Journal of Contents
• /
• v.12 no.2
• /
• pp.42-48
• /
• 2016

We present efficient algorithms for computing centroid directions for each of the three types of monotonicity in a polyhedron: strong, weak, and directional monotonicity, which can be used for optimizing directions in many 3D manufacturing processes. Strongly- and directionally-monotone directions are the poles of great circles separating a set of spherical polygons on the unit sphere, the centroids of which are shown to be obtained by applying the previous result for determining the maximum intersection of the set of their dual spherical polygons. Especially in this paper, we focus on developing an efficient method for approximating the weakly-monotone centroid, which is the pole of one of the great circles intersecting a set of spherical polygons on the unit sphere. The original problem is approximately reduced into computing the intersection of great bands for avoiding complicated computational complexity of non-convex objects on the unit sphere, which can be realized with practical linear-time operations.

• East Asian mathematical journal
• /
• v.24 no.1
• /
• pp.35-43
• /
• 2008

Let E be a uniformly convex Banach space and K be a nonempty closed convex subset of E. Let ${\{T_i\}}^N_{i=1}$ be N nonexpansive self-mappings of K with $F\;=\;{\cap}^N_{i=1}F(T_i)\;{\neq}\;{\theta}$ (here $F(T_i)$ denotes the set of fixed points of $T_i$). Suppose that one of the mappings in ${\{T_i\}}^N_{i=1}$ is semi-compact. Let $\{{\alpha}_n\}\;{\subset}\;[{\delta},\;1-{\delta}]$ for some ${\delta}\;{\in}\;(0,\;1)$ and $\{{\beta}_n\}\;{\subset}\;[\tau,\;1]$ for some ${\tau}\;{\in}\;(0,\;1]$. For arbitrary $x_0\;{\in}\;K$, let the sequence {$x_n$} be defined iteratively by $\{{x_n\;=\;{\alpha}_nx_{n-1}\;+\;(1-{\alpha}_n)T_ny_n,\;\;\;\;\;\;\;\;\; \atop {y_n\;=\;{\beta}nx_{n-1}\;+\;(1-{\beta}_n)T_nx_n},\;{\forall}_n{\geq}1,}$, where $T_n\;=\;T_{n(modN)}$. Then {$x_n$} convergence strongly to a common fixed point of the mappings family ${\{T_i\}}^N_{i=1}$. The result presented in this paper generalized and improve the corresponding results of Chidume and Shahzad [C. E. Chidume, N. Shahzad, Strong convergence of an implicit iteration process for a finite family of nonexpansive mappings, Nonlinear Anal. 62(2005), 1149-1156] even in the case of ${\beta}_n\;{\equiv}\;1$ or N=1 are also new.

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.2
• /
• pp.101-110
• /
• 2001

The maximum intersection of spherical convex polygons are to find spherical regions owned by the maximum number of the polygons, which is applicable for determining the feasibility in manufacturing problems such mould design and numerical controlled machining. In this paper, an efficient method for partitioning a sphere with the polygons into faces is presented for the maximum intersection. The maximum intersection is determined by examining the ownerships of partitioned faces, which represent how many polygons contain the faces. We take the approach of edge-based partition, in which, rather than the ownerships of faces, those of their edges are manipulated as the sphere is partitioned incrementally by each of the polygons. Finally, gathering the split edges with the maximum number of ownerships as the form of discrete data, we approximately obtain the centroids of all solution faces without constructing their boundaries. Our approach is analyzed to have an efficient time complexity Ο(nv), where n and v, respectively, are the numbers of polygons and all vertices. Futhermore, it is practical from the view of implementation since it can compute numerical values robustly and deal with all degenerate cases.

• Journal of Communications and Networks
• /
• v.15 no.3
• /
• pp.283-291
• /
• 2013

In this paper, we propose new multiuser detectors (MUDs) based on compressed sensing approaches for the large-scale multiple antenna systems equipped with dozens of low-power antennas. We consider the scenarios where the number of receiver antennas is smaller than the total number of users, but the number of active users is relatively small. This prior information motivates sparsity-embracing MUDs such as sparsity-embracing linear/nonlinear MUDs where the detection of active users and their symbol detection are employed. In addition, sparsity-embracing MUDs with maximum a posteriori probability criterion (MAP-MUDs) are presented. They jointly detect active users and their symbols by exploiting the probability of user activity, and it can be solved efficiently by introducing convex relaxing senses. Furthermore, it is shown that sparsity-embracing MUDs exploiting common users' activity across multiple symbols, i.e., frame-by-frame, can be considered to improve performance. Also, in multiple multiple-input and multiple-output networks with aggressive frequency reuse, we propose the interference cancellation strategy for the proposed sparsity-embracing MUDs. That first cancels out the interference induced by adjacent networks and then recovers the desired users' information by exploiting the low user activity. In simulation studies for binary phase shift keying modulation, numerical evidences establish the effectiveness of our proposed MUDs exploiting low user activity, as compared with the conventional MUD.

• Journal of the Institute of Convergence Signal Processing
• /
• v.5 no.4
• /
• pp.256-262
• /
• 2004

A key component of an autonomous mobile robot is to localize itself and build a map of the environment simultaneously. In this paper, we propose a vision-based localization and mapping algorithm of mobile robot using fisheye lens. To acquire high-level features with scale invariance, a camera with fisheye lens facing toward to ceiling is attached to the robot. These features are used in mP building and localization. As a preprocessing, input image from fisheye lens is calibrated to remove radial distortion and then labeling and convex hull techniques are used to segment ceiling and wall region for the calibrated image. At the initial map building process, features we calculated for each segmented region and stored in map database. Features are continuously calculated for sequential input images and matched to the map. n some features are not matched, those features are added to the map. This map matching and updating process is continued until map building process is finished, Localization is used in map building process and searching the location of the robot on the map. The calculated features at the position of the robot are matched to the existing map to estimate the real position of the robot, and map building database is updated at the same time. By the proposed method, the elapsed time for map building is within 2 minutes for 50㎡ region, the positioning accuracy is ±13cm and the error about the positioning angle of the robot is ±3 degree for localization.