• 정보보호학회논문지
• /
• 제31권5호
• /
• pp.889-899
• /
• 2021

본 논문은 블록체인 기술에서 탈중앙화된 시스템 접근 방식을 활용하여 차량 인터넷(IoV)에서 신뢰할 수 있는 데이터 공유 체계를 제안한다. 스마트 계약에 기초한 인센티브 메커니즘을 채택하여, 차량은 올바른 교통 정보 메시지를 정직하게 공유함으로써 시스템으로부터 특정한 보상을 받게 된다. 이후 차량은 평판 등급을 생성하여 수신되는 모든 정보 메세지를 검증함으로서 메시지에 대한 신뢰성을 유지한다. 한편 네트워크 성능을 분석하기 위해 이산 이벤트 시뮬레이터를 사용하여 IoT 네트워크를 시뮬레이션하였고, 인센티브 모델은 분산형 접근 방식의 이더리움 스마트 계약을 활용하여 설계하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2020년도 춘계학술발표대회
• /
• pp.368-371
• /
• 2020

반도체 제조시설의 효율성을 위해 대부분의 현장에서는 물류 자동화 시스템 (AMHS, Automated Material Handling System)을 도입하여 운영하고 있다. OHT(Overhead Hoist Transfer)는 반도체 공정에서 주로 활용되는 Monorail 컨베이어 형태의 자동 반송 시스템의 일종으로 작업물을 들고 제조라인 위에 설치된 레일을 따라 자율적으로 이동하는 방식으로 운영된다. 도체 물류 시스템의 계층적인 구조적 특징과 고가의 재료를 다루고, 외부유출이 어려운 실제 공정 현장, 실험 환경의 시간, 공간적 구축 등의 현실적 특징 때문에 반도체 제조 공정의 자동화 물류시스템에 대한 모델링 및 시뮬레이션을 통한 연구의 필요성이 대두되고 있다. 본 논문에서는 OHT를 효율적으로 제어하기 위해 DEVS(Discrete Event System Specifications) 형식론을 기반으로 OHT 시스템 모델링 및 시뮬레이션 설계 방법을 제안한다. 이를 위해 반도체 제조 시스템의 전반적인 물류 과정에 대해 분석하고, DEVS 형식론에 대해 연구하며, 이를 바탕으로 반도체 물류 시스템을 위한 모델링 및 시뮬레이션을 설계하였으면, 실험을 통해 제안된 모델리 반도체 물류 시스템 시뮬레이션을 수행할 수 있음을 보인다.

• 산업경영시스템학회지
• /
• 제46권1호
• /
• pp.68-75
• /
• 2023

In an automotive plant, an automated storage and retrieval system (ASRS) synchronizes material handling flows from a part production line to an auto-assembly line. The part production line transfers parts on small-/large-sized pallets. The products on pallets are temporarily stored on the ASRS, and the ASRS retrieves the products upon request from the auto-assembly line. Each ASRS aisle is equipped with narrow-/wide-width racks for two pallet sizes. An ASRS aisle with narrow-/wide-width racks improves both storage space utilization and crane utilization while requiring delicate ASRS aisle design, i.e., the locations of the narrow-/wide-width racks in an ASRS aisle, and proper operation policies affect the ASRS performance over demand fluctuations. We focus on operation policies involving a common storage zone using wide-width racks for two pallet sizes and a storage-retrieval job-change for a crane based on assembly-line batch size. We model a discrete-event simulation model and conduct extensive experiments to evaluate operation policies. The simulation results address the best ASRS aisle design and suggest the most effective operation policies for the aisle design.

• 한국시뮬레이션학회논문지
• /
• 제29권1호
• /
• pp.71-79
• /
• 2020

현대사회의 도시화 추세가 지속됨에 따라 인구의 집중으로 주거환경에 대한 도시문제의 중요성이 대두되고 있다. 다양한 도시문제 중에서 대표적인 문제 중 하나는 쓰레기 문제로 시민들의 주거환경 악화의 원인이 되며 시정 만족도에 대해 직접적으로 영향을 미치는 요인이다. 이와 같은 쓰레기 문제는 단순히 주거지역의 쓰레기 배출량에 대한 분석으로는 정확히 예측할 수 없으며 쓰레기의 주거지역에 분포하고 있는 거주민의 생활양식과 특징에 대한 분석이 필요하다. 본 연구에서는 주거지역 내의 거주민의 분포에 따라 발생할 수 있는 쓰레기 문제와 이에 대한 만족도 분석을 수행하기 위하여 이산사건 시스템 형식론을 활용한 에이전트 기반 거주민 모델링과 시뮬레이션 환경을 제안한다. 제안하는 연구는 주거민의 시계열적인 특성을 표현하기 위하여 원자모델을 사용하였으며 시뮬레이션 모델의 재사용성을 증대시키기 위한 결합모델을 사용하여 다가구와 다가구 주택을 모의하였다. 또한, 본 연구는 다가구 주택지역에 대한 시뮬레이션 모델링을 진행하고, 시뮬레이션을 수행하였다. 연구결과로 다가구 주택지역의 시뮬레이션에서는 거주민의 특성을 고려한 결과와 그렇지 않은 결과 사이에 뚜렷한 차이점을 발견할 수 있었으며 지역 문화적 특성과 시간적 특성을 고려한 시뮬레이션이 필요함을 확인할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제17권2호
• /
• pp.63-74
• /
• 2008

공정 개선의 문제는 원가 절감, 수익구조 개선을 목표로 하는 생산 전략부서, 생산 계획에 의해 제시된 제품의 목적 생산량을 달성할 수 있는 공정 설계하고자 하는(설계 공정 능력, Tact time) 공정 설계 부서의 공통 요구사항이다. 목표하는 생산량을 달성하기 위해 작게는 라인밸런싱(Line-Balancing), 병목공정 제거를 수행하고 있으며, 크게는 설비 증설, 작업자 증원 등의 공정 개선을 시도한다. 문제는 대부분의 경우, 공정 개선 프로세스가 정적 예측 기반의 수리적인 방식에 기인하고 있다는 점이며, 특히 라인 생산 기반의 컨베이어 공정의 경우, 컨베이어의 이송 능력에 따른 대기시간 부분이 배제되고 있다는 것이다. 공정 대기시간은 설비의 정미시간과는 별개의 문제로 설비의 싸이클 타임(Cycle Time)의 수치에 따라 변동하는 변수로서 중요하다. 이에 본 논문에서는 H 사의 컨베이어 라인 공정을 대상으로 이산 사건 기반의 시뮬레이션을 수행하여 일련의 공정 개선 프로세스를 밟아가며, 컨베이어에 의해 발생하는 공정 대기시간의 공정 개선에의 기여도를 측정하여 공정 개선의 주요 변수로서 제시하고자 한다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제34권1호
• /
• pp.154-162
• /
• 2010

시뮬레이션 기법은 성능분석을 위하여 다양한 공학 분야에서 활용되는 유용한 방법 중의 하나이다. 항만 시스템의 자동화를 위하여 다양한 장비의 구성 및 운영 등의 효과를 분석할 수 있는 시뮬레이션이 요구된다. 본 논문에서는 항만 자동화를 위한 평가, 분석, 계획 등에 적용 가능한 시뮬레이션 방법론을 제안한다. 이를 위하여 모델링 및 시뮬레이션 환경으로서 이산사건시스템 형식론을 기반으로 한 SES/MB 프레임워크를 적용하여 항만 시스템의 구성원에 대한 모델링 및 시뮬레이션을 수행한다. 제안된 방법론은 항만 시스템의 구성 및 운영 전략 등에 대한 시뮬레이션에 효과적으로 적용될 수 있는 장점을 갖는다. 사례연구를 통하여 제안한 방법론의 타당성을 검토한다.

• 한국CDE학회논문집
• /
• 제13권1호
• /
• pp.36-44
• /
• 2008

This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

• 제어로봇시스템학회논문지
• /
• 제7권8호
• /
• pp.689-696
• /
• 2001

Large-scale Multi-disciplinary Systems(LMS) such as transportation, aerospace, defense etc. are complex systems in which there are many subsystems, interfaces, functions and demanding performance requirements. Because many contractors participate in the development, it is necessary to apply methods of sharing common objectives and communicating design status effectively among all of the stakeholders. The processes and methods of systems engineering which includes system requirement analysis; functional analysis; architecting; system analysis; interface control; and system specification development provide a success-oriented disciplined approach to the project. This paper shows not only the methodology and the results of model-based systems engineering to Automated Guided Transit(AGT) system as one of LMS systems, but also propose the extension of the model-based tool to help manage a project by linking WBS (Work Breakdown Structure), work organization, and PBS (Product Breakdown Structure). In performing the model-based functional analysis, the focus was on the operation concept of an example rail system at the top-level and the propulsion/braking function, a key function of the modern automated rail system. The model-based behavior analysis approach that applies a discrete-event simulation method facilitates the system functional definition and the test and verification activities. The first application of computer-aided tool, RDD-100, in the railway industry demonstrates the capability to model product design knowledge and decisions concerning key issues such as the rationale for architecting the top-level system. The model-based product design knowledge will be essential in integrating the follow-on life-cycle phase activities. production through operation and support, over the life of the AGT system. Additionally, when a new generation train system is required, the reuse of the model-based database can increase the system design productivity and effectiveness significantly.

• 한국시뮬레이션학회논문지
• /
• 제29권4호
• /
• pp.33-46
• /
• 2020

전자전은 상대방 전자전 무기체계나 장비에 대한 교란, 무력화, 공격 및 파괴를 목적으로 한다. 대공제압(SEAD: Suppression of Enemy Air Defense) 임무는 적의 방공망에 대한 무력화, 파괴, 혹은 일시적 기능 저하를 목적으로 하며, 전자전을 수행하는 대표적인 임무이다. 본 연구는 SEAD 임무의 효과도 분석을 위하여 DEVS(Discrete Event Systems Specification) 기반의 시뮬레이터를 개발하고 사례 분석을 통해 유용성을 입증한다. SEAD 임무는 SSJ(Self Screening Jamming), SOJ(Stand Off Jamming) 상황 하에서 적 지역으로 침투하여 HARM(High Speed Anti Radiation Missile)을 발사하는 단계까지로 한다. SAM의 대응은 SSJ, SOJ에 의해 성능의 저하가 초래되는 상태에서 임무를 수행하는 것으로 가정한다. 시뮬레이터는 전자전 장비의 제원(파라미터)과 운용전술(파리미터 혹은 알고리즘)의 조합이 임무효과도에 미치는 영향을 분석하는 것을 목적으로 하였다.

• 한국항행학회논문지
• /
• 제25권5호
• /
• pp.336-343
• /
• 2021

항공전자시스템은 항공기의 뇌와 신경, 오감에 해당하는 것으로 비행 및 임무를 수행하기 위해 통신/식별/항법/무장/시현 계통의 항공기 탑재 전자장비로 구성된다. 비행체 체계에서의 비중이 50%에 육박하며, 4차 산업혁명 기반 기술이 발전됨에 따라 중요도 및 비중이 증가되는 추세이다. 항공기의 개발 소요시기에 따라 개발 기간은 점점 단축되고 있으며 항공전자시스템 통합 및 검증을 위한 안정적인 항공용 SIL의 적기 개발이 반드시 필요하다. 본 논문에서는 기존 항공용 SIL을 프레임워크 기반의 항공용 SIL로 대체하기 위한 방안을 제안한다. 그리고 대체 적용한 결과를 바탕으로 항공용 시뮬레이션 모델 프레임워크의 성능을 평가한다.