• 대한화학회지
• /
• 제53권2호
• /
• pp.99-110
• /
• 2009

본 총설에서는 유리 전이에 관계되는 상태인 과냉각 액체와 유리의 특성, 그리고 유리 전이 관련 이론에 살펴보았다. 이 상태들은 비평형 상태로, 유리 전이는 일반적인 상전이와는 다르다. 유리와 관련 실 험 방법에 관하여 간략히 요약하였다.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.264-266
• /
• 1999

고정 네트워크를 기반으로 하는 클라이언트/서버 환경에서 클라이언트가 제기하는 요청에 대한 응답시간을 최소화하기 위해 사용되는 캐슁 기법은 이동 컴퓨팅 환경에서도 이동 클라이언트가 제기하는 질의에 대한 응답시간을 최소화하기 위해 적용될 수 있다. 기존의 분산 환경과 비교해 보면, 이동 컴퓨팅 환경에서는 연결 상태의 변호가 빈번하게 발생한다. 따라서 일반적인 분산 환경에서의 캐슁 기법이 이동 컴퓨팅 환경에 적용되기 위해서는 이동 컴퓨팅 환경에 맞도록 수정이 되어야만 한다. 즉, 이동 호스트의 이동성으로 인하여 연결 상태가 변화 할 수 있기 때문에 이동 컴퓨팅 환경을 위한 캐슁 기법은 이동 호스트의 연결 상태 전이에 적응성을 갖도록 해야 한다. 연결 상태 전이에 적응성을 갖도록 하기 위해서본 논문에서는 연결 상태 전이 예측 윈도우를 사용하고 연결 상태 전이에 미리 대비하여 캐슁을 수행함으로써 이동 호스트의 캐쉬는 최신의 유효한 데이터의 일관성을 보장하며, 사용자에게는 신속한 응답을 수행할 수 있다.

• Journal of Oral Medicine and Pain
• /
• 제26권1호
• /
• pp.51-58
• /
• 2001

다양한 자세에서 교합장치의 두께가 저작근에 미치는 영향을 근전도학적으로 평가하고자, 측두하악장애의 징후와 증상이 없고 정상교합을 가진 성인 8명을 대상으로, 교합장치를 장착하지 않은 상태에서와 4.3, 6.0, 8.1mm 두께를 가진 교합장치를 장착한 상태에서 직립위, 식사위 그리고 앙와위에서 최대 이악물기 상태의 좌, 우측 교근 몇 전측두근의 근활성도를 채득, 분석하여 다음과 같은 결과를 얻었다. 1. 전측두근에서는 교합장치를 장착하지 않은 상태보다 교합장치를 장착한 상태에서 근활성이 유의하게 감소하였고 (p<0.05), 교근에서는 차이가 없었다. 2. 직립위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 3. 식사위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 4. 앙와위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 4.3, 6.0, 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05).

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.501-503
• /
• 2000

인터넷을 기반으로 웹이 급속하게 성장함에 따라 웹 기반 어플리케이션의 품질이 점차 중요시되고 있다. 이로 인하여 웹 어플리케이션의 품질을 검증할 수 있는 수단이 필요하게 되었고 산업계에서도 연구가 활발히 이루어 지고 있는 실정이다. 하지만 대부분의 연구가 웹 사이트에 대한 부하시험들에 치중하고 있고, 기능적 측면의 시험은 제대로 지원하고 있지 못한다. 본 논문에서는 웹의 기능적 측면을 시험할 수 있는 기법을 제시하려 한다. 웹을 기반 모델로 보고, 웹의 동적 행위를 웹의 상태 전이로 정의하였다. 이러한 상태 전이를 표현하기 위한 상태 전이 그래프를 제안하였고, 이를 기반으로 기존의 상태 기반 시험 기법을 도입하여 시험사례를 생성하는 기법을 제시하였다.

• 한국콘텐츠학회논문지
• /
• 제11권10호
• /
• pp.49-58
• /
• 2011

결함 트리 분석(Fault Tree Analysis)은 결함 트리를 구축하여 시스템의 안전성 분석을 수행한다. 그러나 결함 트리를 구성하는 작업은 대상 시스템의 도메인에 대한 지식과 경험을 필요로 하며 많은 시간과 노력을 소요한다. 이 논문에서는 시스템 설계 산출물인 상태 전이 모델을 기반으로 결함 트리를 체계적으로 구성하는 방법을 제안한다. 이를 위해 시스템 상태 전이 모델의 안정성 확보에 필요한 조건들을 식별하고 결함 트리를 구성할 수 있는 템플리트를 개발한다. 이 논문에서는 제안된 방법을 철도 건널목 제어 시스템에 적용한 결과도 기술한다.

• 전기의세계
• /
• 제41권1호
• /
• pp.19-22
• /
• 1992

최근 개개 원자들의 움직임을 조절할 수 있는 scanning tunnelling microscope(STM)의 유용성을 입증할만한 가공할 발명은 원자 한개로 ON-OFF 상태를 구현 할 수 있는 원자 스위치의 발명이라 할 수 있다. 이 원자 스위치는 원자를 조정하는 STM의 scanning용 침으로 부터 원자 하나를 니켈 기판위에 전달 할 수 있게 함으로써 가능하게 되었다. STM의 Xenon침과 기판 사이를 Xenon원자 하나가 이동함으로써 스위치 작용이 이루어 지는데 이 스위치 작용이란 높은 전도 상태의 침으로부터 낮은 전도 상태의 기판으로 원자가 이동함으로써 침과 기판 사이에 이루어지는 전기적 전도 현상을 말한다 이러한 전기적 전도 상태는 마이크로 회로에서 중추적인 역할을 수행하는 ON-OFF의 2진 소자나, 스위치 소자로써 사용할 수가 있다.

• 정보처리학회논문지A
• /
• 제14A권2호
• /
• pp.85-90
• /
• 2007

본 논문은 애니메이터로 하여금 표정공간으로부터 임의의 표정상태 수 개를 선택하도록 하면, 최적의 표정전이경로를 자동적으로 설정하도록 해줌으로써, 얼굴 표정 애니메이션을 실시간적으로 생성하거나 표정 제어가 가능하도록 하기 위한 기법을 기술한다. 표정공간은 약 2500개의 얼굴 표정상태 간의 거리를 구하고, 다차원 스케일링 기법을 사용하여 2차원 평면에 분포시킴으로서 형성된다. 표정공간에서 최적의 표정전이경로를 설정하기 위해서는 임의의 얼굴 표정상태를 기준으로 사분면처럼 4개의 영역으로 나눈다. 그리고 각 영역별로 최단거리에 존재하는 열굴 표정상태를 결정하고, 그 중에서 가장 가까운 얼굴 표정상태를 선택하여 전이시키고, 전이가 끊어진 얼굴 표정상태에서는 두 번째, 세 번째 혹은 네 번째로 가까운 얼굴 표정상태를 선택하여 순서대로 전이시킴으로써 완전한 표정전이경로가 결정된다. 그리고 애니메이터가 표정공간에서 대표적인 수 개의 표정상태만을 선택해주면 시스템은 자동적으로 최적의 표정전이경로를 설정하여 준다. 본 논문은 애니메이터들로 하여금 본 시스템을 사용하여 얼굴 애니메이션을 생성하거나 표정 제어를 수행하도록 하였으며, 그 결과를 평가한다.

• 한국게임학회 논문지
• /
• 제14권5호
• /
• pp.127-136
• /
• 2014

게임 NPC(Non Player Character)는 게임 플레이어와 대전 또는 협력함으로써 게임의 재미를 증가시키는 중요한 요소이다. 대부분 기존 게임에서 제공되는 NPC 인공지능은 FSM(Finite State Machine)으로 제작되어 행동 패턴이 정해져 있고 능력이 동일한 특징을 갖고 있다. 따라서 이러한 특징을 갖는 NPC들과 대전하는 플레이어는 창조적인 게임 플레이를 진행하는 것이 어려울 수 있다. 본 논문은 이 문제점을 개선하기 위하여 실제 생활에서 늑대들이 먹이를 사냥하는 행동 모델을 게임 NPC의 행동 모델로 제작하고 이를 평가하기 위한 것이다. 이를 위하여 첫째, 실세계에서 늑대들이 먹이를 포획하기 위한 행동 상태들을 조사 연구한다. 둘째, 이 행동 상태들을 Unity3D 엔진을 이용하여 구현한다. 셋째, 구현된 NPC들의 상태 전이 비율과 실세계의 NPC들의 상태 전이 비율, 일반적인 게임 NPC의 상태 전이 비율을 비교한다. 비교 결과, 구현된 NPC들의 상태 전이 비율은 실세계의 상태 전이 비율과 비슷함을 보인다. 이는 구현된 NPC들의 행동 패턴이 실세계의 늑대 사냥 행동 패턴과 유사함을 의미하는데, 이렇게 함으로써 플레이어에게 보다 증가된 사용자 경험을 제공할 수 있다.