• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권5호
• /
• pp.467-474
• /
• 2001

사용자가 하나의 캐릭터 이상을 애니메이션 하기를 원할때 캐릭터들 사이에 충돌과 같은 기대되지 않은 동작 애니메이션을 생성할 수 있다. 그러므로, 이러한 문제가 적절한 제어 메커니즘을 이용하여 해결되어야 한다. 본 논문은 사용자의 의도를 반영한 애니메이션 시나리오를 표현하기 위해 캐릭터의 동작 애니메이션을 제어하는 에이전트 기반 시스템을 제안한다. 이 시스템은 3차원 공간상에서 캐릭터가 움직이는 경로에 따라 캐릭터들간의 충돌을 회피하고 동작의 형태를 조정하는 방법을 제공한다. 에이전트는 동작을 동기화하기 위해 다른 에이전트와 통신한다. 에이전트는 캐릭터의 동작을 조정하는 여러 지능적인 에이전트로 확장되어진다. 에이전트 시스템은 의도된 동작 애니메이션 뿐만 아니라 전체 캐릭터 애니메이션에 대한 동작의 스케쥴링을 가능하게 한다. 에이전트들의 정보를 전달하고 에이전트들의 현 상태를 추론하는 방법으로써 에이전트의 대화를 위한 페트리넷 분석을 이용하여 오토마타 모델을 디자인한다. 에이전트 기술을 이용하여 캐릭터의 동작을 제어하기 위한 에이전트 시스템을 구현한다. 인체 모델 캐릭터의 동작을 제어하는 예를 보이고, 동작 제어의 가능성을 보인다.

• 인터넷정보학회논문지
• /
• 제12권2호
• /
• pp.55-62
• /
• 2011

컴퓨팅 장비가 네트워크에 수용되었을 때 이들이 가지는 서비스의 탐색과 위치 정보를 제공하는 프로토콜인 IETF의 SLP의 기능을 광역화하고, 이동통신을 위한 유무선 네트워크를 수용하며, WIF에서 추진하는 서비스의 분산화 경향을 지원할 수 있도록 개선하기 위하여 Liaison Agent와 Forwarding Agent를 추가하고 이들 사이의 정보 교환을 위한 LAAdvert 메시지를 정의한다. LA 엔티티는 광역망에 존재하는 서비스의 위치를 확인해주며, FA 엔티티는 서비스 정보를 전달해주는 역할을 담당한다. 나머지 메시지 즉, SrvRqst, SrvRply, AttrRqst, AttrRply, DAAdvert, SrvReg, SrvAck, SrvDeReg의 사용은 동일하며 하며, 광역 서비스 망에서도 동일한 방식으로 활용한다. 개선된 프로토콜의 동작을 페트리넷으로 모델링하고, 페트리넷의 실행을 통하여 데드락과 라이브락의 문제가 없음을 확인한다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1522-1536
• /
• 1998

우리는 이 논문에서 실시간 시스템을 위한 모형화 방법을 제공한다. 이 방법은 DARTS(Design Approach for Real Time Systems)에 기초하며 훨씬 확장되었다. 기존의 DARTS 방법은 좋은 설계 가이드라인은 제공해 주지만, 구조적 분석방법을 이용하며, 명세언어를 제공하지 않는다. 그래서 본 논문에서는 객체에 기반하고 분석까지 가능한 확장된 DARTS 모형화 방법을 제공하고자 한다. 분석을 위해 수치 페트리넷(NPN)을 이용하여 시스템의 내부행위를 보여주며, 천이동기 순서제어를 위해 시제논리에 기초한 명세언어를 제공한다. 적용 예제를 통하여 제안된 방법이 잘 적용되었고 내부의 메시지 전달과정에 대한 도달성 그래프를 통하여 데드락의 존재여부를 미리 확인할 수 있어 분석이 용이하며 자연스럽게 설계와 연결된다.

• 전자공학회지
• /
• 제22권8호
• /
• pp.33-43
• /
• 1995

생산시스템 분야에서의 다중로봇시스템에 대한 필요성이 증가되고 있기 때문에, 이에 대한 시스템 성능분석이 우선적으로 필요하다. 본 논문에서는 다중로봇시스템의 성능평가를 위한 컴퓨터 시뮬레이션 방법을 제시한다. 먼저 오류회복 기능만을 고려한 다중로봇시스템에 대하여 여러 가지의 모델링 방법 중에서 확장 페트리 네트 모델을 기초로 하여 컴퓨터 시뮬레이션 하는 과정을 제시하고 제시된 시뮬레이션 방법의 유효성을 입증하기 위하여 부가적으로 큐잉모델을 기초로 한 해석적 수식을 유도하여 두 가지의 결과를 비교해 본다. 그 다음, 오류회복 기능에 덧붙여서 충돌회피 기능을 고려한 다중로봇시스템은 해석적 수식을 유도하기 위해서는 강력한 가정들이 필요하며 이러한 가정들 때문에 실제 시스템을 정확히 모델에 반영하기 어려워진다. 따라서, 그 유효성이 입증된 컴퓨터 시뮬레이션을 이용하면 필요한 최적의 운용 변수를 용이하게 선택할 수 있을 것이다. Since there are Increasing demands for multirobot interconnection systems(MRIS) in Industrial manufacturing system, the performance evaluation of the MRIS is first needed. This thesis presents a computer simulation technique for the performance evaluation of the MRIS. First, we consider a error recoverable MRIS. We adopt the extended Petri net model as a computer simulation model that allows an easy evaluation of the performance. To verify the significance of the proposed computer simulation method, mathematical analysis, which is based on the given queueing model, is carried out with some design issues for the MRIS. In addition to this, it is required to analyze the MRIS considering collision avoidance as well as error recovery. In this case, methematial analysis needs hard assumptions which are the constraints for the precise description of real environment. Thus, we present a computer simulation model and its results suggest an optimal operational strategy for the MRIS under given conditions.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.289-291
• /
• 2013

RFID는 비접촉식 물품 인식 기술로서, 무선 인식의 장점에 따라 물류, 의약품, 병원 등 다양한 응용 분야에서 활용 범위를 넓혀가고 있다. RFID의 도입은 하드웨어 장비, S/W, 인력 등 비교적 높은 도입 비용을 요구한다. 이에 따라 응용 환경의 타당성 평가 및 EPC정보서비스(EPCIS)등과 같은 핵심 RFID S/W의 성능 및 적합성 평가가 선행되어야 하며, 이를 위해서는 다양한 종류의 테스트 데이터 셋이 필수적으로 요구된다. 본 논문에서는 RFID 응용환경을 시뮬레이션하는 접근방법을 통해 보다 실제와 유사한 RFID 비즈니스 이벤트 데이터셋을 생성하기 위한 방법을 제안한다. 제안하는 방법은 페트리넷을 기반으로 하여 다양한 RFID 응용 환경을 네트워크 모델 형태로 추상화시키고 이에 기반하여 실제와 유사한 데이터셋을 생성하는 특징이 있다. 이를 통해 본 연구는 RFID 시스템의 평가는 물론 시뮬레이션을 통해 특정 응용 분야에서의 RFID 도입여부 검토에서도 유용하게 활용될 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1996년도 하계학술대회 논문집 B
• /
• pp.1257-1259
• /
• 1996

In this paper, we introduce an integrated communication and control system(ICCS) for control of a crane. The system is integrated with a compasite technique as a network interfacing, a user interfacing and a system control for continuous process like as a container crane. The field-bus(Profibus) network module is used to interconnect each input/output module with main control unit. The MMI system for user interfacing is integrated with an ODBC-based data management tool and IECl131-based control logic design tool(Soft-Logic Designer:SLD). The each programmed control task in the main Controller is executed using a petri-net based scheduler.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• 한국정보과학회논문지:정보통신
• /
• 제29권3호
• /
• pp.286-298
• /
• 2002

분산 컴퓨팅 환경에서 프로세스 사이의 상호 협력을 위한 통신으로 인격 프로시져 호출이 전통적으로 사용되고 있다. 분산 응용이 더욱 복잡해짐에 따라 최근 이동 에이전트 패러다임이 등장하였다. 이처럼 다양한 상호 협력을 위한 통신 패러다임이 등장함에 따라 각 패러다임의 성능에 대한 평가와 비교 연구가 이루어지고 있다. 그러나 기존의 연구에서 성능 평가를 위해 사용한 성능 모델들은 보안 서비스를 위한 평가 요소를 고려하고 있지 않기 때문에 실제 분산 환경을 제대로 반영하지 못한다. 분산 환경은 개방되어 있으므로 정보의 노출이나 도청과 같은 공격에 있어서 상당히 취약하다. 이러한 분산 환경에서 안전하게 작업을 수행하기 위해서는 여러 가지 공격으로부터 응용 프로그램이나 정보를 보호하기 위한 보안 서비스가 고려되어야 한다. 본 논문에서는 상호 협력을 위한 통신 패러다임 중 인격 프로시져 호출과 이동 에이전트의 성능을 평가하고 비교한다. 분산 응용 프로그램을 안전하게 수행하기 위해 고려해야 하는 보안 서비스에 관하여 알아보고, 이러한 보안 서비스를 적용한 새로운 성능 모델을 제시한다. N개의 데이타베이스 서버에서 사용자가 필요한 정보를 검색하는 작업을 Petri Net으로 모델링하고, 각 파라미터에 수치 값을 할당해서 수행속도를 측정하여 두 패러다임의 성능을 비교한다. 본 논문에서 안전한 통신을 위하여 보안 서비스를 적용한 두 성능 모델의 비교 결과는 다음과 같다. 원격 프로시져 호출은 연산 비용이 높은 암호화 메커니즘을 포함하는 통신 횟수와 통신량이 많기 때문에 실행 시간이 급격하게 증가하지만, 이동 에이전트 패러다임은 통신 횟수와 통신량을 줄인 수 있으므로 실행시간이 완만하게 증가하는 것을 살펴볼 수 있다.멀티미디어 제작환경을 구축하는 것이 디지털 방송 시대의 방송 사업자에게 가장 중요한 과제중의 하나가 되었다. 멀티미디어 제작환경을 구축함으로써 영상, 음성 및 다양한 부가 데이터를 포함하는 멀티미디어 프로그램을 편리하게 제작할 수 있으며, 데이터베이스로부터 필요한 영상 이미지를 자유롭게 합성, 조작하는 등, 매우 다양하고 편리한 제작기법을 활용할 수 있다. 또한 멀티미디어를 응용한 제작 분야로서 컴퓨터 그래픽스 기술은 방송의 사전제작에 커다란 기여를 하고 있으며, 이미 선거방송을 비롯한 여러가지 프로그램은 가상스튜디오와 가상캐릭터 기술을 활용하여 제작하고 있다. 방송사업자는 이러한 멀티미디어 제작시스템을 근간으로 영상검색, 영상 합성, 스크립트 편집, 가상현실 응용 등 고도의 제작 기법을 활용함으로써 사용자 친화성, 다이나믹한 표현, 실시간, 대화성을 특징으로 하는 다양한 멀티미디어 서비스를 시청자에게 제공할 수 있을 것이다.is. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the timing analysis

• 전자공학회논문지CI
• /
• 제41권2호
• /
• pp.51-64
• /
• 2004

표기 체계인 한글을 한국어 음가로 변환하는 음운변동 규칙을 역으로 적용하여, 한국어 음가를 한국어를 표기하는 문자 체계인 한글로 전환시키는 규칙을 고안하는 것이 본 연구의 목표이다. 제정된 규칙은 한국어 음성인식에 있어서 매우 귀중한 역할을 담당한다. 일반적인 음성인식 기법은 수회의 학습과정을 통하여 추출된 음성의 표준패턴과 인식 대상으로 입력된 음성을 비교하여 가장 유사한 패턴을 찾는 방법을 사용한다. 이 때 표준 음성패턴이 띄어쓰기 단위의 어절이라면 수백만 개의 표준 패턴이 수록되어야 하므로 표준패턴을 위한 방대한 데이터베이스의 구축은 물론 표준패턴과의 비교 회수도 너무 많아져서 실용화가 불가능하다. 이에 대한 대안인 음절 단위 인식의 경우는 인식된 음가가 실제의 한글 표기와 맞지 않으므로, 인식된 결과를 출력할 때에 실제의 한글표기로 변환해 주어야 하는 과제를 안게 된다. 이 과제를 해결하는 과정, 즉 일련의 한국어 음가들을 일련의 한글 표기 문자로 바꾸어 주는 과정에서는 본 논문에서 제안한 표준 한국어 음가 - 표기 문자 변환 규칙을 적용할 수 있을 것이다. 본 논문에서는 새롭게 제안된 표준 한글 음가-표기 문자 변환 규칙을 사용하여 한국어 음가를 한글 표기로 변환하는 시스템을 구현하였다. 그리고, 고안된 규칙의 무결성을 보이기 위하여 표준 발음규칙 30항을 반영하는 데이터 집합을 이용하여 구현된 시스템을 시험하였으며, 그 실험 결과를 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권3호
• /
• pp.255-266
• /
• 2004

웹 기반 정보 시스템의 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하는 것은 여러 가지 이점을 가져온다. 그러나 웹 애플리케이션에서 비즈니스 프로세스 로직과 프리젠테이션 로직을 분리하는 것은 쉽지 않다. 심지어는 프리젠테이션 로직으로부터 데이타가 분리되지 않는 경우도 있다. 그러므로 비즈니스 프로세스에 대한 추상적인 모델을 정의하고, 프로세스 로직, 데이타 구조 및 프리젠테이션 로직을 분리하는 전략을 이용하여 그것을 동적인 사용자 인터페이스에 매핑 시키는 작업이 요구된다. 본 논문에서는 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하고자 XSLT(Extensible Stylesheet Language Transformations)를 확장하여 프로세스를 인식하는 스타일 쉬트를 제안한다. 이를 위하여 비즈니스 프로세스의 추상적인 명세를 제공하고, 비즈니스 모델을 프로세스 관점에서 살펴보고자 페트리네트 표기법을 이용하여 비즈니스 모델 요소 및 상호작용 활동을 추출한다. 이것은 웹 애플리케이션의 프로세스 구조로부터 상호작용 웹 문서의 동적인 부분, 즉 비즈니스 프로세스에서 사용자와 상호 작용하는 부분을 분리하기 위한 시도이다. 본 연구에서 제안하는 아키텍처의 핵심은 XSLT 컨트롤러로서 이것은 워크플로 엔진과 웹 브라우저간의 인터페이스 역할을 한다. XSLT 컨트롤러는 XSLT 템플릿을 활성화시키는 인터프리터로서 프로세스 상태를 프리젠테이션 레이어에 매핑 시킨다. 이렇게 각 부분을 모듈화 하는 것은 사용자 인터페이스를 변경하여도 프로세스나 데이타의 논리적인 표현에 영향을 미치지 않도록 하며, 레이아웃 변형 명세서와 독립적으로 프로세스 로직을 변경할 수 있도록 한다. 즉, 웹 애플리케이션을 독립적인 방법으로 개발할 수 있어 개발을 보다 용이하게 하고 유지보수가 용이해진다.