• 천문학회보
• /
• 제46권2호
• /
• pp.64.1-64.1
• /
• 2021

Accretion flows around black holes and neutron stars emit high energy radiation with varying spectral and timing properties. Observed timing variations, both short and long-term, point to the existence of a mechanism, dictated by the flow dynamics, and not by the stellar surface or magnetic fields, that is common in both. Spectral energy distributions of multiple sources indicate that the Comptonization process, the dominant mechanism for changing states in X-ray, takes place inside the flow that has similar physical properties in both the objects. In a series of observational and numerical studies, we enquire about the following: 1. Is there a steady state configuration for accreting matter around black holes that can explain spectral and timing properties? 2. Could a similar formalism explain spectral and timing properties of accretion around neutron stars? 3. Could there be a generalized flow configuration for accreting matter around such compact objects? Furthermore, we show that a unified spectral model can be constructed based on the generalized flow configuration, common to black holes and neutron stars.

• Advances in aircraft and spacecraft science
• /
• 제10권5호
• /
• pp.473-494
• /
• 2023

This article introduces a formalism for the analysis of airplane trajectories on which the motion is determined by specifying the power of the engines. It explains a procedure to solve the equations of motion to obtain the value of the relevant flight parameters. It then enumerates the constraints that the dynamical abilities of the airplane impose on the amount of fuel used, the speed, the load factor, the lift coefficient, the positivity and upper boundedness of the power available. Examples of analysis are provided to illustrate the method proposed, with rectilinear and circular trajectories. Two very different types of airplanes are used in the examples: a Silver Fox-like small UAV and a common Cessna 182 Skylane.

• 대한조선학회논문집
• /
• 제61권3호
• /
• pp.152-160
• /
• 2024

In the event of a maritime accident, search plans have traditionally been planned using experiential methods. However, these approaches cannot guarantee safety when the scale of a maritime accident increases. Therefore, this study proposes a model utilizing discrete event simulation (DES) to predict the diving time for compartment searches of a ship located on the seabed. The discrete event simulation model was created by applying the DEVS formalism. The M/V Sewol sinking was used as an example to simulate how to effectively navigate compartments of different sizes. The simulation results showed the optimal dive time with the number of decompression chambers needed to navigate the compartment as a variable. Based on this, we propose a methodology for efficient navigation planning while ensuring diver safety.

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

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

• 한국정보통신학회논문지
• /
• 제23권9호
• /
• pp.1038-1048
• /
• 2019

최근, 선박의 항해 안전을 지원하기 위한 다양한 시스템이 개발되고 있다. 이러한 시스템의 유용성을 검증하기 위해서는 실제 선박에 탑재하여 운용해보는 것이 가장 이상적이나 현실적으로는 많은 어려움이 존재한다. 그 대안으로 모델링 및 시뮬레이션(M&S) 기법을 적용한 유용성 검증 방법이 요구된다. 현실과 가장 가까운 선박 조종 시뮬레이터(FMSS)는 구축비용이 수억에서 수십억에 달하는 등 매우 고가이고, 운용을 위한 전문 인력이 필요하다는 한계가 존재한다. 이러한 이유로, 본 논문에서는 이산사건 시스템 명세(DEVS) 형식론 기반의 선박 항해 모델링 및 시뮬레이션을 통한 항해 안전 지원 시스템을 검증하기 위한 방법을 제안한다. 그 첫 단계로 SES/MB 프레임워크를 기반으로 항해 시뮬레이션 아키텍처를 설계하고, DEVS 형식론을 기반으로 선박 핵심 장비 및 항해사 에이전트를 모델링하는 것에 관한 내용을 기술한다. 이러한 내용을 바탕으로 선박 항해 시뮬레이션 시스템을 구현하고, 다양한 시나리오를 통해 충돌회피 시뮬레이션 등과 같은 항해 안전 지원 요소의 효과도 평가가 가능할 것으로 판단된다.

• 한국콘텐츠학회논문지
• /
• 제21권5호
• /
• pp.324-337
• /
• 2021

본 연구의 목적은 여러 쓰기교육 이론에 비추어 한국어 쓰기교재의 위치와 특징을 점검하고 그 이론에 바탕을 두고 쓰기지식 구성활동을 살펴보아 추후 교재개발에 제언을 하는 것이다. 이를 위하여 한국어 쓰기교재 4권을 선정하여 분석하였고 텍스트 질적 분석을 통해 자료수집, 개방코딩, 심층코딩, 표현과 제시 등의 절차를 통해 분석결과를 제시하였다. 먼저 형식주의, 인지주의, 사회구성주의의 이론이 교재에 어떻게 적용되어 나타나는지 살펴보았으며 언어 구조지식, 과정지식, 맥락지식, 내용지식의 네 차원에서 교재의 언어활동이 어떻게 전개되고 있는지, 특별히 내용지식에 초점을 두고 검토하였다. 그 결과로서 단원의 조직에서 나타난 이론적 배경과 내부 구성 및 내용은 일치하지 않았다. 네 가지 쓰기지식 역시 각 교재에 모두 반영되어 있었으나 강조점과 비중의 차이는 있었다. 나아가 본고는 내용지식을 구성할 수 있는 다양한 활동이 포함된 교재를 드러내고 이러한 교재가 사회구성주의 쓰기교재로서 바람직함을 보였다. 이러한 발견을 바탕으로 본 연구는 쓰기교재 개발과 선택에 참고할 수 있는 여러 가지 사항들을 논의하였다.

• 한국시뮬레이션학회논문지
• /
• 제31권1호
• /
• pp.29-41
• /
• 2022

이상기후로 인한 불안정한 식량 수급을 해결하기 위한 대안 중 하나로 식물공장의 필요성이 증대되고 있다. 식물공장 내 기류는 재배작물의 증산작용과 열교환에 중요한 인자 중 하나로 인식되고 있다. 한편, 디지털트윈(Digital Twin: DT)은 실체계를 가상세계에 복제한 것으로 실체계만으로 불가능한 다양한 서비스를 제공하는 수단으로 주목받고 있다. 본 연구에서는 디지털트윈 개념을 실제 운용중인 식물공장 기류해석에 적용하여 다양한 상황에 기류를 예측할 수 있는 기류 예측 DT 모델 개발을 목표로 하였다. 이를 위해 먼저 기류 해석용 디지털트윈 수학적 형식론을 제시하고, 이를 기반으로 실제 운용중인 식물공장의 기류예측 모델링에 필요한 정보들을 명세한다. 이어서 식물공장 내 형상을 CAD로 구현하고 유동해석을 위한 전산유체역학(CFD) 구성요소들을 결합하여 DT 모델을 개발하였다. 마지막으로 DT 모델의 시뮬레이션 해석 결과를 식물공장에서 수집한 실제 기류값과 비교하는 모델의 실증 및 기계학습 기반 보정을 통해 정확도가 높은 기류 예측용 DT 모델을 완성하였다.

• 한국시뮬레이션학회논문지
• /
• 제18권4호
• /
• pp.127-136
• /
• 2009

MANET(Mobile Ad-hoc NETwork)에 있어 모델링 및 시뮬레이션은 실제 시스템 환경을 구축하기 어려운 여건에서 가상의 환경을 통한 분석연구를 위한 가장 효과적이고 유용한 방법이다. MANET의 연구에 있어서 네트워크 전체의 동작특성을 관찰하기 위해서는 노드간 전달과정과 관련한 상태 및 특성변화의 추적이 중요하며 이산 사건 시스템의 특징을 가진다. Zeigler's DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈라한 기법으로 이산사건 시스템을 명세할 수 있는 수학적 형식론이며, 이에 기반한 DEVSim++는 모델링의 무결성을 제공하며 객체지향형기법에 의한 계층적 최적화 모델링 및 시뮬레이션 환경을 제공한다. 그러나 네트워크를 구성하는 노드의 이동 특성으로 인해 네트워크의 연결 상태가 지속적으로 변하는 MANET을 모델링하기에는 어려운 부분이 있다. 본 논문에서는 DEVS방법론을 도입하여 MANET을 모델링하는 과정에서 노드의 이동 특성을 고려한, 네트워크의 변화특성에 따른 네트워크 상태의 변화를 관찰하기 위하여 네트워크 특성을 중심으로 MANET을 표현하는 방법을 제안하고 MANET DEVS 모델을 제시한다. 또한 제시한 모델을 DEVSim++시뮬레이션 엔진에 적용하여 시뮬레이션 함으로써 모델의 동작을 실증하였다.

• Journal of Computing Science and Engineering
• /
• 제2권1호
• /
• pp.44-73
• /
• 2008

There is general agreement that the problem of data semantics has to be addressed for XML data to become machine-processable. This problem can be tackled by defining a semantic mapping between an XML schema and an ontology. Unfortunately, creating such mappings is a tedious, time-consuming, and error-prone task. To alleviate this problem, we present a solution that heuristically discovers semantic mappings between XML schemas and ontologies. The solution takes as input an initial set of simple correspondences between element attributes in an XML schema and class attributes in an ontology, and then generates a set of mapping formulas. Once such a mapping is created, it is important and necessary to maintain the consistency of the mapping when the associated XML schema and ontology evolve. In this paper, we first offer a mapping formalism to represent semantic mappings. Second, we present our heuristic mapping discovery algorithm. Third, we show through an empirical study that considerable effort can be saved when discovering complex mappings by using our prototype tool. Finally, we propose a mapping maintenance plan dealing with schema evolution. Our study provides a set of effective solutions for building sustainable semantic integration systems for XML data.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2000년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Fall 2000
• /
• pp.81-88
• /
• 2000

The elastic wave equation is solved using the finite-difference method in 3D space to simulate the seismic wave propagation. It is based on the velocity-stress formulation of the equation of motion on a staggered grid. The nonreflecting boundary conditions are used to attenuate the wave field close to the numerical boundary. To satisfy the stress-free conditions at the free-surface boundary, a new formulation combining the zero-stress formalism with the vacuum one is applied. The effective media parameters are employed to satisfy the traction continuity condition across the media interface. With use of the moment-tensor components, the wide range of source mechanism parameters can be specified. The numerical experiments are carried out in order to test the applicability and accuracy of this scheme and to understand the fundamental features of the wave propagation under the generalized elastic media structure. Computational results show that the scheme is sufficiently accurate for modeling wave propagation in 3D elastic media and generates all the possible phases appropriately in under the given heterogeneous velocity structure. Also the characteristics of the ground motion in an sedimentary basin such as the amplification, trapping, and focusing of the elastic wave energy are well represented. These results demonstrate the use of this simulation method will be helpful for modeling the ground motion of seismological and engineering purpose like earthquake hazard assessment, seismic design, city planning, and etc..