• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.463-466
• /
• 2016

아동은 미술 활동을 통하여 잠재되어 있는 개인의 정서, 심리, 욕구를 표현한다. 그림은 색채뿐만 아니라 그림의 크기에 따라 심리 상태가 나타나는데, 숨겨진 심리 상태를 해명하기 위해 여러 심리학자들이 연구하고 있다. 따라서 본 논문에서는 색채 정보와 그림의 크기 정보를 분석한 후에 퍼지 추론 방법과 침식 및 팽창 기법을 적용하여 아동의 심리 상태를 분석하는 방법을 제안한다. 제안된 방법의 효율성을 분석하기 위해 알슈울러와 해트윅의 색채에 따른 심리 상태 및 Grunwald의 공간 구성에 따른 심리 분석을 기반으로 제안된 방법을 실험한 결과, 제안된 색채 심리 분석 방법이 알슈울러와 해트윅의 색채에 따른 심리 상태와 Grunwald의 공간 심리 분석과 비교하여 거의 일치하는 것을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.497-501
• /
• 2022

대화 상태 추적(Dialogue State Tracking)은 특정 목적을 달성하기 위한 대화 시스템인 목적 지향 대화 시스템의 핵심 부분으로, 대화에서 표현된 사용자의 목적을 추출한다. 조기 위험 검출 시스템은 연속적으로 들어오는 정보를 바탕으로 분류 대상인지 아닌지를 판별하며, 정확도 저하를 피하면서 최대한 빠르게 분류하는 것을 목표로 한다. 본 연구에서는 대화 상태 추적 시스템에서 나온 은닉층을 입력으로 하여 실시간으로 공황 장애 여부를 점진적으로 조기 분류하는 시스템과 조기 분류를 위한 새로운 손실 함수를 제안한다. 조기 위험 검출 시스템에 대화 상태인 belief state의 정보를 함께 사용했을 때, 큰 성능 향상을 보였으며 대화 상태가 조기 위험 검출에 필요한 정보를 담고 있음을 확인할 수 있다.

• The Korean Publising Journal, Monthly
• /
• s.205
• /
• pp.18-19
• /
• 1997

로티는 두 저서를 통해 철학의 소명을 문화.시대상황과 연결시키고 있다. 로티에게 철학적 문제들이란 초역사적인 인간정신 속에 있는 심오한 어떤 표현이 아니라, 오히려 우연하고 일시적인 지적 정체상태의 징후다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.10a
• /
• pp.80.2-80
• /
• 2001

• The Journal of Engineering Geology
• /
• v.12 no.1
• /
• pp.89-93
• /
• 2002

Seismic geotomography method was performed to verify rock-filled settlement and its stability in No.38+0 profile and No.40+0 profile. The velocity distributions of geotomography method expressed the quantitative value of the ground conditions. The rock-filled layer and in-situ sediments layer are clearly divided on the basis of seismic velocity 2100 m/sec which is derived from the results of seismic geotomography and boring. Current rock-filled settlement conditions are somewhat different from designed settlement estimation line. Seismic geotomography represents current settlement conditions as a quantitative analysis.

• Journal of Korean Medical classics
• /
• v.19 no.3
• /
• pp.128-137
• /
• 2006

관우(關于) ${\ulcorner}$상한론(傷寒論)${\lrcorner}$ 적발어양화발어음적조문(的發於陽和發於陰的條文), 유허다부동적론쟁이의가적해석야도부일치(有許多不同的論爭而醫家的解釋也都不一致), 특별시관우음양적개념(特別是關于陰陽的槪念), 화발어음증적발열유무(和發於陰證的發熱有無), 치유시기(治愈時期), 의가적설명전각양각색이몰유일관적해석(醫家的說明全各樣各色而沒有一貫的解釋). 소이아주장료이하문제(所以我主張了以下問題), 기내용여하(其內容如下). 기일시발병부위(其一是發病部位), 발어양증시표현위기장성적정황하(發於陽證是表現衛氣壯盛的情況下) 감수외아구이병정위중적상태(感受外雅邱而病情危重的狀態). 발어음증적음지의의시표현인(發於陰證的陰之意義是表現人) 체내부적문제(體內部的問題), 저취시위기허적상태(這就是衛氣虛的狀態). 기이시발어음증적발열유무(其二是發於陰證的發熱有無), 가이추론재발어음증적상태상(可以推論在發於陰證的狀態上), 유용오하(有用誤下)오치(誤治) 적정황(的情況), 기정황취시발열증상(其情況就是發熱症狀), 소이발어음증(所以發於陰證) 초미견발열증(初未見發熱症), 단재병적진행과정상(但在病的進行過程上), 각유발열증상(却有發熱症狀). 기삼시치유시기(其三是治愈時期) 부요론칠일여륙일적시간(不要論七日與六日的時間), 단수요설명발어양적치응시기비발어음적치유시기요장(但需要說明發於陽的治應時期比發於陰的治愈時期要長). 발어양증비발어음증(發於陽證比發於陰證), 기병정위중(其病情危重), 소이수요제거아기병회복위기적시간(所以需要除去雅氣幷恢復衛氣的時間). 총지(總之) 발어양증적치유시기비발어음증적치유시기수요장(發於陽證的治愈時期比發於陰證的治愈時期需要長).

• Korean Journal of Cognitive Science
• /
• v.12 no.3
• /
• pp.19-28
• /
• 2001

In this paper, we describe an algorithm for transliterated foreign word extraction in Korean language. In the proposed method we reformulate the transliterated foreign word extraction problem as a syllable-tagging problem such that each syllable is tagged with a transliterated foreign syllable tag or a pure Korean syllable tag. Syllable sequences of Korean strings ale modeled by Hidden Markov Model whose state represents a character with binary marking to indicate whether the character forms a Korean word or not. The proposed method extracts a transliterated foreign word with high recall rate and precision rate. Moreover, our method shows good performance even with small-sized training corpora.