• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.835-846
• /
• 2005

A Product Line (PL) is a set of products (applications) that share common assets in a domain. Product Line Engineering (PLE) is a set of principles, techniques, mechanisms, and processes that enables the instantiation of produce lines. Core assets, the common assets, are created and instantiated to make products in PLE. Model Driven Architecture (MDA) is a new software development paradigm that emphasizes its feasibility with automatically developing product. Therefore, we can get advantages of both of the two paradigms, PLE and MDA, if core assets are represented as PIM in MDA with predefined automatic mechanism. PLE framework in the PIM level has to be interpreted by MDA tools. However, we do not have a standard UML profile for representing core assets. The research about representing PLE framework is not enough to make automatically core assets and products. We represent core asset in PIM level in terms of structural view and semantic view. We also suggest a method for representing architecture, component, workflow, algorithm, and decision model. The method of representing framework with PLE and MDA is used to improve productivity, applicability, maintainability and qualify of product.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.5
• /
• pp.229-238
• /
• 2019

Before the scholarship loan system was implemented at the Korea Scholarship Foundation, the government's role was strengthened by the direct lending of student funds to banks and other financial institutions. However, the low repayment performance of student loans has raised concerns over the future of student loans and the government's financial burden. Moreover, since student loans are repaid even after graduating from college to support low-income families, it is highly unlikely that the repayment rate of student loans will improve unless the employment rate and income level of the borrower improve. In this paper, the final visualization graph is presented of the repayment amount of the student loan through the collection, storage, processing and analysis phase in the Big Data-based system. This could be the basis for visually checking the amount of student loans to come up with various ways to reduce the burden on the current student loan system.

• Journal of Broadcast Engineering
• /
• v.25 no.6
• /
• pp.980-993
• /
• 2020

Deep-learning based style transfer has recently attracted great attention, because it provides high quality transfer results by appropriately reflecting the high level structural characteristics of images. This paper deals with the problem of providing more stable and more diverse style transfer results of such deep-learning based style transfer method. Based on the investigation of the experimental results from the wide range of hyper-parameter settings, this paper defines the problem of the stability and the diversity of the style transfer, and proposes a partial loss normalization method to solve the problem. The style transfer using the proposed normalization method not only gives the stability on the control of the degree of style reflection, regardless of the input image characteristics, but also presents the diversity of style transfer results, unlike the existing method, at controlling the weight of the partial style loss, and provides the stability on the difference in resolution of the input image.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.388-389
• /
• 2022

Recently, AI (Artificial Intelligence) has been applied to various technologies such as automatic driving, robot and smart communication. Currently, AI system is developed by software-based method using tensor flow, and GPU (Graphic Processing Unit) is employed for processing unit. However, if software-based method employing GPU is used for AI applications, there is a problem that we can not change the internal circuit of processing unit. In this method, if high-level jobs are required for AI system, we need high-performance GPU, therefore, we have to change GPU or graphic card to perform the jobs. In this work, we developed a CNN-based FPGA (Field Programmable Gate Array) chip to solve this problem.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.24 no.4
• /
• pp.337-345
• /
• 2022

For data such as rainfall and soil moisture, it is important to obtain the values of all points required as geostatistical data. Spatial interpolation is generally performed in this process, and commercial software such as ArcGIS is often used. However, commercial software has fatal drawbacks due to its high expertise and cost. In this study, R, an open source-based environment with ArcGIS, a commercial software, was used to compare the differences according to the processing environment when performing spatial interpolation. The data for spatial interpolation was weather forecast data calculated through Land-Atmosphere Modeling Package (LAMP)-WRF model, and soil moisture data calculated for each cumulative rainfall scenario. There was no difference in the output value in the two environments, but there was a difference in user interface and calculation time. The results of spatial interpolation work in the test bed showed that the average time required for R was 5 hours and 1 minute, and for ArcGIS, the average time required was 4 hours and 40 minutes, respectively, showing a difference of 7.5%. The results of this study are meaningful in that researchers can derive the same results in a commercial software environment and an open source-based environment, and can choose according to the researcher's environment and level.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.6
• /
• pp.749-755
• /
• 2022

Electricity is essential energy in modern society, such as being used in various industries. However, the rate of fires occurring on electric wiring to deal with it is very high. In this work, we implemented a system to predict the temperature change of an electric circuit through analysis using various regression models. To do so, we collected the temperature data of 27 types of magnetic switches which control electric circuits as well as trained the regression models by using the collected temperature data. In our experiments, we confirmed that the regression models can be trained at a sufficiently usable level since the difference between the actual temperature and predicted temperature is about 4℃. The results of our work will be useful to predict the temperature of electric circuits and preventing fires on them.

• Science of Emotion and Sensibility
• /
• v.25 no.3
• /
• pp.127-134
• /
• 2022

This study sought to identify the voice user interface (VUI) design parameters that evoked positive user emotions. Six VUI design parameters that could affect emotional user satisfaction were considered. The moderating effects of user gender and the design parameters were analyzed to determine the appropriate conditions for user satisfaction when interacting with the VUI. An interactive VUI system that could modify the six parameters was implemented using the Wizard of OZ experimental method. User emotions were assessed from the users' facial expression data, which was then converted into a valence score. The frequency analysis and chi-square test found that there were statistically significant moderating gender and AI effects. These results implied that it is beneficial to consider the users' gender when designing voice-based interactions. Adult/male/high-tone voices for males and adult/female/mid-tone voices for females are recommended as general guidelines for future VUI designs. Future analyses that consider various human factors will be able to more delicately assess human-AI interactions from a UX perspective.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.6
• /
• pp.303-308
• /
• 2017

Nowadays, living standard is improved and people have high interest to the personal health care problem. Accordingly, people desire to know the personal physical condition and the related medical treatment. Thus, there is the necessary of the personalized medical treatment, and there are many studies about the automatic disease diagnosis and the related services. Those studies focus on the particular disease prediction which is based on the related particular data. However, there is no studies about the medical treatment prediction. In our study, national health data based medical treatment predictor is built by using SVM, and the performance is evaluated by comparing with other prediction methods. The experimental results show that the health data based medical treatment prediction resulted in the average accuracy of 80%, and the SVM performs better than other prediction algorithms.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.24 no.3
• /
• pp.198-204
• /
• 2014

This paper presents a benchmark test result of an application of computational fluid dynamics(CFD) analysis of automotive sunroof buffeting simulation. Computational analyses of flow over an open sunroof of a simple vehicle model called as HAWT(Hyundai aeroacoustic wind tunnel) model were performed to study the buffeting phenomenon and to predict the buffeting noise level and its frequency. Computations are performed for sunroofs with PAM-FLOW software which is one of powerful CFD code of ESI group. Numerical predictions are compared with result from the tunnel test measurements. It is shown that CFD analysis has great potential for sunroof design and development by predicting buffeting noise.