• Geophysics and Geophysical Exploration
• /
• v.9 no.4
• /
• pp.304-315
• /
• 2006

We have examined the applicability of f-k analysis to the GPR direct wave measurement for water content to characterize vadose zone condition. When the vadose zone consists of a dry surface layer over wet substratum, we obtained f-k spectra where most of the energy is bounded by the air and dry soil velocities. In this case, dry soil velocity was successfully estimated by using high frequency data. On the other hands, when wet soil overlies dry substratum, the f-k spectra show a contrasting response where most of the energy travels with the velocity bounded by dry and wet soil velocities. In this case, the radar waves are trapped and guided within wet soil layer, exhibiting velocity dispersion. By adopting modal propagation theory, we could formulae a simple inversion code to find two layer's dielectric constants as well as layer thickness. By inverting the velocity dispersion curve obtained from f-k spectra of synthetic modeling data, we could obtain good estimates of dielectric constants of each layer as well as first layer thickness. Moreover, we could obtain more accurate results by including the higher mode data. We expect this method will be useful to get the quantitative property of real subsurface when the field condition is similar.

• Journal of the Korean Geosynthetics Society
• /
• v.6 no.3
• /
• pp.9-16
• /
• 2007

Soil vapor extraction (SVE) is an effective and cost efficient method of removing volatile organic compounds (VOCs) and petroleum hydrocarbons from unsaturated soils. Incorporating PVDs in an SVE system can extend the effectiveness of SVE to lower permeability soils by shortening the air flow-paths and ultimately expediting contaminant removal. With this approach, the real bounded system is replaced for the purposes of analysis by an imaginary system of infinite areal extent. The boundary conditions for the contaminant remediation model test include constant head and no flow condition. Due to these parallel boundaries conditions, image wells should be developed in order to maintain the condition of no flow across the impermeable boundary. It is also assumed that the flow is drawdown along the constant head boundary condition. The factors contributing to the difference between the theoretical and measured pressure heads were also analyzed. The flow factor increases as the flow rate is increased. The flow rate is the most important factor that affects the difference between the measured and theoretical pressure heads.

• Journal of the Korean Mathematical Society
• /
• v.50 no.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
• /
• v.28 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.11B
• /
• pp.1038-1049
• /
• 2003

Exactly measuring traffic load is the basis for efficient traffic engineering. However, precise traffic measurement involves inspecting every packet traversing a lint resulting in significant overhead on routers with high-speed links. Sampling techniques are proposed as an alternative way to reduce the measurement overhead. But, since sampling inevitably accompany with error, there should be a way to control, or at least limit, the error for traffic engineering applications to work correctly. In this paper, we address the problem of bounding sampling error within a pre-specified tolerance level. We derive a relationship between the number of samples, the accuracy of estimation and the squared coefficient of variation of packet size distribution. Based on this relationship, we propose an adaptive random sampling technique that determines the minimum sampling probability adaptively according to traffic dynamics. Using real network traffic traces, we show that the proposed adaptive random sampling technique indeed produces the desired accuracy, while also yielding significant reduction in the amount of traffic samples.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.12
• /
• pp.359-368
• /
• 2014

Process synchronization is one of the most difficult subject for students learning the Operating System courses. It is due to the fact that concurrent process environment, where many events occur at the same time, is difficult to understand for ordinary human who thinks only one thing at a time. Classical synchronization examples like the Bounded buffer problem or the Dining philosopher problem fail to hook attention and interest from lower grade students who just begin to study the Operating System courses in college because these examples are either too technical or too unrealistic. In this paper we propose another synchronization example named the Bank account problem as an alternative to the classical ones. Bank account problem is proved to succeed getting high interest and understanding from the student as it is easy and realistic, and almost every student has the experience using bank account in real life. Various synchronization subjects including controlling the execution sequence of each process, incorrect result due to the race conditions, use of semaphores, deadlock, and monitor are considered to apply them to the Bank account problem.

• Reproductive and Developmental Biology
• /
• v.35 no.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
• /
• v.26 no.2
• /
• pp.367-376
• /
• 2015

Today, big data has become a hot keyword in that big data may be defined as collection of data sets so huge and complex that it becomes difficult to process by traditional methods. Clustering method is to identify the information in a big database by assigning a set of objects into the clusters so that the objects in the same cluster are more similar to each other clusters. The similarity measures being used in the cluster analysis may be classified into various types depending on the nature of the data. In this paper, we computed upper and lower limits for probability interestingness measure based similarity measures without marginal probability such as Yule I and II, Michael, Digby, Baulieu, and Dispersion measure. And we compared these measures by real data and simulated experiment. By Warrens (2008), Coefficients with the same quantities in the numerator and denominator, that are bounded, and are close to each other in the ordering, are likely to be more similar. Thus, results on bounds provide means of classifying various measures. Also, knowing which coefficients are similar provides insight into the stability of a given algorithm.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2822-2831
• /
• 1997

A B-ISDN network based on ATM must support several kinds of transport services with different traffic characteristics and service requirements. There is neither link-by-link flow control nor error control in the ATM layer. For different services, different flow/error controls could be performed at the AAL layer or at a higher Iayer(e.g. transport layer). In traditional data networks, the window now control mechanism combined with error control was used prevalently. But, the window flow control mechanism might be useless in ATM networks because the propagation delay is too large compared with the transmission rate. In this paper, we propose a simple flow control mechanism, called RCT(Rate Control for end-to-end Transport), for end-to-end data transport. The RCT shows acceptable performance when the average overload period is bounded by a certain time.