• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.6
• /
• pp.358-370
• /
• 2007

Software simulations have been widely used for the design and application development of a wireless sensor network that is an infrastructure of ubiquitous computing. In this study, we develop a sensor network simulator that can verify the behavior of sensor network applications, estimate execution time and power consumption, and simulate a large-scale sensor network. To implement the simulator, we use an instruction-level parallel discrete-event simulation method. Instruction-level simulation uses executable images loaded into a real sensor board as workload, such that it results in the high degree of details. Parallel simulation makes simulation of a large-scale sensor network possible by distributing workload into multiple computers. The simulator can predict the amount of power consumption based on operating time of modules in a sensor node and counting the number of executed instructions by kind. Also it can simulate ubiquitous applications with various scenarios and debug programs. Instruction traces used as workload for simulations are executable images produced by the cross-compiler for ATmega128L microcontroller.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06a
• /
• pp.154-155
• /
• 2010

21세기 지식정보화 시대의 정보과학기술은 중요한 교육으로 발전하고 있으며, 최근 6T를 기반으로 융합 IT는 미래사회의 중요한 과학기술로 연구 발전 시켜나가고 있다. 최근 이러한 융합적 IT기술의 근원은 창의성 계발과 아이디어를 중요시하고 있으며, 창조적 인재육성을 지향하고 있다. 창조적 인재육성은 창의적 문제해결 학습에 의한 두뇌의 발달과 창의적 설계를 가능하게 하므로 새로운 학습방법 연구가 활발히 진행 되어야 할 필요가 있다. 본 논문에서는 RDS를 이용한 창의적 문제해결 학습방법에 대하여 설명하고, 융합 IT분야에서도 미래사회에 가장 많은 영향력을 가지고 있는 지능로봇 분야의 창의적 설계와 응용을 학습할 수 있는 방법에 대하여 소개한다. RDS는 지능로봇 시뮬레이션 프로그램을 서비스 컴포넌트 기반으로 창의적 설계에 대하여 3차원 가상공간에서 학습자가 직접 프로그램으로 제작 실험이 가능하도록 지원한다. 또한 수학적, 과학적 학습의 효과를 동시에 IT에 접목할 수 있는 종합교육학습 시스템으로 발전시켜 나갈 수 있다. 시각적 시뮬레이션 환경(VSE)은 학습자의 문제해결력을 위한 경험과 실험을 동시에 실시간 제공할 수 있는 것이 큰 장점이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.118-120
• /
• 2012

이 논문에서는 MapReduce 프레임워크를 활용한 기후 시뮬레이션 결과의 데이터분석을 위한 전처리 과정을 다룬다. 이를 위해 기후 시뮬레이션 결과 데이터 셋으로부터 특정변수를 추출하여 자료를 변환한 후 변환된 자료를 HDFS 에 저장하기 위한 과학데이터 필터를 설계한다. 설계된 필터를 통해 저장된 자료는 Hadoop 의 MapReduce 응용을 통해 연도별 통계처리를 분산병렬 방식으로 수행한다.

• Korean Journal of Remote Sensing
• /
• v.24 no.6
• /
• pp.591-603
• /
• 2008

Satellite performance can be evaluated by image quality. MTF(Modulation Transfer Fuction), SNR(Signal To Noise Ratio), GSD(Ground Sample Distance) etc. are important bias parameters to analyze image quality. It is necessary to estimate quality of satellite image in design stage. In this paper, the simulating method of satellite image quality, considering design, manufacturing, and operation, is proposed. The proposed method shall be used to estimate and restore quality of satellite image.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.327-327
• /
• 2023

인간 활동의 영향으로 인한 기후변화는 지구의 물 순환을 변화시키며 결과적으로 수문학적 재해의 발생빈도와 강도를 변화시킬 것으로 전망한다. 파키스탄은 기후변화에 대한 기여도가 적음에도 불구하고 기후변화로 인한 피해가 큰 나라 중 하나이다. 파키스탄은 2022년 여름 국가의 30% 이상의 지역이 침수되며 3300만명이 피해를 받은 기록적인 홍수를 겪은 바 있다. 본 연구에서는 하천 물리 모델인 Catchment based Macro-scale Floodplain (CaMa-Flood)를 사용하여 2022년 파키스탄에서 발생한 홍수에 대하여 인간 활동에 의한 기후변화 영향을 평가했다. 결합모델간 상호비교 프로젝트 (Coupled Model Intercomparision Project Phase 6, CMIP6)에 참여한 모형들 중, 일 유출량을 제공하는 4개의 전구기후모델 (CanESM5, CNRM-CM6-1, HadGEM3-GC31-LL, IPSL-CM6A-LR)을 선정하였다. 본 연구는 선정된 모델을 기반으로 지난 1950-2014년의 총 65년간, 인간의 영향을 제외한 hist-nat과 인간의 영향이 포함된 historical 시뮬레이션 결과를 비교하여 홍수에 대한 인간 활동의 기여도를 평가하였다. 각 hist-nat과 historical 시뮬레이션에서 산출된 일 유출량을 CaMa-Flood의 입력 자료로 사용하여, 파키스탄 지역의 자연 변동성 및 인위적 강제력이 영향을 미치는 하천 유량, 저수량, 범람 면적 및 수위 등을 계산하였다. 연구 결과, 인간 활동이 2022년 파키스탄 홍수의 하천 범람 면적 및 총 하천 유량 증가에 영향을 미쳤으며, 이는 자연 변동성만을 고려한 hist-nat 시뮬레이션과의 비교를 통해 차이를 확인하였다. 이는 향후 파키스탄 지역에서 발생하는 홍수 사례 전망 및 유엔 기후변화협약당사국총회(COP27)에서 의제로 채택된 기후변화로 인한 손실과 피해의 보상에 대한 구체적인 근거에 도움이 될 것으로 보인다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.26 no.1
• /
• pp.91-101
• /
• 2023

Modeling and Simulation(M&S) technology has been widely used to solve constraints such as time, space, safety, and cost when we implement the same development and test environments as real warfare environments to develop, test, and evaluate weapon systems for the last several decades. The integration and test environments employed for development and test & evaluation are required to provide Live Virtual Construction(LVC) simulation environments for carrying out requirement analysis, design, integration, test and verification. Additionally, they are needed to provide computing environments which are possible to reconfigure computing resources and software components easily according to test configuration changes, and to run legacy software components independently on specific hardware and software environments. In this paper, an Integration Test and Simulation for Engagement Control(ITSEC) bed using a bare-metal virtualization mechanism is proposed to meet the above test and simulation requirements, and it is applied and implemented for an air missile defense system. The engagement simulation experiment results conducted on air and missile defense environments demonstrate that the proposed bed is a sufficiently cost-effective and feasible solution to reconfigure and expand application software and computing resources in accordance with various integration and test environments.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.36 no.2
• /
• pp.113-120
• /
• 2023

This paper introduces a simulation method for the collision between roadblocks and vehicles using LS-DYNA. The need to evaluate the performance of anti-ram barriers to prepare for vehicle impact has increased since vehicle impact threats have been included as a design criterion for nuclear power plants. Anti-ram barriers are typically certified for their performance through collision experiments. However, because Koreas has no performance testing facilities for anti-ram barriers, their performance can only be verified through simulations. LS-DYNA is a specialized program for collision simulation. Various organizations, including NCAC, distributes numerical models that have been validated for their accuracy with collision tests. In this study, we constructed a finite element model of the most critical vehicle barrier module and simulated collision between roadblocks and vehicles. The calculated results were verified by applying the validation criteria for vehicle safety facility collision simulations of NCHRP 179.

• Journal of the Korean Society of Radiology
• /
• v.13 no.5
• /
• pp.773-778
• /
• 2019

Images using X-rays are essential to diagnosis, but noise is inevitable in the image. To compensate for this, a total variation (TV) algorithm was presented to reduce the patient's exposure dose while increasing the quality of the images. The purpose of this study is to verify the effect on the image quality in radiographic imaging according to the thickness of the additional filtration plate through simulation, and to evaluate the usefulness of the TV algorithm. By using the Geant4 Application for Tomographic Emissions (GATE) simulation image, the actual size, shape and material of the Polymethylmethacrylate (PMMA) phantom were identical, the contrast to noise ratio (CNR) and coefficient of variation (COV) were compared. The results showed that the CNR value was the highest and the COV the lowest when applying the TV algorithm. In addition, we can acquire superior CNR and COV results with 0 mm Al in all algorithm cases.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.249-259
• /
• 2010

Synthetic environment data used in defense M&S fields, which came from various organization and source, are consumed and managed by their own native database system in distributed environment. But to manage these diverse data while interoperation in HLA/RTI environment, neutral synthetic environment data model is necessary to transmit the data between native database. By the support of DMSO, SEDRIS was developed to achieve this requirement and this specification guarantees loss-less data representation, interchange and interoperability. In this research, to use SEDRIS as a standard simulation database, base research, visualization for validation, data interchange experiment through test-bed was done. This paper shows each research case, result and future research direction, to propose standardized SEDRIS usage process.