• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.217-227
• /
• 2016

Let X be a nonempty set, and let $\mathfrak{F}=\{Y_i:i{\in}I\}$ be a family of nonempty subsets of X with the properties that $X={\bigcup}_{i{\in}I}Y_i$, and $Y_i{\cap}Y_j={\emptyset}$ for all $i,j{\in}I$ with $i{\neq}j$. Let ${\emptyset}{\neq}J{\subseteq}I$, and let $T^{(J)}_{\mathfrak{F}}(X)=\{{\alpha}{\in}T(X):{\forall}i{\in}I{\exists}_j{\in}J,Y_i{\alpha}{\subseteq}Y_j\}$. Then $T^{(J)}_{\mathfrak{F}}(X)$ is a subsemigroup of the semigroup $T(X,Y^{(J)})$ of functions on X having ranges contained in $Y^{(J)}$, where $Y^{(J)}:={\bigcup}_{i{\in}J}Y_i$. For each ${\alpha}{\in}T^{(J)}_{\mathfrak{F}}(X)$, let ${\chi}^{({\alpha})}:I{\rightarrow}J$ be defined by $i{\chi}^{({\alpha})}=j{\Leftrightarrow}Y_i{\alpha}{\subseteq}Y_j$. Next, we define two congruence relations ${\chi}$ and $\widetilde{\chi}$ on $T^{(J)}_{\mathfrak{F}}(X)$ as follows: $({\alpha},{\beta}){\in}{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}={\chi}^{({\beta})}$ and $({\alpha},{\beta}){\in}\widetilde{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}{\mid}_J={\chi}^{({\alpha})}{\mid}_J$. We begin this paper by studying the regularity of the quotient semigroups $T^{(J)}_{\mathfrak{F}}(X)/{\chi}$ and $T^{(J)}_{\mathfrak{F}}(X)/{\widetilde{\chi}}$, and the semigroup $T^{(J)}_{\mathfrak{F}}(X)$. For each ${\alpha}{\in}T_{\mathfrak{F}}(X):=T^{(I)}_{\mathfrak{F}}(X)$, we see that the equivalence class [${\alpha}$] of ${\alpha}$ under ${\chi}$ is a subsemigroup of $T_{\mathfrak{F}}(X)$ if and only if ${\chi}^{({\alpha})}$ is an idempotent element in the full transformation semigroup T(I). Let $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ be the sets of functions in $T_{\mathfrak{F}}(X)$ such that ${\chi}^{({\alpha})}$ is injective, surjective and bijective respectively. We end this paper by investigating the regularity of the subsemigroups [${\alpha}$], $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ of $T_{\mathfrak{F}}(X)$.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.13 no.4
• /
• pp.1-5
• /
• 1976

Spectrum의 시간기복을 나타내는 시간 및 주파수의 함수 F(w,t,T) 및 W(w,t,T)를 정의하였고, 실례에 적용시켰다. Fourier변환을 f(t)와 Phasor ejwt와의 Correlation으로 정의하였고 그 변환시분이 시간마다의 성분의 합계이어서 t 시각에서의 Spectrum을 그 근거에서의 f(t)값에만 의함을 증명하였다. Two new time functions defining Time Dependent Fourier Transform F(w,t,T) and Time Dependent Spectrum Density W(w,t,T) are deduced. courier transform is defined as the correlation between the time function f(t) and phasor ejwt. Several theorems corncerning the new functions are proved in order to verify the instantaneous cause a effet of the function f(t) and the nuctuating spectrum.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.135-149
• /
• 2011

Using (r, s)-preopen sets [14] and pre-${\omega}_t$-closures [6], a new kind of covering property $P^t_{({\omega}_r,s)}$-closedness is introduced in a bitopological space and several characterizations via filter bases, nets and grills [30] along with various properties of such concept are investigated. Two new types of cluster sets, namely pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets and (r, s)t-${\theta}_f$-precluster sets of functions and multifunctions between two bitopological spaces are introduced. Several properties of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets are investigated and using the degeneracy of such cluster sets, some new characterizations of some separation axioms in topological spaces or in bitopological spaces are obtained. A sufficient condition for $P^t_{({\omega}_r,s)}$-closedness has also been established in terms of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1433-1435
• /
• 2000

Currently KERI is participating a project whose goal is to develop the Korean High-Speed Train(KHST) with maximum speed of 350kph. KERI's responsibility is the electrical system engineering that includes engineering design of an on-board computer system for diagnosis and control of train set and electrical/mechanical devices. A system engineering approach of the design is performed in order to guarantee the passenger safety and economically viable train for on-board control system construction, operation and maintenance. This paper presents the draft engineering des on-board computer system that ensures the s and reliability of KHST. The draft is focuse network interfaced distributed processing system.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.717-728
• /
• 2008

Let H be a real Hilbert space and S = {T(s) : $0\;{\leq}\;s\;<\;{\infty}$} be a nonexpansive semigroup on H such that $F(S)\;{\neq}\;{\emptyset}$ For a contraction f with coefficient 0 < $\alpha$ < 1, a strongly positive bounded linear operator A with coefficient $\bar{\gamma}$ > 0. Let 0 < $\gamma$ < $\frac{\bar{\gamma}}{\alpha}$. It is proved that the sequences {$x_t$} and {$x_n$} generated by the iterative method $$x_t\;=\;t{\gamma}f(x_t)\;+\;(I\;-\;tA){\frac{1}{{\lambda}_t}}\;{\int_0}^{{\lambda}_t}\;T(s){x_t}ds,$$ and $$x_{n+1}\;=\;{\alpha}_n{\gamma}f(x_n)\;+\;(I\;-\;{\alpha}_nA)\frac{1}{t_n}\;{\int_0}^{t_n}\;T(s){x_n}ds,$$ where {t}, {${\alpha}_n$} $\subset$ (0, 1) and {${\lambda}_t$}, {$t_n$} are positive real divergent sequences, converges strongly to a common fixed point $\tilde{x}\;{\in}\;F(S)$ which solves the variational inequality $\langle({\gamma}f\;-\;A)\tilde{x},\;x\;-\;\tilde{x}{\rangle}\;{\leq}\;0$ for $x\;{\in}\;F(S)$.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.2A
• /
• pp.165-170
• /
• 2008

New high strength bolts are required due to the development of the high strength steel, the ultra-thick steel plates, and the long-span bridge, though high strength bolts with tensile strength of 1,000 MPa are mainly used in construction site of every country. The high strength bolts are often subjected to a repeated tension-type of loading in which the fatigue failure is a major mode of failure. However, the theoretical and experimental study for the fatigue failure of tension bolt has not been well established in Korea. In this study, we performed a tensile fatigue test of F8T, F10T and F13T, F13T-N high strength bolts under tension. We proposed three fatigue strength specifications by performing 95% survival probability analysis for F8T, F10T, F13T, and F13T-N bolt under the $2{\times}10^6$ cycles of repeated loading. And the fatigue strength for the advanced screw thread shape bolt developed in this study are compared with the previous KS screw thread shape bolt.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.169-173
• /
• 1989

Let V={(x,y,z):f=z$^{n}$ -npz+(n-1)q=0 for n .geq. 3} be a compled analytic subvariety of a polydisc in $C^{3}$ where p=p(x,y) and q=q(x,y) are holomorphic near (x,y)=(0,0) and f is an irreducible Weierstrass polynomial in z of multiplicity n. Suppose that V has an isolated singular point at the origin. Recall that the z-discriminant of f is D(f)=c(p$^{n}$ -q$^{n-1}$) for some number c. Suppose that D(f) is square-free. then we prove that by Theorem 2.1 .mu.(p$^{n}$ -q$^{n-1}$)=.mu.(f)-(n-1)+n(n-2)I(p,q)+1 where .mu.(f), .mu. p$^{n}$ -q$^{n-1}$are the corresponding Milnor numbers of f, p$^{n}$ -q$^{n-1}$, respectively and I(p,q) is the intersection number of p and q at the origin. By one of applications suppose that W$_{t}$ ={(x,y,z):g$_{t}$ =z$^{n}$ -np$_{t}$ $^{n-1}$z+(n-1)q$_{t}$ $^{n-1}$=0} is a smooth family of complex analytic varieties near t=0 each of which has an isolated singularity at the origin, satisfying that the z-discriminant of g$_{t}$ , that is, D(g$_{t}$ ) is square-free. If .mu.(g$_{t}$ ) are constant near t=0, then we prove that the family of plane curves, D(g$_{t}$ ) are equisingular and also D(f$_{t}$ ) are equisingular near t=0 where f$_{t}$ =z$^{n}$ -np$_{t}$ z+(n-1)q$_{t}$ =0.}$ =0.

• The Pure and Applied Mathematics
• /
• v.23 no.3
• /
• pp.247-263
• /
• 2016

Let $M_{1}f(x,y):=\frac{3}{4}f(x+y)-\frac{1}{4}f(-x-y)+\frac{1}{4}f(x-y)+\frac{1}{4}f(y-x)-f(x)-f(y)$, $M_{2}f(x,y):=2f(\frac{x+y}{2})+f(\frac{x-y}{2})+f(\frac{y-x}{2})-f(x)-f(y)$. Using the direct method, we prove the Hyers-Ulam stability of the additive-quadratic ρ-functional inequalities (0.1) $N(M_{1}f(x,y),t){\geq}N({\rho}M_{2}f(x,y),t)$ where ρ is a fixed real number with |ρ| < 1, and (0.2) $N(M_{2}f(x,y),t){\geq}N({\rho}M_{1}f(x,y),t)$ where ρ is a fixed real number with |ρ| < $\frac{1}{2}$.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.659-666
• /
• 2014

Let $\mathcal{A}$ be the class of analytic functions f in the open unit disk $\mathbb{U}$={z : ${\mid}z{\mid}$ < 1} with the normalization conditions $f(0)=f^{\prime}(0)-1=0$. If $f(z)=z+\sum_{n=2}^{\infty}a_nz^n$ and ${\delta}$ > 0 are given, then the $T_{\delta}$-neighborhood of the function f is defined as $$TN_{\delta}(f)\{g(z)=z+\sum_{n=2}^{\infty}b_nz^n{\in}\mathcal{A}:\sum_{n=2}^{\infty}T_n{\mid}a_n-b_n{\mid}{\leq}{\delta}\}$$, where $T=\{T_n\}_{n=2}^{\infty}$ is a sequence of positive numbers. In the present paper we investigate some problems concerning $T_{\delta}$-neighborhoods of function in various classes of analytic functions with $T=\{2^{-n}/n^2\}_{n=2}^{\infty}$. We also find bounds for $^{\delta}^*_T(A,B)$ defined by $$^{\delta}^*_T(A,B)=jnf\{{\delta}&gt;0:B{\subset}TN_{\delta}(f)\;for\;all\;f{\in}A\}$$ where A, B are given subsets of $\mathcal{A}$.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.77-95
• /
• 2012

For a bounded linear operator T we prove the following assertions: (a) If T is algebraically (p, k)-quasihyponormal, then T is a-isoloid, polaroid, reguloid and a-polaroid. (b) If $T^*$ is algebraically (p, k)-quasihyponormal, then a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$, where $Hol({\sigma}(T))$ is the space of all functions that analytic in an open neighborhoods of ${\sigma}(T)$ of T. (c) If $T^*$ is algebraically (p, k)-quasihyponormal, then generalized a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$. (d) If T is a (p, k)-quasihyponormal operator, then the spectral mapping theorem holds for semi-B-essential approximate point spectrum $\sigma_{SBF_+^-}(T)$, and for left Drazin spectrum ${\sigma}_{lD}(T)$ for every $f{\in}Hol({\sigma}T))$.