• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.77-86
• /
• 1996

In managing a certain database, the integrity of data is very important. The important. The integrity constrains thus should be considered carefully when a database is designed and, after the database is created, it is required for a database manager to check continuously if some data contained in the database violate the integrity constraints considered. It is however not easy to check the violateion of integrity constraints when the size and the complexity of database are increased. This paper suggests a rule-based database verification system to relax the difficulty of checking the integrity violation, in which a database is coupled with a rule-based system including the knowledge about the integrity constraints. The rule-database verification system suggested accepts the model descriptions of an application domain, generates the knowledge base consisting of rules and facts by analyzing the model description and proceeds the verification process to check the integrity of the database.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 1999.10c
• /
• pp.245-251
• /
• 1999

In this study, by using the natural language processing of the field artificial intelligence, automated index was performed . And then, the Natural Language Processor for Constructing Database (NALPDB) has been developed. Furthermore, the Design knowldege Information Relational DataBase (DIREDB) has been also developed, which is designed to interlock the knowledge base. DIREDB processes both the documented design-data , like a concrete standard specification, and the design knowledge frrom an expert. DIREDB is also simulates the design space of structures accordance with the production rule, and thus it is determined that DIREDB can be used as a engine to retrieve new knowledge and to implement knowldege base that is necessary to the development of automatic design system.

• International Journal of Precision Engineering and Manufacturing
• /
• v.5 no.1
• /
• pp.36-41
• /
• 2004

The blanking of thin sheet metal using progressive dies is an important process on production of precision electronic machine parts such as IC leadframe. This paper summarizes the results of simulating the progressive blanking process by means of LS/DYNA. In order to verify the influence of blanking order on the final lead profile and deformed configuration, simulation technique has been proposed and analyzed using a commercial FEM code, LS/DYNA. The results of FE-simulations are in good agreement with the experimental result. After then, to construct rule base in progressive blanking process, FE-simulation has been performed using a simple model. Based on this result rule base is set up and then the blanking order of inner lead is rearranged. Consequently, from the results of FE-simulation using suggested method in this paper, it is possible to predict the shift of lead to manufacture high precision lead frame in progressive blanking process. The proposed method can give more systematic and economically feasible means for designing progressive blanking process.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.3
• /
• pp.30-37
• /
• 2004

This thesis develops a fuzzy-PID control algorithm for control the filament winding tension. It is developed by applying classical PID control technique to a fuzzy logic controller. It is composed of a fuzzy-PI controller and a fuzzy-D controller. The fuzzy-PI controller uses error and integrated error as inputs, and the fuzzy-D controller uses derivative of error as input. The fuzzy-PI controller uses Takagi-Sugeno fuzzy inference system, and the fuzzy-D controller uses Mamdani fuzzy inference system. The fuzzy rule base for the fuzzy-PI controller is designed using 19 rules, and the fuzzy rule base for the fuzzy-D controller is designed using 5 rules. A test-bed is set-up for verifying the effectiveness of the developing control algorithm in control the filament winding tension. It is composed of a mandrel, a carriage, a force sensor, a driving roller, nip rollers, a creel, and a real-time control system. Nip rollers apply a vertical force to a filament, and the driving roller drives it. The real-time control system is developed by using MATLAB/xPC Target. First, experiments for showing the inherent problems of an open-loop control scheme in a filament winding are performed. Then, experiments for showing the robustness of the developing fuzzy-PID control algorithm are performed under various working conditions occurring in a filament winding such as mandrel rotating speed change, carriage traversing, spool radius change, and reference input change.

• Journal of Intelligence and Information Systems
• /
• v.13 no.3
• /
• pp.17-29
• /
• 2007

Inference engine that performs the brain of software agent in next generation's web with various standards based on standard language of the web, XML has to understand SWRL (Semantic Web Rule Language) that is a language to express the rule in the Semantic Web. In this research, we want to develop a forward inference engine, SMART-F (SeMantic web Agent Reasoning Tools-Forward chaining inference engine) that uses SWRL as a rule express method, and OWL as a fact express method. In the traditional inference field, the Rete algorithm that improves effectiveness of forward rule inference by converting if-then rules to network structure is often used for forward inference. To apply this to the Semantic Web, we analyze the required functions for the SWRL-based forward inference, and design the forward inference algorithm that reflects required functions of next generation's Semantic Web deducted by Rete algorithm. And then, to secure each platform's independence and portability in the ubiquitous environment and overcome the gap of performance, we developed management tool of fact and rule base and forward inference engine. This is compatible with fact and rule base of SMART-B that was developed. So, this maximizes a practical use of knowledge in the next generation's Web environment.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.509-511
• /
• 1998

Design of fuzzy logic controllers encounters difficulties in the selection of optimized membership function and fuzzy rule base, which is traditionally achieved by tedious trial-and-error process. In this paper We proposed a new method to generate fuzzy logic controllers throught genetic algorithm(GA). The controller design space is coded in base-7 strings chromosomes, where each bit gene matches the 7 discrete fuzzy value. The developed approach is subsequently applied to the design of proportional plus integral type fuzzy controller for a do-servo motor control system. It was presented in discrete fuzzy linguistic value, and used a membership function with Gaussian curve. The performance of this control system is demonstrated higher than that of a conventional PID controller and fuzzy logic controller(FLC).

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.105-113
• /
• 2009

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.2
• /
• pp.13-17
• /
• 2024

In this paper, union-based rule antecedent neuro-fuzzy controller, which can guarantee a parsimonious knowledge base with reduced number of rules, is proposed. The proposed neuro-fuzzy controller allows union operation of input fuzzy sets in the antecedents to cover bigger input domain compared with the complete structure rule which consists of AND combination of all input variables in its premise. To construct the proposed neuro-fuzzy controller, we consider the multiple-term unified logic processor (MULP) which consists of OR and AND fuzzy neurons. The fuzzy neurons exhibit learning abilities as they come with a collection of adjustable connection weights. In the development stage, the genetic algorithm (GA) constructs a Boolean skeleton of the proposed neuro-fuzzy controller, while the stochastic reinforcement learning refines the binary connections of the GA-optimized controller for further improvement of the performance index. An inverted pendulum system is considered to verify the effectiveness of the proposed method by simulation and experiment.

• Journal of Welding and Joining
• /
• v.10 no.4
• /
• pp.199-212
• /
• 1992

Expert system is a practical application part of the artificial intelligence and can be generally described as a computer-based system designed to simulate the knowledge and reasoning of a human expert, and to make that knowledge conveniently available to other people in a useful way. Expert systems consist of three major components, knowledge base, inference engine and user interface. In this paper, it is aimed to construct a prototype system to design the horizontal-typed pressure vessel. To do this, a representative artificial programming language, Turbo Prolog, was employed, and the knowledge representation was mainly done by the production rule such as "If(condition), than (action)" style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition), then (action)"style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition). then(action)" style and the various table-like data. It was also effective to represent the graphics. Though this expert system is by now small and incomplete, it is possible to expand it to a larger and refined system later.rger and refined system later.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.11
• /
• pp.1457-1463
• /
• 1999

This paper develops an real-time expert system for the electronic interlocking system. it obtains the higher safety by determining the railway interlocking strategy in order to prevent trains from colliding, and derailing in the viewpoint of veteran expert, considering the situation of station in real-time. The expert system determines the real-time interlocking strategy by confirming the interlocking relationships among signal facilities based on the interlocking knowledge base from input information such as signal, points, and it is implemented as the rule-based system in order to represented accurately and effectively the interlocking relationships. Especially in case of emergency the function which determines the rational route coordinating with IIKBAG on the workstation is designed in order to minimize the spreading effect. It is implemented in C computer language for the purpose of the implementation of the inference engine using the dynamic memory allocation technique, the build and interface of the station structure database. And, the validity of the built expert system is proved by simulating the diversity cases which may occur in the real system for the typical station model.