• 한국통신학회논문지
• /
• 제17권8호
• /
• pp.823-836
• /
• 1992

앞으로의 컴퓨터 네트워크는 여러 서비스를 통합하여 제공할 수 있는 통신망인 종합정보 통신망으로 발전해 갈 것이다. 이에 따라 현재 운영되고 있는 컴퓨터망이 ISDN에 접속되어 사용하는 것은 매우 중요한 문제로 부각될 것이다. 본 논문은 근거리 통신망과 ISDN의 연동화 방안을 연구하였다. 이를 위하여 기존의 근거리 통신망과 ISDN의 특성에 관하여 분석하고 연동을 위하여 고려해야 할 사항을 검토하였으며 Co와 CL서비스에 대한 연동방안을 제시하였다.이를 구체화하여 근거리 통신망과 ISDN을 연동하는 게이트웨이를 논리적으로 구성하였고, 그 연동과정을 페트리네트로 모델링하였으며 도달트리를 구성하여 프로토콜의 정확성을 검증하였다. 본 연구가 근거리 통신망과 종합 정보 통신망을 연동하는 게이트 웨이의 설계와 구현을 위하여 유용하게 이용될 수 있을 것이다.

• 산업공학
• /
• 제12권2호
• /
• pp.193-204
• /
• 1999

Development of high technology especially in telecommunication and precise weapon systems will impact the future battle field environment. So it is not difficult to anticipate the environment of military command and control system will be changed rapidly. Considering these future battle field environment, military needs automated C4I (Command, Control, Communication, Computer and Intelligence) system, namely real time decision support system which is combined high technologies. Most of advanced countries have been studied and developed these kinds of systems and already applied these systems in real military operations. In order to take a military initiative in Korea peninsula it is essential to catch up with this trend and procure C4I system. The purpose of this research is to present the method and the direction of optimal C4I system development model. First we survey the related theory about C4I systems. Second we present the conceptual framework for C4I system concept development. Third we model the system using Timed Petri-Net and perform simulation. Finally we analyze the through-put time and suggest alternatives. If we model using the real organization structure, operational tasks and various situations then optimal C4I system would be developed.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1239-1241
• /
• 2015

ETL(Extraction, Transformation, Loading)작업은 데이터웨어하우스 시스템 구축 및 유지관리 뿐만 아니라 차세대 정보시스템 구축의 핵심 프로세스에 해당한다. 특히 차세대 정보시스템 구축에 있어서 ETL 작업의 성능은 시스템오픈의 성패를 좌우하는 중요한 요소이다. 일반적으로 차세대시스템 구축의 데이터 전환을 위해 수행되는 ETL작업은 대용량데이터에 대한 다양한 형태의 데이터변형 과정을 수반하며 반드시 정해진 시간안에 완료되어야 한다. 또한, 수 많은 원천 집합을 추출하여 타겟시스템의 형태에 맞게 변형 및 적재하는 작업은 한정된 컴퓨팅 자원내에서 수행되어야 한다. 따라서 자원성능을 고려한 ETL작업 스케줄 최적화는 데이터전환 작업에 있어 필수적인 고려사항이 된다. 이 연구에서는 가용한 물리자원을 최대한 활용하여 ETL 프로세스의 처리능(throughput)을 최대화 하는데 초점을 맞추어, ETL프로세스를 페트리넷을 이용해 모델링하는 기법을 제시한다. 이 모델에는 ETL 프로세스가 수행될 서버의 컴퓨팅자원이 토큰화(tokenize)되어 포함된다. 이 모델을 기반으로 가용자원을 최대한 활용하면서도 자원병목이 발생하지 않는 수준으로 ETL 작업이 수행될 수 있도록 프로세스를 제어할 수 있는 방안을 제시한다.

• 전자공학회논문지
• /
• 제49권9호
• /
• pp.205-214
• /
• 2012

시스템의 장애와 재해로부터 기업의 자산을 보호하는 것은 IT 운영 관리자들이 가장 고려해야 할 사항들 중 하나이다. 그러므로 본 연구는 이러한 재해 복구를 위한 백업 시스템을 제안하였다. 기존의 백업 방식이 데이터베이스의 업데이트가 발생하면 그 이력이 개장 기록(redo log) 파일에 저장이 되고 이 기록파일이 예정된 파일의 크기를 넘어서면 순차적으로 기록보관소 기록(archive log) 파일들로 저장된다. 그러므로 데이터베이스의 변경이 생기는 동안 실시간 변경되는 데이터를 백업받는 과정에 데이터 손실의 오류가 발생할 수 있다. 제안한 백업 시스템은 온라인 개장 기록을 처리기록(transaction log) 데이터베이스로 실시간 백업하고, 기존 백업방법에서 누락 될 수 있는 자료보관소 기록(archive log)으로 백업된다. 그러므로 데이터의 복구 시 온라인으로 개장 기록까지 실시간 복구가 가능하여 데이터의 손실을 최소화 할 수 있을 뿐만 아니라, 멀티스레드 처리방법으로 데이터 복제가 수행되어 시스템의 성능도 향상 시킬 수 있도록 설계하였다. 설계된 백업 시스템의 안정성을 검증하기 위하여 CPN(Coloured Petri Nets)을 도입 하였으며, 백업시스템의 각 수행 단계는 CPN의 그래픽으로 도식화 하고, CPN의 정의와 정리를 기반으로 안정성을 검증하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.21-30
• /
• 2007

시뮬레이션이란 실세계의 다양한 객체들의 구조와 행위에 대한 자료를 수집하여 모델링하고 이를 컴퓨터 프로그램으로 모의 실험함을 말하며, 주요 기반기술들로서 DEVS (Discrete Event System Specification) 형식론을 비롯하여 페트리 넷 이나 구조적 오토마타 등이 연구되고 있다. 그러나 이러한 시뮬레이션의 연구영역이 보다 다양화되고 복잡하게 발전됨에 따라, 최근에는 인공지능의 지능형 에이전트기법을 도입하여 해결하는 연구가 활성화되고 있다. 본 연구에서는 시뮬레이션에 관한 모의실험을 보다 원활히 수행하기 위해서 지능형 멀티 에이전트기반의 시뮬레이션 도구를 개발하고자 한다. 이러한 도구의 특징은 첫째, 인공지능의 기능들을 라이브러리로 제공할 수 있고, 둘째, 유한상태기계(FSM)기반으로 에이전트 시스템을 설계하여, 시뮬레이션의 설계 모델을 보다 단순화 할 수 있는 장점이 있으며, 셋째, 모델러, 스크립터, 시뮬레이터등의 보조툴들을 제공함으로서 사용자들이 보다 편리하게 시뮬레이션 시스템을 개발할 수 있는 프레임워크를 제공한다. 시스템의 구성은 코어 시뮬레이션 엔진 유틸리티, 그리고 기타 보조툴들로 구성하였으며, 현재까지 개발된 시스템으로 몇 가지 영역을 대상으로 실험을 하였고 그 결과를 기술하였다.

• 인터넷정보학회논문지
• /
• 제2권1호
• /
• pp.1-11
• /
• 2001

프로토콜을 시험하기 위하여 페트리 네트나 동적인 FSM을 이용하여 시험열을 생성하는 방법이 제시되고 있지만, 이 방법은 프로토콜 오류를 허용하거나 루핑 경로가 포함되어 있는 경우에는 에러가 발생하거나 상태가 폭발하여 시험열 생성이 불가능하다. 또 프로토콜을 구현하고 시험하기 위한 시험 범위를 결정하는 것은 시간적 기술적 및 경제적으로 어려운 문제이다. 이를 위하여 정규 표현식을 이용하여 정적으로 간단하게 프로토콜 기능을 커버하는 시험열 생성 방안을 제시하였다. 제안한 방법에 의하여 Q.2971 프로토콜의 최소 시험열을 생성한 결과 38가지의 시험열을 구하였으며, 동적인 방법을 사용할 때 루프 상태의 형성에 기인하는 반복 시험 횟수 문제는 표현식을 단순화하는 과정에서 최소화시킬 수 있었다. 이 과정에서, 시험열의 생성은 정규 표현식을 사용하는 것이 간단하고 쉽다는 것을 확인하였다. 또한 구해진 정규 표현식에서 임의의 시험열의 포함 관계를 검출하기 위한 방법도 검토하였다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.441-450
• /
• 2005

게임시장이 급속히 성장하면서 게임개발의 비용과 기간이 모두 증가하고 있다. 이러한 증가는 게임개발 프로젝트에서 보다 전문적인 관리기법이 요구된다는 것을 의미한다. 게임메카닉스(game mechanics)는 특정 게임플랫폼에서 게임플레이가 실행될 수 있도록 구현된 알고리즘이다. 게임메카닉스는 게임의 공학적 요소들이 집중되어 있어 프로젝트의 설계단계부터 구현단계까지 지속적인 품질관리가 이루어져야 한다. 특히 설계단계에서 게임메카닉스의 품질을 분석할 수 있는 유용한 방법이 바로 시뮬레이션이다 게임메카닉스 시뮬레이션 방법들이 여러 가지가 존재하지만 각 방법은 그 특징들로 인해서 사용범위가 제한된다. 본 논문에서는 게임메카닉스 시뮬레이션 방법들을 조사하여 그 특징에 대하여 비교 분석하였다. 분석한 결과, 페트리네트 모델 시뮬레이션 방법이 게임메카닉스의 무결성, 최적화, 그리고 밸런스의 품질분석을 총체적으로 할 수 있음을 알 수 있었다.

• 한국통신학회논문지
• /
• 제27권11C호
• /
• pp.1112-1123
• /
• 2002

멀티미디어 서비스 제공에는 네트워크의 효율적인 대역폭 할당 스케줄링이 요구된다. 비디오 데이터 스트림 같은 burstiness 특성을 갖는 정보를 전송하기 위해서는 전송률의 변화를 감소시키는 smoothing 기법을 사용하게 되는데, 현재까지 제안된 최적 smoothing 알고리즘은 peak rate를 크게 줄이고 있지만, 각각의 독립적인 데이터 스트림에 적용되었기 때문에, 네트워크 대역폭이나 프로세서 등을 공유하는 다중 스트림에 사용하기에는 적합하지 않다. 본 논문에서는 이러한 문제점의 해결을 위한 효율적인 대역폭 할당 알고리즘을 제안한다. 대역폭 할당 스케줄링을 정적 대역폭 할당과 동적 대역폭 할당으로 구분해서, 정적 대역폭 할당에서는 사용자 버퍼의 누적 데이터 양을 높게 유지시킴으로써 peak rate를 감소시켰다. 동적 대역폭 할당에서는 real demand factor를 새로운 변수를 이용하여 다중 스트림의 대역폭할당에 적합한 알고리즘을 구현하였다. 마지막으로, 페트리 네트 모의실험 도구인 ExSpect 6.41을 통해서 제안된 알고리즘의 성능을 입증하였다.

• 한국위성정보통신학회논문지
• /
• 제11권2호
• /
• pp.8-13
• /
• 2016

부표는 항구나 해양의 위험물을 표시하기 위하여 체인에 의해 묶여진 부양물체이며, 크게 이동형과 고정형 부표로 나눌 수 있다. 해양 생태환경의 관찰과 연안지역 주변을 관찰 요구를 충족하기 위하여 스마트 부표들이 개발되었다. 스마트 부표들은 GPS, CDMA, ZigBee과 같은 무선 네트워크 시스템을 가진다. GPS 기술을 사용하면 부표의 위치나 주변 환경에 대한 추적이나 관찰을 할 수 있다. 그러나 고정 부표에 사용되는 GPS 시스템은 비싼 비용과 많은 양의 전력을 소모한다. 많은 부표들은 ZigBee를 사용하여 전력소비를 급격하게 줄인다. 본 논문에서는 적은 데이터 전송과 적은 전력소모를 가진 추적가능 부표 시스템을 소개한다. 제안하는 프로토콜은 시스템의 변경없이 비정상적인 움직임을 찾고 추적 가능한 정보 모을 수 있는 장점을 가진다. 2개의 추가적인 비트와 가입요청 메시지들이 추적 가능한 부표시스템에 사용된다. 제안하는 프로토콜은 페트리넷으로 모델링하였고 도달 가능성을 증명한다.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1332-1347
• /
• 1993

기존의 계측기기는 기능에 따라 독립적으로 이루어져 사용자는 사용목적에 따라 각각의 계측기를 이용하여 원하는 계측 시스템을 구성하였다. 그러나 1980년대 후반 VXIbus는 다양한 계측장비를 각각 한장의 카드로 만들어 선택적으로 계측시스템을 구성하는것을 가능하게 하였다. VXIbus의 기본전인 통신 프로토콜에는 word serial 프로토콜이 있다 . 그러나 측정된 데이타의 양이 증가하게 되면 word serial 프로토콜로 인한 전체 시스템의 성능 저하를 가져오게 된다. 본 논문에서는 이러한 성능제한요소를 해결하기 위하여 공유(shared) 메모리 프로토콜을 제안하고, 기존의 word serial 프로토콜과 공유메모리 프로토콜을 GSPN(Generalized Stochastic Petri Net)를 이용하여 분석하였다. 분석한 결과 공유메모리 프로토콜이 word serial 프로토콜보다 성능이 우수함을 알 수 있었다. 또한 제안된 공유 메모리 구조를 갖는 VXIbus 시스템을 구현하였으며 사용된 계측기기로는 VXIbus인터페이스 모듈과 VMEbus 전용 신호처리모듈로 구성 된 FFT 분석 디바이스 그리고 신호발생 디바이스가 이용되었다. FFT 분석실험 결과 최대 80 KHz 입력신호에 대하여 정확하게 분석되었으며 이 결과는 기존의 FFT분석기의 결과와 잘 일치하였고, 신호발생 실험에서는 200 KHz에서 1.1GHz까지의 정현파 신호가 발생되었다.