• Journal of Microbiology and Biotechnology
• /
• 제26권12호
• /
• pp.2051-2059
• /
• 2016

To date, there has been no employment of a magnetoelastic (ME) biosensor method to detect Salmonella enterica serovar Typhimurium in soil. The ME biosensor method needs to be investigated and modified for its successful performance. The filtration method, cation-exchange resin method, and combinations of both methods were employed for the extraction of S. Typhimurium from soil. The number of S. Typhimurium and the resonant frequency shift of the ME sensor were then compared using a brilliant green sulfa agar plate and an HP 8751A network analyzer. A blocking study was performed using bovine serum albumin (BSA), polyethylene glycol (PEG), and casein powder suspension. Finally, the modified ME biosensor method was performed to detect S. Typhimurium in soil. The number of S. Typhimurium was significantly decreased from 7.10 log CFU/soil to 4.45-4.72 log CFU/soil after introduction of the cation-exchange resin method. The greatest resonant frequency shift of the measurement sensor was found when employing centrifugation and filtration procedures. The resonant frequency shift of the PEG-blocked measurement sensor was $3,219{\pm}755Hz$, which was significantly greater than those of the BSA- and casein-blocked ME sensor. The optimum concentration of PEG was determined to be 1.0 mg/ml after considering the resonant shift and economic issue. Finally, the modified ME biosensor method was able to detect S. Typhimurium in soil in a dose-response manner. Although these modifications of the ME biosensor method sacrificed some advantages, such as cost, time effectiveness, and operator friendliness, this study demonstrated a novel approach of the ME biosensor method to detect S. Typhimurium in soil.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.155-164
• /
• 2006

Ubiquitous-IT839전략 중에 8대 신규서비스에 VoIP 기술이 들어있다. 본 논문은 VoIP 인터넷 네트워크에 연결된 소프트폰과 LAN 구간과 연결된 인터넷전화 및 디바이스, IP PBX, 기간사업자 망이 연결된 WAN 구간에서의 VoIP 서비스의 도청 실험을 하였다. 실험 네트워크에서 도청 실험을 한 결과 CVE 리스트에 따르는 단말기와 Proxy 및 허브와 같은 VoIP 네트워크의 연결점에서의 취약점이 발견되었고, 해커의 공격에 의한 도청이 성공되었다. 현재 070으로 명명된 VoIP 네트워크에서 각 도청 구간별로 접근제어, 기밀성, 신뢰성, 가용성, 무결성, 부인봉쇄의 6가지 보안기능의 관점에서 도청의 보안방안을 적용하였다. 보안 방안의 적용 후에 도청 실험을 실시한 결과, 패킷에 대한 AES 암호화로 내용의 도청을 방지하였으며, 접근차단과 인증 및 메시지 해시함수 및 착신거절의 사용으로 도청을 예방하였고. 네트워크 모니터링과 감사기록으로 보안성과 감사기록을 유지하여 VoIP 정보보호를 이룩할 수 있었다.

• 대한수학회지
• /
• 제33권4호
• /
• pp.823-855
• /
• 1996

We study Dirichlet forms and the associated diffusion processes for the Gibbs measures related to the quantum unbounded spin systems (lattice boson systems) interacting via superstable and regular potentials. This work is a continuation of the author's previous study on the classical systems [LPY] to the quantum cases. In [LPY], we constructed Dirichlet forms and the associated diffusion processes for the Gibbs measures of classical unbounded spin systems. Furthermore, we also showed the essential self-adjointness of the Dirichlet operator and the log-Sobolev inequality for any Gibbs measure under appropriate conditions on the potentials. In this atudy we try to extend the results of the classical systems to the quantum cases. Because of some technical difficulties, we are only able to construct a Dirichlet form and the associated diffusion process for any Gibbs measure of the quantum systems. We utilize the general scheme of the previous work on the theory in infinite dimensional spaces [AH-K1-2, AKR, AR1-2, Kus, MR, Ro, Sch] and the ideas we employed in our study of the calssical systems ]LPY].

• 대한산업공학회지
• /
• 제34권2호
• /
• pp.216-222
• /
• 2008

The determination of spectrum charges for the operators is a main issue to efficiently manage the limited radio spectrum resources. In this paper, we propose a model to compute the optimal charges for radio spectrum usage. The objective is to determine that will maximize the spectrum charges, and decision variables of ratios for actual or estimated revenues are considered. The spectrum charges are maximized under satisfying the least profit for operators based on Log-Linear demand function. The parameters of actual sales and minimum profit of operators are analyzed to make an efficient management for radio spectrum. The results show that the spectrum charges increase as the actual sales increase, but it decrease as the required minimum profit of operator increases. It is also observed that the government should increase the ratio for estimated sales if anticipating the poor market in the future, otherwise they should increase the ratio for actual sales to maximize the spectrum charges.

• 대한수학회논문집
• /
• 제32권1호
• /
• pp.55-64
• /
• 2017

For -2 < ${\alpha}$ < ${\infty}$ and 0 < p < ${\infty}$, the $\mathcal{Q}_K$-type space is the space of all analytic functions on the open unit disk ${\mathbb{D}}$ satisfying $$_{{\sup} \atop a{\in}{\mathbb{D}}}{\large \int_{\mathbb{D}}}{{\mid}f^{\prime}(z){\mid}}^p(1-{{\mid}z{\mid}^2})^{\alpha}K(g(z,a))dA(z)<{\infty}$$, where $g(z,a)=log\frac{1}{{\mid}{\sigma}_a(z){\mid}}$ is the Green's function on ${\mathbb{D}}$ and K : [0, ${\infty}$) [0, ${\infty}$), is a right-continuous and non-decreasing function. For 0 < s < ${\infty}$, the space $\mathcal{Q}_s$ consists of all analytic functions on ${\mathbb{D}}$ for which $$_{sup \atop a{\in}{\mathbb{D}}}{\large \int_{\mathbb{D}}}{{\mid}f^{\prime}(z){\mid}}^2(g(z,a))^sdA(z)<{\infty}$$. Boundedness and compactness of composition operators $C_{\varphi}$ acting on $\mathcal{Q}_K$-type spaces and $\mathcal{Q}_s$ spaces is characterized in terms of the norms of ${\varphi}^n$. Thus the author announces a solution to the problem raised by Wulan, Zheng and Zhou.

• 대한수학회지
• /
• 제42권1호
• /
• pp.111-127
• /
• 2005

Let B and S be the unit ball and the unit sphere in $\mathbb{C}^n$, respectively. Let ${\sigma}$ be the normalized Lebesgue measure on S. Define the Privalov spaces $N^P(B)\;(1\;<\;p\;<\;{\infty})$ by $$N^P(B)\;=\;\{\;f\;{\in}\;H(B) : \sup_{0 where H(B) is the space of all holomorphic functions in B. Let ${\varphi}$ be a holomorphic self-map of B. Let ${\mu}$ denote the pull-back measure ${\sigma}o({\varphi}^{\ast})^{-1}$. In this paper, we prove that the composition operator $C_{\varphi}$ is metrically bounded on $N^P$(B) if and only if ${\mu}(S(\zeta,\delta)){\le}C{\delta}^n$ for some constant C and $C_{\varphi}$ is metrically compact on $N^P(B)$ if and only if ${\mu}(S(\zeta,\delta))=o({\delta}^n)$ as ${\delta}\;{\downarrow}\;0$ uniformly in ${\zeta}\;\in\;S. Our results are an analogous results for Mac Cluer's Carleson-measure criterion for the boundedness or compactness of $C_{\varphi}$ on the Hardy spaces $H^P(B)$.

• Environmental Engineering Research
• /
• 제14권4호
• /
• pp.244-249
• /
• 2009

Designing an ozone contactor is complicated because the residual ozone, log C. parvum inactivation, and bromate formation should be optimized with fluctuating water quality. OCM software was developed to assist a plant designer or an operator to fulfill the sophisticated optimization required in the design or operation of a new or an existing plant. In this article, numerical simulations were carried out using the OCM software for the design of a new ozone contactor under diverse design factors (i.e., three pHs, three temperatures, low and high dispersion numbers, and four and ten cells with complete mixing) with kinetic parameters obtained from the sand-filter effluent of a water treatment plant treating water from the Paldang impoundment. The results of the simulation suggested that a high residual ozone concentration at low pH and low temperature would be challenging, and PFR-like hydrodynamics could lower the residual ozone concentration. The inactivation of C. parvum oocysts increased at a lower pH. A lower dispersion number and more cell division increased the inactivation efficiency. Bromate was instantaneously formed during the initial ozonation stage. The effluent concentration was much lower than the regulatory levels imposed by the USEPA because of the low bromide level in raw water.

• 한국ITS학회 논문지
• /
• 제14권4호
• /
• pp.80-85
• /
• 2015

ICT기술이 차량 교통 시스템에 적용되면서 스마트한 도로 교통 시대(ITS)가 열리고 있다. 이러한 기술적 진보를 가져온 요소 중 하나는 고속으로 이동하는 차량과 인프라 간의 통신기술이다. IEEE802.11p기반의 WAVE 통신기술을 적용하여 도로교통의 다양한 안전서비스들과 운전자 편의 서비스들이 개발되고 있다. 본 논문에서는 이러한 ITS 서비스들의 품질을 보장하기 위해 필요한 link budget 분석을 수행하였다. 고속도로 환경에 적합한 경로손실 모델로 자유공간 모델과 two-ray모델을 통한 비교 분석을 통해 안정적인 통신 서비스가 가능한 셀 커버리지를 분석하였다.

• 한국철도학회논문집
• /
• 제14권3호
• /
• pp.295-299
• /
• 2011

철도안전법을 중심으로한 체계적인 안전관리와 연간 1조원의 철도안전분야에 대한 투자를 통해 최근 6년간 철도사고 발생율의 50%를 저감하였다. 철도사고율이 크게 감소하여 일부 지표는 선진국 수준에 도달하거나 선진국 보다 안전성이 높게 개선되었다. 2005년 이후 국가철도안전 목표는 철도사망자수, 열차사고발생율 및 10억인km당 여객사망자수 등으로 설정되어 운영중이다. 열차의 충돌, 탈선, 화재와 같은 열차사고 발생 및 관련 인명피해가 크게 감소한 반면, 안전사고 및 자살 관련 사고가 급증하고 있어 과거의 국가철도안전목표를 유지하기 어려운 실정이다. 철도운영기관의 안전관리 활동에 대한 노력과 국내의 취약점 도출에 활용할 수 있는 목표로의 변경이 요구되는 시점이다. 본 연구에서는 2011~2012년 사이에 새로이 수립되는 국가차원의 다양한 철도 안전분야 계획들의 목표를 설정하기 위해 필요한 철도사고율 분석, 추세분석, 목표 설정 방법론 분석 등을 수행하였다.

• 한국항행학회논문지
• /
• 제22권2호
• /
• pp.154-162
• /
• 2018

원전 주요계통의 전자카드에는 열화상태를 평가하기 위한 곱셈기가 필요하며, 이것은 두 개의 입력신호를 곱하는 기능을 가진 것으로서 실제 신호처리를 할 때 곱셈의 정확성을 기하기가 어렵다. 곱셈기 회로에서 중요한 것은 곱셈값이 정확해야 된다는 것과 곱셈의 선형성이 완벽해야 한다는 것이다. 본 논문에서는 연산증폭기와 트랜지스터의 특성을 이용하여 선형성이 우수한 곱셈기를 개발하여 본 논문에서 제시하여 정당성을 입증하려 하였다. 이와 같은 개발회로로서 정확한 곱셈과 곱셈의 우수한 선형성을 확보하기 위해 반도체의 비선형적인 요인을 제거하도록 노력하였다. 개발된 회로의 우수성을 입증하기 위해 개발된 회로에 적합한 각종 부품값을 부여하여 시뮬레이션으로서 곱셈연산을 수행하였다. 시뮬레이션 결과로서 단계별로 출력파형을 보였으며, 논리적인 분석치와 측정치를 비교분석하였다. 이 방법은 기존의 방법들에 비하여 곱셈결과와 선형성이 우수하다는 것을 확인하였다.