• Journal of the Korean Association of Geographic Information Studies
• /
• v.23 no.2
• /
• pp.36-52
• /
• 2020

This study performed 2-D(two-dimensional) hydrodynamic analysis using EFDC in the Nakdong River. For the simulation of the flood season and non-flood season, the measured data including water level, weir outflow and tributary inflow were used, and the accuracy and applicability of the model were verified by comparing the measured water level and computed one. In addition, statistical quantitative assessment of the model performance was performed by estimating PBIAS, RSR, and RMSE for the computed water level. Then, the average velocity for each section between weirs was calculated by applying constant discharge conditions, and it was compared and verified with the measured velocity by Hydrological Survey Center. In this study, a simple method for estimating the arrival time was proposed, and it is expected that it will be practically applicable in field practices such as flood forecasting and warning.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.3
• /
• pp.633-637
• /
• 2005

In this contribution, we developed and improved an existing GF (Galois field) dividing algorithm by suggesting a novel architecture for a finite field divider, which is frequently required for the error correction applications and the security-related applications such as the Reed-Solomon code, elliptic curve encryption/ decryption, is proposed. We utilized the VHDL language to verify the design methodology, and implemented the architecture on an FPGA chip. We suggested the n-bit lookup table method to obtain the throughput of 2m/n cycles, where m is the order of the division polynomial and n is the number of the most significant lookup-bits. By doing this, we extracted the advantages in achieving both high-throughput and less cost of the gate areaon the chip. A pilot FPGA chip was implemented with the case of m=4, n=2. We successfully utilized the Altera's EP20K30ETC144-1 to exhibit the maximum operating clock frequency of 77 MHz.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.6
• /
• pp.558-571
• /
• 1992

In this paper, we propose an improved method of state exploration called the extended circular exploration (ECE) for the efficiency of state exploration and the reduction of explosively growing state. The ECE does not need to explore all the reachable global states, and It can be applied to JV($\boxDr$$\geq$ 2) -party protocol with alternative routes, i.e., it is applicable to the protocol In which adaptiverouting mechanism can be performed. The ECE eliminates a restriction of topology of the conventional circular exploration(CE) by exploring only those global states which are reachable, provided that the participant processes of any group of transitions proceed at the same speed, and that they can be formed as a cycle. Thus the state space explored if not exhaustive. The algorithm presented can detect deadlock error and unspecified reception error It requires storage space and /or execution time much less than those of the conventional perturbation(CP) . It might be used for a solution of the N-process collision and the interference mechanism.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.22 no.7
• /
• pp.807-813
• /
• 2016

The Maritime Traffic Safety Audit Scheme was institutionalized in 2009 to provide for professional surveys, measurement and the evaluation of navigational hazards that might occur in coastal waters in the course of marine work. Related researches that dealt with the reform of the Maritime Traffic Safety Audit Scheme found that there were no rules or regulations for verifying whether marine work conformed to audit results and reviewing the exactitude of ship handling simulations which were a crucial part of the scheme. According to the necessity of adopting an ex post facto management system in the field of maritime traffic, this study analyzed the similar audit acts such as the Natural Environment Impact Audit Scheme and the Road Traffic Safety Audit Scheme, and proposed specific articles for revising Maritime Safety Act in order to break out from the institutional inertia of the current Maritime Traffic Safety Audit Scheme. It is expected that a newly proposed legal system for verifying the performance of audit results and the exactitude of audits will help improve maritime traffic safety by eradicating potentially hidden hazards related to marine work.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.9
• /
• pp.814-824
• /
• 2016

The mission objective of STEP Cube Lab. (Cube Laboratory for Space Technology Experimental Project) classified as a pico-class satellite is to find space core technologies researched at domestic industry or university and to verify these technologies on mission orbit. To implement this objective, system level electrical integration and function test (EIT) by using developed flight software were performed in compliance with system requirements. And the effectiveness of the flight model (FM) was verified through launch and thermal vacuum test at acceptance level. This paper will introduce a series of process of electrical function tests for FM EIT, launch and thermal vacuum tests.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.688-693
• /
• 2016

This paper describes the parachute dynamics modeling and simulation results for the development of training simulator of a HALO (High Altitude Low Opening) parachute, which is currently in use for military purposes. The target parachute is a rectangular shaped parafoil and its dynamic model is derived based on the real geometry data as the 9-DOF nonlinear equations of dynamics. The simulation was conducted through the moment of inertia and its aerodynamic derivatives to reflect the real characteristics based on the MATLAB/Simulink. In particular, its modeling includes the typical characteristics of the added mass and moment of inertia, which is shown in the strong effects in Lighter-Than-Air(LTA) flight vehicle. The proposed dynamic modeling was evaluated through the simulation under the spiral turning flight conditions of the asymmetric control inputs and compared with the performance index in the target parachute manual.

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

So far, many simulation researches associated with naval ships have been concentrated on the tactical systems and naval ship development. However, studies on the improvement of living conditions for naval ship crews were limited. This study targets a crew mess room which is a typical welfare facility in naval ships and existing modeling and simulation methodologies for naval tactical and strategic systems cannot be applied to the crew room simulations. This paper suggests a simulation modeling framework based on 3-dimensional discrete event simulation methodology for crew mess room congestion assessment and operation scenarios. The simulation modeling framework is verified through practical case simulations. The purpose of simulation modeling framework consists of process and system architecture for operation feasibility tests of welfare facilities in naval ships and is to guide an assessment of the operability performance of a crew mess room.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2007.11a
• /
• pp.249-254
• /
• 2007

The main bodies of housing markets of today need to carry out a systematic and objective feasibility analysis even from the step of planning in order to succeed in a diverse and complex market environment. Therefore, it is meaningful to understand this housing market environment and propose a necessary model for the feasibility analysis of hosing business. In this vein, the aim of this study was to extract an actual and practical feasibility analysis factor and its importance for housing market, and then present and apply a feasibility analysis factor model to an on-site example, in order to verify the model's validity. For this, the investigator interviewed with and carried out a questionnaire survey of experts in housing development projects. Study findings are as follows:First, the feasibility analysis factor, derived in this study, could provide a ground to evaluate the feasibility of subject projects in the planning of development through an analysis index. Second, when feasibility is under the level of carrying out the projects, it is possible to reexamine the projects through extracting analysis factors of which points are under the standard and via a feedback process for improvable analysis factors. Therefore, the result of applying the feasibility analysis model of this study to actual housing development projects analytically shows that the model could provide a practical evaluation criterion to the person in charge of project development through an analysis index.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2007.05a
• /
• pp.55-68
• /
• 2007

디자인 패턴은 새롭게 만들어 지는 것이 아니라 기존의 검증된 지식, 관용법, 원칙들을 체계화한 것이다. 다시 말하면 디자인 패턴은 특정한 문제를 해결하기 위한, 검증된 설계 방법에 이름을 붙인 것이다. 그러므로 적절한 디자인 패턴 사용은 1) 개발자들간의 원활한 의사소통에 도움을 주며, 2) 하급자가 고급기술을 쉽게 익힐 수 있도록 할 수 있다. 3) 또한 사용된 디자인이나 아키텍처를 재사용할 수 있도록 하고, 4) 만들어진 시스템의 유지 보수를 보다 쉽게 할 수 있는 등의 장점을 얻을 수 있다. 반면에 필요하지 않은 곳에 까지 디자인패턴을 사용하게 되면 소프트웨어를 복잡하고, 유지보수도 어렵게 만들 수 있다. 디자인 패턴의 분류는 수 많은 패턴을 비슷한 속성을 지닌 그룹들로 조직화 하는 것이다. 이는 개발자가 특정 문제에 맞는 디자인 패턴을 쉽게 선택 할 수 있도록 도와 줄 뿐만 아니라, 디자인 패턴의 주요특성을 빠르게 이해하고 간파 할 수 있게 한다. 그래서 Beck 이 디자인패턴을 소개한 이후 GoF, Buschmann, Grand, Antoy 등은 디자인 패턴을 단순히 열거를 통해 소개하지 않고, 각자의 기준에 따라 체계적으로 분류하여 패턴을 설명 하고 있다. 본 연구는 객체지향 설계의 근본 개념인 Polymorphism (Inclusion Polymorphism) 과 '객체 지향 소프트웨어 설계 원칙' 그리고 이 근본 원칙들이 UML 클래스 다이어그램에 나타나는 구조적 특정에 의거해 디자인 패 턴 해석을 수행 하였다. 본 연구의 목적은 1) 객체지향의 근본 원칙으로 표현 되는 패턴과 2) 설계자의 전문적 인 Art를 포함하고 있는 패턴으로 분류하는데 있다.3: 재미는 용이성을 통해 채택의도에 정의 영향을 미친다. 가설4: 유용성은 채택의도에 정의 영향을 미친다. 가설5: 용이성은 채택의도에 정의 영향을 미친다. 가설6: 용이성은 유용성에 정의 영향을 미친다. 본 연구의 대상은 자발적으로 이러닝을 채택할 수 있는 대학생을 대상으로 하였고, 설문 데이터 분석을 통한 실증연구를 수행하였다. 분석방법으로는 PLS 분석도구를 사용하였다. 분석결과 가설6을 제외하고는 모두 유용한 것으로 입증되었다.97)은 배움의 용이성, 기억의 용이성, 오류, 효율성, 만족성으로 분류하고 있고(Nielsen, 1997), Shneiderman(1998)는 효과성(직무시간, 배움의 시간), 효율성(기억의 지속시간, 오류), 만족도를 품질의 특성으로 분류하였다. 이와 같은 소프트웨어의 품질은 소프트웨어 계획, 개발, 성장과 쇠퇴의 모든 과정에 적용되며, 환경적 변화에 따라 사용자들의 정보욕구를 적절하게 반영하여 만족도를 높이 는 것이라고 요약할 수 있다. 그러나 현재까지 소프트웨어 품질 평가에 대한 연구들 은 보편적인 평가 항목들을 대상으로 측정하여 일반적인 품질기준을 제시하고 있고, 유사한 측정 내용들이 중복되어 있다. 이러한 경향은 산업별 특수성이 강한 소프트웨어에 대해서는 정확한 품질측정이 어려웠고, 품질측정에 대한 신뢰성을 떨어뜨리는 계기가 되었다. 이러한 한계를 극복하고자 나타난 방법론이 최종사용자들의 요구사항을 얼마나 적절하게 시스템에 반영했는지에 대한 사용성(Usability) 측정이다. 사용성에 대한 정의는 사용자들이 실질적으로 일하는 장소에서 직접 사용자들의 시스템 운용실태를 파악하여 문제점을 개선하는 것으로 요약할 수 있다. ISO9124-1

• The Transactions of the Korean Institute of Power Electronics
• /
• v.13 no.5
• /
• pp.360-368
• /
• 2008

A lumped parameter model of Li-ion battery in hybrid electric vehicle(HEV) is constructed and system parameters are identified by using recursive least square estimation for different C-rates, SOCs and temperatures. The system characteristics of pole and zero in the frequency domain are analyzed with the parameters obtained from different conditions. The parameterized model of a Li-ion battery indicates highly dependent of temperatures. To estimate SOC and polarization voltage, a Luenberger state observer is utilized. The P- or PI-gains of observer based on a suitable natural frequency and damping ratio is adopted for the state estimation. Satisfactory estimation accuracy of output voltage and SOC is especially obtained by a PI-gain. The feasibility of the proposed estimation method is verified through experiment under the conditions of different C-rates, SOCs and temperatures.