• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권10호
• /
• pp.579-587
• /
• 2017

사이버 임무 피해 정량화는 정해져있는 임무에 따라 움직여 집단의 목표를 이룩하거나 이윤을 창출하는 군(軍)이나 기업들에게 빠질 수 없는 필수적인 작업이다. 조직이 지닌 자산에 대한 피해가 발생하였을 때, 수행 목표에 대한 피해를 최소화하기 위해 남은 자산만으로 달성할 수 있는 임무의 최대 수용력(capacity)을 정량화하고 빠른 시간 안에 새로운 차선책을 마련하여야 한다. 이를 위해서자산과 임무에 대한 관계를 모델링하여 정형화하면 사이버 공격이 임무에 미친 피해 영향도를 계산할 수 있다. 본 논문에서는 자산과 과업의 관리 업무를 분리하여 효율적인 관리가 가능하도록 자산과 임무 사이의 의존성에 대한 모델을 적용하였고, 적용한 모델을 바탕으로 벡터 단위의 오퍼레이션을 이용하여 계산의 병렬화나 버퍼를 이용해 연산속도를 향상시키는 등 빠른 시간 안에 계산을 완료할 수 있는 최적화된 시스템을 구현하였다.

• 항공우주기술
• /
• 제7권1호
• /
• pp.183-193
• /
• 2008

본 논문은 KSLV-I 상단부에 대한 고장모드 분석 결과와 시스템 수준의 비행시험 신뢰도 모델을 기술한다. 먼저, KSLV-I 상단부의 14개의 주요 기능과 비행시험 임무 프로파일을 분석하고, 기능 분석 결과와 임무 구간별 수행 기능 목록을 바탕으로 시스템 체계에 따른 상단부의 고장모드 계층 구조와 시스템 수준의 비행시험 신뢰도 모델을 구성한다.

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

임무신뢰도란 제품개발 시 목표가 되었던 요구조건하에서 임무를 완수할 확률을 나타내며, 전투체계의 경우 상용 장비와 달리 임무신뢰도가 승패를 좌우할 중요한 요소이다. 기존의 국내 전투체계의 임무신뢰도는 임무수행에 연관된 장비의 물리적 연결만을 고려해 산출되었으나, 장비들이 점차 고도화되어지고 복잡해져 물리적 연결만으로 임무연관성 판단이 불가하다. 이에 따라 본 논문에서는 물리적 연결뿐만 아니라 기능적 연결을 고려한 방법으로 시스템 설계모델링 언어인 SysML을 활용하여 정확도가 향상된 임무신뢰도를 산출하였다. 본 연구결과를 바탕으로 향후 개발되는 전투체계 임무신뢰도 검증자료로 활용 되기를 기대한다.

• 한국전자파학회논문지
• /
• 제11권7호
• /
• pp.1211-1217
• /
• 2000

The three-dimensional finite-difference time-domain (FDTD) method and the two-dimensional quasi-static formulation have been used to calculate the characteristic impedance and the microwave effective index of coplanar waveguide structures on Lithium Niobate ($LiNBO_3$) single crystal substrates with a yttria-stabilized zirconia (YSZ) or $SiO_2$ buffer layer. The results shown can be a good source to predict the modulator characteristics. The effects of the thin buffer layer and anisotropy of the $LiNBO_3$ crystal (x-cut and z-cut) are discussed. The comparison between the FDTD and quasi-static results shows good agreement. In this paper, the efficient modeling technique of the FDTD method for the coplanar waveguide (CPW) structures based on an anisotropic substrate with a thin buffer layer is developed.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.189-198
• /
• 2010

임무공간개념모델(CMMS, Conceptual Model of the Mission Spaces)은 실 군사 세계의 임무 수행과 관련한 전투요소 객체와 행위, 객체간의 상호 작용을 개념적 차원에서 나타낸 지식(임무영역) 참조모델로, 국방 M&S 시스템의 개발 및 상호 운용성, 재사용성을 제고시키는데 있어 기본이 되는 모델이다. CMMS의 완전성은 이에 기반을 둔 모든 M&S 체계의 품질을 보장함에 있어 중요한 요소인데, 이의 완성도를 높이기 위한 검증, 확인 및 인정(VV&A, Verification, Validation and Accreditation)과정은 매우 중요하다. 본 연구에서는 현재 국내에서 연구 진행 중인 한국형 CMMS에 대하여 소개하고 CMMS의 개발 및 관리시스템의 신뢰성을 보장할 수 있는 CMMS VV&A 적용 방법을 제안하고자 한다.

• Nuclear Engineering and Technology
• /
• 제56권1호
• /
• pp.141-146
• /
• 2024

Station blackout (SBO) risk is one of the most significant contributors to nuclear power plant risk. In this paper, the sequence probability formulas derived by the convolution approach are compared with those derived by the conventional event tree/fault tree (ET/FT) approach for the SBO situation in which emergency diesel generators fail to start. The comparison identifies what makes the ET/FT approach more conservative and raises the issue regarding the mission time of a turbine-driven auxiliary feedwater pump (TDP), which suggests a possible modeling improvement in the ET/FT approach. Monte Carlo simulations with up-to-date component reliability data validate the convolution approach. The sequence probability of an alternative alternating current diesel generator (AAC DG) failing to start and the TDP failing to operate owing to battery depletion contributes most to the SBO risk. The probability overestimation of the scenario in which the AAC DG fails to run and the TDP fails to operate owing to battery depletion contributes most to the SBO risk overestimation determined by the ET/FT approach. The modification of the TDP mission time renders the sequence probabilities determined by the ET/FT approach more consistent with those determined by the convolution approach.

• 한국시뮬레이션학회논문지
• /
• 제20권2호
• /
• pp.59-66
• /
• 2011

본 연구에서는 함정에 탑재돼 운용되는 대잠헬기의 잠수함 탐지능력 증대시키기 위한 임무 할당 방안을 제안하였다. 이를 위해 대잠헬기가 대잠 탐색 임무 중에 수행하는 행동 및 행동들 간의 연간관계를 분석하여 모델링하였다. 또한 대잠 헬기가 수행하는 대잠 탐색 임무의 효과도를 정량적으로 측정하기 위한 지표들을 정의하였다. 설계된 모델링 결과를 이용해 효과도를 분석하기 위한 시나리오를 구성하였으며, 시나리오 및 대잠 탐색 임무 시 대잠 헬기와 상호작용하는 아군 수상함 및 적 잠수함과 관련된 주요 설정값을 적용하여 시뮬레이션을 수행하였다. 시뮬레이션 결과를 활용해 임무의 효과도에 영향을 줄 수 있는 대잠 헬기 디핑 소나의 운용 간격, 반복적인 탐색 임무 수행 시의 패턴에 따른 효과도를 분석하여, 효과적인 대잠 탐색 임무 할당 방안을 제안하였다.

• International Journal of Computer Science & Network Security
• /
• 제21권9호
• /
• pp.247-260
• /
• 2021

Data modeling is a process of developing a model to design and develop a data system that supports an organization's various business processes. A conceptual data model represents a technology-independent specification of structure of data to be stored within a database. The model aims to provide richer expressiveness and incorporate a set of semantics to (a) support the design, control, and integrity parts of the data stored in data management structures and (b) coordinate the viewing of connections and ideas on a database. The described structure of the data is often represented in an entity–relationship (ER) model, which was one of the first data-modeling techniques and is likely to continue to be a popular way of characterizing entity classes, attributes, and relationships. This paper attempts to examine the basic ER modeling notions in order to analyze the concepts to which they refer as well as ways to represent them. In such a mission, we apply a new modeling methodology (thinging machine; TM) to ER in terms of its fundamental building constructs, representation entities, relationships, and attributes. The goal of this venture is to further the understanding of data models and enrich their semantics. Three specific contributions to modeling in this context are incorporated: (a) using the TM model's five generic actions to inject processing in the ER structure; (b) relating the single ontological element of TM modeling (i.e., a thing/machine or thimac) to ER entities and relationships; and (c) proposing a high-level integrated, extended ER model that includes structural and time-oriented notions (e.g., events or behavior).

• Journal of Astronomy and Space Sciences
• /
• 제31권1호
• /
• pp.51-61
• /
• 2014

In this work, the preliminary analysis on both the tracking schedule and measurements characteristics for the spacecraft on the phase of lunar transfer and capture is performed. To analyze both the tracking schedule and measurements characteristics, lunar transfer and capture phases' optimized trajectories are directly adapted from former research, and eleven ground tracking facilities (three Deep Space Network sties, seven Near Earth Network sites, one Daejeon site) are assumed to support the mission. Under these conceptual mission scenarios, detailed tracking schedules and expected measurement characteristics during critical maneuvers (Trans Lunar Injection, Lunar Orbit Insertion and Apoapsis Adjustment Maneuver), especially for the Deajeon station, are successfully analyzed. The orders of predicted measurements' variances during lunar capture phase according to critical maneuvers are found to be within the order of mm/s for the range and micro-deg/s for the angular measurements rates which are in good agreement with the recommended values of typical measurement modeling accuracies for Deep Space Networks. Although preliminary navigation accuracy guidelines are provided through this work, it is expected to give more practical insights into preparing the Korea's future lunar mission, especially for developing flight dynamics subsystem.

• International Journal of Aeronautical and Space Sciences
• /
• 제17권1호
• /
• pp.89-100
• /
• 2016

Given the unpredictability of the space environment, satellite communications are manually performed by exchanging telecommands and telemetry. Ground support for orbiting satellites is given only during limited periods of ground antenna visibility, which can result in conflicts when multiple satellites are present. This problem can be regarded as a scheduling problem of allocating antenna support (task) to limited visibility (resource). To mitigate unforeseen errors and costs associated with manual scheduling and mission planning, we propose a novel method based on a genetic algorithm to solve the ground support problem of multiple satellites and antennae with visibility conflicts. Numerous scheduling parameters, including user priority, emergency, profit, contact interval, support time, remaining resource, are considered to provide maximum benefit to users and real applications. The modeling and formulae are developed in accordance with the characteristics of satellite communication. To validate the proposed algorithm, 20 satellites and 3 ground antennae in the Korean peninsula are assumed and modeled using the satellite tool kit (STK). The proposed algorithm is applied to two operation modes: (i) telemetry, tracking, and command and (ii) payload. The results of the present study show near-optimal scheduling in both operation modes and demonstrate the applicability of the proposed algorithm to actual mission control systems.