• 한국시뮬레이션학회논문지
• /
• 제28권2호
• /
• pp.107-117
• /
• 2019

조선업은 한정된 자원을 사용하는 single-product production방식이며, 리소스를 효율적으로 관리하여 선박 공정의 생산성을 극대화 시킬 수 있는 생산관리기술이 중요하다. 때문에 많은 조선사에서는 모델링 및 시뮬레이션을 적용함으로써 현장 내 다양한 제약 조건이 고려된 선박 생산계획 및 공정에 대한 연구를 수행하고 있다. 하지만 기존 연구들은 갑작스런 일정 및 공정변경 시 정확한 생산계획을 제공하기 어려우며, 블록을 생산하는 각 공정 간의 상호연관성 파악이 어렵다. 뿐만 아니라, 블록의 세부 공정 및 일량을 고려하지 못하였기 때문에 생산계획과 현장계획에 많은 차이가 발생한다. 본 연구에서는 조선 내업공정 내 스케줄 된 전체 블록의 공정작업 순서 및 설계정보, 그리고 자원 제약을 고려하는 모델링 방법인 통합 프로세스 기반 모델 설계 방법을 제시한다. 통합 프로세스 기반 모델을 통해 사용자는 내업공정 내 블록 간의 조립관계, 정반정보 및 조립공정의 선후관계 파악이 용이하다. 또한 조선 내업공정에서 공유하는 리소스의 일량을 고려하여 부하 평준화를 진행하기 때문에 별도의 시뮬레이션 및 리소스의 모델링 절차 없이 리소스 효율을 최대화 할 수 있는 전체 생산계획을 얻을 수 있다.

• 대한전자공학회논문지TC
• /
• 제39권12호
• /
• pp.529-538
• /
• 2002

이동통신 시스템에서 핸드오프호 차단확률을 줄이기 위한 전형적인 방법은 핸드오프호를 위하여 미리 정한 채널수만큼의 채널을 예약하는 것이다. 예약 채널수를 결정하는 문제는 최적화 문제로 계산의 복잡도를 가중시킨다. 본 논문에서는 미리 채널을 예약하지 않고 핸드오프호 차단확률을 줄일 수 있는 호 수락 제어기법을 제안한다. 제안한 호 수락 제어 기법은 신규호 도착에 따른 시스템 상태에 종속하는 gain을 새로운 성능지표로 정의하고, 신규호 도착 시 계산되는 gain 값에 의한 호 수락 결정을 수행한다. SRN은 추계적 페트리 네트의 확장형으로 모델에 적절한 reward를 부여함으로써 원하는 성능지표를 쉽게 계산할 수 있는 모델링 도구이다. 본 논문에서는 gain 계산에 의한 호 수락 제어를 수행할 수 있는 SRN 모델을 개발하고 성능분석을 수행한다. SRN 모델은 2 레벨의 계층 모델로 상위 계층은 멀티미디어 트래픽에서 QoS를 고려한 호 수락 제어와 채널 할당을 나타내는 상태 구조 모델이고 하위 계층은 주어지는 상위계층의 시스템 상태에 따른 gain 값 계산을 수행하는 모델이다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.369-376
• /
• 2001

기존의 호스트 기반 보안 시스템에서 네트워크 기반의 보안 시스템으로 침입차단 시스템을 설치하지만 침입차단 시스템은 보안에 대하여 최소 권한을 가지므로 사용자에게 투명한 서비스를 제공해 주지 못한다. 따라서 침입차단 시스템에 프록시를 두어서 서비스의 투명성을 제공하고 보다 강화된 보안 기능을 갖는 FTP 프록시 보안 모델(FTP-PSM:FTP-Proxy Security Model)을 설계하였다. FTP-PSM은 한 개의 명령어가 입력되고 실행이 끝나는 것이 아니라 계속적으로 사용자 인증 기능 강제적 접근제어 기능 임의적 접근제어 기능 그리고 그룹별 명령어 사용권한 인증 등과 같은 보안 기능을 실행한다. 이러한 보안 기능이 실행되기 위해서 입력된 데이터는 어떤 상황에서도 손실되지 않아야 하므로 실행과정이 무한 루프가 되어 계속 순환하거나 교착 상태가 되는 등의 문제에 대한 안정성을 검증하여야만 한다. 따라서 본 논문에서 제안하는 FTP-PSM은 CPN을 기반으로 한 상태 불변식으로 안정성을 검증하였다.

• 제어로봇시스템학회논문지
• /
• 제5권6호
• /
• pp.724-733
• /
• 1999

An effective method of system modeling and dynamic scheduling for the back-end line of semiconductor manufacturing is proposed. The virtual factory, describing semiconductor manufacturing line, is designed in detail, and then a Petri net model simulator is developed for operation and control of the modular cells of the virtual factory. The petri net model is a colored timed Petri nets (CTPNs). The simulator will be utilized to analyze and evaluate various dynamic status and operatons of manufacturing environments. The dynamic schedulaer has a hierarchical structure with the higher for planning level and the lower for dynamic scheduling level. The genetic algorithm is applied to extract optimal conditions of the scheduling algorithm. The proposed dynamic scheduling is able to realize the semiconductor manufacturing environments for the diversity of products, the variety of orders by many customers, the flexibility of order change by changing market conditions, the complexity of manufacturing processes, and the uncertainty of manufacturing resources. The proposed method of dynamic scheduling is more effective and useful in dealing with such recent pressing requirements including on-time delivery, quick response, and flexibility.

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

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

• 전자공학회지
• /
• 제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.

• 전자공학회논문지CI
• /
• 제39권6호
• /
• pp.53-67
• /
• 2002

VoD(Video on Demand), LoD(Lecture on Demand) 및 화상회의(Tele conference)와 같은 멀티미디어 관련 서비스에서 향상된 서비스 품질(QoS)을 제공하기 위해 고려해야할 중요한 이슈 중 하나가 멀티미디어 정보의 동기이다. 본 논문에서는 버퍼 레벨과 서버부하를 이용한 멀티 미디어 동기 알고리즘을 소개하고, 제안한 알고리즘을 페트리 네트에 기반을 둔 ExSpect 6.41을 사용하여 모델링하고, 분석하였다. 오디오와 비디오의 수신버퍼 레벨을 각각 5단계로 구분하고, 패킷의 재생 시 버퍼의 레벨과 재생이 요구되는 시점의 서버부하 값들을 이용하여, 미리 정해진 재생속도 제어기가 차등 된 제어 값을 출력하게 된다. 각각의 패킷들은 알고리즘의 제어 값에 따라 재생되므로, 버퍼 레벨이 안정상태로 유지되고, 허용되는 에러 범위 내에서 미디어의 재생이 가능하게 된다. 제안하는 동기 알고리즘은 사용자와 서비스 제공자간의 망에서 발생하는 jitter를 극복할 수 있도록 하였으며, 전송한계를 가지고 있는 네트워크내의 많은 사용자들에게 QoS가 향상된 서비스를 제공 할 수 있다. 다양한 통신망 환경을 가정한 모의실험을 통하여, 알고리즘의 성능을 분석하였다.