HLA/RTI 기반의 페트리 네트 분산 시뮬레이션 모텔

임동순,Yim Dong-Soon 한국시뮬레이션학회 2005 한국시뮬레이션학회 논문지 Vol.14 No.1

In this study, a distributed simulation of Petri net models under HLA/RTI framework is considered. Throughout our modeling experiences, it is recognized that the proper use of interface specification and time management services are important in order to achieve successful implementation of RTI. The interfacing tokens between Petri net models are distinguished as information entity and physical entity. Both entities are modeled as InteractionClass in order to send and receive messages. For the synchronization of local simulation clocks, a conservative method with NERA service is considered. A cell manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

무장 할당문제에서 휴리스틱 방법 효율성 비교: 이행성 규칙이 성립하는 무장성능차이를 중심으로

임동순,최봉완,Yim, Dong-Soon,Choi, Bong-Wan 한국국방경영분석학회 2010 한국국방경영분석학회지 Vol.36 No.3

운용과학의 군사 응용 분야 중 하나인 무장-표적 할당문제는 NP-complete 문제로 알려져 있어 주어진 시간내에 최적해를 구할 수 없으므로 휴리스틱 방법에 의해 빠른 시간 내에 우수한 해를 구하는 것이 더 의미가 있다. 본 연구에서는 보다 효율적으로 해를 도출할 수 있는 방법을 개발하기 위해 전형적인 문제를 재구성하여 단순화 시켰다. 이러한 문제 하에서 두가지 유전자 알고리즘인 표적번호 표현 방법과 순열 표현방법을 비교하였고, 구성적 휴리스틱, 향상적 휴리스틱들을 개발하여 비교하였다. 무장의 파괴확률 간에 이행성 규칙이 존재하는 경우를 대상으로 실험을 수행한 결과 구성적 휴리스틱의 해를 초기해로 하여 교환에 기초한 향상적 계산 시간이나 해의 질 측면에서 가장 우수한 해를 생성하였다. 그러나, 구성적 휴리스틱의 효율성은 무장 성능 간 이행성 규칙에 민감한 결과를 나타내었다. In this study, the weapon-target assignment problem arising in military application of operations research is considered. We reformulated the problem in order to simplify the solution methods based on genetic algorithms and heuristics. Since the problem is well known as NP-complete and cannot be solved in polynomial time, such solution methods have been widely used to obtain good solutions. Two chromosome representations--target number representation and permutation representation--in genetic algorithm are compared. In addition, a construction heuristic and three improving heuristics are developed. Several experiments under the condition of transitivity rules in weapon's kill probability have been accomplished. It shows that the construction heuristic and exchange-based improving heuristic guarantees good solutions within a second and the performance of construction heuristic is sensitive to transitivity rules.

공간채움 조건을 만족하는 컴퓨터 실험 시나리오의 효율적 생성

임동순,김정훈,최봉완,Yim, Dong-Soon,Kim, Jung-Hoon,Choi, Bong-Whan 한국시뮬레이션학회 2013 한국시뮬레이션학회 논문지 Vol.22 No.3

In general, simulation models are effectively used in the field of engineering design. The experiment with simulation models to obtain optimal design parameters, however, is a time-consuming task and requires a lot of resources. Hence, meta-models representing the relationships between input variables and performance measures are exploited to efficiently determine the value of design parameters. To construct a meta-model, a number of simulation executions with sample scenarios are required. The number and quality of sample scenarios determine not only the level of efficiency in constructing the meta-model but also accuracy of the model. Space-filling condition is regarded to be an important condition for the quality of scenarios. This paper proposes sample scenario generation methods based on space-filling measures such as maxmin, Audze-Eglais, and centered L2-discrepancy. The performance of these scenario generation methods are evaluated through experiments. 공학설계분야에서 시뮬레이션 모델을 이용한 실험은 매우 중요한 역할을 한다. 그러나 최적의 설계 파라미터를 구하기 위한 시뮬레이션 실험은 많은 실행시간과 자원의 소요를 필요로 한다. 이를 극복하는 방안으로 입력 변수와 성능척도 간의 관계를 표현한 메타모형이 효과적으로 이용된다. 메타모형을 수립하기 위해서는 샘플 시나리오들을 입력으로 하는 시뮬레이션 실행이 요구된다. 이때 샘플 시나리의 수와 질이 메타 모형을 수립하는데 걸리는 시간과 메타모형의 정확성을 결정한다. 공간채움 특성은 샘플 시나리오들의 질을 결정하는 중요한 조건이 된다. 이 논문은 maxmin, Audze-Eglais, centered L2-discrepancy의 3가지 공간채움 척도에 기초한 샘플 시나리오 생성 방법을 제안하고, 실험을 통해 이들 생성방법에 대한 성능을 분석한 결과를 논의한다.

Efficient Algorithms for Preventing and Avoiding Deadlocks in done-controlled Bi-directional AGV Networks

임동순,Yim, Dong-Soon Society of Korea Industrial and System Engineering 2008 한국산업경영시스템학회지 Vol.31 No.3

본 논문은 존 조정하에서의 자동반송차량 네트워크에서 발생하는 고착을 해결하기 위한 두 가지 효과적인 알고리듬을 소개한다. 이 알고리듬들은 특별히 양방향 네트워크에 알맞도록 고안되었다. 사이클 제거 알고리듬은 고착을 예방하기 위한 차량의 안전한 라우트를 결정하나, 그래프 축소 알고리듬은 고착을 회피하기 위하여 미래 잠재적인 고착 발생 조건을 결정한다. 시뮬레이션을 통하여 알고리듬들의 성능을 비교 분석한 결과 작업물의 이동 횟수와 알고리듬의 시간 복잡성 측면에서 그래프 축소 알고리듬이 사이클 제거 알고리듬 보다 우수함을 나타내었다.

이산사건 시뮬레이션에서의 우선순위 큐 성능분석을 위한 다단계 마코브 프로세스 모델: 창조 모델에 대한 사례연구

임동순,Yim, Dong-Soon 한국시뮬레이션학회 2008 한국시뮬레이션학회 논문지 Vol.17 No.4

이산사건 시뮬레이션에서의 미래사건 리스트 관리에 요구되는 우선순위 큐의 성능을 평가하기 위하여 사건의 삽입과 삭제패턴을 묘사한 성능 모델이 필요하다. 성능 모델을 이용하여 다양한 우선순위 큐 구조를 시간 복잡성 측면에서 비교 평가할 수 있다. 본 연구는 대상이 되는 시뮬레이션 모델이 반복적으로 운용되고, 실행 시간이 유한적인 경우에 보다 정확한 성능모델을 작성하는 방안을 제시한다. 제안된 성능모델은 다단계 마코브 프로세스 모델에 기반을 두어 확정적인 순서에 의한 삽입과 삭제를 하기 보다는 확률적인 패턴에 의해 연산 순서를 결정한다. 대한민국 육군의 전쟁 연습 모델인 창조 모델을 운영한 결과를 바탕으로 다단계 마코브 프로세스 모델을 작성한 사례연구를 포함하였다. In order to evaluate the performance of priority queues for future event list in discrete-event simulations, models representing patterns of enqueue and dequeue processes are required. The time complexities of diverse priority queue implementations can be compared using the performance models. This study aims at developing such performance models especially under the environment that a developed simulation model is used repeatedly for a long period. The developed performance model is based on multi-stage Markov process models; probabilistic patterns of enqueue and dequeue are considered by incorporating non-homogeneous transition probability. All necessary parameters in this performance model would be estimated by analyzing a results obtained by executing the simulation model. A case study with a war game simulation model shows how the parameters defined in muti-stage Markov process models are estimated.

자원제약 프로젝트 스케쥴링 문제에 적용 가능한 부분 최적화 방법들의 성능 분석

임동순(Dong Soon Yim) 대한산업공학회 2011 대한산업공학회지 Vol.37 No.4

An Interpretation-based Genetic Algorithm and a Post Local Search Method for Vehicle Routing Problems with Time Windows

임동순(Dong-Soon Yim),오현승(Hyun-Seung Oh) 한국산업경영시스템학회 2008 한국산업경영시스템학회지 Vol.31 No.2

  본 논문은 시간 제약을 갖는 차량 라우팅 문제를 해결하기 위해 유전자 알고리듬과 부분 최적화 알고리듬을 적용한 방법을 소개한다. 유전자 알고리듬에서의 염색체는 노드를 나타내는 정수의 순열로 표현되어 직접적인 해를 나타내지 않지만, 경험적 방법에 의한 해석을 통해 유효한 해로 변형되도록 하였다. 유전자 알고리듬에 의해 생성된 주어진 수의 우수한 해들에는 세 부분 최적화 방법이 순차적으로 적용되어 보다 좋은 해를 생성하도록 하였다. 부분 최적화 방법들에 의한 해는 다시 유전자 알고리듬의 해로 바뀌지 않도록 하여 두 알고리듬은 느슨하게 연결되도록 하였다. 솔로몬의 데이터를 이용한 실험에서 본 연구에서의 방법이 모든 문제에 대해 우수한 해를 생성함을 나타내었다. 특히, 지금까지 알려진 가장 우수한 경험적 방법에 비교될 만한 결과를 가져옴을 보였다.

비즈니스 프로세스 모델링 연계 방법론

임동순(Dong-Soon Yim),김철한(Cheol-han Kim),우훈식(Hoon-Shik Woo),김중인(Joong-In Kim) 한국전자거래학회 1998 한국전자거래학회지 Vol.3 No.2

영재학생과 일반학생의 진로정체감과 진로준비행동의 관계에서 진로결정 자기효능감의 매개효과

임동순(Dong soon Yim),양연숙(Yeon suk Yang) 한국영재교육학회 2016 영재와 영재교육 Vol.15 No.2

본 연구는 중학교 1, 2, 3학년 영재학생 360명과 일반학생 239명을 대상으로 진로정체감, 진로준비행동, 진로결정 자기효능감의 차이를 알아보고, 진로정체감과 진로준비행동간의 관계에서 진로결정 자기효능감의 매개 가능성을 살펴보는데 그 목적이 있다. 연구결과 영재학생은 일반학생보다 진로정체감, 진로준비행동, 진로결정 자기효능감 수준이 유의미하게 높았다. 영재학생은 진로정체감과 진로준비행동 간의 관계에 진로결정 자기효능감이 부분매개하는 것으로 나타났으며, 일반학생은 진로정체감과 진로준비행동 간의 관계에 진로결정 자기효능감이 완전매개하는 것으로 나타났다. 본 연구결과가 영재학생과 일반학생의 진로의식과 진로탐색과 관련하여 어떠한 시사점이 있는가가 논의되었다. The purpose of the present study was to find out the differences in career identity, career preparation behavior, and career decision self-efficacy of gifted and general students, and to investigate the relationship between career identity and career preparation behavior with the mediating effect of career decision self-efficacy. For the study, 360 gifted students and 239 general students participated. The results indicate that there were significant differences between gifted and general students in all three variables investigated. For the gifted group, career decision self-efficacy was identified to act as a partial mediator in the relation between career identity and career preparation behavior. With regard to the mediation effects for general students, career decision self-efficacy was shown to act as a complete mediator in the relation between career identity and career preparation behavior. Implication of the study related to gifted education was discussed.

존 조정하에서의 AGV 고착 방지

임동순(Dong-Soon Yim) 대한산업공학회 2000 대한산업공학회지 Vol.26 No.4