• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.132-132
• /
• 2021

Access to accurate spatial precipitation in many hydrological studies is necessary. Existence of many mountains with diverse topography in South Korea causes different spatial distribution of precipitation. Rain gauge stations show accurate precipitation information in points, but due to the limited use of rain gauge stations and the difficulty of accessing them, there is not enough accurate information in the whole area. Weather radars can provide an integrated precipitation information spatially. Despite this, weather radar data have some errors that can not provide accurate data, especially in heavy rainfall. In this study, some location-based variable like aspect, elevation, plan curvature, profile curvature, slope and distance from the sea which has most effect on rainfall was considered. Then Automatic Weather Station data was used for spatial training of variables in each event. According to this, K-fold cross-validation method was combined with Adaptive Neuro-Fuzzy Inference System. Based on this, 80% of Automatic Weather Station data was used for training and validation of model and 20% was used for testing and evaluation of model. Finally, spatial distribution of precipitation for 1×1 km resolution in Gwangdeoksan radar station was estimates. The results showed a significant decrease in RMSE and an increase in correlation with the observed amount of precipitation.

• The Journal of Information Systems
• /
• v.21 no.2
• /
• pp.115-133
• /
• 2012

According to previous studies, the effect of intrinsic motivation related variables such as cognitive absorption (CA) on the use of information technology(IT) should be mediated by the conscious intention. However, CA, which is a thought of previous emotional experience, a deep involvement with a software, may be one of environmental cues stimulating the use of IT independently of conscious intention. The objective of this study is to show the direct effect of CA on the automatic use of IT. For this purpose, as well as the relation between CA and use, two relations, CA-intention and intention-use, were also suggested as hypotheses, which will show that conscious intention would not fully mediate the relation between CA and automatic use. Moreover, for seeing the effects of CA as time passes, the proximal effect, which is short term and transitory effect, and the distal effect, which is long term and lingering, were simultaneously included in hyptheses. Finally, the effect of past use was also suggested as a hypothesis which aimed to show that automatic use would be controlled mostly by habit rather than not only intention but also CA. For the empirical validation of the hypotheses, 174 users of 'Cyworld', one of most influential social network services, were longitudinally surveyed, which showed that the hypotheses were accepted.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.12
• /
• pp.1302-1312
• /
• 2008

Relaxed Static Stability(RSS) has been applied to improve flight performance of modern version supersonic jet fighters. Flight control systems are necessary to stabilize an unstable aircraft and to provide adequate handling qualities. Also, flight control systems of modern aircraft employ many safety measure to cope with emergency situations such as a pilot unknown attitude flight conditions of an aircraft in night flight-testing. This situation is dangerous because the aircraft can lose if the pilot not take recognizance of situation. The system called the "Pilot Activated Recovery System" or PARS, provided a pilot initiated automatic maneuver capable of an aircraft recoveries in situations of unusual attitudes, speed and altitude. This paper addresses the concept of PARS with AARS(Automatic Attitude Recovery System), ATCS(Automatic Thrust Control System) and MARES(Minimum Altitude Recovery Estimation System), and this control law is designed by nonlinear control law design process based on model of supersonic jet trainer. And, this control law is verified by real-time pilot evaluation using an HQS(Handling Quality Simulator). The result of evaluation reveals that the these systems support recovery of an aircraft unusual attitude and speed, and improve a safety of an aircraft.

• Journal of Information Processing Systems
• /
• v.2 no.2
• /
• pp.114-123
• /
• 2006

We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atomic services and their properties such as IOPE from the UML class diagram, and retrieve information related to the composition of services from the UML state-chart diagram. Then, the XSLT applications utilize the acquired information to generate the OWL-S service model ontology through the predefined mappings between OWL-S constructs for composite services and UML state-chart primitives. For the justification of generated service ontology, several validation checks are performed. Our service ontology generation method is general and fully automatic, as well as effective, in that it is achieved in an environment familiar to developers, and information needed to generate service ontology is provided necessarily during service development. It is also noticeable to facilitate representing the condition with GUI rather than a complex language such as OCL.

• Journal of Soil and Groundwater Environment
• /
• v.15 no.5
• /
• pp.8-15
• /
• 2010

The purpose of this research is to check the validation of an auto-analysis method combined with aqua regia digestion apparatus for improvement of water distillation method used as a fluorine test of soil. Fluorine contents of CaO used in the pretreatment course of water distillation method were 120 mg/kg ~ 5,064 mg/kg at the blank test, which was exceeded up to maximum 12.5 times of the soil standard, so it was estimated due to a effect of fluorine existing as impurities of CaO. The recovery test of the same samples indicated that water distillation method and auto-analysis method were 134.5mg/kg and 161.7mg/kg respectively, the recovery ratio of the latter was 16.8% higher than the formal. The validation test of two methods satisfied the standard, but auto analysis method was excellent more than distillation method. Also, auto analysis method could save a analysis time up to maximum 4.7 times by comparison with water distillation method.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• International Journal of Internet, Broadcasting and Communication
• /
• v.15 no.2
• /
• pp.218-226
• /
• 2023

In Korea, we still use function point based cost estimations for software size and cost of a project. The current problem is that we make difficultly calculating function points with requirements and also have less accurate. That is, it is difficult for non-experts to analyze requirements and calculate function point values with them, and even experts often derive different function points. In addition, all stakeholders strongly make the validity and accuracy of the function point values of the project before /after the development is completed. There are methods for performing function point analysis using source code [1][2][3][4] and some researchers [5][6][7] attempt empirical verification of function points about the estimated cost. There is no research on automatic cost validation with source code after the final development is completed. In this paper, we propose automatically how to calculate Function Points based on natural language requirements before development and prove FP calculation based on the final source code after development. We expect validation by comparing the function scores calculated by forward engineering and reverse engineering methods.

• Biomedical Engineering Letters
• /
• v.8 no.4
• /
• pp.399-404
• /
• 2018

The purpose of this study was to evaluate the accuracy of a mobile wireless digital automatic blood pressure monitor for clinical use and mobile health (mHealth). In this study, a manual sphygmomanometer and a digital blood pressure monitor were tested in 100 participants in a repetitive and sequential manner to measure blood pressure. The guidelines for measurement used the Korea Food & Drug Administration protocol, which reflects international standards, such as the American National Standard Institution/Association for the Advancement of Medical Instrumentation SP 10: 1992 and the British Hypertension Society protocol. Measurements were generally consistent across observers according to the measured mean ${\pm}SD$, which ranged in $0.1{\pm}2.6mmHg$ for systolic blood pressure (SBP) and $0.5{\pm}2.2mmHg$ for diastolic blood pressure (DBP). For the device and the observer, the difference in average blood pressure (mean${\pm}$SD) was $2.3{\pm}4.7mmHg$ for SBP and $2.0{\pm}4.2mmHg$ for DBP. The SBP and DBP measured in this study showed accurate measurements that satisfied all criteria, including an average difference that did not exceed 5 mmHg and a standard deviation that did not exceed 8 mmHg. The mobile wireless digital blood pressure monitor has the potential for clinical use and managing one's own health.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.67-80
• /
• 2022

In this paper, we propose a system which automatically generates the ShEx schemas to describe and validate RDF knowledge graphs constructed by RML mapping. ShEx schemas consist of constraints. The proposed system generates most of the constraints by converting the RML mapping rules. The schemas consisting only of constraints obtained from mapping rules can help users to figure out the structure of the graphs generated by RML mapping, but they are not sufficient for sophisticated validation purposes. For users who need a schema for validation, the proposed system is also able to provide the schema with added constraints generated from metadata extracted from the input data sources for RML mapping. The proposed system has the ability to handle CSV, XML, JSON or RDBMS as input data sources. Testing results from 297 cases show that the proposed system can be applied for RDF graph validation in various practical cases.

• Proceedings of the KSRS Conference
• /
• 1999.11a
• /
• pp.103-106
• /
• 1999

The Tropical Rainfall Measuring Mission(TRMM) is a United States-Japan project for rain measurement from space. The first spaceborne Precipitation Radar(PR) has been installed aboard the TRMM satellite. The ground based validation of the TRMM satellite observations was conducted by TRMM science team through a Global Validation Program(GVP) consisted of 10 or more ground validation sites throughout the tropics. However, TRMM radar should always be validated and assessed against reference data to be used in Korean Peninsula because the rainrates measured with satellite varies by time and space. We have analyzed errors in the comparison of rainrates measured with the TRMM/PR and the ground-based instrument i.e. Automatic Weather System(AWS) by means of statistical methods. Preliminary results show that the near surface rainrate of TRMM/PR are highly correlated with ground measurements especially for the very deep convective rain clouds, though the correlation is changed according to the type and amount of precipitating clouds. Results also show that TRMM/PR instrument is inclined to underestimate the rainrate on the whole over Korea than the AWS measurement for the cases of heavy rainfall.