• Journal of the Korean Association of Geographic Information Studies
• /
• v.22 no.2
• /
• pp.121-132
• /
• 2019

Recently as development of internet, Service based on World Wide Web is rapidly growing. According to this, Importance for suitability of web service is emphasized by increased user with development of technique of web service. Geospatial information field included with River Geospatial information(HydroG-OneFlow) has been doing that many study about web service which center of IT, However study about test of web service is lacking of situation. Accordingly, verification should be carried out to determine the performance of Web services with the Web services implementation HydroG-OneFlow. Performance & stability test are verified that HydroG-OneFlow for Apache Jmeter of open source and conformability & interoperability test are verified for StyleCop. Result of performance is that if users are increase the number of 500, average responses time is about two seconds. and Result of reliability is that if users are increase the number of 500, decrease about 0.2%. it is verified that conformability and interoperability test to swelled about reliability of HydroG-OneFlow. Through that It will be compensate for the implementation of seb service and vulnerability of HydroG-OneFlow.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.439-446
• /
• 2003

A crucial limitation in environments where data is broadcast to very large client populations is the low bandwidth available for clients to communicate with servers. Many advanced applications are developed in mobile computing environments, but conventional concurrency controls are not suitable because of the low bandwidth of wireless network. In this paper, we propose a new optimistic concurrency control protocol for mobile transactions. In this protocol, mobile read-only transactions can be completed locally at the clients without additional communication, only mobile update transactions are sent to the server for global validation. Our protocol reduces unnecessary aborts occurred in the previous study using only conflict information. In addition to, our algorithm can detect and resolve non-serializable execution using by data table maintained in a server.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.231-238
• /
• 2010

Combustion stability rating tests under condition low pressure of a 75-$ton_f$ liquid rocket engine(LRE) thrust chamber were carried out. Mixing head with decreased number of injectors than that of the other but with the same mass flow rate to the combustion chamber showed self-oscillation instability in chamber pressure of 30 bar. The other combustion chamber with increased number of injectors showed that high frequency combustion stability was maintained under condition of same pressure, but self-oscillation instability was generated in chamber pressure of 20 bar which can be considered as stability boundary region of this mixing head.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.104-104
• /
• 2019

기후 관측자료의 경우 관측, 가공, 전송 중에 오류가 발생할 수 있으며, 특히 글로벌 기후자료는 다양한 조건을 가지고 있는 자료를 수집하였기 때문에 일반적으로 해당 국가 관측자료보다 품질이 낮다. 본 연구에서는 글로벌 기후 관측자료의 품질을 개선할 수 있는 품질관리 기법을 개발하고 국내 지역에 적용해보고자 한다. 연구대상지역으로 국내 대표도시 7 곳을 선정하였으며, 글로벌 기후자료는 NCDC (National Climatic Data Center)의 일 단위 GSOD (Global Surface Summary of the Day) 자료를 수집하였다. 품질관리는 강수와 기온에 대해서 실시하였으며 과정은 크게 이상치 검사, 이상치 및 결측치 보정, 연, 월 단위 기후 자료 산정으로 구분된다. 이상치 검사는 중복성 검사, 내적일치성 검사, 기후범위 검사, 공간동질성 검사를 기반으로 구성되어 있다. 이상치 및 결측치 보정은 인접 관측소의 자료를 보간하여 수행하였으며, 보간기법은 4 방향 역거리 가중법을 활용하였다. 연, 월 단위 자료 산정은 자료의 결측률을 고려하여 일 단위 자료를 연, 월 단위 자료로 변환하는 과정이다. 이상치 검사 결과 대부분의 이상치는 기후범위와 공간동질성 검사에서 발견되는 것으로 나타났으며, 중복성 및 내적일치성 검사는 이상치 검출 효과가 적은 것으로 나타났다. 결측치 및 이상치 보간 결과 추정된 자료와 관측값 간의 상관관계가 있는 것으로 나타나 활용성이 있었다. 본 연구는 글로벌 자료의 품질관리 기법을 제시하였다는 점에서 활용성이 있으며, 향후 품질관리 기법의 검증에 관한 연구를 수행할 필요가 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.86-86
• /
• 2020

수리구조물에 관한 기존 연구들은 대부분 기능성과 안정성 측면에서 본체에 작용하는 유체력에 대한 안정성에 주안점을 두고 있다. 수리구조물 상·하류의 수위차에 기인한 기초지반내의 흐름 및 간극수압 변화는 하천 구조물의 안정성을 연구하는데 매우 중요하다. 해양에서는 파랑하중에 의한 과잉간극수압이 액상화를 발생시켜 해안구조물의 안정에 큰 영향을 미치는 것으로 보고되며, 이에 관련 연구들이 활발하게 진행되고 있다. 반면, 하천구조물 주변 지반의 흐름 및 간극수압 뿐 아니라, 액상화에 관한 연구는 아직 미진한 실정이다. 본 연구에서는 수리구조물 주변의 유동 및 와동 현상 뿐 아니라, 수위차에 따른 지반 내부 유동장과 간극수압에 관한 특성을 분석하기 위해 유체-구조물-지반 비선형 상호작용을 고려할 수 있는 수치수조를 새롭게 제안하였다. 그리고 제안하는 수치수조의 타당성 및 유효성을 검증하기 위해 기존 실험값과 비교·검토를 수행하였고, 그 결과는 거의 유사한 경향을 나타내었다. 또한 이 수치수조에 다양한 입사조건(상·하류 수위차)에 적용하여 유체-구조물-지반의 비선형동적상호간섭 해석을 수행하였다. 최종적으로 수치수조에서 측정한 구조물 주변의 유동, 와동, 수위로부터 수리특성을 논의하였다. 게다가 지반내의 흐름과 간극수압을 측정하여 상·하류 수위차가 수리구조물의 안정성에 미치는 영향을 분석할 수 있었다.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.927-934
• /
• 2009

This paper presents a commonality and variability analysis method for UML CASE tool frameworks. Commonality and Variability analysis increase extension and reusability by separating common area and variable area. We suggest class category based on property and the notation to represent commonality and variability. It is also implements frameworks based on analysis method and verify method using defect removal efficiency.

• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Journal of the Institute of Convergence Signal Processing
• /
• v.16 no.3
• /
• pp.96-101
• /
• 2015

A tongue coating evaluation method for WTCI(Winkel Tongue Coating Index) is proposed in this paper, which is used as the diagnostic criteria in the tongue diagnosis. This method uses the color channel analysis and tongue coating extraction from the ultraviolet tongue image. Proposed method analyzes the histogram distribution of the respective color channel for extracting a tongue coating, and performs the verification test from the selected color channel in the tongue coating extraction. Also, Objectivity of the tongue diagnostic criteria is verified by the artificial sample and real-tongue image experiments. In order to evaluate the performance of the proposed Computerized Assistant WTCI Evaluation method, after verifying a measurement accuracy by using the artificial sample images, and applying to the various real-tongue image of subjects. As a result, the proposed WTCI method is very successful.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.10
• /
• pp.2583-2588
• /
• 2009

This study deals with the shock response analysis of HDD subjected to a half-sine shock pulse and its experimental verification. Comparatively, accurate computer simulation allows designers to determine complete mechanical information during the product impact time period, compared with only segmental messages by sensors in a test, to predict potential failures. But, impact/shock simulation technology is rather sensitive to various factors to predict the shock behavior without validation. In our shock simulation, the methodology of analysis with LS-DYNA3D and test validation is adopted to predict the shock behavior of HDD. We can confirm the soundness of the present shock simulation through the comparison with electromagnetic shock test(200G/1ms) and linear drop test(300G/2ms).

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.26 no.3
• /
• pp.303-309
• /
• 2008

Landcover map can use to establish basic national environment policy as main data predicting living place, counting pollution like a atmosphere, water and forest part. During the 1998-2005 years, Korean government made landcover maps using satellite image for part of south Korea. Landcover maps are offered free for public purpose to university and institute. So, it used basic data for policy and research parts. There are some problems for application parts because of inconsistency. So, in this study, to estimate accuracy of source data by quality checking for landcover maps. As a result, there are some errors like classification inconsistencies. So, it need verification process for landcover maps.