• Korean Journal of Computational Design and Engineering
• /
• v.7 no.4
• /
• pp.219-232
• /
• 2002

In numerically controlled(NC) machining simulation, a Z-map has been used frequently for representing a workpiece. Since the Z-map is usually represented by a set of Z-axis aligned vectors, the machining process can be simulated through calculating the intersection points between the vectors and the surface swept by a machining tool. In this paper, we present an efficient method to calculate those intersection points when an APT-type tool moves along a linear tool path. Each of the intersection points can be expressed as the solution of a system of non-linear equations. We transform this system of equations into a single-variable equation, and calculate the candidate interval in which the unique solution exists. We prove the existence of a solution and its uniqueness in this candidate interval. Based on these characteristics, we can effectively apply numerical methods to finally calculate the solution of the non-linear equations within a given precision. The whole process of NC simulation can be achieved by updating the Z-map properly. Our method can provide more accurate results with a little more processing time, in comparison with the previous closed-form solution.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.575-590
• /
• 2017

A new class of functions called $R_{\theta}$-supercontinuous functions is introduced. Their basic properties are studied and their place in the hierarchy of strong variants of continuity, which already exist in the literature, is elaborated. The class of $R_{\theta}$-supercontinuous functions properly contains the class of $R_z$-supercontinuous functions [39] which in turn properly contains the class of $R_{cl}$-supercontinuous functions [43] and so includes all cl-supercontinuous (clopen continuous) functions ([38], [34]) and is properly contained in the class of $R_{\delta}$-supercontinuous functions [24].

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.609-616
• /
• 2011

Observing that $vX{\times}vY$ is a Wallman realcompactification of $X{\times}Y$ if $v(X{\times}vY)=vX{\times}vY$, we show that $v(X{\times}Y)=vX{\times}vY$ if and only if $X{\times}Y$ is z-embedded in $vX{\times}vY$ and $vX{\times}vY$ is a Wallman compactification of $X{\times}Y$.

• Honam Mathematical Journal
• /
• v.35 no.2
• /
• pp.303-310
• /
• 2013

In this paper, we first show that $z_{{\kappa}X}:E_{cc}({\kappa}X){\rightarrow}{\kappa}X$ is $z^{\sharp}$-irreducible and that if $\mathcal{G}(E_{cc}({\beta}X))$ is a base for closed sets in ${\beta}X$, then $E_{cc}({\kappa}X)$ is $C^*$-embedded in $E_{cc}({\beta}X)$, where ${\kappa}X$ is the extension of X such that $vX{\subseteq}{\kappa}X{\subseteq}{\beta}X$ and ${\kappa}X$ is weakly Lindel$\ddot{o}$f. Using these, we will show that if $\mathcal{G}({\beta}X)$ is a base for closed sets in ${\beta}X$ and for any weakly Lindel$\ddot{o}$f space Y with $X{\subseteq}Y{\subseteq}{\kappa}X$, ${\kappa}X=Y$, then $kE_{cc}(X)=E_{cc}({\kappa}X)$ if and only if ${\beta}E_{cc}(X)=E_{cc}({\beta}X)$.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.743-753
• /
• 2000

In the space $C_1(X)$ of real-valued continuous functions with $L_1-norm$, every bounded set has a relative Chebyshev center in a finite-dimensional subspace S. Moreover, the set function $F\rightarrowZ_S(F)$ corresponding to F the set of its relative Chebyshev centers, in continuous on the space B[$C_1(X)$(X)] of nonempty bounded subsets of $C_1(X)$ (X) with the Hausdorff metric. In particular, every bounded set has a relative Chebyshev center in the closed convex set S(F) of S and the set function $F\rightarrowZ_S(F)$(F) is continuous on B[$C_1(X)$ (X)] with a condition that the sets S(.) are equal.

• The Pure and Applied Mathematics
• /
• v.6 no.1
• /
• pp.39-45
• /
• 1999

The concept of pseudoLindelof spaces is introduced. It is shown that the followings are equivalent: (a) for any two disjoint zero-sets in X, at least one of them is Lindelof, (b) $\mid$vX{\;}-{\;}X$\mid${\leq}{\;}1$, and (c) for any space T with $X{\;}{\subseteq}{\;}T$, there is an embedding $f{\;}:{\;}vX{\;}{\rightarrow}{\;}vT$ such that f(x) = x for all $x{\;}{\in}{\;}X$ and that if $X{\;}{\times}{\;}Y$ is a z-embedded pseudoLindelof subspace of $vX{\;}{\times}{\;}vY,{\;}then{\;}v(X{\;}{\times}{\;}Y){\;}={\;}vX{\;}{\times}{\;}vY$.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.26 no.4
• /
• pp.365-371
• /
• 1990

In this paper, the authors calculate GDOP(Geometric Dilution of Precision) with the mast and slave transmitting stations at the past and present and simulation positions in the 9970 chain and 5970 chain of the loran C system, and analyzed variations of the GDOP and effective ranges in accordance with the shifting of transmitting stations. The results obtained are as follows; 1) The line 3.0 of equi-GDOP map that the Z slave station of 9970 chain is Guam island is falled on with line 2.0 of it's map that it is Yap island approximately, and units of GDOP of calculating with Guam island are increased then them with Yap island on the south parts of mast station. 2) If the control right of Z slave station of 9970 chain could be not transfered to japan and be closed on account of the territorial problems, the units of GDOP to calculate without it's station at any positions are very increased and the accuracy is down on the south parts of mast station. The line 5.0 of it's map is falled on with line 2.0 in case of Yap island, its Z station, and line 3.0 in case of Guam island with Z slave station approximately. 3) The X slave station of 9970 chain and 5970 chain are required rearrangement for the purpose of accurating position fix and expending service area in view of propagation route of wave and arrangement of transmitting station.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1393-1404
• /
• 2008

Let K be a nonempty closed convex subset of a Banach space E. Suppose $\{T_{n}\}$ (n = 1,2,...) is a uniformly asymptotically regular sequence of nonexpansive mappings from K to K such that ${\cap}_{n=1}^{\infty}$ F$\(T_n){\neq}{\phi}$. For $x_0{\in}K$, define $x_{n+1}={\lambda}_{n+1}x_{n}+(1-{\lambda}_{n+1})T_{n+1}x_{n},n{\geq}0$. If ${\lambda}_n{\subset}[0,1]$ satisfies $lim_{n{\rightarrow}{\infty}}{\lambda}_n=0$, we proved that $\{x_n\}$ weakly converges to some $z{\in}F\;as\;n{\rightarrow}{\infty}$ in the framework of reflexive Banach space E which satisfies the Opial's condition or has $Fr{\acute{e}}chet$ differentiable norm or its dual $E^*$ has the Kadec-Klee property. We also obtain that $\{x_n\}$ strongly converges to some $z{\in}F$ in Banach space E if K is a compact subset of E or there exists one map $T{\in}\{T_{n};n=1,2,...\}$ satisfy some compact conditions such as T is semi compact or satisfy Condition A or $lim_{n{\rightarrow}{\infty}}d(x_{n},F(T))=0$ and so on.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.437-448
• /
• 2007

Suppose K is a nonempty closed convex nonexpansive retract of a real uniformly convex Banach space E with P as a nonexpansive retraction. Let $T_1,\;T_2\;and\;T_3\;:\;K{\rightarrow}E$ be nonexpansive mappings with nonempty common fixed points set. Let $\{\alpha_n\},\;\{\beta_n\},\;\{\gamma_n\},\;\{\alpha'_n\},\;\{\beta'_n\},\;\{\gamma'_n\},\;\{\alpha'_n\},\;\{\beta'_n\}\;and\;\{\gamma'_n\}$ be real sequences in [0, 1] such that ${\alpha}_n+{\beta}_n+{\gamma}_n={\alpha}'_n+{\beta'_n+\gamma}'_n={\alpha}'_n+{\beta}'_n+{\gamma}'_n=1$, starting from arbitrary $x_1{\in}K$, define the sequence $\{x_n\}$ by $$\{zn=P({\alpha}'_nT_1x_n+{\beta}'_nx_n+{\gamma}'_nw_n)\;yn=P({\alpha}'_nT_2z_n+{\beta}'_nx_n+{\gamma}'_nv_n)\;x_{n+1}=P({\alpha}_nT_3y_n+{\beta}_nx_n+{\gamma}_nu_n)$$ with the restrictions $\sum^\infty_{n=1}{\gamma}_n<\infty,\;\sum^\infty_{n=1}{\gamma}'_n<\infty,\; \sum^\infty_{n=1}{\gamma}'_n<\infty$. (i) If the dual $E^*$ of E has the Kadec-Klee property, then weak convergence of a $\{x_n\}$ to some $x^*{\in}F(T_1){\cap}{F}(T_2){\cap}(T_3)$ is proved; (ii) If $T_1,\;T_2\;and\;T_3$ satisfy condition(A'), then strong convergence of $\{x_n\}$ to some $x^*{\in}F(T_1){\cap}{F}(T_2){\cap}(T_3)$ is obtained.