• 대한수학회논문집
• /
• 제31권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)$.

• 대한전자공학회논문지
• /
• 제13권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.

• 대한수학회논문집
• /
• 제26권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 B
• /
• 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.

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

• 대한토목학회논문집
• /
• 제28권2A호
• /
• pp.165-170
• /
• 2008

각국의 강구조물 시공현장에서 사용되고 있는 고장력볼트의 인장강도는 일반적으로 1,000 MPa급이 주종을 이루고 있으나, 고강도강과 극후판의 개발과 교량 지간의 장대화로 인하여 강도가 큰 새로운 볼트 개발이 요구되고 있다. 한편, 반복적인 하중이 작용하는 곳에서 인장연결부에 사용되는 고장력볼트에 인장피로파괴 사례가 발생되고 있으나 아직까지 우리나라에서는 이에 대한 이론 및 실험적인 연구가 없는 실정이다. 따라서, 본 연구에서는 현재 일반적으로 사용하고 있는 F8T, F10T볼트와 새로이 개발된 F13T, F13T-N볼트에 대해서 인장피로실험을 수행하였다. 고장력볼트에 대한 피로강도평가는 반복횟수 200만회에 95% 하한신뢰도분석을 하여 수행하였고, 이를 기초로 3가지의 피로강도 기준안을 제시하였다. 또한, KS나사형상의 볼트와 새로이 제안된 나사선 형상의 볼트에 대한 피로강도에 대해서 비교 검토하였다.

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

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

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

• 대한수학회논문집
• /
• 제27권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))$.