• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Journal of KIISE
• /
• v.42 no.5
• /
• pp.580-590
• /
• 2015

Recently, the issue of efficient power management in datacenters as a part of green computing has gained prominence. For realizing efficient power management, effective power monitoring and analysis must be conducted for servers in a datacenter. However, an administrator should know the exact structure of the datacenter and its associated databases, and is required to analyze relationships among the observed data. This is because according to previous monitoring approaches, servers are usually managed using only databases. In addition, it is not possible to monitor data that are not indicated in databases. To overcome these drawbacks, we proposed an ontology-based monitoring approach. We constructed domain ontology for management servers at a datacenter, and mapped observed data onto the constructed domain ontology by using semantic annotation. Moreover, we defined query creation rules and server state rules. To demonstrate the proposed approach, we designed an ontology based monitoring system architecture, and constructed a knowledge system. Subsequently, we implemented the pilot system to verify its effectiveness.

• Asian Spine Journal
• /
• v.12 no.6
• /
• pp.1017-1027
• /
• 2018

Study Design: This retrospective study was conducted including 18 patients who underwent posterior-only stabilization and fusion procedure for pseudoarthrosis in the ankylosed spine from October 2007 to May 2015. Purpose: This study aimed to describe the treatment outcomes in 18 patients with Andersson lesion (AL) who were managed using the posterior-only approach. Literature Review: AL is an unstable, localized, vertebral, or discovertebral lesion of the spine. It is observed in patients with ankylosing spondylitis. The exact etiology of this disorder remains unclear, and the treatment guidelines are not clearly described. Methods: We analyzed 18 patients with AL who were treated with posterior long segment spinal fusion without any anterior interbody grafting or posterior osteotomy. Pre- and postoperative radiography, computed tomography, and recent follow-up images were examined. The pre- and postoperative Visual Analog Scale score and the Oswestry Disability Index score were evaluated for all patients. Whiteclouds' outcome analysis criteria were applied at the follow-up. Moreover, at study completion, patient feedback was collected; all the patients were asked to provide their opinion regarding the surgery and were asked whether they would recommend this procedure to other patients and them self undergo the same procedure again if required. Results: The most common site was the thoracolumbar junction. The symptom duration ranged from 1 month to 10 years preoperatively. Most patients experienced fusion by the end of 1 year, and the fusion mass could be observed as early as 4 months. Pseudoarthrosis void of up to 2.5 cm was noted to be healed in subsequent imaging. In addition, clinically, the patients reported good symptomatic relief. No patient required revision surgery. Whiteclouds' outcome analysis score at the latest follow-up revealed goodto-excellent outcomes in all patients. Conclusions: ALs can be treated using the posterior-only approach with long segment fixation and posterior spinal fusion. This is a safe, simple, and quick procedure that prevents the morbidity of anterior surgery.

• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.4
• /
• pp.87-92
• /
• 2019

This paper describes the pattern analysis for data of the factory energy consumption by using machine learning method. While usual statistical methods or approaches require specific equations to represent the physical characteristics of the plant, machine learning based approach uses historical data and calculate the result effectively. Although rule-based approach calculates energy usage with the physical equations, it is hard to identify the exact equations that represent the factory's characteristics and hidden variables affecting the results. Whereas the machine learning approach is relatively useful to find the relations quickly between the data. The factory has several components directly affecting to the electricity consumption which are machines, light, computers and indoor systems like HVAC (heating, ventilation and air conditioning). The energy loads from those components are generated in real-time and these data can be shown in time-series. The various sensors were installed in the factory to construct the database by collecting the energy usage data from the components. After preliminary statistical analysis for data mining, time-series clustering techniques are applied to extract the energy load pattern. This research can attributes to develop Factory Energy Management System (FEMS).

• Bulletin of the Korean Chemical Society
• /
• v.32 no.spc8
• /
• pp.3051-3056
• /
• 2011

We calculate the free energy surfaces for two small proteins and a protein-RNA complex system by using a lattice model approach. In particular, we employ the Munoz-Eaton model, which is a native-structure based statistical mechanical model for studying protein folding problem. The model can provide very useful insights into the folding mechanisms by allowing one to calculate the free energy surfaces efficiently. We first calculate the free energy surfaces of ubiquitin and BBL, using both approximate and recently developed exact solutions of the model. Ubiquitin exhibits a typical two-state folding behavior, while BBL downhill folding in our study. We then extend the method to study of a protein-RNA complex. In particular, we focus on PAZ-siRNA complex. In order to elucidate the interplay between folding and binding kinetics for this system we perform comparative studies of PAZ only, PAZ-siRNA complex and two mutated complexes. We find that folding and binding are strongly coupled with each other and the bound PAZ is more stable than the unbound PAZ. Our results also suggest that the binding sites of the siRNA may serve act as a nucleus in the folding process.

• Clinical and Experimental Reproductive Medicine
• /
• v.44 no.2
• /
• pp.105-110
• /
• 2017

Objective: The purpose of this study was to evaluate the efficacy of frozen mixed double-embryo transfer (MDET; the simultaneous transfer of day 3 and day 5 embryos) in comparison with frozen blastocyst double-embryo transfer (BDET; transfer of two day 5 blastocysts) in patients with repeated implantation failure (RIF). Methods: A total of 104 women with RIF who underwent frozen MDET (n = 48) or BDET (n = 56) with excellent-quality embryos were included in this retrospective analysis. All frozen embryo transfers were performed in natural cycles. The main outcome measures were the implantation rate, clinical pregnancy rate, multiple pregnancy rate, and miscarriage rate. These measures were compared between the patients who underwent MDET or BDET using the chi-square test or the Fisher exact test, as appropriate. Results: The implantation and clinical pregnancy rates were significantly higher in patients who underwent MDET than in those who underwent BDET (60.4% vs. 39.3%, p=0.03 and 52.1% vs. 30.4%, p=0.05, respectively). A significantly lower miscarriage rate was observed in the MDET group (6.9% vs. 10.7%, p=0.05). In addition, the multiple pregnancy rate was slightly, but not significantly, higher in the MDET group (27.1% vs. 25.0%). Conclusion: MDET was found to be significantly superior to double blastocyst transfer. It could be regarded as an appropriate approach to improve in vitro fertilization success rates in RIF patients.

• Journal of Advanced Research in Ocean Engineering
• /
• v.3 no.2
• /
• pp.83-101
• /
• 2017

In this study, the added resistances of the large container ship in head and oblique seas are evaluated using a time-domain Rankine panel method. The mean forces and moments are computed by the near-field method, namely, the integration of the second-order pressure directly on the ship surface. Furthermore, a weakly nonlinear approach in which the nonlinear restoring and Froude-Krylov forces on the exact wetted surface of a ship are included in order to examine the effects of amplitudes of waves on ship motions and added resistances. The computation results for various advance speeds and heading angles are validated by comparing with the experimental data, and the validation shows reasonable consistency. Nevertheless, there exist discrepancies between the numerical and experimental results, especially for a shorter wave length, a higher advance speed, and stern quartering seas. Therefore, the accuracies of the linear and weakly nonlinear methods in the evaluation of the mean drift forces and moments are also discussed considering the characteristics of the hull such as the small incline angle of the non-wall-sided stern and the fine geometry around the high-nose bulbous bow.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.238-240
• /
• 2002

If there is an Information Retrieval system which comprehends the semantic content of documents and knows the preference of users. the system can search the information better on the Internet, or improve the IR performance. Therefore we propose the IR model which combines semantic based indexing and fuzzy relevance model. In addition to the statistical approach, we chose the semantic approach in indexing, lexical chains, because we assume it would improve the performance of the index term extraction. Furthermore, we combined the semantic based indexing with the fuzzy model, which finds out the exact relevance of the user preference and index terms. The proposed system works as follows: First, the presented system indexes documents by the efficient index term extraction method using lexical chains. And then, if a user tends to retrieve the information from the indexed document collection, the extended IR model calculates and ranks the relevance of user query. user preference and index terms by some metrics. When we experimented each module, semantic based indexing and extended fuzzy model. it gave noticeable results. The combination of these modules is expected to improve the information retrieval performance.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.1
• /
• pp.9-19
• /
• 2016

Accurate models of the characteristics of typical inverse-time overcurrent (OC) protective devices play an important role in the protective coordination schemes. This paper presents a novel approach to determine the OC protective device parameters. The approach is based on the Eigensystem Realization Algorithm which generates a state space model to fit the characteristics of OC protective devices. Instead of the conventional characteristic curves, the dynamic state space model gives a more exact fit of the OC protective device characteristics. This paper demonstrates the feasibility of decomposing the characteristic curve into smooth components and oscillation components. 19 characteristic curves from 13 typical and 6 non-typical OC protective devices are chosen for curve-fitting. The numbers of fitting components required are determined by the maximum absolute values of errors for the fitted equation. All fitted equations are replaced by a versatile equation for the characteristics of OC protective devices which represents the characteristic model of a novel flexible OC relay, which in turn may be applied to improve the OC coordination problems in the sub-transmission and distribution systems.

• Journal of Electrical Engineering and Technology
• /
• v.13 no.6
• /
• pp.2485-2492
• /
• 2018

The rapid development of large-scale integrated circuits has brought great challenges to the circuit testing and diagnosis, and due to the lack of exact fault models, inaccurate analog components tolerance, and some nonlinear factors, the analog circuit fault diagnosis is still regarded as an extremely difficult problem. To cope with the problem that it's difficult to extract fault features effectively from masses of original data of the nonlinear continuous analog circuit output signal, a novel approach of feature extraction and dimension reduction for analog circuit fault diagnosis based on wavelet packet decomposition, local linear embedding algorithm, and clone selection algorithm (WPD-LLE-CSA) is proposed. The proposed method can identify faulty components in complicated analog circuits with a high accuracy above 99%. Compared with the existing feature extraction methods, the proposed method can significantly reduce the quantity of features with less time spent under the premise of maintaining a high level of diagnosing rate, and also the ratio of dimensionality reduction was discussed. Several groups of experiments are conducted to demonstrate the efficiency of the proposed method.