• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.29-38
• /
• 2013

국방 M&S 분야에서 모의 기반 획득 방법이 필수적인 정책으로 인식되면서 획득 단계별 M&S 적용을 위한 협업이 필요해지고 M&S 컴포넌트를 쉽게 개발하고 공유하기 위한 공통 기반환경의 구축이 필요하게 되었다. 이를 위하여 본 연구에서는 모델 개발 재사용성 향상을 위한 형식론 기반의 시뮬레이션 프레임워크와 신속 개발을 위한 GUI 기반 모델링 환경을 제안한다. 제안하는 프레임워크는 플러그인 기반으로 동작하며 XML 기반 객체 모델을 바탕으로 하고 있기 때문에 모델의 개발과 변경에 대해 유연한 설계를 할 수 있으며 외부체계 연동, 모델 데이터 로깅과 같은 시뮬레이션 지원 기능을 구현하는데 효과적이다. 본 논문에서는 이러한 프레임워크 및 모델링 개발 도구의 구조와 기능 요소들에 대해 설명한다.

• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.67-82
• /
• 2013

본 논문은 공학급 국방 모델의 시뮬레이션 성능 향상을 위해 다중 충실도(Multi-fidelity) 모델링 시뮬레이션(M&S: Modeling and Simulation) 기법을 제안한다. 제안하는 기법은 다양한 충실도를 지닌 모델을 활용하여 고 충실도 모델의 시뮬레이션과 비교하여 유사한 수준의 시스템 분석 결과를 얻음과 동시에 시뮬레이션 성능 측면에서 이득을 가져오는 방안이다. 다중 충실도 원리를 적용하기 위해 본 논문은 충실도를 모델 동작과 실행 측면으로 세분화하고, 충실도 변환 지점을 FCP (Fidelity Change Point)로 정의한다. 이러한 원리를 바탕으로 본 논문은 다음의 세 가지 쟁점을 다룬다. 먼저, 모델 동작과 실행 측면의 충실도 변환을 위한 모델 구조와 제안하는 모델에 대한 수학적 형식론, 마지막으로 모델 실행을 위한 시뮬레이션 알고리즘을 제안한다. 사례 연구로 어뢰의 표적 추적 시나리오에 대한 기초 실험을 수행하였고, 실험 결과 제안하는 기법을 사용한 경우 기존의 시뮬레이션과 비교하여 최대 4.24배의 시뮬레이션 성능 향상을 보임을 확인하였다. 본 논문에서 제안하는 기법은 M&S 기반의 시스템 분석을 하는 다양한 분야에서 활용될 수 있음을 기대한다.

• 한국멀티미디어학회논문지
• /
• 제23권10호
• /
• pp.1270-1285
• /
• 2020

As a representative concept of the fourth industrial revolution era where everything is digitized, digital twin means analyzing and optimizing a complex system using a simulation model synchronized with the system. In this paper, we propose a digital twin simulation model for the efficient operation of urban railways in Busan. Due to the geopolitical nature of Busan, where there are many mountains and narrow roads, the railways are more useful than other public transportation. However, this inversely results in a high level of congestion, which is an inconvenience to citizens and may be fatal to the spread of the virus, such as COVID19. Considering these characteristics, the proposed model analyzes the congestion level of the railways in Busan. The model is developed based on a mathematical formalism called discrete-event system specification and deduces the congestion level and the average waiting time of passengers depending on the train schedule. In addition, a new schedule to reduce the congestion level is derived through particle swarm optimization, which helps the efficient operation of the railways. Although the model is developed for the railways in Busan, it can also be used for railways in other cities where a high level of congestion is a problem.

• 건축역사연구
• /
• 제14권3호
• /
• pp.103-118
• /
• 2005

This study is about the meaning of wooden brackets that are distinctive elements of wooden architecture in Korea, Japan, and China. Existing studies about wooden brackets have been limited to the boundary of formalism, so the object of this study is to make a breakthrough in the field of those studies. The Wooden brackets in this study are considered to be decorative elements, and the principles of their design are examined. The specific subject of the study is wooden architecture with Jusimpo-styled brackets that have brackets only on pillars. The definition of Jusimpo is reexamined first, and ChulMok-Ikkong which has not been regarded as a Jusimpo-styled wooden bracket is interpreted as Jusimpo-styled one in this study. Categorized into three types, Jusimpo is examined how it is expressed according to the type of the roof in a building. In view of the results, the wooden bracket system is an effective technique to express the formality, and two designing principles can be seen in Jusimpo; one that wooden brackets observed externally are standardized and regarded as the same ones, and the other that the style of wooden brackets used in the most formal building is Yi-ChulMok. These designing principles mean that the carpenter who was in charge of building the architecture had certain principles when expressing wooden brackets as well as the roofs according to the class of the architecture. In addition, although the styles of wooden brackets that were used in the most formal architecture during the Chosun period were mostly Dapo, Jusimpo in the form of Yi-ChulMok was also adopted in some temples depending on their scale, and that means Jusimpo-styled wooden brackets were never considered to be inferior to Dapo-styled ones. And this point leaves the argument that the reexamination of Jusimpo-styled wooden brackets which have been regarded as the style used in the attached building or small structures since the Choun dynasty should be conducted.

• 전자공학회논문지SC
• /
• 제43권5호
• /
• pp.10-18
• /
• 2006

본 논문에서는 다중 로봇 시스템에서 물체와 로봇 팔끝 간에 접촉 마찰이 존재할 때 이 로봇 시스템의 조작도를 해석하는 새로운 방법을 제안한다. 로봇이 물체를 떨어뜨리지 않고 잡고 있으려면, 로봇이 물체에 가하는 힘 벡터가 friction cone 내부에 존재 해야만 한다. 이러한 friction cone 내부를 나타내는 식은 일반적으로 비선형 형태로 되어 있기 때문에 기존의 조작도 분석 방법에 이 식을 구속 조건으로 적용하기가 쉽지 않다. 따라서 본 논문에서는 이러한 friction cone 내부를 다각뿔로 근사함으로써 선형적인 구속 조건으로 표현하였다. 또한 선행 연구에서 찾지 못했던 부분을 새롭게 찾아내었다. 그리고 다중 로봇 시스템에 조작도를 나타내는 물체 중심의 가속도를 구하기 위해서, 먼저 선형계획법을 통해서 허용 가능한 토크의 영역을 구하였다. 이 토크의 영역을 선형 변환을 통해 최종적으로 물체의 최대 가속도의 영역을 구하였다. 본 방법의 타당성을 입증하기 위해서 두 대로 구성 된 다중 로봇 시스템과 PUMA560 로봇 시스템에 적용하였다.

• Korea-Australia Rheology Journal
• /
• 제15권3호
• /
• pp.131-150
• /
• 2003

A new numerical algorithm of finite element methods is presented to solve high Deborah number flow problems with geometric singularities. The steady inertialess planar 4 : 1 contraction flow is chosen for its test. As a viscoelastic constitutive equation, we have applied the globally stable (dissipative and Hadamard stable) Leonov model that can also properly accommodate important nonlinear viscoelastic phenomena. The streamline upwinding method with discrete elastic-viscous stress splitting is incorporated. New interpolation functions classified as rational interpolation, an alternative formalism to enhance numerical convergence at high Deborah number, are implemented not for the whole set of finite elements but for a few elements attached to the entrance comer, where stress singularity seems to exist. The rational interpolation scheme contains one arbitrary parameter b that controls the singular behavior of the rational functions, and its value is specified to yield the best stabilization effect. The new interpolation method raises the limit of Deborah number by 2∼5 times. Therefore on average, we can obtain convergent solution up to the Deborah number of 200 for which the comer vortex size reaches 1.6 times of the half width of the upstream reservoir. Examining spatial violation of the positive definiteness of the elastic strain tensor, we conjecture that the stabilization effect results from the peculiar behavior of rational functions identified as steep gradient on one domain boundary and linear slope on the other. Whereas the rational interpolation of both elastic strain and velocity distorts solutions significantly, it is shown that the variation of solutions incurred by rational interpolation only of the elastic strain is almost negligible. It is also verified that the rational interpolation deteriorates speed of convergence with respect to mesh refinement.

• 한국실내디자인학회논문집
• /
• 제16권2호
• /
• pp.79-86
• /
• 2007

The recent works of architecture and interior design take on too various aspects to be classified as a trend or tendency. Many subjects, seeking the superiority between form and function in space which was the issue of Modernism, got to face the works which transcend the limitation of architecture due to the development of a variety of media and technology these days. In result, we could see the works which are to be Included into the category of art rather than architecture. This study starts from the thought that the common aspects of these works are based on the strangeness to pursue uniqueness, peculiarities or novelty. 'The subject of this study, $'D\acute{e}paysement'$, creates a new relation, disconnected from customs, to an architecture which became familiar through defragment, fixation and abstraction by the habitual relation and makes it reborn as an architecture which gives us a fantasy and a pleasure, by converting into the shape and image which are different from its original shape when a stimulus is given to an architecture. This study starts from the artistic aspect which has a close correlation with the architecture. The subject, $'D\acute{e}paysement'$ could be historically considered in two aspects - $D\acute{e}paysement$ of Surrealism which developed in paintings and Defamiliarization of Russian Formalism in the area of literature. This study is carried in a category of $D\acute{e}paysement$, focusing on the visual aspect of the architecture. This study is composed as follows: In chapter 2, a theoretical research is performed according to the definition and meaning of the $D\acute{e}paysement$ expression techniques, its origination and evolution, and type classification by the features of expression techniques in the era of Surrealism when $D\acute{e}paysement$ developed most vigorously in the area of art. In chapter 3, the system which formalizes the expression method of the techniques is presented, focusing on the case analysis of the artistic works according to the types of $D\acute{e}paysement$. In chapter 4, the application of the expression techniques of $D\acute{e}paysement$ is discussed by conducting cases analysis of the modern interior design.

• 한국실내디자인학회논문집
• /
• 제18권5호
• /
• pp.59-70
• /
• 2009

Since the emergence of a philosophical theory called deconstructivism, intertextuality has been promote the hybrid phenomenon amongst other jenres in arts. Various research efforts in intertextuality, however, have been more focused on the fields of literature and philosophy, rather than of architecture. This study aims to clarify the intertextuality between architectural design, music and literature as the following analysis of James Joyce's Finnegan's Wake, John Cage's music and Bernard Tschumi's early works. Joyce's Garden of Bernard Tschumi's project and some of John Cage's music works had borrowed from Finnegan's Wake, a novel James Joyce. Hence, the commonality between Bernard Tschumi and John Cage can naturally be related through Finnegan's Wake. Also, Finnegan's Wake had been contextualized by Jacques Derrida before it was used as a mediation by Bernard Tschumi. In this viewpoint, the paper will be able to identify the possibility of intertextuality between musical text and architectural one with a medium of literature. Major findings of the study are as follows: First, Finnegan's Wake played a guiding role to deconstruct the existing formalism and to construct a new concept in John Cage's music and Bernard Tschumi's architecture. Second, John Cage's music and Bernard Tschumi's works are included commonness with indeterminacy concepts. Third, the both artists share a drawing concept as found in John Cage's graphic notation of the 1950s and Bernard Tschumi's early architecture where grids, dots, and curves are used in common. As s result, intertextuality could be possible to make sure between others. Like this interdisciplinary research of relationships among different fields will be of great help in constructing creative design methods in architecture. With continuous research attempts, it is hopeful to intertextualize architectural texts with related art fields.

• 한국멀티미디어학회논문지
• /
• 제23권6호
• /
• pp.772-783
• /
• 2020

Tsunami is a frightful natural disaster that causes severe damages worldwide. To minimize the damage, South Korea has built a tsunami warning system and designated evacuation sites in the east and south coasts. However, such countermeasures have not been verified whether they are adequate to minimize casualties since tsunami rarely occurs in South Korea. Recently, due to increasing earthquakes in the west coast of Japan, the likelihood of South Korea entering the damage area of tsunami rises; thus, in this paper, we develops a simulator based on Unity game engine to simulate the evacuation from tsunami. In order to increase the fidelity of the simulation results, the simulator applies a tsunami simulation model that analyzes coastal inundation based on cellular automata. In addition, the objects included in tsunami evacuation, such as humans, are modeled as an agent model that determines the situation and acts itself, based on the discrete-event system specification (DEVS), a mathematical formalism for describing a discrete event system. The tsunami simulation model and agent models are integrated and visualized in the simulator using Unity game engine. As an example of the use of this simulator, we verify the existing tsunami evacuation site in Gwangalli Beach in Busan and suggest the optimal alternative site minimizing casualties.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.