• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.246-248
• /
• 1998

본 논문에서는 대화형 시스템을 시험하기 위한 시험 사례를 마코프 연쇄의 통계적 확률 과정으로 생성하는 방안을 제시한다. 객체지향 방법론의 통합안인 UML에서는 클래스도(Class Diagram)가 표현할 수 없었던 시스템의 동적인 관점을 상태 전이도(State Transition Diagram)는 구체적으로 표현할 수 있다. 시스템의 사용법을 상태 전이도로 표현하고, 상태간의 전이 확률(Transition Probability)을 계산하여 사용법 연쇄(Usage Chain)를 구성한다. 사용법 연쇄는 다음 상태가 과거의 상태에 영향을 받지 않고 현시점의 상태에만 의존하는 이산 시간형 확률과정인 마코프 연쇄(Markov Chain)가 된다. 본 논문에서는 사용법 연쇄를 분석하여 상태 전이도의 상태와 원호가 어떤 범위에서 시험될 것인지 결정되었을 때, 사용법 연쇄의 전이 확률이 높은 순서별로 연결하여 시험 사례를 생성하는 방안을 제시하고, 예제를 설명한다.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.157-168
• /
• 2014

거친 표면 위에서 물방울은 Wenzel (WZ) 상태와 Cassie-Bexter (CB) 상태로 존재할 수 있으며, 특히 돌기 사이를 채우고 있는 물 분자의 상태 (액체 또는 기체)로 물방울이 어떤 상태인지를 알아 낼 수 있다. 본 연구에서는 열역학적 이론과 격자 기체 기반의 몬테카를로 방법을 사용하여 표면 위에 존재하는 돌기의 크기와 모양이 돌기 사이에서 일어나는 물 분자의 액체-기체 상전이에 미치는 영향에 대해 살펴보았다. 돌기의 너비와 높이가 일정한 비율을 유지하고 있을 경우, 직육면체 (Square) 돌기의 경우 그 크기가 커질수록 CB 상태로의 상전이가 잘 일어나는 반면, 원통형 (Circular) 돌기의 경우 매우 큰 크기에서 더 이상 CB 상태로의 상전이가 일어나지 않는 것을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (중)
• /
• pp.1313-1316
• /
• 2002

본 논문은 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것으로, 좀더 상세하게는, 음성 처리 시스템의 서비스 시나리오를 생성하기 위한 단위 서비스 상태를 각각 정의하고 수행하는 다수의 상태 정의 모듈과, 시나리오 작성자가 상기 다수의 상태 정의 모듈 중 서비스 시나리오의 작성에 필요한 상태 정의 모듈들을 추출하고 추출된 각 상태 정의 모듈의 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 지정할 수 있도록 유저 인터페이스 기능을 제공하는 유저 인터페이스 모듈과, 시나리오 작성자에 의하여 추출된 상태 정의 모듈들에 상기 지정된 입력 값, 비교 값 및 분기할 다음 상태 정의 모듈 명을 입력하여 서비스 시나리오를 생성하는 서비스 시나리오 생성 모듈과, 생성된 서비스 시나리오를 제어부가 실행할 수 있는 실행 코드로 변환하여 제어부에 제공하는 실행 코드 변환 모듈로 이루어지는 음성 처리 시스템의 서비스 시나리오 생성기에 관한 것이다.

• EDISON SW 활용 경진대회 논문집
• /
• 제5회(2016년)
• /
• pp.319-320
• /
• 2016

아조벤젠 (Azobenzene)은 광스위치분자 소자로서 빛에 의해 분자의 구조가 바뀌는 성질을 가지고 있다. 이러한 특성은 전류를 적절히 조절하는 온/오프 기능의 수행 가능성을 제시한다. 빛의 파장에 따라 두 벤젠 고리를 연결하는 원자들 (CNNC)의 광학여기상태가 달라지며, 그 결과로 CNNC 각도의 변화가 나타난다. 이는 아조벤젠 구조의 변화를 가져오며, 크게 cis-, trans-(CNNC 각도 기준으로 각각 $0^{\circ}$, $180^{\circ}$)로 나눠진다. 이 연구에서는 LCAO-DFT 제일원리 계산을 이용하여, CNNC 각도에 따른 분자 구조의 변화와 안정성을 바닥상태($S_0$)와 광학여기상태($S{\text\tiny{1}},n{\grave{a}}{\pi}^*$)로 나누어 살펴보았다. 그 결과 바닥상태에서는 trans-구조가 가장 안정하였고, 광학여기상태에서는 CNNC 각도가 $90^{\circ}$ 부근에서 가장 안정한 구조를 가졌다. 또한, 바닥상태에서는 cis-, trans-사이에 에너지 장벽이 있는 반면 광학여기상태에서는 에너지 장벽이 없음을 관찰하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.506-508
• /
• 2003

개방형 네트워크인 인터넷에 급속한 발달로 인하여 Offline상에서 처리되던 기존의 업무들이 Online상의 업무로 빠르게 전환되어 가고 있다. 하지만 Online상에서의 업무처리는 항상 개인 정보누출, 개인정보의 위조 및 변조의 문제를 내포하고 있으며, 위와 같은 문제를 해결하기 위한 대안으로 PKI 기반의 인증서 검증 시스템이 제안 되었고 현재도 연구가 계속 되어지고 있다. 본 논문에서는 PKI 기반의 인증서 상태검증 방식 중의 하나인 CRL기반의 인증서 상태검증 방식과 OCSP기반의 인증서 상태 검증 방식의 대하여 기술하고, 실시간으로 인증서 상태를 검증 할 수 없는 CRL 기반의 인증서 상태검증 방식의 단점과 네트워크 상태의 따라 인증서 검증 속도가 달라지는 OCSP기반의 인증서 상태 검증 시스템의 단점을 해결하기 위한 데이터베이스를 이용한 클라이언트-서버 기반의 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통해서 CRL기반의 인증서 검증 시스템과 OCSP기반의 인증서 검증 시스템 그리고 제안하는 데이터베이스를 이용한 클라이언트-서버 인증서 검증 시스템의 검증속도를 비교해 보고자 한다.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.527-540
• /
• 2009

상태 다이어그램은 객체가 가질 수 있는 상태와 각 상태에서 수행 할 수 있는 전이를 사용하여 객체의 동적행위를 표현한다. 본 논문에서는 클래스 연산들의 선행/후행 조건들을 이용하여 상태다이어그램을 자동으로 생성하는 기법을 제안한다. 그리고 본 논문에서 제시한 기법을 구현하는 도구 SDAG(State Diagram Automatic Generation Tool)을 제작하였다. 추가적으로 생성된 상태 다이어그램의 복잡도를 감소시키기 위하여 연산의 종류를 고려한 상태 다이어그램 생성 방법과 생성된 다이어그램을 측정하는 방법을 제안하고 실험하였다.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2008년도 춘계학술발표대회 및 제14회 신소재 심포지엄
• /
• pp.39.1-39.1
• /
• 2008

• 한국정보통신학회논문지
• /
• 제8권5호
• /
• pp.1010-1019
• /
• 2004

본 논문에서는 Nakagami-m 페이딩 채널을 Finite-State Markov Channel (FSMC)로 모델링하고, 채널 상태 변화에 따른 통신 시스템의 성능을 분석하였다. 고려한 FSMC 모델에서는 수신 신호의 신호 대 잡음 전력비를 유한개의 구간으로 나눠 각각의 구간을 Markov 체인의 상태로 대응한다. 각 상태는 무기억 이진 대칭 통신로로 가정하고, 한 상태에서 다른 상태로의 천이는 Markov 천이를 따른다고 가정한다. 수치 해석을 통해 각 상태에 있어서의 평균 심볼 오율, 정상 상태 확률 그리고 상태 천이 확률을 구하여 FSMC 모델을 구성하였고, 상태 천이 지수를 변경함으로써 여러 페이딩 환경을 FSMC 모델로 나타낼 수 있음을 확인하였다. 상태 천이 지수가 클 경우인 빠른 페이딩 채널에서는 채널이 i.i.d. 특성을 나타내게 되며, 상태 천이 지수가 작을 경우인 느린 페이딩 채널은 인접한 상태로의 천이만 발생하는 간단한 FSMC 모델로 표현될 수 있음을 확인하였다. 마지막으로 제안한 FSMC 모델의 응용 예로써, 여러 채널 환경에서 랜덤 에러 정정 부호의 부호화 이득의 차이를 컴퓨터 시뮬레이션을 통해 비교, 분석하였다.

• 한국ITS학회 논문지
• /
• 제12권3호
• /
• pp.53-64
• /
• 2013

첨단차량 및 도로시스템 (AVHS)의 가장 핵심적인 모형인 추종거동 모형은 인간공학적 요소를 반영하거나 가속도 오차율을 줄이는 등 다양한 측면에서 개발되고 있다. 하지만 첨단차량 추종거동과 관련하여 기상상황을 고려한 안전성에 대한 연구는 미미한 실정이다. 따라서 본 논문에서는 기상상황에 따른 노면상태와 차량 주행행태의 관계를 분석하여 첨단차량 추종거동 시 차량의 주행행태 변화를 비교하였고, 이에 따른 노면상태 별 최적안전거리를 산정하였다. 노면상태는 기상상황에 따라 다양하게 분류 되지만, 본 논문에서는 건조, 습윤, 적설 노면상태로 분류하고 이에 따른 마찰계수를 추종거동 모형인 GMIT 모형에 적용하였다. 제안된 추종거동 모형의 시뮬레이션 결과, 기상상황별 노면상태에 따라 추종차량의 속도와 가속도 및 차간거리가 변화되었다. 또한 변화하는 노면상태에 따라 달라지는 차간거리를 이용하여 기상상황에 따른 노면상태 별 최적안전거리를 산정하였다. 습윤노면상태에서의 최적안전거리는 건조노면상태에 비해 약 1.7배가 늘어났으며, 적설노면상태에서의 최적안전거리는 건조노면상태에 비해 약 5.6배가 늘어났다.

• 한국도로학회논문집
• /
• 제10권3호
• /
• pp.199-208
• /
• 2008

포장상태 예측은 의사결정과정에서 포장의 공용성능을 평가하고 사업대상구간의 우선순위를 선정하기 위한 적정한 정보를 제공해준다. 근래들어 현재의 포장상태가 장래에 어느 정도 저하되는지를 예측하려는 많은 접근이 있었으나 포장의 서비스수명을 적정히 예측하는 데에는 한계를 보여왔다. 본 논문에서는 포장상태 예측방법을 개선하기 위하여 포장상태 공용성모형과 포장상태 예측모형을 개발하였다. 공용성 모형은 실제 포장상태 분석결과를 회귀분석하여 포장의 종류별, 교통량별로 백분위 50%, 25%, 15%, 5%의 확률분포 모형을 도출한 것이다. 예측모형은 앞서 도출된 공용성모형 모형식을 기준으로 하여 대상구간 각각의 포장상태 측정값에 의해 포장상태 확률을 결정한다. 개발된 예측모형의 검증을 위하여 비교대상구간을 선정하였고, HPCI의 평균값 표준편차, 3.0이하 비율을 비교분석하였다. 이를 통하여 기존예측모형이 안고 있는 교통량, 재령, 현재 포장 상태를 고려하여 보다 현실에 부합되는 포장상태를 예측하는 방법을 제공하고자 한다.