• 지구물리와물리탐사
• /
• 제9권4호
• /
• pp.304-315
• /
• 2006

지표 천부 불포화대의 특성화에서 중요한 토양수분함량의 측정을 위한 GPR 탐사에서 지중 직접파 측정 자료의 f-k 분석을 이용한 레이다파 속도 측정법의 응용성을 검토하였다. 상부 토양이 하부에 비하여 건조한 경우에는 f-k 스펙트럼 상에서 대부분의 에너지가 공기층과 건조 토양의 속도로 이루어지는 영역 내에 존재하며, 고주파수 자료를 이용하여 비교적 정확하게 상부층의 속도를 획득할 수 있었다. 이에 비하여 천부 토양층이 하부에 비하여 수분 함유량이 높은 조건하에서는 대부분의 에너지가 건조토양과 습윤토양의 속도로 형성되는 영역 내에 분포하고 있으며, 특히 이 경우 레이다파는 습윤 토양층을 통하여 비손실성으로 전파하는 레이다파의 분산성 가이드 현상을 나타내었다. 이와 같은 가이드 현상은 모드 전파이론으로 설명되며, 이 연구에서는 이를 이용하여 2층 층서구조의 각 층의 유전율과 층의 두께를 정확히 계산할 수 있는 역산 알고리듬을 개발하였다. FDTD 수치모델링 자료에 f-k 분석을 적용하여 속도분산곡선을 획득하고 이 자료에 개발된 역산 알고림듬을 적용함으로써 두층의 유전율과 두께를 정확하게 계산할 수 있었으며, 특히 역산 시 고차 모드를 포함함으로써 그 정확도를 향상시킬 수 있었다. 향후 비슷한 조건을 가지는 현장에 개발된 알고리듬을 적용하여 정량적인 전기적 물성을 획득할 수 있을 것으로 기대된다.

• 한국지반신소재학회논문집
• /
• 제6권3호
• /
• pp.9-16
• /
• 2007

토양증기추출공법(SVE)은 불포화 지반상태에서 휘발성 유기화합물(VOCs)과 유류오염 물질을 제거하는데 효과적이고 경제적인 공법중의 하나이다. 본 연구에서는 기존 연약지반의 지반개량시 사용된 연직배수재(PVDs)를 토양증기추출시스템에 적용하여 짧은 공기배출거리로 최대한 신속하게 오염물질을 제거할 수 있게 하여 투기계수가 낮은 지반에서 오염된 토양을 효과적으로 복원할 수 있는 토양증기추출공법을 적용하는데 목적이 있다. 연직배수재를 이용한 토양증기추출시스템 적용시 실제 현장에서 나타나는 무한 경계 조건을 만족하기 위해서 실내에서 파일럿 규모의 오염복원 모형실험을 결과로 유한경계조건 시스템에서 이미지웰 중첩이론을 이용하여 압력분포를 가정하였다. 즉, 압력강하가 없는 일정수두 경계조건 상태와 토조의 상 하부와 같이 흐름이 없는 불투수경계조건 상태를 유지하기 위해서 이미지웰 중첩이론을 도입하여 경계조건을 수립하였다. 결과, 공기흐름률이 증가할수록 흐름비율도 증가하였다. 따라서 높은 흐름률에 대한 흐름비율도 더 커지게 되는 것이고, 최적화과정동안 공기흐름률은 측정 압력수두와 이미지웰 중첩이론으로부터 구해진 이론 압력수두의 오차율에 미치는 가장 중요한 인자로 판단된다.

• 대한수학회지
• /
• 제50권5호
• /
• pp.1105-1127
• /
• 2013

Let C[0, $t$] denote the function space of real-valued continuous paths on [0, $t$]. Define $X_n\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+1}$ and $X_{n+1}\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+2}$ by $X_n(x)=(x(t_0),x(t_1),{\ldots},x(t_n))$ and $X_{n+1}(x)=(x(t_0),x(t_1),{\ldots},x(t_n),x(t_{n+1}))$, respectively, where $0=t_0 <; t_1 <{\ldots} < t_n < t_{n+1}=t$. In the present paper, using simple formulas for the conditional expectations with the conditioning functions $X_n$ and $X_{n+1}$, we evaluate the $L_p(1{\leq}p{\leq}{\infty})$-analytic conditional Fourier-Feynman transforms and the conditional convolution products of the functions, which have the form $fr((v_1,x),{\ldots},(v_r,x)){\int}_{L_2}_{[0,t]}\exp\{i(v,x)\}d{\sigma}(v)$ for $x{\in}C[0,t]$, where $\{v_1,{\ldots},v_r\}$ is an orthonormal subset of $L_2[0,t]$, $f_r{\in}L_p(\mathbb{R}^r)$, and ${\sigma}$ is the complex Borel measure of bounded variation on $L_2[0,t]$. We then investigate the inverse conditional Fourier-Feynman transforms of the function and prove that the analytic conditional Fourier-Feynman transforms of the conditional convolution products for the functions can be expressed by the products of the analytic conditional Fourier-Feynman transform of each function.

• Journal of applied mathematics & informatics
• /
• 제28권1_2호
• /
• pp.13-30
• /
• 2010

Let C be a nonempty closed convex subset of a real Hilbert space H. Consider the following iterative algorithm given by $x_0\;{\in}\;C$ arbitrarily chosen, $x_{n+1}\;=\;{\alpha}_n{\gamma}f(W_nx_n)+{\beta}_nx_n+((1-{\beta}_n)I-{\alpha}_nA)W_nP_C(I-s_nB)x_n$, ${\forall}_n\;{\geq}\;0$, where $\gamma$ > 0, B : C $\rightarrow$ H is a $\beta$-inverse-strongly monotone mapping, f is a contraction of H into itself with a coefficient $\alpha$ (0 < $\alpha$ < 1), $P_C$ is a projection of H onto C, A is a strongly positive linear bounded operator on H and $W_n$ is the W-mapping generated by a finite family of nonexpansive mappings $T_1$, $T_2$, ${\ldots}$, $T_N$ and {$\lambda_{n,1}$}, {$\lambda_{n,2}$}, ${\ldots}$, {$\lambda_{n,N}$}. Nonexpansivity of each $T_i$ ensures the nonexpansivity of $W_n$. We prove that the sequence {$x_n$} generated by the above iterative algorithm converges strongly to a common fixed point $q\;{\in}\;F$ := $\bigcap^N_{i=1}F(T_i)\;\bigcap\;VI(C,\;B)$ which solves the variational inequality $\langle({\gamma}f\;-\;A)q,\;p\;-\;q{\rangle}\;{\leq}\;0$ for all $p\;{\in}\;F$. Using this result, we consider the problem of finding a common fixed point of a finite family of nonexpansive mappings and a strictly pseudocontractive mapping and the problem of finding a common element of the set of common fixed points of a finite family of nonexpansive mappings and the set of zeros of an inverse-strongly monotone mapping. The results obtained in this paper extend and improve the several recent results in this area.

• 한국통신학회논문지
• /
• 제28권11B호
• /
• pp.1038-1049
• /
• 2003

트래픽 부하 측정은 네트웍 트래픽 엔지니어링의 기반이 된다. 그러나 고속 링크에서 트래픽 부하 정보를 얻기 위해 모든 패킷을 측정하는 것은, 라우터의 패킷 포워딩 성능을 저해시키므로 확장성이 결여된다. 이에 따라 샘플링 기법이 트래픽 측정의 대안으로 제시되었다. 샘플링은 라우터의 성능 저해를 최소화시킬 수 있으나 샘플링으로 예측되는 트래픽 부하는 실제 트래픽 부하와 차이를 보이게 되며, 이와 같은 오류가 제한되지 못한다면 측정값을 기반으로 하는 응용들에 부영향을 미치게 된다. 본 논문에서는 샘플링 오류를 오류 허용범위 내로 제한시킬 수 있는 적응성 있는 패킷 샘플링 기법을 제안한다. 제안 기법은 수학적 분석을 통해 얻어진 부하 예측 오류에 영향을 미치는 주요 트래픽 파라메터를 각 블록의 시작마다 예측하여 샘플링 확률을 동적으로 적응시킨다. 본 논문에서는 또한 실제 측정된 인터넷 트래픽을 이용하여 제안 기법의 확장성과 성능을 검증하였다

• 한국컴퓨터정보학회논문지
• /
• 제19권12호
• /
• pp.359-368
• /
• 2014

프로세스 동기화는 학생들이 운영체제 과목에서 가장 어려워하는 주제 중 하나이다. 한 번에 한 가지만을 생각하는 인간의 특성 상 여러 사건이 동시에 일어나는 병행 프로세스 환경을 이해하기 어렵기 때문이다. 유한버퍼 문제나 식사하는 철학자 문제 등 고전적 동기화 예제는 그 내용이 너무 기술적이거나 비현실적이기 때문에 운영체제를 처음 접하는 저학년 학생들의 관심과 이해를 이끌기 어려웠다. 본 논문에서는 이러한 고전적 동기화 예제의 대안으로 은행계좌 문제의 사용을 제안한다. 은행계좌 문제는 쉽고 현실적이며 일상생활에서 누구나 경험해 본 문제이기 때문에 학생들의 높은 이해와 흥미를 이끌 수 있었다. 프로세스 실행 순서의 제어, 경쟁조건으로 인한 잘못된 결과의 발생, 세마포어 사용, 교착상태, 모니터 등 다양한 동기화 주제에 대한 은행계좌 문제의 적용에 대해 연구하였다.

• Reproductive and Developmental Biology
• /
• 제35권4호
• /
• pp.511-518
• /
• 2011

To avoid hyperacute rejection of xenografts, ${\alpha}1,3$-galactosyltransferase knock-out (GalT KO) pigs have been produced. In this study, we examined whether Sia-containing glycoconjugates are important as an immunogenic non-Gal epitope in the pig liver with disruption of ${\alpha}1,3$-galactosyltransferase gene. The target cells were then used as donor cells for somatic cell nuclear transfer (scNT). A total of 1,800 scNT embryos were transferred to 10 recipients. One recipient developed to term and naturally delivered two piglets. Real-time RT-PCR and glycosyltransferase activity showed that ${\alpha}2,3$-sialyltransferase (${\alpha}2,3ST$) and ${\alpha}2,6$-sialyltransferase (${\alpha}2,6ST$) in the heterozygote GalT KO liver have higher expression levels and activities compared to controls, respectively. According to lectin blotting, sialic acidcontaining glycoconjugate epitopes were also increased due to the decreasing of ${\alpha}$-Gal in heterozygote GalT KO liver, whereas GalNAc-containing glycoconjugate epitopes were decreased in heterozygote GalT KO liver compare to the control. Furthermore, the heterozygote GalT KO liver showed a higher Neu5Gc content than control. Taken together, these finding suggested that the deficiency of GalT gene in pigs resulted in increased production of Neu5Gc-bounded epitopes (H-D antigen) due to increase of ${\alpha}2,6$-sialyltransferase. Thus, this finding suggested that the deletion of CMAH gene to the GalT KO background is expected to further prolong xenograft survival.

• Journal of the Korean Data and Information Science Society
• /
• 제26권2호
• /
• pp.367-376
• /
• 2015

데이터마이닝 기법 중의 하나인 군집분석은 다양한 특성을 지닌 관찰대상에 대해 유사성을 바탕으로 동질적인 군집으로 묶은 후, 동일 군집에 속해 있는 공통된 특성을 조사하는데 이용되는 기법이다. 본 논문에서는 주변 확률을 고려하지 않는 확률적 흥미도 측도 기반 유사성 측도인 Yule I과 II, Michael, Digby, Baulieu, 그리고 Dispersion 측도에 대해 상한 및 하한을 설정함으로써 이들의 대소관계를 규명하였다. 그 결과, 세 가지 유형의 대소 관계가 성립한다는 사실을 수식의 증명뿐만 아니라 실제 데이터 및 모의실험 데이터에 의해서도 확인할 수 있었다. 이들 측도들은 각 경계에 있는 측도와는 더욱 더 유사한 값을 가지므로 각 측도의 상한 및 하한은 여러 가지 측도들을 분류하는 도구가 되며, 실제 값의 관점에서 각 측도들의 관계를 알게 되면 주어진 알고리즘의 안정화에 도움이 될 수 있을 것이다.

• 천문학회보
• /
• 제37권2호
• /
• pp.118.1-118.1
• /
• 2012

In situ observations from the Wind spacecraft that statistically analyzed the solar wind proton at 1 AU has indicated that the measured proton temperature anisotropies seems to be regulated by the oblique instabilities (the mirror and oblique firehose). This result is in contradiction with the prediction of linear kinetic theory that the ion-cyclotron (for ${\beta}_{\parallel}$ < 2) and parallel firehose (for ${\beta}_{\parallel}$ <10) would dominate over the oblique instabilities. Various kinds of physical mechanisms have been suggested to explain this disagreement between the observations and linear theory. All of the suggestions consider the solar wind as a unoform magnetized plasma. However the real space environment is replete with the intermediate spatio-temporal scale variations associated with various physical quantities, such as the magnetic field intensity and the solar wind density. In this paper we present that the pervasive intermediate-scale temporal variation of the local magnetic field intensity can lead to the modification of the proton temperature anisotropy versus beta inverse correlation for temperature-anisotropy-driven instabilities. By means of quasilinear kinetic theory involving such temporal variation, we construct the simulated solar wind proton data distribution associated the magnetic fluctuations in (${\beta}_{\parallel}$, $T_{\perp}/T_{\parallel}$) space. It is shown that the theoretically simulated proton distribution and a general trend of the enhanced fluctuations bounded by the oblique instabilities are consistent with in situ observations. Furthermore, the measure magnetic compressibility can be accounted for by the magnetic spectral signatures of the unstable modes.

• 한국정보처리학회논문지
• /
• 제4권11호
• /
• pp.2822-2831
• /
• 1997

ATM을 기반으로 하는 B-ISDN 망은 다양한 트래픽 특성과 서비스 요구사항을 가진 여러가지 종류의 서비스를 지원해야한다. ATM 계층에는 link 계층간의 흐름 제어나 에러 제어가 없다. 그러나 다양한 종류의 각종 서비스를 위해 각기 다른 다른 흐름／에러 제어 기법이 AAL 계층이나 상위 계층(예를 들어 OSI 7 계층의 4번 전송 계층)에서 수행될 수 있다. 전통적인 데이타망에서는 에러 제어 기법이 결합된 윈도우 흐름 제어 기법이 널리 사용되었다. 그러나 윈도우 흐름 제어 기법은 전파 전달 지연(Propagation delay)이 전송률(Transmission rate)에 비해 상대적으로 너무 크기 때문에 ATM 망에서 유용하지 않을 수 있다. 본 논문에서는 양단간(end-to-end) 자료 전송을 위한 매우 간단한 흐름제어 기법인 RCT (Rate Control for end-to-end Transport)를 제안한다. RCT는 평균 과부하(Overload) 기간의 분포가 특정 시간대에 편중되어 있을 때에 높은 성능을 보인다．