• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 1998년도 봄 학술발표회 논문집
• /
• pp.258-261
• /
• 1998

2차원 시스템과는 달리 3차원 의복 CAD 시스템을 이용하면, 직접 재단 봉제 과정을 거치지 않고도, 만들어진 의복의 형상과 착장 상태를 확인해볼 수 있다는 장점이 있다. 이러한 3차원 시스템에서는 의복의 자연스런 처짐, 이른바 드레이프(drape)를 잘 표현하여야만 실제에 최대한 가까운 의복의 형상을 보여줄 수 있다.(중략)

• 한국게임학회 논문지
• /
• 제4권1호
• /
• pp.58-66
• /
• 2004

본 논문에서는 반례를 도달성 게임 풀이에 활용했다. 도달성 게임이란, 게임 규칙을 준수하면서 초기 상태에서 목표 상태로 가는 경로를 찾는 것이다. 게임의 초기 상태를 유한 상태 모델로 표현하고 목표 상태의 부정(오답)을 시제 논리식으로 표현해서 모델 검사기에 입력하면, 반례로 오답에 대한 부정 즉 정답을 출력한다. 다시 말해서 반례로 출력된 것이 문제를 해결하는 정답인 것이다. 이와 같은 아이디어를 푸쉬푸쉬 게임 풀이에 적용했다. 그 결과 크기가 작은 푸쉬푸쉬 게임의 경우 게임을 해결하는 최단 경로를 쉽게 찾아냈다. 그러나 게임의 크기가 큰 경우 제한된 시간(실험에서는 3시간)내에 찾아내지 못했다. 왜냐하면 게임의 크기가 커질 경우 검사해야할 상태의 수가 지수적으로 증가하는 상태 폭발 문제가 발생했기 때문이다. 상태 폭발 문제를 해결하기 위해 추상화 기법을 이용해서 검사해야 할 상태공간을 축소하였다. 상태 공간을 줄인 결과, 기존 모델체킹으로 해결하지 못했던 게임을 풀 수 있었다.

• 인터넷정보학회논문지
• /
• 제12권6호
• /
• pp.161-170
• /
• 2011

UML의 상태도는 CASE 도구마다 다르게 표현될 수 있어서 실제 적용에 어려움이 많지만, 시스템이 동작하는 측면을 효과적으로 나타낼 수 있다는 점에서 활용성이 높다. 상태도에서 소스를 생성하는 선행 연구를 보면, 단순한 분기문 또는 설계패턴 등을 적용하고 있지만 그 기술에 따라 생성된 소스코드에 차이가 있을 수 있다. 본 논문에서는 상태도를 문법형식에 맞게 엄격히 정의해서 소스코드를 생성하였다. 우선 서로 다른 CASE도구에서 작성된 상태도에서 추출된 XMI를 정제하였다. 여기서 EHA로 변환을 한 후 상태를 인식하였다. 그리고 상태도의 메타모델에 사용된 요소별로 자바 프로그래밍으로 전환하여 소스코드를 생성하고 기능성과 유지보수성을 측정하여 생성된 코드를 검증하였다. 본 논문에서 적용된 사례는 '에어컨'으로서, 다양한 상태와 전이가 포함되어 소스코드 생성에 적합하여 선정하였다. 그 결과 에어컨 사례의 상태도로부터 CASE 독립적인 XMI를 추출하여 정련한 후, 상태도에서의 동시성과 계층이 성공적으로 표현되었음을 확인했다. 향후 좀 더 큰 규모의 시스템에 적용하여 검증하는 연구가 필요하다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.531-543
• /
• 2000

본 논문에서는 ATM PNN망에서 경로 배정을 위해 필요로하는 링크상태 정보를 효율적으로 집단화하는 방법을 제시한다. 이 방법은 집단화할 동료 그룹을 효율적으로 집단화하는 방법을 제시한다. 이방법은 집단화할 동료그룹의 경계노드들을 셔플넷의 노드들로 사상시킴으로써 표현해야 할 링크의 수를 완전 그물망 방법의 $N_2$에서 pN(p는 정수 N는 경계노드수)으로 줄인다 이는 공간 복잡도가 O(N)인 신장트리(spanning tree)방법에서 필요로 하는 링크의 수와 비슷하지만 신장 트리방법과는 달리 비대칭망(asymmetric network)에서 사용할 수 있다는 것이 큰 장접이다. 모의 실험결과 셔플넷 방법은 pNro의 링크만을 표현하면서도 상태 정보의 정확성은 완전 그물망 방법에 근접함을 알 수 있었다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.757-763
• /
• 2003

웹서비스 기술이 발전함에 따라 분산환경의 웹기반 서비스들을 조합한 복잡한 비즈니스 프로세스를 구현할 수 있게 되었다. 이러한 비즈니스 프로세스는 일반적으로 비즈니스 활동(activity)들의 순서와 로직을 포함딴 이벤트 기반 모델(event-driven model)로 표현되고 있다. 하지만 비즈니스 활동을 수행하기 위해서는 불특정 다수의 대안 서비스들 중 하나를 런타임-바인딩(runtime binding)하여 해당 비즈니스 활동을 수행해야 하는 경우가 빈번히 일어나는데. 이는 기존의 이벤트 기반 모델링 기법만을 이용해서 해결하기 어렵다. 따라서 본 논문에서는 비즈니스 프로세스를 동적으로 통합할 수 있도록 상태 기반 협상 모델링(state-,driven brokering modeling SDBM)을 기존 모델링 기법에 확장한 아키텍쳐를 제안한다. SDBM은 이벤트 기반 모델링에서 표현하기 힘든 대안 서비스들의 동적 런타임-바인딩을 가능하게 하는데. 이는 대화 정잭(conversation policy)을 구현함으로써 가능해 진다. 본 논문에서는 핵심 비즈니스 프로세스에 독립적이며 웹기반의 분산 비즈니스 프로세스 간의 유연한 통합과 자동화된 협업을 수행랄 수 있는 확장된 메커니즘을 웹서비스 기술로 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (C)
• /
• pp.517-521
• /
• 2008

HMM의 약점인 상태 지속 분포를 개선하는 새로운 개념의 확률적 전역+지역 시간 지속 분포 segment 모델(GL-STDM)을 제안한다. 즉, 시계열 신호의 전역적 시간 정보를 표현하고, 각 상태 별 duration 모델과 각 상태의 duration 정보 사이의 상관관계를 표현하는 global pattern (shape 또는 long-term dependency)을 제안한다. 그러나 제안 모델은, Markov 가정을 깨뜨리기 때문에 dynamic programming이 자랑하는 단순함, 효율성을 유지하지는 못한다. 하지만 최근 부각되는 방법인 Monte Carlo 표본 기법을 이용하여 효과적으로 문제를 해결하는 방법을 제시하였다. 본 논문에서는 제안 모델 GL-STDM의 개념과 정의, 그리고 추론 방법과 모델 평가 방법을 기술하였다.

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

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 제어로봇시스템학회논문지
• /
• 제4권3호
• /
• pp.301-307
• /
• 1998

이 논문에서는 다항식 서로소 인수로 표시되는 위너-호프 제어기의 계산상의 어려움을 극복하기 위하여 상태공간 변수 공식이 개발되었다. 위너-호프 인수 행렬을 이용하여 주어진 다항식 서로소 인수로부터 안정 유리행렬의 서로소 인수를 구하였으며 이 결과를 이용하여 위너-호프 제어기의 공식을 유리행렬의 서로소 인수로 표현한 후 이를 이용하여 상태공간 계수를 구하였다.

• 조명전기설비학회논문지
• /
• 제13권1호
• /
• pp.86-93
• /
• 1999

대규모 배전계통 설비의 합리적인 운용과 안전성을 제고하기 위해서는 시스템의 불평형 상태를 정확하게 파악하는 것이 필수적이다. 본 논문에서는 전송선로와 부하의 불평을 고려한 3상 조류계산에 의하여 시스템의 불평형상태를 평가하였다. 이를 위하여, 먼저 전송선로에서는 선로정수에 상호결합과 상배치 및 연가의 영향을 고려하여 모델링하였고, 변압기는 1, 2차의 결선방식에 대하여 상호결합관계를 고려하였고 변압기 철손도 전압의 함수로 표현하여 계산하였다. 발전기모델에서는 돌극효과를 고려할 수 있도록 하였으며, 전력조류계산 알고리즘에서는 전력방정식을 상전압으로 표현하여 뉴톤-랩슨법으로 프로그램화 하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 추계학술대회
• /
• pp.614-621
• /
• 2007

전통적 계획방식은 결정적 효과를 간진 동작들로 이루어진 도메인을 다룬다. 따라서 전통적 계획기는 동작이 환경을 어떻게 변화시킬지 명확하게 예측할 수 있다. 그러나, 많은 실제 응용들에서는 불완전한 정보와 비-결정적 효과를 처리할 수 있는 계획방식을 요구한다. 확률적 계획방식은 확률적 효과를 가진 동작들을 포함함으로써 이러한 요구를 만족한다. 확률적 계획기는 일반적으로 목표상태에 도달하기 위한 하나의 행동정책을 찾아내며, 이는 (상태, 동작)쌍들의 집합으로 표현된다. 그러나 확률적 효과를 포함시킴으로써 계획기들의 복잡도가 이전보다 증가되었다. 본 논문에서는 효율적인 확률적 계획기의 설계와 구현에 대해 설명한다. 이 계획기는 표준 PPDDL 언어로 표현된 도메인 묘사를 입력으로 받아들이며, 실시간 동적 프로그래밍 알고리즘을 채용하고, 간략화한 문제로부터 추출된 휴리스틱 지식을 이용한다. 생성된 상태들과 행동정책을 효율적으로 저장하기 위해, 이 확률적 계획기는 해쉬테이블을 이용한다.