• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of Digital Contents Society
• /
• v.18 no.8
• /
• pp.1635-1640
• /
• 2017

In this paper, a hierarchical image tree model for weather classification is defined in a single outdoor image, and a weather classification algorithm using image intensity and k-mean segmentation image is proposed. In the first level of the hierarchical image tree model, the indoor and outdoor images are distinguished. Whether the outdoor image is daytime, night, or sunrise/sunset image is judged using the intensity and the k-means segmentation image at the second level. In the last level, if it is classified as daytime image at the second level, it is finally estimated whether it is sunny or foggy image based on edge map and fog rate. Some experiments are conducted so as to verify the weather classification, and as a result, the proposed method shows that weather features are effectively detected in a given image.

• Journal of Advanced Marine Engineering and Technology
• /
• v.37 no.5
• /
• pp.533-540
• /
• 2013

Prime movers in engine rooms inherently are much affected by the adjustment of their governors for the steady state and transient properties, consequently requiring that marine engineers shall be well familiar with the way to manage governor dials for normal operation. The hydro-mechanical governors basically have different control characteristics and adjustment parameters of stability from digital governors. The former include compensation mechanism using dash pot while the control algorithm of the latter is usually based on the PID action. This study is for configuring a simulation module to let trainees practice how to adjust dials for stability on hydraulic governors in the view that the practice by real governors and engines is time consuming and high cost for operation. The governor module includes the adjusting points such as speed set, speed droop, needle valve and compensation pointer with engine module of $2^{nd}$ order coupled. The results of simulation showed satisfactory responses as a training tool for the adjustment of control parameters.

• Journal of the Korean Solar Energy Society
• /
• v.38 no.2
• /
• pp.15-31
• /
• 2018

A program to design a small capacity wind turbine blade is proposed in this study. The program is based on a matlab GUI environment and designed to perform blade design based on the blade element momentum theory. The program is different from other simulation tools available in a point that it can analyze the side-furling power regulation mechanism and also has an algorithm to find out optimal torque schedule above the rated wind speed region. The side-furling power regulation is used for small-capacity horizontal axis wind turbines because they cannot use active pitch control due to high cost which is commonly used for large-capacity wind turbine. Also, the torque schedule above the rated wind speed region should be different from that of the large capacity wind turbines because active pitching is not used. The program developed in this study was validated with the results with FAST which is the only program that can analyze the performance of side-furled wind turbines. For the validation a commercial 10 kW wind turbine data which is available in the literature was used. From the validation, it was found that the performance prediction from the proposed simple program is close to those from FAST. It was also found that the optimal torque scheduling from the proposed program was found to increase the turbine power substantially. Further experimental validation will be performed as a future work.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.41 no.1
• /
• pp.1-8
• /
• 2004

According to the development of the Internet and the pervasion of Data Base, it is not easy to search for necessary information from the huge amounts of data. In order to do efficient analysis of a large amounts of data, this paper proposes a method for pattern classification based on the effective strategy for dimension reduction for narrowing down the whole data to what users wants to search for. To analyze data effectively, Radial Basis Function Networks based on VC-dimension of Support Vector Machine, a model of statistical teaming, is proposed in this paper. The model of Radial Basis Function Networks currently used performed the preprocessing of Perceptron model whereas the model proposed in this paper, performing independent analysis on VD-dimension, classifies each datum putting precise labels on it. The comparison and estimation of various models by using Machine Learning Data shows that the model proposed in this paper proves to be more efficient than various sorts of algorithm previously used.

• The Journal of the Convergence on Culture Technology
• /
• v.3 no.1
• /
• pp.43-48
• /
• 2017

We are confirmed to the variation of the transfer condition and the functional penetration by the permitted conversion energy on the skin. The given conversion energy is consist of the flow level of penetration control and go to the processing transfer in the skin that is to create the modeling for algorithm. The energy level of control processing was achieved effectively modeling system that was the composition of auto and local control level in the epidermis-dermis layer. Their penetration pulse control system was consisted of conversion energy with reference of fixing situation and recreation of designed apparatus for the energy control function that was converted to capacity by the size, form and combination. Also, the system was shown accurately distribution of conversion at the depth of skin correction. Therefore, conversion modeling was established effectively to separate the division parts for conversion system. We will be possible to progress the improvement effectiveness of the skin and to consist of the continuous penetration control system for functional energy on the skin.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.4
• /
• pp.289-294
• /
• 2020

Peptic ulcer disease is a gastrointestinal disorder caused by Helicobacter pylori infection and the use of nonsteroid anti-inflammatory drugs. While many studies have been conducted to find the risk factors of peptic ulcers, there are no studies on the suggestion of peptic ulcer prediction models for Koreans. Therefore, the purpose of this study is to implement peptic ulcer prediction model using machine learning based on demographic information, obesity information, blood information, and nutritional information for middle-aged and elderly people. For model building, wrapper-based variable selection method and naive Bayes algorithm were used. The classification accuracy of the female prediction model was the area under the receiver operating characteristics curve (AUC) of 0.712, and males showed an AUC of 0.674, which is lower than that of females. These results can be used for prediction and prevention of peptic ulcers in the middle and elderly people.

• The Journal of Society for e-Business Studies
• /
• v.19 no.4
• /
• pp.45-60
• /
• 2014

Dentist can obtain 3D anatomical information without distortion and information loss by using dental Computed Tomography scan images on line, and also can make the preoperative plan of implant placement or orthodontics. It is essential to segment individual tooth for making an accurate diagnosis. However, it is very difficult to distinguish the difference in the brightness between the dental and adjacent area. Especially, the root of a tooth is very elusive to automatically identify in dental CT images because jawbone normally adjoins the tooth. In the paper, we propose a method of automatically tooth region segmentation, which can identify the root of a tooth clearly. This algorithm separate the tooth from dental CT scan images by using Seeded Region Growing method on dental crown and by using Level-set method on dental root respectively. By using the proposed method, the results can be acquired average 19.2% better accuracy, compared to the result of the previous methods.

• Journal of Applied Reliability
• /
• v.17 no.3
• /
• pp.213-223
• /
• 2017

Purpose: The purpose of this study is to arrange the life data analysis literatures based on the Bayesian method quantitatively and provide it as tables. Methods: The Bayesian method produces a more accurate estimates of other traditional methods in a small sample size, and it requires specific algorithm and prior information. Based on these three characteristics of the Bayesian method, the criteria for classifying the literature were taken into account. Results: In many studies, there are comparisons of estimation methods for the Bayesian method and maximum likelihood estimation (MLE), and sample size was greater than 10 and not more than 25. In probability distributions, a variety of distributions were found in addition to the distributions of Weibull commonly used in life data analysis, and MCMC and Lindley's Approximation were used evenly. Finally, Gamma, Uniform, Jeffrey and extension of Jeffrey distributions were evenly used as prior information. Conclusion: To verify the characteristics of the Bayesian method which are more superior to other methods in a smaller sample size, studies in less than 10 samples should be carried out. Also, comparative study is required by various distributions, thereby providing guidelines necessary.

• Journal of the Optical Society of Korea
• /
• v.14 no.3
• /
• pp.221-227
• /
• 2010

Aerosol size distribution provides good information for predicting weather changes and understanding cloud formation. Aerosol extinction coefficient and backscattering coefficient are measured by many scientists, but these parameters depend not only on aerosol size but on aerosol concentrations. An algorithm has been developed to measure aerosol parameters such as ${\AA}$ngstr$\ddot{o}$m exponent, color ratio, and LIDAR ratio without any assumptions by using two wavelength rotational Raman LIDAR signals. These parameters are good indicators for the aerosol size. And we can find ${\AA}$ngstr$\ddot{o}$m exponent, color ratio, and LIDAR ratio under various weather conditions. Finally, it can be seen that the ${\AA}$ngstr$\ddot{o}$m exponent has an inverse relationship to the particle size of the aerosol and the color ratio is linearly dependent on the aerosol size. An ${\AA}$ngstr$\ddot{o}$m exponent from 1.2 to 3.1, a color ratio from 0.28 to 1.04, and a LIDAR ratio 66.9 sr at 355 nm and 32.6 sr at 532 nm near the cloud were obtained.