• 지질공학
• /
• 제34권2호
• /
• pp.173-191
• /
• 2024

Landslides pose significant threats to many countries globally, yet the development and implementation of effective landslide early warning systems (LEWS) remain challenging due to multifaceted complexities spanning scientific, technological, and political domains. Addressing these challenges demands a holistic approach. Technologically, integrating thresholds, such as rainfall thresholds, with real-time data within accessible, open-source software stands as a promising solution for LEWS. This article introduces LandScient_EWS, a PHP-based program tailored to address this need. The software facilitates the comparison of real-time measured data, such as rainfall, with predefined landslide thresholds, enabling precise calculations and graphical representation of real-time landslide advisory levels across diverse spatial scales, including regional, basin, and hillslope levels. To illustrate its efficacy, the program was applied to a case study in Medellin, Colombia, where a rainfall event on August 26, 2008, triggered a shallow landslide. Through pre-defined rainfall intensity and duration thresholds, the software simulated advisory levels during the recorded rainfall event, utilizing data from a rain gauge positioned within a small watershed and a single grid cell (representing a hillslope) within that watershed. By identifying critical conditions that may lead to landslides in real-time scenarios, LandScient_EWS offers a new paradigm for assessing and responding to landslide hazards, thereby improving the efficiency and effectiveness of LEWS. The findings underscore the software's potential to streamline the integration of rainfall thresholds into both existing and future landslide early warning systems.

• 정보과학회 논문지
• /
• 제42권3호
• /
• pp.341-360
• /
• 2015

패턴은 소프트웨어 개발에서 얻은 경험을 구조화한 것으로 문제해결에 이용되는 반면, 문제틀은 소프트웨어 문제를 분석하는 방법이다. 문제틀은 해법이라기 보다는 문제 도메인에 중점을 두고 있기 때문에 문제를 이해하는데 유용하다. 문제틀과 소프트웨어 아키텍처를 연결하는 기존 연구들은 주어진 문제를 이해하는데 치중하여 문제틀을 이용할 뿐 문제틀과 품질속성 모두를 고려하면서 아키텍처 패턴을 도출하고 있지 않다. 본 논문에서는 문제틀과 아키텍처 패턴의 매칭을 통한 소프트웨어 패턴 기반 아키텍처 설계 방법을 제안한다. 먼저, 문제틀 방법에 따라 문제 모델을 개발한 후 기능 및 품질속성 관점에서 문제 모델을 아키텍처 패턴 후보와 매칭한다. 논문은 기능 매칭을 위해서는 문제틀 다이어그램을 이용한 아키텍처 패턴의 문제 모델을, 품질속성을 고려하기 위해서는 새로운 분석 템플릿을 사용하여 아키텍처를 설계하는 방법을 제안한다. 또한, 사례연구를 통해 제안한 방법이 올바른 아키텍처 패턴을 결정하는 체계적인 프로세스이며 잘 정제된 소프트웨어 아키텍처 설계를 위한 기초가 됨을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1164-1177
• /
• 2005

현재 소프트웨어 개발 공정이 복잡해짐에 따라 개발하는 소프트웨어의 요구사항 역시 복잡해지고 있으며 요구사항 관리에 많은 노력이 소요되고 있다. 그러나 소프트웨어의 요구사항을 처음부터 모두 정의하는 것은 사실상 불가능하며, 개발이 진행되면서 환경은 변하기 마련이다. 또한 요구사항 변경은 개발보다 많은 비용이 소요되므로 체계적인 변경 관리를 통해 변경에 민첩하게 대응하고 관리되어야 한다. 본 논문에서는 소프트웨어 프로덕트 라인에서 요구사항 변경 관리 프로세스를 기반으로 체계적인 요구사항 변경 관리 방법을 제시한다. 소프트웨어 프로덕트 라인(software product lines)에서 어플리케이션의 요구사항은 도메인 요구사항과 밀접하게 관련되어 있으므로 어플리케이션 공학(application engineering) 단계에서 요구사항 변경이 발생했을 경우 도메인 공학(domain engineering) 단계를 이용하여 변경을 분석하고 관리하는 방법을 제시한다. 이러한 일관된 변경 관리를 통해 변경 범위를 분석하고, 변경 대처방안을 제시함으로써 변경 처리 결정을 내리는데 도움을 주며 한번 요청된 변경이 완벽하게 처리되도록 도와주어 같은 변경의 반복 요청을 막을 수 있기 때문에 잠재된 변경 비용을 절약할 수 있다.

• 항공우주시스템공학회지
• /
• 제17권6호
• /
• pp.108-117
• /
• 2023

지금까지 해외 수출용 KT-1 군용 고정익 항공기에 통합된 임무 소프트웨어는 해외업체와 국제 공동개발을 통하여 개발이 되었으며, 감항인증을 위해 DO-178B를 기반으로 하는 해외업체의 개발 환경과 절차를 준수함으로써 소프트웨어의 신뢰성을 인정받을 수 있었다. 하지만, 최근에는 해외 수출 시 DO-178C 인증을 요구하고 있으며, 국내 소요군에 납품 시 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼 준수를 위해 신뢰성 시험을 필수적으로 요구하고 있다. 본 논문은 기 개발된 KT-1 수출형 항공기 체계통합 사업의 국제 공동개발에 있어 국내 감항인증을 받기 위한 문제점을 기술하고 DO-178C와 무기체계 소프트웨어 개발 및 관리 매뉴얼을 모두 준수하기 위한 해결방안을 찾아서 최적의 소프트웨어 신뢰성 시험 방안을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제29권8호
• /
• pp.67-75
• /
• 2024

함정전투체계의 필수 CSCI(Computer Software Configuration Item) 중 하나인 체계관리 CSCI 소프트웨어는 타 CSCI보다 함형 별 기능 요구사항 변경이 자주 발생한다. 빈번한 요구사항 변경은 소프트웨어의 완전한 재사용을 어렵게 만들고, 신규 함형 개발 시 소스 코드 수준의 재사용을 반복하게 한다. 그리고 이러한 구조적 환경은 비효율적인 공수 활용에 따른 개발 시간 및 비용 증가를 일으키는 원인이다. 이를 개선하기 위해 본 논문에서는 체계관리 CSCI 소프트웨어의 재사용을 높이기 위한 모듈화를 적용하였다. 모듈화 적용의 수단으로는 표준화의 용이성과 기능 확장성의 장점이 있는 표준 연동 아키텍처 방법을 활용하였다. 비교 평가 방법으로는 체계관리 CSCI 소프트웨어 모듈화 적용 전/후의 기능 요구사항 수정 시 변경되는 클래스 비율의 비교, 그리고 소프트웨어 신뢰성 시험의 수행 시간 비교 등의 실험 평가를 수행하였다. 이러한 실험 결과를 통해 본 논문은 체계관리 CSCI 소프트웨어의 모듈화 적용 시 기존보다 높은 유지보수성과 재사용성을 가짐을 검증하였다.

• 대한기계학회논문집B
• /
• 제40권11호
• /
• pp.705-715
• /
• 2016

본 연구의 목적은 에어컨 사이클 성능해석에 있다. 응축기, 증발기, 팽창밸브 및 압축기는 냉동사이클을 구성하는 핵심요소이다. 사이클의 개별적인 구성요소들에 대한 해석 기법들을 합리적으로 통합하여 다양한 운전조건에서 에어컨 시스템 성능예측이 가능하도록 하였다. 응축기 압력은 압축기 질량유량과 팽창밸브 유량이 일치하도록 반복계산에 의해 획득되며, 증발기 압력은 목표 흡입과열도가 획득되도록 압축기 흡입엔탈피를 반복계산에 의해 획득되었다. 더 나아가서 복수 실내기를 장착한 에어컨 시스템의 성능이 예측될 수 있도록 알고리듬들이 마련되었으며, 이들 모델들에 대한 해석결과를 제시하였다. 소프트웨어의 정확성은 실험결과에 의해 증명 되었다. 특히, 8.3 kW급 모델의 실험결과와 비교함으로써, 소프트웨어의 정확성이 다양하게 검정되었다. 해석결과로써, 정확성은 대체적으로 10% 이내에 있는 것으로 확인되어 우수한 신뢰성이 확보되었다.

• 한국멀티미디어학회논문지
• /
• 제19권2호
• /
• pp.386-395
• /
• 2016

In trajectory-based navigation systems, a huge amount of trajectory data is needed for efficient route explorations. However, it would be very hard to collect trajectories from all the possible start and destination combinations. To provide a practical solution to this problem, we suggest a method combining collected GPS trajectories data into additional generated trajectories with new start and destination combinations without road information. We present a trajectory combination algorithm and its implementation with Scala programming language on Spark platform for big data processing. The experimental results proved that the proposed method can effectively populate the collected trajectories into valid trajectory paths more than three hundred times.

• Journal of Computing Science and Engineering
• /
• 제8권4호
• /
• pp.199-206
• /
• 2014

The ant colony optimization (ACO) algorithm is a new heuristic algorithm that offers good robustness and searching ability. With in-depth exploration, the ACO algorithm exhibits slow convergence speed, and yields local optimization solutions. Based on analysis of the ACO algorithm and the genetic algorithm, we propose a novel hybrid genetic ant colony optimization (NHGAO) algorithm that integrates multi-population strategy, collaborative strategy, genetic strategy, and ant colony strategy, to avoid the premature phenomenon, dynamically balance the global search ability and local search ability, and accelerate the convergence speed. We select the traveling salesman problem to demonstrate the validity and feasibility of the NHGAO algorithm for solving complex optimization problems. The simulation experiment results show that the proposed NHGAO algorithm can obtain the global optimal solution, achieve self-adaptive control parameters, and avoid the phenomena of stagnation and prematurity.

• Ocean Systems Engineering
• /
• 제6권2호
• /
• pp.203-216
• /
• 2016

Over recent years the offshore wind turbines are becoming more feasible solution to the energy problem, which is crucial for Egypt. In this article a three floating support structure, tension leg platform types (TLP), for 5-MW wind turbine have been considered. The dynamic behavior of a triangular, square, and pentagon TLP configurations under multi-directional regular and random waves have been investigated. The environmental loads have been considered according to the Egyptian Metrological Authority records in northern Red sea zone. The dynamic analysis were carried out using ANSYS-AQWA a finite element analysis software, FAST a wind turbine dynamic software, and MATLAB software. Investigation results give a better understanding of dynamical behavior and stability of the floating wind turbines. Results include time history, Power Spectrum densities (PSD's), and plan stability for all configurations.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2008년도 추계학술대회 및 정기총회
• /
• pp.304-307
• /
• 2008

A spreadsheet-based linear program (LP) software, so called, the LP-Tableau is developed to aid users to learn the simplex algorithm systematically and to understand the various conditions that make the problem unusual and, in some instances, impossible to solve. The LP-Tableau has several good features over other spreadsheet-based LP software programs available. First, the data input in the LP-Tableau is very convenient especially when small-sized problems are analyzed. Further, the LP-Tableau allows for two solution methods (i.e., Big-M and Two-Phase) and displays the whole iterations in tableau format. Thus users can easily understand the principle of the algorithm step by step. Finally, the LP-Tableau visually displays various conditions of the optimal solutions that might occur in solving the LP problems.