• Journal of the military operations research society of Korea
• /
• v.37 no.1
• /
• pp.119-128
• /
• 2011

This paper deals with a study on mission analysis considering the effectiveness measurement of UAV system operations. This mission analysis process is composed of 5 steps; (1) creation of a base model in MANA, (2) design of input parameter set using experiment design, (3) mapping input parameter set to the MANA scenario file, (4) data farming and model run in batch process, and (5) statistical analysis of the simulation result. In the result of this study, the effect of input parameter to the dependent parameter was shown to decrease in the order classification range, sweep width, height, speed, FOV(Field of view), and classification probability. The study also shows that the operational effectiveness of an improved scenario proposed can increase 10.2% from the base scenario.

• Journal of Aerospace System Engineering
• /
• v.18 no.1
• /
• pp.11-20
• /
• 2024

In the recent era of NewSpace, unlike high-reliability satellites of the past, low-reliability satellites are being developed and mass-produced at a lower cost to launch constellations satellites. To achieve cost-effective cluster satellite development, satellite users and developers need to assess the feasibility of maintaining mission performance over the expected lifespan when cluster satellites are launched. Plans for replacements due to random failures should also be established to maintain performance. This study proposed a method for assessing system reliability and availability to maintain mission performance and establish replacement strategies for Earth observation constellation satellites. In this study, a constellation reliability and availability model considering mission performance required for a satellite constellation, situations of satellite backup, and additional ground backups was established. The reliability model was structured based on the concept of a k-out-of-n system and the availability model used a Markov chain model. Based on the proposed reliability model, the minimum number of satellites required to meet mission requirements was defined and satellites needed in orbit during the required mission period to satisfy mission reliability were calculated. This research also analyzed the number of spare satellites in orbit and on the ground required to meet the desired availability during required service period through availability analysis.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.297-300
• /
• 2008

High-resolution mesoscale meteorological modeling requires more accurate and higher resolution digital elevation model (DEM) data. Shuttle Radar Topographic Mission (SRTM) has created 90 m DEM for entire globe and that is freely available for meteorological modeling and environmental applications. In this research, the effects of the topographic interpolation methods on high-resolution wind field simulation in the coastal regions were quantitatively analyzed using Weather Research and Forecasting (WRF) model with SRTM data. Sensitivity experiments with three different interpolation schemes (four-point bilinear, sixteen-point overlapping parabolic and nearest neighbor interpolation methods) were preformed using SRTM. In WRF modeling with sixteen-point overlapping parabolic interpolation, the coastal line and some small islands show more clearly than other cases. The maximum height of inland is around 140 meters higher, while the minimum of sea height is about 80 meter lower. As it concerns the results of each scheme it seems that the sixteen-point overlapping parabolic scheme indicates the well agreement with observed surface wind data. Consequently, topographic changes due to interpolation methods can lead to the significant influence on mesoscale wind field simulation of WRF modeling.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Journal of Korea Multimedia Society
• /
• v.23 no.5
• /
• pp.667-672
• /
• 2020

Defense M&S (Modeling&Simulation) is a tool that creates a virtual battle situation similar to the real world, measuring and evaluating the effects of war or combat elements. However, it is very challenging to consider all the possible outcomes on the battlefield. To solve this problem, we propose a battlefield ontology, which conceptualizes the data of battlefield situation with tactical considerations. The proposed battlefield ontology is evaluated based on various communication posts in war game scenarios. The battlefield ontology is expected to assist the process of quick and accurate command decisions in convoluted battlefield situations.

• The Bulletin of The Korean Astronomical Society
• /
• v.42 no.2
• /
• pp.63.3-64
• /
• 2017

KIC6118779 is an over-contact binary system having a short orbital period of about 0.36 days. The photometric data for this system are acquired by the observations of Kepler mission in the long cadence mode having a time resolution of about 30 minutes. It means that the Kepler light curves of the system may be strongly affected by phase smearing effect and the analysis of them without consideration of the phase smearing effect may result in wrong stellar properties. Additionally, this system also shows dynamical variation of light curve resulting from spot activity. For all those reasons, it is difficult to investigate KIC6118779, and the investigation should be carried out carefully. In this presentation, we introduce the phase smearing effect and carry out the light curve modeling with the 2015 version of the Wilson-Devinney binary code considering the phase smearing effect. Our results show that the system is a deep over contact binary system and has extremely low mass ratio of about 0.12. Moreover our spot modeling implies the cyclic migration of a big cool spot on the massive component.

• International Journal of Contents
• /
• v.10 no.2
• /
• pp.67-73
• /
• 2014

With a population of around 237,424,363 in 33 provinces, Indonesia is one developing countries that needs an excellent School Management Information System (SMIS) to accomplish its educational mission. To reach the goal, it is necessary to know the rules, culture of school and related data prior to building the SMIS. This study is focused on the Indonesian National Education Standards. It is has nine standards that are described by the Regulation of Education Ministry. To manage the schools' organization, this paper aims to develop a SMIS based on the Indonesian National Education Standards by using ARIS(Architecture of Integrated Information System) to help schools run efficiently. The new system will be built using UML(Unified Modeling Language), this new system conforms to the education rules of the government. Finally, the conclusion and future research are described.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.4
• /
• pp.139-145
• /
• 2018

In this paper, we propose the methodology and system to show weather information to spatial system. When using the spatial information system, it is easy and convenient to show information such as target location, mission contents, enemy threats and so on. However, drawing 1-dimensional weather information on 3-dimensional space in spatial information system is hard task. To fuse data, we need to add a spatial layer including weather information to spatial layers and perform space modeling for showing weather information as spatial data in a virtual space. The virtual space is shown by receiving meteorological data and then changing in real time through weather database linkage.

• Journal of Satellite, Information and Communications
• /
• v.7 no.2
• /
• pp.76-79
• /
• 2012

Satellite power system is critical for mission design and survival operation. Accordingly power conversion circuit has to stable design and verify for operation condition change (load, voltage, thermal condition). however, multi-stage make complicate for modeling and get all state solution. In this paper present all state solution for multi-stage converter by using Extended Describing Function(EDF) modelling. EDF modelling has merit to solve complex circuit but it has limit too. Because of fundamental approximation, EDF modeling is not match all topology. Consequently, we verify passible topology for EDF modeling and stable design multi-stage converter.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.4
• /
• pp.446-459
• /
• 2017

Naval ships are assigned many and varied missions. Their performance is critical for mission success, and depends on the specifications of the components. This is why performance analyses of naval ships are required at the initial design stage. Since the design and construction of naval ships take a very long time and incurs a huge cost, Modeling and Simulation (M & S) is an effective method for performance analyses. Thus in this study, a simulation core is proposed to analyze the performance of naval ships considering their specifications. This simulation core can perform the engineering level of simulations, considering the mathematical models for naval ships, such as maneuvering equations and passive sonar equations. Also, the simulation models of the simulation core follow Discrete EVent system Specification (DEVS) and Discrete Time System Specification (DTSS) formalisms, so that simulations can progress over discrete events and discrete times. In addition, applying DEVS and DTSS formalisms makes the structure of simulation models flexible and reusable. To verify the applicability of this simulation core, such a simulation core was applied to simulations for the performance analyses of a submarine in an Anti-SUrface Warfare (ASUW) mission. These simulations were composed of two scenarios. The first scenario of submarine diving carried out maneuvering performance analysis by analyzing the pitch angle variation and depth variation of the submarine over time. The second scenario of submarine detection carried out detection performance analysis by analyzing how well the sonar of the submarine resolves adjacent targets. The results of these simulations ensure that the simulation core of this study could be applied to the performance analyses of naval ships considering their specifications.