• 한국CDE학회논문집
• /
• 제7권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.

• 호남수학학술지
• /
• 제39권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].

• 충청수학회지
• /
• 제24권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$.

• 호남수학학술지
• /
• 제35권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)$.

• 대한수학회보
• /
• 제37권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제6권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$.

• 수산해양기술연구
• /
• 제26권4호
• /
• pp.365-371
• /
• 1990

로오란C의 9970 chain과 5970 chain을 중심으로, 양 시스템을 이용하여 위치를 측정하였을 때의 측정위치의 정도를 평가할 수 있는 GDOP를 시뮬레이션으로 계산하여, 현 송신국의 이설에 따른 변화, 송신국의 시뮬레이션위치에 따른 변화 및 유효범위에 관하여 검사 분석한 결과를 요약하면 다음과 같다. 1. 9970 chain은 Z 종국이 과거 Yap도에서 현재의 Guam도로 이설된 후의 등GDOP선도에서, 주국의 이남부분을 보면 Yap도였을 때의 GDOP 2.0과 Guam도였을 때의 GDOP 3.0이 거의 일치하였으며, 전체적으로 GDOP의 값이 높아져 위치측정의 정도는 낮아져 있다. 2. 9970 chain의 Z 종국이 영토문제로 인접국인 일본으로 이관되지 않고 폐쇄되는 경우는 남측인 남지나해 및 Guam도 부근해역은 GDOP의 값이 크게 높아져, 5.0의 등GDOP선이 Fig.3에서는 2.0, Fig.4에서는 3.0의 등 GDOP선과 대개 일치하였다. 3. 9970 chain의 X 종국과 5970 chain의 X 종국은 송신국이 이관될 경우 전파의 전파경로 및 배치상태상 재배치하여 위치의 정도를 높이고 이용범위를 넓힐 필요성이 있다.

• 대한수학회지
• /
• 제45권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
• /
• 제24권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.