• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2004년도 춘계 종합학술대회 논문집
• /
• pp.311-316
• /
• 2004

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

• 소프트웨어공학소사이어티 논문지
• /
• 제13권3호
• /
• pp.45-54
• /
• 2000

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

• 동아시아식생활학회지
• /
• 제23권5호
• /
• pp.654-661
• /
• 2013

본 연구에서는 수도수, 전해수, 이산화염소수 처리에 의한 오디의 저장온도 및 기간에 따른 품질 양상을 분석하였다. 오디를 수도수, 전해수와 이산화염소수 농도별 10, 50, 100, 200 ppm으로 각각 30초 동안 담금질을 한 후, 실온과 냉장에 저장하여 시간에 따른 저장성 효과를 비교하였다. 또한, 외관 품질 유지와 갈변 저해 효과를 탐색하였다. 또한, 오디 과실 표면으로부터 Enterobacter aerogenes와 Serratia marcescens의 위해미생물을 분리 동정하였다. 살균세척수를 처리한 후, 저장 온도별 시간에 따른 미생물 총 균수를 측정한 결과, 각 처리구의 미생물 살균력은 전해수와 이산화염소수가 수도수 처리보다 증가하였으며, 이산화염소수는 고농도일수록 현저하게 증가하였다. 상온에서 저장하는 처리구보다 냉장 저장한 처리구에서의 미생물 억제효과가 뛰어났다. 오디의 표면에 주사전자현미경 촬영 결과, 살균 세척수 처리구에서는 미생물이 생존하지 않았다. 효소활성을 측정한 결과, 수도수 처리구보다 살균 세척수 처리구에서 함량이 낮아졌으며, 시간이 지남에 따라 서서히 증가하였다. 총 폴리페놀 함량은 세척 방법 간 유사한 결과를 나타내었다. 저장일수가 증가할수록 감소하였고, 전해수와 이산화염소수 처리구의 함량이 수도수 처리보다는 낮았다. 따라서 오디의 전해수와 이산화염소수 처리는 초기의 미생물 총 균수를 감소시켜 신선도를 유지하고, 상온보다 냉장 저장에서 효과가 더 우수하였으며, 품질 유지 및 저장성 향상에 기여할 것으로 사료된다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.303-306
• /
• 2001

본 연구는 테라헤르츠 시간영역 분광법 (THz time-domain spectroscopy : THz-TDS)을 이용하여 광학 및 전기 전자 재료로 널리 사용되는 이산화규소의 흡수율과 도전율을 각각 테라헤르츠 주파수 영역에서 측정하였다. 입자 형태로 구성된 이산화규소의 재료는 기존의 접촉식인 Hall 측정이나 4-point probe 측정으로는 그 전기적 특성 분석이 불가능하지만, THz-TDS 방법은 비접촉식 방법으로 전기적 특성뿐만 아니라 광학적 특성 분석도 가능하다. 또한 기존의 전기적 폭정 장치는 DC 영역에서만 가능하지만, 본 방법은 테라헤르츠 주파수 영역에 따른 그 특성을 분석 할 수 있다. 특히 도전율은 금속 및 반도체와 달리 테라헤르츠 주파수가 증가함에 따라 증가하였는데, 이러한 결과는 Drude 이론을 따르지 않음을 확인하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
• /
• pp.193-196
• /
• 2007

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

• 한국응용곤충학회지
• /
• 제54권3호
• /
• pp.151-158
• /
• 2015

이산화염소($ClO_2$) 훈증제는 살충효과를 나타낸다. 그러나 일부 곤충은 이산화염소에 대해 회피행동을 보여, 이 훈증제에 대한 방제효율을 크게 떨어뜨리고 있다. 본 연구는 이를 해결하기 위해 이산화염소 처리에 열처리를 추가하여 곤충의 이산화염소에 대한 회피행동을 줄여 살충효과를 극대화하는 전략을 세웠다. 이산화염소 훈증 처리는 거짓쌀도둑거저리(Tribolium castaneum)에 대해 살충효과를 주었으며, 시험 곤충이 노출된 조건에서 12 시간 처리할 때 유충에 대해서 383.67 ppm (153.63 - 955.78 ppm: 95% 신뢰구간), 성충에 대해서 397.75 ppm (354.46 - 446.13 ppm: 95% 신뢰구간)의 반수치사농도를 나타냈다. 그러나 먹이인 밀가루를 충분히 제공한 상태에서 이산화염소를 처리하면, 처리 약제에 반응하여 시험 곤충이 먹이 속으로 들어가는 회피행동을 보이면서 방제효과는 크게 낮아졌다. Y 튜브를 이용한 이 곤충의 먹이 선호성 행동을 분석한 결과 거짓쌀도둑거저리 성충은 이산화염소가 처리된 먹이를 회피하는 행동을 보였다. 그러나 촉각을 제거한 경우 이러한 회피행동은 둔화 되었다. 거짓쌀도둑거저리에 6 시간 동안 $46^{\circ}C$ 열처리를 하면 살충효과는 10% 이하로 낮지만, 처리된 성충들이 먹이 밖으로 나와 있는 것을 관찰하였다. 반면 400 ppm의 이산화염소를 단독으로 6 시간 처리한 결과 회피행동에 따라 전혀 살충효과를 보이지 않았다. 그러나 $46^{\circ}C$ 열처리와 400 ppm의 이산화염소를 병행하여 6 시간 처리한 결과 살충효과는 95%로 크게 증가하였다. 따라서 열처리는 거짓쌀도둑거저리의 이산화염소에 대한 회피행동을 억제하여 살충효과를 증가시켰다.

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

본 논문에서는 전송채널의 메모리 (전송오류가 발생하는 형태상의 통계적 상관관계) 특성이 현재 실제 널리 사용되고 있는 오류제어 프로토콜의 성능에 어느 정도 영향을 끼치는 가를 연구하고자 한다. 먼저 각 정보블록의 오류발생 형태는 전송오류가 발생하거나 하지 않는 두 가지 상태를 갖는 마르코프 오류모델을 따른다고 가정하고, 이 모델을 다중－거부 옵션을 가진 실제적인 LAP 계열 프로토콜들, 즉 LAPB/D/M 절차들에 적용하여 전송성능과 반응시간에 대한 이산－시간 해석을 행한다. 수치해석을 통해 마르코프 오류모델 하에서 분석된 실제적인 LAP 계열 프로토콜의 전송성능과 전송지연 특성이 일반적으로 가정되는 상호독립적 오류모델을 사용한 결과보다 개선된다는 점을 관찰하고 오류제어 프로토콜의 정확한 성능분석을 위해서는 집중형 오류모델을 사용해야 한다는 결론을 도출한다. 또한 사용자가 인지하는 반응시간의 정확한 평가를 위해 평균과 표준편차를 동시에 고려한 새로운 반응시간 척도를 제안하고, 이를 평균으로만 반응시간을 평가할 경우와 비교하여 새로운 척도가 파라미터 변이에 대해 훨씬 민감하게 반응시간을 평가할 수 있다는 효율성을 입증한다．

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• 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)의 비교 분석을 통해 제안된 방법의 타당성을 검증한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.346-346
• /
• 2022

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