• 터널과지하공간
• /
• 제8권3호
• /
• pp.200-208
• /
• 1998

외부로부터 정적 혹은 동적 하중을 받는 암반절리의 거동특성을 규명하기 위해서 교란상태 개념(Disturbed State Concept, DSC)을 이용한 구성방정식 이론과 이 이론을 수치해석에 적용하기 위한 응력-변형률 관계식을 소개한다. 본 연구에서 제안한 DSC 이론은 변형준인 암반절 리가 상대적으로 손상되지 않은 상태(Relative Intact; RI)와 완전 파괴된 상태(Fully Adjusted; FA)의 혼합으로 표현될 수 있다는 가정에 기초를 두고 있다. 여기서 사용된 두가지 상태, 즉 RI 상태와 FA 상태는 암반절리의 파괴정도를 나타내는 지표가 된다. 이러한 가정을 기초로 임의의 하중을 받는 절리는 초기 RI 상태에서 점진적으로 재료 내부의 미세구조 조정기능을 거치면서 최종적으로 파괴가 발생하는 FA 상태로 진행한다. 본 연구에서는 RI 상태, FA상태 그리고 재료의 파괴정도를 나타내는 교란도 함수(D)를 해석적으로 정의하여 암반절리의 역학적 거동특성을 표현하기 위한 응용화를 시도하였다. DSC모델은 암반절리의 경화 및 연화특성을 표현할 수 있으며, 절리의 크기 및 표면의 거침도 등을 고려할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.751-754
• /
• 2007

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.864-867
• /
• 2012

사람들이 휴대용 위치정보 수집 장비나 혹은 스마트폰을 사용하면서 사람의 이동 정보인 위치정보들을 모으는 일이 가능해 졌다. 이러한 위치정보들을 가지고 본 논문에서는 사람의 이동 모델을 나타내고자 하였다. 이동 정보들은 머물러 있는(Stay)상태와 이동하는(Moving) 상태로 나눌 수 있는데 이러한 상태 중 머물러 있는 상태가 군집화가 되어 연쇄 모델속의 하나의 상태(State)로 나타나 질 수 있다. 물론 이동 정보들을 통해 연쇄모델 속 각 상태간의 전이 확률 또한 계산 할 수 있다. 이러한 일련의 과정을 본 논문에서는 기대치 최대화 기반 군집화 과정을 통해 연속시간 연쇄 모델의 형태로 인간의 이동성을 표현하였다. 또한 이러한 모델에서 대표 군집(macro)과 그 부속 군집(micro)을 표현할 수 있었고 이러한 모습은 대표적인 큰 군집 속의 작은 군집의 형태로 나타나게 된다.

• 한국정보처리학회논문지
• /
• 제4권3호
• /
• pp.846-858
• /
• 1997

순수 함수형 프라그래밍 언어는 명확한 어의와 많은 특성에도 불구하고 상태의 표현이 어렵다는 문제점을 가지고 있다 이와 같은 문제로 인힝순수 함수형 언어에 상태를 표현 하기 위한 많은 연구가 진행되었으나 형시스템이나 감축규칙이 복잡하기 때문에 구현이 어렵다는 문제점이 발생된다. 따라서 효율적인 구현기 위해 감축규칙을 단순화시키고 상태를 효율적으로 관리할 수 있는 방안이 요구 된다. 본 논문에서는 순수 함수형 언어 의 성질을 침해함이 없이 상태를 표현할 수 있으며 감축규칙을 단순화 시킨 함수형 언어의 수행모델st-계산을 제안하고, 제안된 모델이 church-roser 정리를 만족함을 증명 하였다. 제안된 방법을 통해 구문구조의 표현력을 높일 수 있었으며, 감축규칙을 단순화 함으로써 구현이 용이할 것으로 기대된다.

• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.65-72
• /
• 2009

현재 컴포넌트 기반 개발 기법은 재사용성과 생산성 측면에서 효과적인 소프트웨어 개발 방법으로 많은 각광을 받고 있다. 하지만 기존의 UML을 이용한 컴포넌트 기반 개발에서는 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태기계 다이어그램으로 표현하고, 표현된 상태기계 다이어그램을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태기계 다이어그램으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 개발한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.214-216
• /
• 2011

Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현 이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.324-326
• /
• 2008

컴포넌트 기반 개발(Component Based Development, CBD)은 높은 품질의 소프트웨어를 신속하고 효과적으로 개발할 수 있는 방법으로써 각광 받아 왔다. 하지만 CBD를 이용한 기존의 소프트웨어 개발은 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하였다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태머신으로 표현하고, 표현된 상태머신을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태머신으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 설계한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅳ
• /
• pp.2443-2446
• /
• 2003

본 논문에서는 한국전자통신연구원에서 제공된 대어휘 음성DB를 이용하여 HM-Net(Hidden Markov Network) 음성인식 시스템의 성능평가를 수행하였다. 음향모델 작성은 음성인식에서 널리 사용되고 있는 통계적인 모델링 방법인 HMM(Hidden Markov Model)을 개량한 HM-Net을 도입하였다 HM-Net은 PDT-SSS 알고리즘에 의해 문맥방향과 시간방향의 상태분할을 수행하여 생성되는데, 특히 문맥방향 상태분할의 경우 학습 음성데이터에 출현하지 않는 문맥정보를 효과적으로 표현하기 위해 음소결정트리를 채용하고 있으며, 시간방향 상태분할의 경우 학습 음성데이터에서 각 음소별 지속시간 정보를 효과적으로 표현하기 위한 상태분할을 수행한다. 이러한 상태분할을 수행하여 파라미터를 공유하게 되며 최적인 모델 네트워크를 작성하게 된다. 대어휘 음성데이터를 이용하여 음향모델을 작성하고 인식실험을 수행한 결과, 100명의 100단어와 60문장에 대해 평균 97.5％, 96.7％의 인식률을 보였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2008년도 제38차 하계학술발표논문집 16권1호
• /
• pp.331-336
• /
• 2008

같은 상황이라도 사람에 따라 느끼는 감정은 다르다. 따라서 감정을 일반화하여 현재의 감정 상태를 정량적으로 표현하는데 는 한계가 있다. 본 논문은 현재의 감정 상태를 나타내기 위해, 인간의 감정을 모델링한 심리학의 감정 모델을 공학적으로 접근하여 심리학기반 공학적 인공감정을 제안한다. 제안된 인공감정은 심리학을 기반으로 감정발생의 인과관계, 성격에 따른 감정의 차이, 시간에 따른 감정의 차이, 연속된 감정자극에 따른 감정의 차이, 감정간의 상호관계에 따른 감정의 차이를 반영하여 구성했다. 현재의 감정 상태를 위치로 나타내기 위해서 감정장을 제안했고, 감정장 상의 위치와 위치에 따른 색깔로 현재의 감정 상태를 표현했다. 감정상태의 변화를 제안된 인공감정을 통해 시각화해보기 위해 셰익스피어의 '햄릿'에서 극중 등장인물인 햄릿의 감정변화를 제안된 인공감정을 통해 시각화 해 보였다.

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

본 논문에서는 인간의 시각(색채)과 그림 표현의 공간구성에 따른 감성과 심리 상태를 파악하기 위하여 색채 정보와 위치 정보를 분석한다. 그리고 분석한 컬러 정보에 퍼지 논리와 퍼지 추론 규칙을 적용하여 감성 상태를 파악하고 분석한 위치 정보에 퍼지 소속 함수를 적용하여 공간 배치에 따른 심리 상태를 파악하는 방법을 제안한다. 제안된 처리 방법을 알슈울러와 해트릭(Alschuler and Hattwick)의 색채에 따른 감성 상태와 Grunwald의 그림 표현의 공간구성에 따른 심리 상태에 적용한 결과, 제안된 감성 처리 방법이 효율적인 것을 확인하였다.