• Journal of Information Technology Services
• /
• v.10 no.3
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.599-606
• /
• 2005

Novelty detection involves identifying novel patterns. They are not usually available during training. Even if they are, the data quantity imbalance leads to a low classification accuracy when a supervised learning scheme is employed. Thus, an unsupervised learning scheme is often employed ignoring those few novel patterns. In this paper, we propose two ways to make use of the few available novel patterns. First, a scheme to determine local thresholds for the Self Organizing Map boundary is proposed. Second, a modification of the Learning Vector Quantization learning rule is proposed so that allows one to keep codebook vectors as far from novel patterns as possible. Experimental results are quite promising.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.12a
• /
• pp.279-282
• /
• 2001

This paper presents an image contrast enhancement technique for improving the low contrast images using the improved IAFC(Integrated Adaptive Fuzzy Clustering) Model. The low pictorial information of a low contrast image is due to the vagueness or fuzziness of the multivalued levels of brightness rather than randomness. Fuzzy image processing has three main stages, namely, image fuzzification, modification of membership values, and image defuzzification. Using a new model of automatic crossover point selection, optimal crossover point is selected automatically. The problem of crossover point selection can be considered as the two-category classification problem. The improved MEC can classify the image into two classes with unsupervised teaming rule. The proposed method is applied to some experimental images with 256 gray levels and the results are compared with those of the histogram equalization technique. We utilized the index of fuzziness as a measure of image quality. The results show that the proposed method is better than the histogram equalization technique.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.238-242
• /
• 1991

This paper presents an approach to self-tuning PI control of dynamic plants, based on fuzzy logic application. A fuzzy logic composed of linguistic conditional statements is employed by defining the relations of input-output variables of the controller. In the synthesis of a fuzzy logic controller, one of the most difficult problem is the selection of linguistic control rules and parameters. To overcome this difficulty, self-tuning fuzzy PI controller (STFPIC) with a hierarchical structure in which the fuzzy PI controller is assigned as the lower level and the rule modification and parameter adjustment as the higher level. The rules and parameters are generated by the adjustment of membership function through performance index(PE). In this paper, the algorithm for of the controller performance is estimated by means of computer simulation.

• ETRI Journal
• /
• v.34 no.4
• /
• pp.629-632
• /
• 2012

This letter investigates the combination of the Chase-2 and sum-product (SP) algorithms for low-density parity-check (LDPC) codes. A simple modification of the tanh rule for check node update is given, which incorporates test error patterns (TEPs) used in the Chase algorithm into SP decoding of LDPC codes. Moreover, a simple yet effective approach is proposed to construct TEPs for dealing with decoding failures with low-weight syndromes. Simulation results show that the proposed algorithm is effective in improving both the waterfall and error floor performance of LDPC codes.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.431-436
• /
• 1986

The design and manufacture of injection molded polymeic parts with desired mechanical properties is a costly process dominated by empiricism, including the modification of actual tooling. This paper presents an interactive computer-based design system for injection molded plastic parts. This knowledge-based synthesis system provides a rational design strategy for injection molding and molded parts. It synergistically combines a rule-based expert system for hurestic knowledge with analytical process simulation programs. The theremomechanical properties of a molded part such as the effect of molecular orientation and weldline strength are predicted by the analysis programs; while the expert system interprets the analytical results from the process simulation, evaluates the design, and generates recommendations for optimal design alternatives. The heuristic knowledge of injection molding is formalized as production rules of the expert consultation system.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.356-361
• /
• 1990

This paper presents a new self organizing fuzzy linguistic control (SOFLC) strategy for application to an arc welding process control. The proposed SOFLC is based on on-line modification of the control rules according to the extent of deviation of the one step ahead predictive output of the process from the desired output. The Predictive output of the process is estimated by a fuzzy predictor which is updated from the input and output data of the process. The rule base of the fuzzy subsets describing the control rules is modified by the improving mechanism based on the hill climbing approach. Simulation results show that this proposed SOFLC improves the response of the process in presence of the variation of the process dynamic characteristics.

• Journal of Korean Physical Therapy Science
• /
• v.5 no.3
• /
• pp.707-715
• /
• 1998

The technique of AKA were devised and modified several times after clinical trials to obtain better result and were though to be few years ago. The published literatures on joint mobilization were unsatisfactory to me since the subject of treatment was not confined to the synovial joint and techniques seemed too violent to treat diseased joints. Among the techniques distraction gliding and the use of convex-concave rule by F. M. Kaltenborn were acceptable theoretically but they required considerable technical modification. By that time it was evident that pain in numerous painful conditions including organic regions could be eliminated by AKA new disease entitles such as aseptic arthritis of the sacroiliac joint, hip joint, shoulder joint, 1st costovertebral joint etc and periradiculitis were elucidated.

• Journal of Engineering Education Research
• /
• v.16 no.4
• /
• pp.15-20
• /
• 2013

The result of the English test for freshmen showed wide difference in the ability of students, which means the graded class is strongly required. This paper describes the case study about the graded English class that was carried out for the freshman. Every freshman must take an English placement test from problems bank and were classified according to the result of the test. In order to resolve the dissatisfaction of the high level students, the statutes of my university for credit were modified. In order to analyze the effect of the graded class, evaluation test using similar problems was carried out at the end of the semester. The effect of the graded class was analyzed by using the paired samples t-test method and there was a meaningful performance improvement at the average score. Additional improvements in the method of classification and credit granted were made by analyzing the results of the evaluation test and survey.

• Transactions of Materials Processing
• /
• v.5 no.1
• /
• pp.61-71
• /
• 1996

A computer-aided process design system for axisymmetric deep drawing products has been developed. An approach to the system is based on the knowledge based system. Knowledges for the system are formulated from the plasticity theory handbooks experimental results and empirical knowhow of the field experts. the system is composed of four main modules such as geometrical design test & rectification and user modification. The input to the system is final sheet-metal object geometry and the output from the system is process sequence with intermedi-ate objects geometries and process parameters, such as drawing load blank holding force clearance cup-drawing coefficient.