• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.595-610
• /
• 1999

This paper presents a visual simulation tool for verification and validation(V&V) of design implications of the Object Behavior Chart developed in accordance with the existing real-time object's behavior design method. This tool can simulates the dynamic interactions using the executable simulation machine, that is EFSM(Extended Finite State Machine) and can detect various logical and temporal errors in the visual object behavior charts before a concrete implementation is made. For this, a LOTOS prototype specification is automatically generated from the visual Object Behavior Chart, and is translated into an EFSM. This system is implemented in Visual C++ version 4.2 and currently runs on PC Windows 95 environment. For simulation purpose, LOTOS was chosen because of it's excellence in specifying communication protocols. Our research contributes to the support tools for seamlessly integrating methodology-based graphical models and formal-based simulation techniques, and also contributes to the automated V&V of the Visual Models.

• Journal of Korean Society on Water Environment
• /
• v.37 no.6
• /
• pp.531-538
• /
• 2021

In this study, the TOC in six estuarine reservoirs in the West Sea (Ganwol, Namyang, Daeho, Bunam, Sapkyo, and Asan) was estimated using optically-active water quality factors by the water environment monitoring network. First, specification data and land use maps of each estuarine reservoir were collected. Subsequently, water quality data from 2013 to 2020 were collected. The data comprised of 11 parameters: pH, dissolved oxygen, BOD, COD, suspended solids (SS), total nitrogen, total phosphorus, water temperature, electrical conductivity, total coliforms, and chlorophyll-a (Chl-a). The TOC in the estuarine reservoirs was 4.9~7.0 mg/L, with the highest TOC of 7.0 mg/L observed at the Namyang reservoir, which has a low shape coefficient and high drainage density. The correlation of TOC with water quality factors was also analyzed, and the correlation coefficients of Chl-a and SS were 0.28 and 0.19, respectively, while the correlation coefficients of these factors in the Namyang reservoir were 0.42 and 0.27, respectively. To improve the estimation of TOC using Chl-a and SS, the TOC was averaged in 5 mg/L units, and Chl-a and SS were averaged. Correlation analysis was then performed and the R² of Chl-a-TOC was 0.73. The R² of SS-TOC was 0.73 with a non-linear relationship. TOC had a significant non-linear relationship with Chl-a and SS. However, the relationship should be assessed in terms of the spatial and temporal variations to construct a reliable remote sensing system.

• Journal of Service Research and Studies
• /
• v.11 no.1
• /
• pp.45-58
• /
• 2021

Requirements engineering can be seen as proceeding with various processes and activities such as extraction, analysis, specification, management, and verification without temporal and spatial constraints in the development environment of information systems that are becoming large and decentralized. Developing requirements well and conducting continuous evaluation and management is the shortcut to success in project management, and it is recognized as a very important matter in relation to requirements in the information system audit. When we conduct information system audit and conducting projects subject to audit, we need to improve the required engineering aspect. Therefore, this study derives inspection items suitable for the target project by referring to the audit inspection manual and audit inspection guide when conducting the current audit, and relates to the required engineering aspect among the contents of the inspection guide for each business type that is the basis for deriving the inspection items were derived for each audit point/audit area for the project management and quality assurance project type corresponding to the inspection items. The suitability of the extracted occupation items was verified through a questionnaire survey by experts.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.1B
• /
• pp.69-78
• /
• 2006

The rainfall depth-area-duration analysis which is used to characterize precipitation extremes for specification of so-called design storms, provides a basis for evaluation of drought severity when storm depth is replaced by an appropriate measure of drought severity. So we propose a method for constructing drought severity-area-duration curves in this study. Monthly precipitation data over the whole Korea are used to compute SPI. Such SPIs are abstracted to several independent spatial components from EOF analysis. Using Kriging method, these spatial components are used to constitute grid-based SPI data set over the whole Korea including Jeju island with $6km{\times}6km$ resolution. After identifying main drought events, the drought severity-area-duration curves for these events over 32-year period of record are finally constructed. As a result, such curves show the similar shape with storm-based curves in the sense that the drought severity (or rainfall depth) is inversely proportional to drought area from the curves, but drought-based curves are different from storm-based curves in the sense that the drought severity decreasing rate with respect to drought area is much less than depth decreasing rate.

• Korean Journal of Heritage: History & Science
• /
• v.49 no.2
• /
• pp.56-69
• /
• 2016

Flame resistant treatment has been applied since 1973 for fire prevention in historical wooden buildings, but several problems, such as whitening and discoloration are constantly occurring in some Dancheong, in spite of evaluation criteria. It is supposed that these phenomena are caused by the stability issue of flame retardant, Dancheong production methods, the residue of chemicals, which were applied in the past, building location environments, etc., but no evaluation and cause inspection has been performed. Therefore, this study aims to verify the effect of flame retardant on Dancheong by producing Pseudo-samples and setting spatial and temporal environment conditions. Pseudo-samples of Dancheong were produced using three methods; the method specified in the Standard Specification of Properties; the method, which is generally used in the site and the traditional method. For different environment conditions of pseudo-samples, the areas were classified into a coastal area and an inland area and the places were classified into a sunny place and a wetland. After applying a flame retardant, annual variations were inspected for 12 months and change aspects were observed through scan and regular observation. In annual variation inspection, various variations like whitening, decolorization, dissolution and exfoliation were found and especially, whitening was most dominant. When the effect of flame retardant depending on the production methods was analyzed, whitening occurred in all the three production methods. It is supposed that this is because calcium(Ca) was contained in the coloring material of each production method and it reacted with phosphorous(P) of flame retardant. When the effect of flame retardant depending on the environment conditions was analyzed, whitening occurred more in the coastal area than in the inland area and it reduced in the building in a sunny place, which was constructed using the traditional method. It is supposed that this results from the humidity change and the difference of glue used in each production method. In conclusion, for using a flame retardant containing phosphorous(P), there is a need to check if calcium components including Oyster Shell White were used in Dancheong in advance and to conduct various preliminary studies on place conditions and Dancheong construction conditions.