• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.504-507
• /
• 2002

취약성 진단을 위한 시뮬레이션 시스템의 주요 구성 요소인 네트워크 모델의 설계 및 구현을 소개한다. 특히, 네트워크에 존재하는 취약점을 진단, 분석하기 위한 모델링 방법론을 제시하고, 구체적인 모델의 설계와 구현을 수행하였다. 네트워크 모델은 네트워크 구성요소인 허브, 라우터 및 네트워크 호스트들을 추상화한 모델들의 결합(Coupling) 형태로 구성되며, 각 구성 요소들은 각자의 취약성을 가지고 있다. 본 연구에서는 이러한 각 구성요소의 취약성의 집합으로 네트워크를 표현하고, 취약성을 기반으로 한 네트워크 모델의 구조적인 특성과 동적인 특성을 제시한다. 취약성 진단을 위해 제시된 모델링 방법을 통해 구현된 네트워크 모델은 시뮬레이션 실행을 통해 분석되어 그 유효성을 검증하였다.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.9 no.3
• /
• pp.347-352
• /
• 1999

The finite element formulation and simulation of drying process for ceramic electric insulators are investigated. The heat and moisture movements in green ceramics caused by the interaction of temperature gradient, moisture gradient, conduction, convection and evaporation are considered. The variations of temperature and moisture not only change the volume but also induce the hygro-thermal stress. The finite element formulation for solving the temperature and moisture distributions as well as the associated hygro-thermal stresses is derived. Using the computer code developed, the drying process of a ceramic electric insulator is simulated. Temperature distribution, moisture distribution, hygrothermal stress and deformed shape during the drying process are predicted.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.72-76
• /
• 2001

인터넷이 생활의 중요한 요소로 자리잡기 시작하면서 네트워크의 침해 사고가 급증하고 있는 현실이다. 이러한 침해 사고를 예방하기 위해 침입 탐지 시스템(IDS)과 방화벽(Firewall)이 많이 사용되고 있다. 방화벽과 침입 탐지 시스템은 연동은 서로의 단점을 보완하여 더 강력하게 네트워크를 보호할 수 있다. 방화벽과 침입 탐지 시스템을 위한 시뮬레이션 모델은 DEVS (Discrete Event system Specification) 방법론을 사용하여 구성하였다. 본 논문에서는 실제 침입 데이터를 발생시켜 실제 침입에 가까운 상황 가운데 침입 행위를 판별하도록 구성하였다. 이렇게 구성된 시뮬레이션 모델을 사용하여 침입탐지 시스템의 핵심 요소인 침입 판별이 효과적으로 수행되는지를 시뮬레이션 할 수 있다. 현재의 침입은 광범위해지고, 복잡하게 되어 한 침입 탐지 시스템이 독립적으로 네트워크의 침입을 판단하기 어렵게 되었다. 이를 위해 네트워크 내에 여러 침입 탐지 시스템 에이전트를 배치하였고, 에이전트들이 서로 정보를 공유함으로써 공격에 효과적으로 대응할 수 있도록 하였다. 침입 탐지 시스템이 서로 협력하여 침입을 탐지하고, 이런 정보를 침입 차단 시스템에게 넘겨주게 된다. 이와 같은 구성을 통해서 공격자로부터 발생된 패킷이 네트워크 내로 들어오는 것을 원천적으로 막을 수 있도록 하였다.

• KIPE Magazine
• /
• v.9 no.4
• /
• pp.15-18
• /
• 2004

버클리 캘리포니아에서 만들어진 Spice의 상용화를 시작으로, 지난 30년간 컴퓨터를 이용한 회로설계의 눈부신 발전이 있었다. 초창기의 회로시뮬레이션은 콤포넌트 요소중심의 설계와 해석의 정확도가 중요시되었던 시절이었다. 컴퓨터에 의한 모의설계라는 점에서 실제의 제품과 얼마나 근사하게 예측할 수 있는지가 관심의 대상이었다. 또한 컴퓨터와 소프트웨어 응용 기술의 초기시절이었기 때문에 광대한 영역에 대한 해석보다는 하나의 콤포넌트 요소에 대해서만 설계가 가능했었다. 이건은 컴퓨터와 소프트웨어기술의 발전에 한계가 있었기 때문이기도 했다. 그러나 80년대에 들어오면서 소프트웨어공학과 컴퓨터의 눈부신 발전은, 이미 시뮬레이션 접근방법의 새로운 시도를 예고하고 있었다.(중략)

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.101-105
• /
• 2001

본 연구는 유연 생산 시스템에서 버퍼 할당 최적화 알고리즘을 제시한다. 기존의 연구들과는 달리 제안된 알고리즘은 시스템의 복잡성과 Combinatorial특성을 모두 다를 수 있다. 알고리즘은 시뮬레이션을 사용하여 시스템의 복잡성을 모델링하고 수정된 유전 알고리즘을 사용하여 Combinatorial특성을 다루며 버퍼를 최적으로 시스템에 할당하게 한다. 제안된 알고리즘은 첫 번째 제한된 버퍼가 있는 상황에서 시스템 Output을 최대화하는 목적함수를 사용하여 최적 버퍼할당을 찾아내는 것과, 두 번째 원하는 Output을 달성할 수 있는 최소의 총 버퍼 수와 할당을 찾아내는 두 가지 목적함수에 적용된다. 마지막으로 유연 생산 시스템의 성능을 결정짓는 다른 요소들과의 관계를 살펴보기 위해 무인 운반 시스템의 발주방식과 무인 운반차의 수 등을 변화시켜 실험을 수행하고 그 결과를 분석한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.07a
• /
• pp.421-422
• /
• 2012

본 연구에서는 코로나 대전된 고분자의 열자격전류(Thermally Stimulated Current; 이하 TSC) 데이터를 기반으로 코로나 대전 과정을 유한요소법(Finite Element Method; 이하 FEM)을 이용하여 시뮬레이션하였다. $DC -5{\sim}-8[kV]$의 고전압을 고분자에 인가하여 형성시킨 일렉트렛트를 온도 범위 $-100{\sim}+200[^{\circ}C]$에서 얻은 TSC 데이터의 대전 과정을 조사하기 위하여 FEM으로 시뮬레이션을 수행하여 공간에서 코로나 대전 과정을 추정하였다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.7
• /
• pp.713-721
• /
• 2012

The finite element simulations of fatigue crack growth are carried out. Using only the mechanical properties usually obtained from the tensile test as input data, we attempted to predict the fatigue crack growth behavior. The critical crack opening displacement is determined by monitoring the change in displacements at the node close to the crack tip. Crack growth is simulated by debonding the crack tip node. The exponent in the Paris law was determined and compared to the published exponent. Plotting with respect to the effective stress intensity factor range yielded more consistent results.

• Journal of the Korea Society for Simulation
• /
• v.15 no.4
• /
• pp.143-151
• /
• 2006

This paper deals with the simulation model for design and operations of A-Mart logistic center for low temperature products. In developed simulation model, receiving docks, digital classification system (DCS), shipping docks, material handling devices and manual sorting stations are considered. Five types of cargo such as fruits, palletized fruits, delicatessen and fisheries, vegetables and refrigerated cargoes are considered. The simulation model and process animation are developed using the simulation package ARENA. Among various design and operation alternatives consisting of the number of workers of receiving dock, allocation of receiving docks by cargo types, DCS capacity, the number of folk-lift, the number of manual sorting operators and overall layout, the best alternatives of each subsystem are selected by simulation analysis. The major performance measures such as DCS throughput, utilization of operators at each station, receiving docks utilization and folk-lift utilization are considered for the alternative evaluation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.886-889
• /
• 2010

Power consumption measurement in sensor network is difficult to proceed by survey in real field. Thus, through simulation, the power consumption is estimated and replacement time of nodes are decided. A simulation tool simulates various facts such as power consumption, packet transmission traffic, network topology and etc. In this paper, it suggests sensor node power model to simulate power consumption which has large importance among simulation facts in sensor network. This model omits calculating expressions that the data originally surveyed can substitute with, according to power consumption property of each functions in sensor node in order to minimize calculations in simulation. In this case accuracy of power consumption estimation will be reduced, but can simulate it faster due to reduced calculation. Suggested model is fitted to analyze power consumption difference between two or more sensor network algorithms with rapid simulation speed rather than accurate simulation.

• ICROS
• /
• v.21 no.3
• /
• pp.25-34
• /
• 2015

철강산업의 플랜트 엔지니어링에서 투자비와 공기를 저감하기 위해 Virtual Factory 기술 적용이 확대되고 있다. Virtual Factory 기술은 엔지니어링 프로세스의 설계 및 제작 단계에서 설비 간섭, 분해, 설치, 검증 등 기계 요소를 테스트하고, 시운전, 운영 및 유지보수 단계에서 제어 프로그램 검증, 운전 훈련 등 제어 요소를 테스트하기 위하여 컴퓨터 기반의 가상 플랜트를 구성하여 시뮬레이션을 수행하는 기술이다. 본 논문에서는 제어 요소 테스트를 위한 시뮬레이션 기술로서 가상 시운전 시스템과 가상 훈련 시스템의 기술 및 개발 동향을 소개한다.