• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.311-316
• /
• 2004

본 논문에서는 기존의 무선 PKI에서 개선되어야 할 여러 가지 사항 중에서 인증서 획득 시간을 단축하기 위한 새로운 인증구조를 제안하고자 한다. 기존의 키 교환방식에서 키 교환 설정단계가 단순히 이산 대수문제에 근거하여 수행되었지만 인증서 시간단축을 위한 무선 PKI 인증구조의 상호인증과정에서는 키 교환 설정단계에서 타원곡선을 적용하였다. 인증 시간을 Sufatrio, K. Lam[4]가 제안한 인증구조와 제안한 인증구조를 실험을 통해 비교ㆍ분석하였다.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• Journal of the East Asian Society of Dietary Life
• /
• v.23 no.5
• /
• pp.654-661
• /
• 2013

The current research is designed to analyze sterilization effects on mulberries in terms of storage temperature and storage period after treating with tap water (TW), electrolyzed water (EW) and aqueous chlorine dioxide ($ClO_2$). The treated $ClO_2$ concentrations are 10, 50, 100 and 200 ppm. In each concentration, the mulberries are soaked for 30 seconds respectively. The sterilization effects are being compared at room temperature ($25^{\circ}C$) and at $4^{\circ}C$, respectively. And the enzyme activity related to quality is also being investigated and analyzed about for browning inhibition effects. Microbial sterilizing power increases more in treating plots with EW and $ClO_2$ than treating plot with TW. Futhermore sterilizing power of $ClO_2$ increased sharply on high concentration treatment plot as well. Sterilization effects of $ClO_2$ during storage time are better at cold temperature. Pictures taken from scanning electron microscope reveal that there are no microbes in sterilizing solutions treatment plots. From measurement of the enzyme activity, it is concluded that activities decrease more in sterilizing solutions treatment plots as comparing with TW treated plot during the time. The amount of total polyphenolics decrease with the time passing and EW and $ClO_2$ treatment shows less contents than TW treatment. Thus, EW and $ClO_2$ treatment of mulberris are considered as method to improve safety by reducing total plate count and to contribute to quality maintenance and to extend storage time.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.303-306
• /
• 2001

Using THz time-domain spectroscopy (THz-TDS), the power absorption and the real conductivity of silica sand are measured terahertz frequency range. It is impossible to measure the characterization of the silica sand by simple electrical measurements using mechanical contacts, e.g., Hail effect or four-point probe measurements. However, the THz-TDS technique can measure not only electrical but also optical characterization of the sample. Also this technique can measure frequency dependent results. Especially, the real conductivity was increased according to THz frequency this is unusual material compare with metal and semiconductor materials; the measured real conductivity are not followed by the simple Drude theory.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.193-196
• /
• 2007

본 논문은 관측기 기반 시스템에 대한 강인 디지털 재설계 방안을 제안한다. 디지털 재설계란, 기존의 안정화된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 그리고 전 역적 접근을 위한 방안으로서 문제를 볼록 최적화 관점으로 변환 후, 에러가 가질 수 있는 놈의 영역을 최소화 하여 상태 접합을 이루고자 하였다. 본 논문에서는 관측기 기반 시스템에 대한 디지털 재설계를 목표로 하되, 추가적인 파라미터 불확실성을 고려한 강인 디지털 재설계를 구성하게 된다. 파라미터 불확실성은 이산화 과정에서 구조적 형태가 변화하기 때문에, 이를 고려하여 주어진 식을 선형 행렬 부등식 형태로 나타내게 된다. 이 조건들을 통해 디지털 재설계의 상태 접합 및 안정도가 유도 가능하다는 것을 본 논문에서 증명하게 된다.

• Korean journal of applied entomology
• /
• v.54 no.3
• /
• pp.151-158
• /
• 2015

Chlorine dioxide ($ClO_2$) can be used as a fumigant to kill insects. However, some insects can exhibit an evasive behavior from chlorine dioxide. This evasive behavior decreases the efficiency of the insecticidal activity of chlorine dioxide. This study tested a hypothesis that heat treatment suppresses the evasive behavior and synergizes the control efficacy of chlorine dioxide. Chlorine dioxide fumigation killed the red flour beetle, Tribolium castaneum, under direct exposure condition to the chemical for 12 h with median lethal concentrations of 383.67 ppm (153.63 - 955.78 ppm: 95% confidence interval) for larvae and 397.75 ppm (354.46 - 446.13 ppm: 95% confidence interval) for adults. However, when they were treated with enough diet flour, they exhibited an evasive behavior by entering the diet, which significantly decreased the control efficacy of the fumigant. To clarify the evasive behavior, the choice test of the adults were performed in Y tube arena. The test adults significantly avoided the diet treated with chlorine dioxide, while the antennatectomized adults lost the avoidance behavior. Heat treatment using $46^{\circ}C$ for 6 h killed only 10% or less of T. castaneum. Interestingly, most adults were observed to come out of the diet under the heat treatment. Chlorine dioxide treatment even at 400 ppm for 6 h did not kill any T. castaneum. However, the combined treatment of chlorine dioxide with the heat treatment for 6 h resulted in 95% mortality. These results indicated that heat treatment suppressed the evasive behavior of T. castaneum and synergized the control efficacy of the chlorine dioxide fumigant.

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

In this paper, we investigate how well the channel memory (statistical dependence in the occurrence of transmission errors) can be used in the evaluation of widely used error control schemes. For this we assume a special case named as the simplest Markovian block-error pattern with two states, in which each block is classified into two classes of whether the block transmission is in error or not. We apply the derived pattern to the performance evaluation of the practical link-level procedures, LAPB/D/M with multi-reject options, and investigate both throughput and user-perceived response time behaviors on the discrete-time domain to determine how much the performance of error recovery action is improved under burst error condition. Through numerical examples, we show that the simplest Markovian block-error pattern tends to be superior in throughput and delay characteristics to the random error case. Also, instead of mean alone, we propose a new measure of the response time specified as mean plus two standard deviations 50 as to consider user-perceived worst cases, and show that it results in much greater sensitivity to parameter variations than does mean alone.

• Proceedings of the KIPE Conference
• /
• 2014.07a
• /
• pp.150-151
• /
• 2014

높은 SOC(state-of-charge) 추정알고리즘의 성능을 위해서는 측정된 배터리 단자전압의 정확도가 요구된다. 그렇지만, 예기치 않은 에러로 인해 단자전압에 노이즈 성분이 추가될 경우 SOC 추정성능의 저하를 피할 수 없다. 그러므로, 본 논문에서는 이산 웨이블릿 변환(DWT;discrete wavelet transform)의 다해상도 분석(MRA;multi resolution analysis)의 디노이징(denoising)기법을 적용한 이차전지의 SOC 추정방법을 소개한다. MRA의 시간-주파수 분석을 통해 분해(decomposition)된 저주파 성분(approximation;$A_n$)과 고주파 성분(detail;$D_n$)중 노이즈에 관계된 $D_n$의 고주파 상세 계수(detail coefficient) $d_{j,k}$를 새로이 조정하고 이를 합성(synthesis)하여 디노이징을 마무리 한다. 확장 칼만필터(EKF;extended Kalman filter)의 비교 분석을 통해 제안된 방법의 타당성을 검증한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.346-346
• /
• 2022

본 연구에서는 GPU(Graphic Processing Unit) 가속 분포형모형을 실제 유역에 적용하여 강우 유출모의 결과의 정확성과 모의시간의 효율성에 대한 분석을 수행하였다. 분포형모형의 지배방정식은 운동파모형과 Green-Ampt모형으로 구성되어 있으며, 운동파모형은 유한체적법을 이용하여 이산화 하였다. GPU 가속 모형은 CUDA(Compute Unified Device Architecture) 포트란(Fortran)을 사용하여 개발된 모형으로 수치모의시 연산시간 단축을 고려한 모형이다. 모형의 정확성과 효율성은 미호천 유역에서 발생하는 강우유출현상에 GPU 가속 운동파모형을 적용하여 분석하였다. 수치모의 결과값은 대상유역에 속한 수위관측소의 관측값과 비교하여 정확성을 검증하였고, 수치모의 소요시간은 CPU(Central Processing Unit) 기반 운동파모형의 수치모의 소요시간과 비교하여 효율성을 검증하였다. GPU 가속 운동파모형의 수치모의 결과는 관측값과 유사한 결과를 나타냈으며, 수치모의 소요시간은 본 연구에 사용된 장비를 기준으로 최대 100배 정도 단축되었다.