• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1125-1140
• /
• 2018

Let A be a normed space, ${\mathcal{B}}(A)$ the algebra of all bounded operators on A, and V a family of strongly upper semicontinuous functions from a Hausdorff completely regular space X into ${\mathcal{B}}(A)$. In this paper, we investigate some properties of the weighted spaces CV (X, A) of all A-valued continuous functions f on X such that the mapping $x{\mapsto}v(x)(f(x))$ is bounded on X, for every $v{\in}V$, endowed with the topology generated by the seminorms ${\parallel}f{\parallel}v={\sup}\{{\parallel}v(x)(f(x)){\parallel},\;x{\in}X\}$. Our main purpose is to characterize continuous, bounded, and locally equicontinuous weighted composition operators between such spaces.

• 대한수학회지
• /
• 제54권2호
• /
• pp.697-711
• /
• 2017

Let X, Y be real normed vector spaces. We exhibit all the solutions $f:X{\rightarrow}Y$ of the functional equation f(rx + sy) + rsf(x - y) = rf(x) + sf(y) for all $x,y{\in}X$, where r, s are nonzero real numbers satisfying r + s = 1. In particular, if Y is a Banach space, we investigate the Hyers-Ulam stability problem of the equation. We also investigate the Hyers-Ulam stability problem on a restricted domain of the following form ${\Omega}{\cap}\{(x,y){\in}X^2:{\parallel}x{\parallel}+{\parallel}y{\parallel}{\geq}d\}$, where ${\Omega}$ is a rotation of $H{\times}H{\subset}X^2$ and $H^c$ is of the first category. As a consequence, we obtain a measure zero Hyers-Ulam stability of the above equation when $f:\mathbb{R}{\rightarrow}Y$.

• 대한수학회보
• /
• 제43권4호
• /
• pp.703-709
• /
• 2006

Let X, Y be vector spaces. It is shown that if an even mapping $f:X{\rightarrow}Y$ satisfies f(0) = 0 and $$(0.1)\;f(\frac {x+y} 2+z)+f(\frac {x+y} 2-z)+f(\frac {x-y} 2+z)+f(\frac {x-y} 2-z)=f(x)+f(y)+4f(z)$$ for all x, y, z ${\in}$X, then the mapping $f:X{\rightarrow}Y$ is quadratic. Furthermore, we prove the Cauchy-Rassias stability of the functional equation (0.1) in Banach spaces.

• 한국가축번식학회지
• /
• 제19권1호
• /
• pp.35-41
• /
• 1995

본 연구는 형질전화우의 생산성 제고를 위한 일환으로서 새로운 기법인 retrovirus vector system의 이용성을 검토하고자 실시하였다. Retrovirus-producing cell은 미세주입법을 이용하여 체외생산된 1.5일(1~4-세포기) 수정란의 위란강에 주입(5~10 cells/embryo) 되었으며, 이때 사용된 retrovirus-producing cell line은 Gibbon ape leukemia virus (GaLV) envelope protein에 encapsidation되어 replication-defective retrovirus를 분비하도록 제작되었다. 주입된 유전자의 표지유전자로서 E. coli LacZ 유전자를 사용하였으며, X-gal 염색법은 발달이 유도된 상실배와 배반포 단계에 실시하여 LacZ 유전자의 발현 유무를 확인하였다. 이 실험의 결과를 요약하면 다음과 같다. 1. Virus의 infectivity를 높이기 위해 사용된 polybrene의 최저농도는 5$\mu\textrm{g}$/ml이었다. 2. Retrovirus-producing cell이 주입된 1.5일 수정란의 상실배기와 배반포기로의 발달율은 29%였다. 3. 이 때의 LacZ+ 발현율은 21%였다. 4. 본 실험에 사용된 retrovirus-producing cell은 replication-competent retroviruses를 생산해 내지않는다는 것을 확인할 수 있었다.

• 한국음향학회지
• /
• 제23권5호
• /
• pp.420-427
• /
• 2004

본 논문에서는 선형예측 잔여신호에 대한 하모닉 벡터 여기 코딩과 시간 대역 분리 혼합 코딩을 결합한 4kbps EHSX (Enhanced Harmonic Stochastic Excitation) 음성부호화기 실시간 구현한 내용을 기술한다. 유성음 구간에서는 하모닉 여기 코딩에 무성음 구간에 대해서는 분석-합성 구조의 벡터 여기 코딩을 사용하였으며, 유/무성음이 혼재하는 전이구간에서는 시간 분리 전이 코딩을 사용하였다. 이 음성부호화기 구현을 위해 부동소수점과 고정소수점을 모두 지원하는 DSP인 TMS320C6701을 사용하였고, 연산량을 줄이기 위해 IFFT를 사용한 저 복잡도 정현파 합성법을 사용하여 알고리즘의 최적화를 이루었으며, 복잡도의 문제가 되는 부분을 고정소수점으로 변환한 후 파이프라인을 적용한 핸드 어셈블리 코딩을 하여 구현에서의 최적화를 이루었다. 또한, 메모리의 효율성을 극대화하기 위해 캐쉬 메모리 할당과 데이터를 내부 메모리에 할당하였고 수학 연산의 최적화를 위해 FastRTS67x 라이브러리를 사용하였다. 개발 환경은 DSP EVM 보드를 사용하였으며 음성 신호의 입·출력 확인으로 동작 및 기능을 검증하여 실시간 구현하였다.

• Korean Journal of Mathematics
• /
• 제19권1호
• /
• pp.17-24
• /
• 2011

Let X, Y be vector spaces. It is shown that if an even mapping $f:X{\rightarrow}Y$ satisfies f(0) = 0, and $$2(_{2d-2}C_{d-1}-_{2d-2}C_d)f\({\sum_{j=1}^{2d}}x_j\)+{\sum_{{\iota}(j)=0,1,{{\small\sum}_{j=1}^{2d}}{\iota}(j)=d}}\;f\({\sum_{j=1}^{2d}}(-1)^{{\iota}(j)}x_j\)=2(_{2d-1}C_d+_{2d-2}C_{d-1}-_{2d-2}C_d){\sum_{j=1}^{2d}}f(x_j)$$ for all $x_1$, ${\cdots}$, $x_{2d}{\in}X$, then the even mapping $f:X{\rightarrow}Y$ is quadratic. Furthermore, we prove the Hyers-Ulam stability of the above functional equation in Banach spaces.

• 통합자연과학논문집
• /
• 제11권1호
• /
• pp.51-56
• /
• 2018

For topological vector spaces X and Y, let $F_0(X,Y)=\{f{\in}Y^X:f(0)=0\}$. Then it is an extremely large family and the family of linear operators is a very small subfamily of $F_0(X,Y)$. In this paper, we establish the characterizations of $F_0(X,Y)$-matrix families (${l^{\infty}(X)$, ${l^{\infty}(Y)$), ($c_0(X)$, $l^{\infty}(Y)$) and ($c_0(X)$, $l^{\infty}(Y)$).

• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권1호
• /
• pp.40-47
• /
• 2005

This paper concerns on Filtered-x least mean square (FXLMS) algorithm for adaptive estimation of feedforward control parameters. The conditions for convergence in ensemble mean of the FXLMS algorithm are derived and the directional convergence properties are discussed from a new geometric vector analysis. The convergence and its directionality are verified along with some computer simulations.

• 대한수학회지
• /
• 제32권1호
• /
• pp.93-101
• /
• 1995

Let (M,g) be an n-dimensional, connected Riemannian manifold with Levi Civita connection $\nabla$ and Riemannian curvature tensor R defined by $$ R_XY = [\nabla_X, \nabla_Y] - \nabla_{[X,Y]} $$ for all smooth vector fields X, Y. $\nablaR, \cdots, \nabla^kR, \cdots$ denote the successive covariant derivatives and we assume $\nabla^0R = R$.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제6권
• /
• pp.371-381
• /
• 1997

Let p be an odd prime number. We introduce simple and useful decoding algorithm for orthogonal Latin square codes of order p. Let H be the parity check matrix of orthogonal Latin square code. For any x ${\in}$ GF(p)$^{n}$, we call xH$^{T}$ the syndrome of x. This method is based on the syndrome decoding for linear codes. In L$_{p}$, we need to find the first and the second coordinates of codeword in order to correct the errored received vector.