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

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

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

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

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

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

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

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

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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.

• 정보처리학회논문지A
• /
• 제9A권1호
• /
• pp.61-74
• /
• 2002

본 논문에서는 시간 제한 조건을 가진 자유 선택 신호 전이 그래프로부터 비동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 방법에서는 자유 선택 신호 전이 그래프를 선택 행위가 없는 결정성 신호 전이 그래프에 대하여 타이밍 분석을 수행하여 임의의 두 신호 전이 사이의 시간 제약 병렬 관계와 시간 제약 인과 관계를 구한다. 다음에는 이 관계들을 이용하여 각 결정성 신호 전이 그래프에 대한 합성을 수행하고 그 결과를 합병함으로써 전체 회로를 합성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 공간이 큰 회로에 대하여 현저하게 합성시간을 단축시킬 수 있을 뿐 만 아니라 기존의 상태 그래프 기반 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

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

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2004년도 제16회 한글.언어.인지 한술대회
• /
• pp.191-199
• /
• 2004

본 논문에서는 텍스트에 나타난 감정상태를 인지하는 모델을 제안하고, 이러한 모델을 활용하여 현재문장에서 나타난 감정 및 이후에 나타나게 될 감정상태들을 예측하는 시스템에 대하여 다룬다. 사용자의 감정을 인지하고 이에 대한 자연스러운 메시지, 행동 등을 통해 인간과 상호작용 할 수 있는 컴퓨터시스템을 구현하기 위해서는 현재의 감정상태뿐만 아니라 사용자 개개인의 정보 및 시스템과 상호작용하고 있는 상황의 정보 등을 통해 이후에 사용자가 느낄 수 있는 감정을 예측할 수 있는 감정모델이 요구된다. 본 논문에서는 파악된 이전의 감정상태 및 실제 감정과 표현된 감정간의 관계, 그리고 감정에 영향을 미친 주변대상의 특징 및 감정경험자의 목표와 행동이 반영된 상태-전이형태의 감정모델인 감정망(Emotion Network)을 제안한다. 감정망은 각 감정을 나타내는 상태(state)와 연결된 상태들 간의 전이(transition), 그리고 전이가 발생하기 위한 조건(condition)으로 구성된다. 본 논문에서는 텍스트 형태의 상담예시에 감정망을 활용하여 문헌의 감정어휘에 의해 직접적으로 표출되지 않는 감정을 예측할 수 있음을 보인다.

• 미생물과산업
• /
• 제16권3호
• /
• pp.44-47
• /
• 1990

Avery, MacLeod, McCarty가 1944년에 세균에서 유전적 재조합이 이루어진다는 사실을 발견한 후 세균은 진화 학자들과 미생물 학자들로 부터 주목을 받기 시작했다. 왜냐하면 세균은 자연생태계에서 또다른 형태의 유전적 적응성을 지니고 그러한 돌영변이 중 일부는 모세포(parent cell)보다도 주변환경에 더 잘 적응되었기 때문이다. 이제까지 GEM들이 생태계에서 유전자들 전이시키는 빈도가 대부분 낮았고, 토양이나 다른 자연생태계애서 유전자의 전이가 지속적으로 일어난다는 실험적 증거는 없었지만 이들을 생태계에 방출한 결과 유전자 전이가 몇몇 실험에서 확인된 적이 있어 토양에서의 유전적 전이의 가능성을 강하게 암시하고 있다. 하지만 어떻게 전이되고 토양의 물리, 화학및 전이에 필요한 최소한의 donor와 recipient의 수와 정확한 감지 방법등이 아직까지 밝혀져 있지 않은 상태이다. 더우기 토양환경에서 미생물의 활성과 생태, 군집 동태에 영향을 줄 수 있는 기능을 나타내려면 얼마만큼의 재조합 세균이 단위면적당 필요한지도 밝혀지지 않은 상태이다. 따라서 이러한 여러가지 문제점을 밝히는 것은 학문적인면 뿐만 아니라 진화론적인 이론에도 도움이 되며 GEM들이 토양이나 다른 생태계에 유출되었을 때의 환경영향평가나 규제를 하는데에도 도움이 될 수 있다고 본다.